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