summaryrefslogtreecommitdiff
path: root/tools/memory-model/Documentation/access-marking.txt
AgeCommit message (Expand)Author
2024-07-15Merge tag 'kcsan.2024.07.12a' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds
2024-06-06tools/memory-model: Add KCSAN LF mentorship session citationPaul E. McKenney
2024-05-30kcsan: Add example to data_race() kerneldoc headerPaul E. McKenney
2021-07-27tools/memory-model: Document data_race(READ_ONCE())Paul E. McKenney
2021-07-27tools/memory-model: Heuristics using data_race() must handle all valuesManfred Spraul
2021-07-27tools/memory-model: Add example for heuristic lockless readsPaul E. McKenney
2021-07-20tools/memory-model: Make read_foo_diagnostic() more clearly diagnosticPaul E. McKenney
2021-03-15tools/memory-model: Add access-marking documentationPaul E. McKenney