Paul E. McKenney
|
c4f790f244
tools/memory-model: Add litmus-test naming scheme
|
7 жил өмнө |
Andrea Parri
|
71b7ff5ebc
tools/memory-model: Rename litmus tests to comply to norm7
|
7 жил өмнө |
Paul E. McKenney
|
b464818978
tools/memory-model: Add litmus test for full multicopy atomicity
|
7 жил өмнө |
Paul E. McKenney
|
1bd3742043
tools/memory-model: Flag "cumulativity" and "propagation" tests
|
7 жил өмнө |
Luc Maranget
|
15553dcbca
tools/memory-model: Add model support for spin_is_locked()
|
7 жил өмнө |
Paul E. McKenney
|
ff1fe5e079
tools/memory-model: Add documentation of new litmus test
|
7 жил өмнө |
Paul E. McKenney
|
6215514704
README: Fix a couple of punctuation errors
|
7 жил өмнө |
Paul E. McKenney
|
1c27b644c0
Automate memory-barriers.txt; provide Linux-kernel memory model
|
7 жил өмнө |