summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/Documentation/explanation.txt
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: Add documentation about SRCU read-side critical sectionsAlan Stern2023-03-221-11/+167
* tools: memory-model: Make plain accesses carry dependenciesJonas Oberhauser2023-01-031-1/+8
* tools: memory-model: Add rmw-sequences to the LKMMAlan Stern2023-01-031-0/+30
* tools/memory-model: Weaken ctrl dependency definition in explanation.txtPaul Heidekrüger2022-10-181-3/+4
* tools/memory-model: Explain syntactic and semantic dependenciesAlan Stern2022-02-011-0/+51
* tools/memory-model: Provide extra ordering for unlock+lock pair on the same CPUBoqun Feng2021-11-301-19/+25
* tools/memory-model: Fix smp_mb__after_spinlock() spellingBjörn Töpel2021-05-101-1/+1
* Merge tag 'locking-core-2020-08-03' of git://git.kernel.org/pub/scm/linux/ker...Linus Torvalds2020-08-031-38/+45
|\
| * tools/memory-model: Fix "conflict" definitionMarco Elver2020-06-291-38/+45
* | tools/memory-model: Remove smp_read_barrier_depends() from informal docWill Deacon2020-07-211-14/+12
|/
* 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: Add extra ordering for locks and remove it for ordinary r...Alan Stern2018-10-021-43/+143
* tools/memory-model/Documentation: Fix typo, smb->smpYauheni Kaliuta2018-07-171-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-101-2/+2
* tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_der...Alan Stern2018-02-211-38/+43
* Automate memory-barriers.txt; provide Linux-kernel memory modelPaul E. McKenney2018-01-241-0/+1840