summaryrefslogtreecommitdiff
path: root/tools/memory-model
AgeCommit message (Expand)Author
2022-06-21memory-model: Prohibit nested SRCU read-side critical sectionsPaul E. McKenney
2022-06-20tools/memory-model: Use "-unroll 0" to keep --hw runs finitePaul E. McKenney
2022-06-20tools/memory-model: Make judgelitmus.sh handle scripted Result: tagPaul E. McKenney
2022-06-20tools/memory-model: Add data-race capabilities to judgelitmus.shPaul E. McKenney
2022-06-20tools/memory-model: Add checktheselitmus.sh to run specified litmus testsPaul E. McKenney
2022-06-20tools/memory-model: Repair parseargs.sh header commentPaul E. McKenney
2022-06-20tools/memory-model: Add "--" to parseargs.sh for additional argumentsPaul E. McKenney
2022-06-20tools/memory-model: Make history-check scripts use mselect7Paul E. McKenney
2022-06-20tools/memory-model: Make checkghlitmus.sh use mselect7Paul E. McKenney
2022-06-20tools/memory-model: Fix scripting --jobs argumentPaul E. McKenney
2022-06-20tools/memory-model: Implement --hw support for checkghlitmus.shPaul E. McKenney
2022-06-20tools/memory-model: Add -v flag to jingle7 runsPaul E. McKenney
2022-06-20tools/memory-model: Make runlitmus.sh check for jingle errorsPaul E. McKenney
2022-06-20tools/memory-model: Allow herd to deduce CPU typePaul E. McKenney
2022-06-20tools/memory-model: Keep assembly-language litmus testsPaul E. McKenney
2022-06-20tools/memory-model: Move from .AArch64.litmus.out to .litmus.AArch.outPaul E. McKenney
2022-06-20tools/memory-model: Make runlitmus.sh generate .litmus.out for --hwPaul E. McKenney
2022-06-20tools/memory-model: Split runlitmus.sh out of checklitmus.shPaul E. McKenney
2022-06-20tools/memory-model: Make judgelitmus.sh ransack .litmus.out filesPaul E. McKenney
2022-06-20tools/memory-model: Hardware checking for check{,all}litmus.shPaul E. McKenney
2022-06-20tools/memory-model: Fix checkalllitmus.sh commentPaul E. McKenney
2022-06-20tools/memory-model: Add simpletest.sh to check locking, RCU, and SRCUPaul E. McKenney
2022-06-20tools/memory-model: Make judgelitmus.sh handle hardware verificationsPaul E. McKenney
2022-06-20tools/memory-model: Update parseargs.sh for hardware verificationPaul E. McKenney
2022-06-20tools/memory-model: Fix paulmck email address on pre-existing scriptsPaul E. McKenney
2022-06-20tools/memory-model: Make judgelitmus.sh detect hard deadlocksPaul E. McKenney
2022-06-20tools/memory-model: Make judgelitmus.sh identify bad macrosPaul E. McKenney
2022-06-20tools/memory-model: Make cmplitmushist.sh note timeoutsPaul E. McKenney
2022-06-20tools/memory-model: Make judgelitmus.sh note timeoutsPaul E. McKenney
2022-06-20tools/memory-model: Document locking corner casesPaul E. McKenney
2022-05-03tools/memory-model/README: Update klitmus7 compat tableAkira Yokosawa
2022-02-01tools/memory-model: Explain syntactic and semantic dependenciesAlan Stern
2021-11-30tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) orderingBoqun Feng
2021-11-30tools/memory-model: doc: Describe the requirement of the litmus-tests directoryBoqun Feng
2021-11-30tools/memory-model: Provide extra ordering for unlock+lock pair on the same CPUBoqun Feng
2021-07-27tools/memory-model: Document data_race(READ_ONCE())Paul E. McKenney
2021-07-27tools/memory-model: Heuristics using data_race() must handle all valuesManfred Spraul
2021-07-27tools/memory-model: Add example for heuristic lockless readsPaul E. McKenney
2021-07-20tools/memory-model: Make read_foo_diagnostic() more clearly diagnosticPaul E. McKenney
2021-05-10tools/memory-model: Fix smp_mb__after_spinlock() spellingBjörn Töpel
2021-03-15tools/memory-model: Add access-marking documentationPaul E. McKenney
2021-03-08tools/memory-model: Remove reference to atomic_ops.rstAkira Yokosawa
2021-03-08doc: Update rcu_dereference.rst referenceMauro Carvalho Chehab
2021-01-04tools/memory-model: Fix typo in klitmus7 compatibility tableAkira Yokosawa
2021-01-04tools/memory-model: Remove redundant initialization in litmus testsAkira Yokosawa
2021-01-04tools/memory-model: Tie acquire loads to reads-fromPaul E. McKenney
2020-11-06tools/memory-model: Label MP tests' producers and consumersPaul E. McKenney
2020-11-06tools/memory-model: Use "buf" and "flag" for message-passing testsPaul E. McKenney
2020-11-06tools/memory-model: Add types to litmus testsPaul E. McKenney
2020-11-06tools/memory-model: Add a glossary of LKMM termsPaul E. McKenney
generated by cgit v1.2.3 (git 2.39.1) at 2026-09-12 15:54:16 +0000