Code

History

Commits on master to tools/memory-model/Documentation35+
  1. tools/memory-model/Documentation: Fix SRCU section in explanation.txtUladzislau Rezki (Sony) committed 1 year ago5c9e006
  2. tools/memory-model: docs/references: Remove broken link to imgtec.comAkira Yokosawa committed 1 year ago730c0a8
  3. tools/memory-model: docs/ordering: Fix trivial typosAkira Yokosawa committed 1 year agof0a8398
  4. tools/memory-model: docs/simple.txt: Fix trivial typosAkira Yokosawa committed 1 year ago366b88f
  5. tools/memory-model: docs/README: Update introduction of locking.txtAkira Yokosawa committed 1 year ago13a9a11
  6. tools/memory-model: glossary.txt: Fix indentsAkira Yokosawa committed 1 year agoa2bfbf8
  7. tools/memory-model: Distinguish between syntactic and semantic tagsJonas Oberhauser committed 2 years agodcc5197
  8. tools/memory-model: Switch to softcoded herd7 tagsJonas Oberhauser committed 2 years agofafa180
  9. tools/memory-model: simple.txt: Fix stale reference to recipes-pairs.txtAkira Yokosawa committed 2 years agob9a6e87
  10. tools/memory-model: Add locking.txt and glossary.txt to READMEAkira Yokosawa committed 2 years ago9bc931e
  11. tools/memory-model: Document herd7 (abstract) representationAndrea Parri committed 2 years agoe8adbac
  12. Merge tag 'kcsan.2024.07.12a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcuLinus Torvalds committed 2 years agoe4b2b0b
  13. tools/memory-model: Add access-marking.txt to READMEPaul E. McKenney committed 2 years ago520c637
  14. tools/memory-model: Add KCSAN LF mentorship session citationPaul E. McKenney committed 2 years ago1e029b7
  15. kcsan: Add example to data_race() kerneldoc headerPaul E. McKenney committed 2 years ago020e6c2
  16. Merge tag 'lkmm-scripting.2023.04.07a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcuLinus Torvalds committed 3 years ago60eb450
  17. tools/memory-model: Remove out-of-date SRCU documentationAndrea Parri committed 3 years agocc4a298
  18. tools/memory-model: Document locking corner casesPaul E. McKenney committed 6 years ago7e7eb5a
  19. tools/memory-model: Add documentation about SRCU read-side critical sectionsAlan Stern committed 3 years agode04180
  20. tools: memory-model: Make plain accesses carry dependenciesJonas Oberhauser committed 3 years ago9ba7d3b
  21. tools: memory-model: Add rmw-sequences to the LKMMAlan Stern committed 3 years agoebd50e2
  22. tools/memory-model: Weaken ctrl dependency definition in explanation.txtPaul Heidekrüger committed 4 years agofc13b47
  23. tools/memory-model: Clarify LKMM's limitations in litmus-tests.txtPaul Heidekrüger committed 4 years agobe94ecf
  24. tools/memory-model: Explain syntactic and semantic dependenciesAlan Stern committed 4 years agoe2b665f
  25. tools/memory-model: Provide extra ordering for unlock+lock pair on the same CPUBoqun Feng committed 5 years agoddfe129
  26. tools/memory-model: Document data_race(READ_ONCE())Paul E. McKenney committed 5 years ago87859a8
  27. tools/memory-model: Heuristics using data_race() must handle all valuesManfred Spraul committed 5 years agof92975d
  28. tools/memory-model: Add example for heuristic lockless readsPaul E. McKenney committed 5 years ago436eef2
  29. tools/memory-model: Make read_foo_diagnostic() more clearly diagnosticPaul E. McKenney committed 5 years ago1846a7f
  30. tools/memory-model: Fix smp_mb__after_spinlock() spellingBjörn Töpel committed 5 years agod25fba0
  31. tools/memory-model: Add access-marking documentationPaul E. McKenney committed 5 years ago49ab51b
  32. tools/memory-model: Remove reference to atomic_ops.rstAkira Yokosawa committed 5 years ago9146658
  33. doc: Update rcu_dereference.rst referenceMauro Carvalho Chehab committed 5 years agoba46b21
  34. tools/memory-model: Tie acquire loads to reads-fromPaul E. McKenney committed 6 years ago8881e7a
  35. tools/memory-model: Add a glossary of LKMM termsPaul E. McKenney committed 6 years ago0a27ce6