Gitiles
Code Review Sign In
review.shift-gmbh.com / SHIFTPHONES / mainline / linux / e89d3a46710908c3973397849e758f6ca42db77d / tools / memory-model
  1. c438b7d tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) ordering by Boqun Feng · 3 years, 2 months ago
  2. b47c05e tools/memory-model: doc: Describe the requirement of the litmus-tests directory by Boqun Feng · 3 years, 2 months ago
  3. ddfe129 tools/memory-model: Provide extra ordering for unlock+lock pair on the same CPU by Boqun Feng · 3 years, 2 months ago
  4. 87859a8 tools/memory-model: Document data_race(READ_ONCE()) by Paul E. McKenney · 3 years, 7 months ago
  5. f92975d tools/memory-model: Heuristics using data_race() must handle all values by Manfred Spraul · 3 years, 8 months ago
  6. 436eef2 tools/memory-model: Add example for heuristic lockless reads by Paul E. McKenney · 3 years, 8 months ago
  7. 1846a7f tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic by Paul E. McKenney · 3 years, 8 months ago
  8. d25fba0 tools/memory-model: Fix smp_mb__after_spinlock() spelling by Björn Töpel · 3 years, 10 months ago
  9. 49ab51b tools/memory-model: Add access-marking documentation by Paul E. McKenney · 3 years, 11 months ago
  10. 9146658 tools/memory-model: Remove reference to atomic_ops.rst by Akira Yokosawa · 4 years ago
  11. ba46b21 doc: Update rcu_dereference.rst reference by Mauro Carvalho Chehab · 4 years ago
  12. 3d5c703 tools/memory-model: Fix typo in klitmus7 compatibility table by Akira Yokosawa · 4 years, 1 month ago
  13. 5c587f9 tools/memory-model: Remove redundant initialization in litmus tests by Akira Yokosawa · 4 years, 1 month ago
  14. 8881e7a tools/memory-model: Tie acquire loads to reads-from by Paul E. McKenney · 4 years, 2 months ago
  15. b6ff308 tools/memory-model: Label MP tests' producers and consumers by Paul E. McKenney · 4 years, 2 months ago
  16. acc4bdc tools/memory-model: Use "buf" and "flag" for message-passing tests by Paul E. McKenney · 4 years, 2 months ago
  17. 1947bfc tools/memory-model: Add types to litmus tests by Paul E. McKenney · 4 years, 2 months ago
  18. 0a27ce6 tools/memory-model: Add a glossary of LKMM terms by Paul E. McKenney · 4 years, 2 months ago
  19. ebb477c tools/memory-model: Document categories of ordering primitives by Paul E. McKenney · 4 years, 5 months ago
  20. ab8bcad tools/memory-model: Move Documentation description to Documentation/README by Paul E. McKenney · 4 years, 5 months ago
  21. 9270e1a tools: memory-model: Document that the LKMM can easily miss control dependencies by Alan Stern · 4 years, 3 months ago
  22. 0ce0c78 tools/memory-model: Expand the cheatsheet.txt notion of relaxed by Paul E. McKenney · 4 years, 5 months ago
  23. 0b8c06b tools/memory-model: Add a simple entry point document by Paul E. McKenney · 4 years, 5 months ago
  24. 984f272 tools/memory-model: Improve litmus-test documentation by Paul E. McKenney · 4 years, 5 months ago
  25. cc9628b tools/memory-model: Update recipes.txt prime_numbers.c path by Paul E. McKenney · 4 years, 5 months ago
  26. 1e44e6e Replace HTTP links with HTTPS ones: LKMM by Alexander A. Klimov · 4 years, 6 months ago
  27. 9ba19cc Merge tag 'locking-core-2020-08-03' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip by Linus Torvalds · 4 years, 5 months ago
  28. 628fd55 tools/memory-model: Remove smp_read_barrier_depends() from informal doc by Will Deacon · 5 years ago
  29. 2bfa5c6 tools/memory-model/README: Mention herdtools7 7.56 in compatibility table by Akira Yokosawa · 4 years, 6 months ago
  30. d075a78 tools/memory-model/README: Expand dependency of klitmus7 by Akira Yokosawa · 4 years, 7 months ago
  31. 9725dd5 tools/memory-model: Fix reference to litmus test in recipes.txt by Akira Yokosawa · 4 years, 8 months ago
  32. 4a9cc65 tools/memory-model: Add an exception for limitations on _unless() family by Boqun Feng · 4 years, 9 months ago
  33. c1b1460 tools/memory-model: Fix "conflict" definition by Marco Elver · 4 years, 10 months ago
  34. 38908de tools/memory-model: Add recent references by Paul E. McKenney · 5 years ago
  35. d198b34 .gitignore: add SPDX License Identifier by Masahiro Yamada · 4 years, 10 months ago
  36. c58a801 tools/memory-model/Documentation: Add plain accesses and data races to explanation.txt by Alan Stern · 5 years ago
  37. ddc8299 tools/memory-model/Documentation: Put redefinition of rcu-fence into explanation.txt by Alan Stern · 5 years ago
  38. 3321ea1 tools/memory-model/Documentation: Fix typos in explanation.txt by Alan Stern · 5 years ago
  39. daebf24 tools/memory-model: Fix data race detection for unordered store and load by Alan Stern · 5 years ago
  40. 6738ff8 tools/memory-model: Update the informal documentation by Andrea Parri · 5 years ago
  41. 6240973 tools/memory-model: Use cumul-fence instead of fence in ->prop example by Joel Fernandes (Google) · 5 years ago
  42. 7455cdd tools/memory-model: Make scripts be executable by Paul E. McKenney · 6 years ago
  43. 4289ee7 tools/memory-model: Improve data-race detection by Alan Stern · 6 years ago
  44. 15aa25c tools/memory-model: Change definition of rcu-fence by Alan Stern · 6 years ago
  45. f9de417 tools/memory-model: Expand definition of barrier by Alan Stern · 6 years ago
  46. 37c600a tools/memory-model: Do not use "herd" to refer to "herd7" by Andrea Parri · 6 years ago
  47. 46f52b1 tools/memory-model: Fix comment in MP+poonceonces.litmus by Andrea Parri · 6 years ago
  48. 0031e38 tools/memory-model: Add data-race detection by Alan Stern · 6 years ago
  49. d1a84ab tools/memory-model: Add definitions of plain and marked accesses by Alan Stern · 6 years ago
  50. 4494dd5 tools/memory-model: Prepare for data-race detection by Alan Stern · 6 years ago
  51. a5220e7 tools/memory-model: Add support for synchronize_srcu_expedited() by Paul E. McKenney · 6 years ago
  52. 034fb71 tools/memory-model: Avoid duplicating herdtools versions by Andrea Parri · 6 years ago
  53. 9393998 tools/memory-model: Dynamically check SRCU lock-to-unlock matching by Luc Maranget · 6 years ago
  54. 648e717 tools/memory-model: Update Documentation/explanation.txt to include SRCU support by Alan Stern · 6 years ago
  55. ad9fd20 tools/memory-model: Update README for addition of SRCU by Paul E. McKenney · 6 years ago
  56. a3f600d tools/memory-model: Add SRCU support by Alan Stern · 6 years ago
  57. 284749b tools/memory-model: Refactor some RCU relations by Alan Stern · 6 years ago
  58. 0172d9e tools/memory-model: Rename some RCU relations by Alan Stern · 6 years ago
  59. 910cc959 tools/memory-model: Make scripts take "-j" abbreviation for "--jobs" by Paul E. McKenney · 6 years ago
  60. b02eb5b tools/memory-model: Add scripts to check github litmus tests by Paul E. McKenney · 6 years ago
  61. 5b735eb tools/memory-model: Model smp_mb__after_unlock_lock() by Andrea Parri · 6 years ago
  62. d8fa25c tools/memory-model: Add more LKMM limitations by Paul E. McKenney · 6 years ago
  63. 3d2046a tools/memory-model: Fix a README typo by SeongJae Park · 6 years ago
  64. 6e89e83 tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire by Alan Stern · 6 years ago
  65. c4f790f tools/memory-model: Add litmus-test naming scheme by Paul E. McKenney · 6 years ago
  66. 71b7ff5 tools/memory-model: Rename litmus tests to comply to norm7 by Andrea Parri · 6 years ago
  67. 0fcff17 tools/memory-model/Documentation: Fix typo, smb->smp by Yauheni Kaliuta · 6 years ago
  68. 24675bb tools/memory-model: Make scripts executable by Paul E. McKenney · 6 years ago
  69. af41db5e tools/memory-model: Remove ACCESS_ONCE() from model by Mark Rutland · 6 years ago
  70. 5bde06b tools/memory-model: Remove ACCESS_ONCE() from recipes by Mark Rutland · 6 years ago
  71. acb6c96 tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name by Paul E. McKenney · 6 years ago
  72. b464818 tools/memory-model: Add litmus test for full multicopy atomicity by Paul E. McKenney · 6 years ago
  73. 99c1274 tools/memory-model: Add reference for 'Simplifying ARM concurrency' by Andrea Parri · 7 years ago
  74. 1a00b455 tools/memory-model: Update ASPLOS information by Andrea Parri · 7 years ago
  75. 05604e7 tools/memory-model: Fix coding style in 'lock.cat' by Andrea Parri · 7 years ago
  76. cee0321 tools/memory-model: Remove out-of-date comments and code from lock.cat by Alan Stern · 7 years ago
  77. 30b795d tools/memory-model: Improve mixed-access checking in lock.cat by Alan Stern · 7 years ago
  78. fd0359d tools/memory-model: Improve comments in lock.cat by Alan Stern · 7 years ago
  79. 8559183 tools/memory-model: Remove duplicated code from lock.cat by Alan Stern · 7 years ago
  80. 1bd3742 tools/memory-model: Flag "cumulativity" and "propagation" tests by Paul E. McKenney · 7 years ago
  81. 15553dc tools/memory-model: Add model support for spin_is_locked() by Luc Maranget · 7 years ago
  82. 2fb6ae1 tools/memory-model: Add scripts to test memory model by Paul E. McKenney · 7 years ago
  83. d17013e tools/memory-model: Fix coding style in 'linux-kernel.def' by Andrea Parri · 7 years ago
  84. bf8c6d9 tools/memory-model: Model 'smp_store_mb()' by Andrea Parri · 7 years ago
  85. 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
  86. 35bb6ee tools/memory-order: Improve key for SELF and SV by Paul E. McKenney · 7 years ago
  87. a839195 tools/memory-model: Fix cheat sheet typo by Paolo Bonzini · 7 years ago
  88. 5b62832c tools/memory-model: Update required version of herdtools7 by Akira Yokosawa · 7 years ago
  89. 9d03688 tools/memory-model: Redefine rb in terms of rcu-fence by Alan Stern · 7 years ago
  90. 1ee2da5 tools/memory-model: Rename link and rcu-path to rcu-link and rb by Alan Stern · 7 years ago
  91. bd5c0ba tools/memory-model: Finish the removal of rb-dep, smp_read_barrier_depends(), and lockless_dereference() by Alan Stern · 7 years ago
  92. ff1fe5e tools/memory-model: Add documentation of new litmus test by Paul E. McKenney · 7 years ago
  93. d095c12 tools/memory-model: Remove mention of docker/gentoo image by Paul E. McKenney · 7 years ago
  94. bf28ae5 tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference by Alan Stern · 7 years ago
  95. cac79a39 tools/memory-model: Convert underscores to hyphens by Paul E. McKenney · 7 years ago
  96. 556bb7d tools/memory-model: Add a S lock-based external-view litmus test by Alan Stern · 7 years ago
  97. 8f7f2fb tools/memory-model: Add required herd7 version to README file by Paul E. McKenney · 7 years ago
  98. 6215514 README: Fix a couple of punctuation errors by Paul E. McKenney · 7 years ago
  99. 8f32543 EXP litmus_tests: Add comments explaining tests' purposes by Paul E. McKenney · 7 years ago
  100. e7d74c9 MAINTAINERS: Add the Memory Consistency Model subsystem by Andrea Parri · 7 years ago