Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / kernel / common / 88a979c615d0d9da19498b3b7692e725fb2f387e / tools / memory-model
  1. 99c1274 tools/memory-model: Add reference for 'Simplifying ARM concurrency' by Andrea Parri · 7 years ago
  2. 1a00b455 tools/memory-model: Update ASPLOS information by Andrea Parri · 7 years ago
  3. 05604e7 tools/memory-model: Fix coding style in 'lock.cat' by Andrea Parri · 7 years ago
  4. cee0321 tools/memory-model: Remove out-of-date comments and code from lock.cat by Alan Stern · 7 years ago
  5. 30b795d tools/memory-model: Improve mixed-access checking in lock.cat by Alan Stern · 7 years ago
  6. fd0359d tools/memory-model: Improve comments in lock.cat by Alan Stern · 7 years ago
  7. 8559183 tools/memory-model: Remove duplicated code from lock.cat by Alan Stern · 7 years ago
  8. 1bd3742 tools/memory-model: Flag "cumulativity" and "propagation" tests by Paul E. McKenney · 7 years ago
  9. 15553dc tools/memory-model: Add model support for spin_is_locked() by Luc Maranget · 7 years ago
  10. 2fb6ae1 tools/memory-model: Add scripts to test memory model by Paul E. McKenney · 7 years ago
  11. d17013e tools/memory-model: Fix coding style in 'linux-kernel.def' by Andrea Parri · 7 years ago
  12. bf8c6d9 tools/memory-model: Model 'smp_store_mb()' by Andrea Parri · 7 years ago
  13. bfd403b tools/memory-order: Update the cheat-sheet to show that smp_mb__after_atomic() orders later RMW operations by Paul E. McKenney · 7 years ago
  14. 35bb6ee tools/memory-order: Improve key for SELF and SV by Paul E. McKenney · 7 years ago
  15. a839195 tools/memory-model: Fix cheat sheet typo by Paolo Bonzini · 7 years ago
  16. 5b62832c tools/memory-model: Update required version of herdtools7 by Akira Yokosawa · 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. bd5c0ba tools/memory-model: Finish the removal of rb-dep, smp_read_barrier_depends(), and lockless_dereference() by Alan Stern · 7 years ago
  20. ff1fe5e tools/memory-model: Add documentation of new litmus test by Paul E. McKenney · 7 years ago
  21. d095c12 tools/memory-model: Remove mention of docker/gentoo image by Paul E. McKenney · 7 years ago
  22. bf28ae5 tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference by Alan Stern · 7 years ago
  23. cac79a3 tools/memory-model: Convert underscores to hyphens by Paul E. McKenney · 7 years ago
  24. 556bb7d2 tools/memory-model: Add a S lock-based external-view litmus test by Alan Stern · 7 years ago
  25. 8f7f2fb tools/memory-model: Add required herd7 version to README file by Paul E. McKenney · 7 years ago
  26. 6215514 README: Fix a couple of punctuation errors by Paul E. McKenney · 7 years ago
  27. 8f32543 EXP litmus_tests: Add comments explaining tests' purposes by Paul E. McKenney · 7 years ago
  28. e7d74c9 MAINTAINERS: Add the Memory Consistency Model subsystem by Andrea Parri · 7 years ago
  29. 48d44d4 tools/memory-model: Clarify the origin/scope of the tool name by Andrea Parri · 7 years ago
  30. 1c27b64 Automate memory-barriers.txt; provide Linux-kernel memory model by Paul E. McKenney · 7 years ago