Back to home page

OSCL-LXR

 
 

    


It has been said that successful communication requires first identifying what your audience knows and then building a bridge from their current knowledge to what they need to know. Unfortunately, the expected Linux-kernel memory model (LKMM) audience might be anywhere from novice to expert both in kernel hacking and in understanding LKMM.
This document therefore points out a number of places to start reading, depending on what you know and what you would like to learn. Please note that the documents later in this list assume that the reader understands the material provided by documents earlier in this list.


SEE ALSO: README

  Name Size Date (UTC) Last indexed Description
  Name Size Date (UTC) Last indexed Description
folder Parent directory - 2025-03-06 09:18:40

LINUX KERNEL MEMORY CONSISTENCY MODEL
INTRODUCTION
This directory contains the memory consistency model (memory model, for short) of the Linux kernel, written in the "cat" language and executable by the externally provided "herd7" simulator, which exhaustively explores the state space of small litmus tests.


SEE ALSO: README

access-marking.txt 20927 bytes 2025-03-06 09:18:40 -  
cheatsheet.txt 2048 bytes 2025-03-06 09:18:40 -  
control-dependencies.txt 9524 bytes 2025-03-06 09:18:40 -  
explanation.txt 101316 bytes 2025-03-06 09:18:40 -  
glossary.txt 7457 bytes 2025-03-06 09:18:40 -  
litmus-tests.txt 40049 bytes 2025-03-06 09:18:40 -  
ordering.txt 22194 bytes 2025-03-06 09:18:40 -  
README 2630 bytes 2025-03-06 09:18:40 -  
recipes.txt 18643 bytes 2025-03-06 09:18:40 -  
references.txt 5628 bytes 2025-03-06 09:18:40 -  
simple.txt 12589 bytes 2025-03-06 09:18:40 -