~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

TOMOYO Linux Cross Reference
Linux/tools/memory-model/scripts/README

Version: ~ [ linux-6.12-rc7 ] ~ [ linux-6.11.7 ] ~ [ linux-6.10.14 ] ~ [ linux-6.9.12 ] ~ [ linux-6.8.12 ] ~ [ linux-6.7.12 ] ~ [ linux-6.6.60 ] ~ [ linux-6.5.13 ] ~ [ linux-6.4.16 ] ~ [ linux-6.3.13 ] ~ [ linux-6.2.16 ] ~ [ linux-6.1.116 ] ~ [ linux-6.0.19 ] ~ [ linux-5.19.17 ] ~ [ linux-5.18.19 ] ~ [ linux-5.17.15 ] ~ [ linux-5.16.20 ] ~ [ linux-5.15.171 ] ~ [ linux-5.14.21 ] ~ [ linux-5.13.19 ] ~ [ linux-5.12.19 ] ~ [ linux-5.11.22 ] ~ [ linux-5.10.229 ] ~ [ linux-5.9.16 ] ~ [ linux-5.8.18 ] ~ [ linux-5.7.19 ] ~ [ linux-5.6.19 ] ~ [ linux-5.5.19 ] ~ [ linux-5.4.285 ] ~ [ linux-5.3.18 ] ~ [ linux-5.2.21 ] ~ [ linux-5.1.21 ] ~ [ linux-5.0.21 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.323 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.336 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.337 ] ~ [ linux-4.4.302 ] ~ [ linux-3.10.108 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.12 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

Diff markup

Differences between /tools/memory-model/scripts/README (Version linux-6.12-rc7) and /tools/memory-model/scripts/README (Version linux-4.20.17)


  1                         ============              
  2                         LKMM SCRIPTS              
  3                         ============              
  4                                                   
  5                                                   
  6 These scripts are run from the tools/memory-mo    
  7                                                   
  8 checkalllitmus.sh                                 
  9                                                   
 10         Run all litmus tests in the litmus-tes    
 11         the results against the expected resul    
 12         "Result:" comment lines.                  
 13                                                   
 14 checkghlitmus.sh                                  
 15                                                   
 16         Run all litmus tests in the https://gi    
 17         archive that are C-language and that h    
 18         documenting expected results, comparin    
 19         those expected.                           
 20                                                   
 21 checklitmushist.sh                                
 22                                                   
 23         Run all litmus tests having .litmus.ou    
 24         initlitmushist.sh or newlitmushist.sh     
 25         herd7 output to that of the original r    
 26                                                   
 27 checklitmus.sh                                    
 28                                                   
 29         Check a single litmus test against its    
 30         Not intended to for manual use.           
 31                                                   
 32 checktheselitmus.sh                               
 33                                                   
 34         Check the specified list of litmus tes    
 35         expected results.  This takes optional    
 36         followed by "--" followed by pathnames    
 37         directory.                                
 38                                                   
 39 cmplitmushist.sh                                  
 40                                                   
 41         Compare output from two different runs    
 42         with the absolute pathnames of the tes    
 43         name per line on standard input.  Not     
 44         provided instead for use by other scri    
 45                                                   
 46 initlitmushist.sh                                 
 47                                                   
 48         Run all litmus tests having no more th    
 49         of processes given a specified timeout    
 50         in .litmus.out files.                     
 51                                                   
 52 judgelitmus.sh                                    
 53                                                   
 54         Given a .litmus file and its herd7 out    
 55         against the .litmus file's "Result:" c    
 56         the test ran correctly.  Not normally     
 57         instead for use by other scripts.         
 58                                                   
 59 newlitmushist.sh                                  
 60                                                   
 61         For all new or updated litmus tests ha    
 62         specified number of processes given a     
 63         and record the results in .litmus.out     
 64                                                   
 65 parseargs.sh                                      
 66                                                   
 67         Parse command-line arguments.  Not nor    
 68         provided instead for use by other scri    
 69                                                   
 70 runlitmushist.sh                                  
 71                                                   
 72         Run the litmus tests whose absolute pa    
 73         name per line on standard input.  Not     
 74         provided instead for use by other scri    
 75                                                   
 76 README                                            
 77                                                   
 78         This file                                 
 79                                                   
 80 Testing a change to LKMM might go as follows:     
 81                                                   
 82         # Populate expected results without th    
 83         # runs for about an hour on an 8-CPU x    
 84         scripts/initlitmushist.sh --timeout 10    
 85         # Incorporate the change:                 
 86         git am -s -3 /path/to/patch # Or whate    
 87                                                   
 88         # Test the new version of LKMM as foll    
 89                                                   
 90         # Runs in seconds, good smoke test:       
 91         scripts/checkalllitmus.sh                 
 92                                                   
 93         # Compares results to those produced b    
 94         # and runs for about an hour on an 8-C    
 95         scripts/checklitmushist.sh --timeout 1    
 96                                                   
 97         # Checks results against Result tags,     
 98         scripts/checkghlitmus.sh --timeout 10m    
 99                                                   
100 The checkghlitmus.sh should not report errors     
101 checklitmushist.sh script did not also report     
102 this check is nevertheless valuable because it    
103 original version of LKMM.  Note however, that     
104 an error in the original LKMM version that is     
105 be reported both as a mismatch by checklitmush    
106 by checkghlitmus.sh.  One exception to this ru    
107 test fails completely on the original version     
108 new version.  In this case, checklitmushist.sh    
109 and checkghlitmus.sh will report success.  Thi    
110 to LKMM introduces a new primitive for which l    
                                                      

~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

kernel.org | git.kernel.org | LWN.net | Project Home | SVN repository | Mail admin

Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.

sflogo.php