Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / mainline / linux / 754e0b0e35608ed5206d6a67a791563c631cec07 / tools / memory-model / linux-kernel.cat
  1. ddfe129 tools/memory-model: Provide extra ordering for unlock+lock pair on the same CPU by Boqun Feng · 3 years, 3 months ago
  2. daebf24 tools/memory-model: Fix data race detection for unordered store and load by Alan Stern · 5 years ago
  3. 4289ee7 tools/memory-model: Improve data-race detection by Alan Stern · 6 years ago
  4. 15aa25c tools/memory-model: Change definition of rcu-fence by Alan Stern · 6 years ago
  5. f9de417 tools/memory-model: Expand definition of barrier by Alan Stern · 6 years ago
  6. 0031e38 tools/memory-model: Add data-race detection by Alan Stern · 6 years ago
  7. d1a84ab tools/memory-model: Add definitions of plain and marked accesses by Alan Stern · 6 years ago
  8. 4494dd5 tools/memory-model: Prepare for data-race detection by Alan Stern · 6 years ago
  9. 034fb71 tools/memory-model: Avoid duplicating herdtools versions by Andrea Parri · 6 years ago
  10. 9393998 tools/memory-model: Dynamically check SRCU lock-to-unlock matching by Luc Maranget · 6 years ago
  11. a3f600d tools/memory-model: Add SRCU support by Alan Stern · 6 years ago
  12. 284749b tools/memory-model: Refactor some RCU relations by Alan Stern · 6 years ago
  13. 0172d9e tools/memory-model: Rename some RCU relations by Alan Stern · 6 years ago
  14. 5b735eb tools/memory-model: Model smp_mb__after_unlock_lock() by Andrea Parri · 6 years ago
  15. 6e89e83 tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire by Alan Stern · 6 years ago
  16. 1a00b455 tools/memory-model: Update ASPLOS information by Andrea Parri · 7 years ago
  17. 9d03688 tools/memory-model: Redefine rb in terms of rcu-fence by Alan Stern · 7 years ago
  18. 1ee2da5 tools/memory-model: Rename link and rcu-path to rcu-link and rb by Alan Stern · 7 years ago
  19. bf28ae5 tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference by Alan Stern · 7 years ago
  20. cac79a39 tools/memory-model: Convert underscores to hyphens by Paul E. McKenney · 7 years ago
  21. 48d44d4 tools/memory-model: Clarify the origin/scope of the tool name by Andrea Parri · 7 years ago
  22. 1c27b64 Automate memory-barriers.txt; provide Linux-kernel memory model by Paul E. McKenney · 7 years ago