LKMM reference

[ThomasHaas]

On the Linux github repo, there is a very detailed section about its memory model LKMM. Importantly,

• it contains the official .cat file for linux kernel memory model.
• There is a lot of documentation about the memory model in natural language (to understand the intentions of the .cat file).
• There is documentation about how to use herd7 on C-litmus tests and what they can and cannot model. In particular, some discrepancies between the formal memory model and the actual memory model are explained.

I think for all questions regarding the LKMM, this is the first source we should check out.