Back to home page

OSCL-LXR
 
 

    

LKMM SCRIPTS
These scripts are run from the tools/memory-model directory.
checkalllitmus.sh
Run all litmus tests in the litmus-tests directory, checking the results against the expected results recorded in the "Result:" comment lines.


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

checkalllitmus.sh 1690 bytes 2025-03-06 09:18:40 2025-03-06 13:38:52  
checkghlitmus.sh 1858 bytes 2025-03-06 09:18:40 2025-03-06 13:38:52  
checklitmus.sh 998 bytes 2025-03-06 09:18:40 2025-03-06 13:38:52  
checklitmushist.sh 1929 bytes 2025-03-06 09:18:40 2025-03-06 13:38:52  
cmplitmushist.sh 2034 bytes 2025-03-06 09:18:40 2025-03-06 13:38:53  
initlitmushist.sh 2281 bytes 2025-03-06 09:18:40 2025-03-06 13:38:53  
judgelitmus.sh 1907 bytes 2025-03-06 09:18:40 2025-03-06 13:38:53  
newlitmushist.sh 1851 bytes 2025-03-06 09:18:40 2025-03-06 13:38:53  
parseargs.sh 3145 bytes 2025-03-06 09:18:40 2025-03-06 13:38:53  
README 1975 bytes 2025-03-06 09:18:40 -  
runlitmushist.sh 2085 bytes 2025-03-06 09:18:40 2025-03-06 13:38:53  
[ Source navigation ] [ Identifier search ] [ general search ]

This page was automatically generated by the 2.1.0 LXR engine.

The LXR team
Valid CSS 2.1! Valid HTML 4.01!