summaryrefslogtreecommitdiff
path: root/tools/memory-model/Documentation/access-marking.txt
AgeCommit message (Expand)AuthorFilesLines
8 daysMerge tag 'kcsan.2024.07.12a' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds1-1/+23
2024-06-06tools/memory-model: Add KCSAN LF mentorship session citationPaul E. McKenney1-3/+7
2024-05-31kcsan: Add example to data_race() kerneldoc headerPaul E. McKenney1-1/+23
2021-07-27tools/memory-model: Document data_race(READ_ONCE())Paul E. McKenney1-14/+35
2021-07-27tools/memory-model: Heuristics using data_race() must handle all valuesManfred Spraul1-0/+5
2021-07-27tools/memory-model: Add example for heuristic lockless readsPaul E. McKenney1-0/+93
2021-07-20tools/memory-model: Make read_foo_diagnostic() more clearly diagnosticPaul E. McKenney1-2/+2
2021-03-15tools/memory-model: Add access-marking documentationPaul E. McKenney1-0/+479