Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-07-27 | tools/memory-model: Document data_race(READ_ONCE()) | Paul E. McKenney | 1 | -14/+35 |
2021-07-27 | tools/memory-model: Heuristics using data_race() must handle all values | Manfred Spraul | 1 | -0/+5 |
2021-07-27 | tools/memory-model: Add example for heuristic lockless reads | Paul E. McKenney | 1 | -0/+93 |
2021-07-20 | tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic | Paul E. McKenney | 1 | -2/+2 |
2021-03-15 | tools/memory-model: Add access-marking documentation | Paul E. McKenney | 1 | -0/+479 |