summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/Documentation (follow)
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model/Documentation: Add plain accesses and data races to explan...Alan Stern2019-10-051-5/+534
* tools/memory-model/Documentation: Put redefinition of rcu-fence into explanat...Alan Stern2019-10-051-17/+36
* tools/memory-model/Documentation: Fix typos in explanation.txtAlan Stern2019-10-051-5/+5
* tools/memory-model: Update the informal documentationAndrea Parri2019-08-091-26/+21
* tools/memory-model: Use cumul-fence instead of fence in ->prop exampleJoel Fernandes (Google)2019-08-091-3/+3
* tools/memory-model: Update Documentation/explanation.txt to include SRCU supportAlan Stern2019-03-181-137/+152
* tools/memory-model: Fix a README typoSeongJae Park2018-10-021-1/+1
* tools/memory-model: Add extra ordering for locks and remove it for ordinary r...Alan Stern2018-10-021-43/+143
* tools/memory-model: Rename litmus tests to comply to norm7Andrea Parri2018-07-171-4/+4
* tools/memory-model/Documentation: Fix typo, smb->smpYauheni Kaliuta2018-07-171-1/+1
* tools/memory-model: Remove ACCESS_ONCE() from recipesMark Rutland2018-07-171-2/+2
* tools/memory-model: Add reference for 'Simplifying ARM concurrency'Andrea Parri2018-05-151-0/+6
* tools/memory-model: Update ASPLOS informationAndrea Parri2018-05-151-5/+6
* tools/memory-order: Update the cheat-sheet to show that smp_mb__after_atomic(...Paul E. McKenney2018-05-151-1/+1
* tools/memory-order: Improve key for SELF and SVPaul E. McKenney2018-05-151-1/+2
* tools/memory-model: Fix cheat sheet typoPaolo Bonzini2018-05-151-1/+1
* tools/memory-model: Redefine rb in terms of rcu-fenceAlan Stern2018-05-151-59/+109
* tools/memory-model: Rename link and rcu-path to rcu-link and rbAlan Stern2018-05-151-46/+47
* tools/memory-model: Finish the removal of rb-dep, smp_read_barrier_depends(),...Alan Stern2018-03-102-5/+5
* tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_der...Alan Stern2018-02-212-40/+44
* Automate memory-barriers.txt; provide Linux-kernel memory modelPaul E. McKenney2018-01-254-0/+2547