index
:
linux
master
linux
Fast-forward packages
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tools
/
memory-model
/
litmus-tests
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) ordering
Boqun Feng
2021-12-01
3
-0
/
+76
*
tools/memory-model: Remove redundant initialization in litmus tests
Akira Yokosawa
2021-01-04
32
-134
/
+32
*
tools/memory-model: Label MP tests' producers and consumers
Paul E. McKenney
2020-11-07
8
-24
/
+24
*
tools/memory-model: Use "buf" and "flag" for message-passing tests
Paul E. McKenney
2020-11-07
6
-46
/
+46
*
tools/memory-model: Add types to litmus tests
Paul E. McKenney
2020-11-07
32
-31
/
+130
*
.gitignore: add SPDX License Identifier
Masahiro Yamada
2020-03-25
1
-0
/
+1
*
tools/memory-model: Do not use "herd" to refer to "herd7"
Andrea Parri
2019-06-19
1
-1
/
+1
*
tools/memory-model: Fix comment in MP+poonceonces.litmus
Andrea Parri
2019-06-19
1
-1
/
+1
*
tools/memory-model: Add extra ordering for locks and remove it for ordinary r...
Alan Stern
2018-10-02
1
-4
/
+3
*
tools/memory-model: Add litmus-test naming scheme
Paul E. McKenney
2018-10-02
1
-2
/
+102
*
tools/memory-model: Rename litmus tests to comply to norm7
Andrea Parri
2018-07-17
9
-16
/
+16
*
tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name
Paul E. McKenney
2018-07-17
1
-1
/
+1
*
tools/memory-model: Add litmus test for full multicopy atomicity
Paul E. McKenney
2018-07-17
2
-0
/
+41
*
tools/memory-model: Flag "cumulativity" and "propagation" tests
Paul E. McKenney
2018-05-15
3
-5
/
+10
*
tools/memory-model: Add model support for spin_is_locked()
Luc Maranget
2018-05-15
3
-0
/
+79
*
tools/memory-model: Add scripts to test memory model
Paul E. McKenney
2018-05-15
1
-0
/
+1
*
tools/memory-model: Add documentation of new litmus test
Paul E. McKenney
2018-03-10
1
-0
/
+6
*
tools/memory-model: Add a S lock-based external-view litmus test
Alan Stern
2018-02-21
1
-0
/
+41
*
README: Fix a couple of punctuation errors
Paul E. McKenney
2018-02-21
1
-2
/
+2
*
EXP litmus_tests: Add comments explaining tests' purposes
Paul E. McKenney
2018-02-21
28
-1
/
+246
*
Automate memory-barriers.txt; provide Linux-kernel memory model
Paul E. McKenney
2018-01-25
29
-0
/
+786