aboutsummaryrefslogtreecommitdiffstats
path: root/tools/memory-model/Documentation/access-marking.txt
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: Document data_race(READ_ONCE())Paul E. McKenney2021-07-271-14/+35
* tools/memory-model: Heuristics using data_race() must handle all valuesManfred Spraul2021-07-271-0/+5
* tools/memory-model: Add example for heuristic lockless readsPaul E. McKenney2021-07-271-0/+93
* tools/memory-model: Make read_foo_diagnostic() more clearly diagnosticPaul E. McKenney2021-07-201-2/+2
* tools/memory-model: Add access-marking documentationPaul E. McKenney2021-03-151-0/+479