index
:
kernel/linux.git
linux-2.6.11.y
linux-2.6.12.y
linux-2.6.13.y
linux-2.6.14.y
linux-2.6.15.y
linux-2.6.16.y
linux-2.6.17.y
linux-2.6.18.y
linux-2.6.19.y
linux-2.6.20.y
linux-2.6.21.y
linux-2.6.22.y
linux-2.6.23.y
linux-2.6.24.y
linux-2.6.25.y
linux-2.6.26.y
linux-2.6.27.y
linux-2.6.28.y
linux-2.6.29.y
linux-2.6.30.y
linux-2.6.31.y
linux-2.6.32.y
linux-2.6.33.y
linux-2.6.34.y
linux-2.6.35.y
linux-2.6.36.y
linux-2.6.37.y
linux-2.6.38.y
linux-2.6.39.y
linux-3.0.y
linux-3.1.y
linux-3.10.y
linux-3.11.y
linux-3.12.y
linux-3.13.y
linux-3.14.y
linux-3.15.y
linux-3.16.y
linux-3.17.y
linux-3.18.y
linux-3.19.y
linux-3.2.y
linux-3.3.y
linux-3.4.y
linux-3.5.y
linux-3.6.y
linux-3.7.y
linux-3.8.y
linux-3.9.y
linux-4.0.y
linux-4.1.y
linux-4.10.y
linux-4.11.y
linux-4.12.y
linux-4.13.y
linux-4.14.y
linux-4.15.y
linux-4.16.y
linux-4.17.y
linux-4.18.y
linux-4.19.y
linux-4.2.y
linux-4.20.y
linux-4.3.y
linux-4.4.y
linux-4.5.y
linux-4.6.y
linux-4.7.y
linux-4.8.y
linux-4.9.y
linux-5.0.y
linux-5.1.y
linux-5.10.y
linux-5.11.y
linux-5.12.y
linux-5.13.y
linux-5.14.y
linux-5.15.y
linux-5.16.y
linux-5.17.y
linux-5.18.y
linux-5.19.y
linux-5.2.y
linux-5.3.y
linux-5.4.y
linux-5.5.y
linux-5.6.y
linux-5.7.y
linux-5.8.y
linux-5.9.y
linux-6.0.y
linux-6.1.y
linux-6.10.y
linux-6.11.y
linux-6.12.y
linux-6.2.y
linux-6.3.y
linux-6.4.y
linux-6.5.y
linux-6.6.y
linux-6.7.y
linux-6.8.y
linux-6.9.y
linux-rockchip-6.1.y
linux-rockchip-6.5.y
linux-rolling-lts
linux-rolling-stable
master
Linux kernel stable tree (mirror)
Andrey V.Kosteltsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
memory-model
Age
Commit message (
Expand
)
Author
Files
Lines
2018-05-15
tools/memory-model: Improve mixed-access checking in lock.cat
Alan Stern
1
-11
/
+11
2018-05-15
tools/memory-model: Improve comments in lock.cat
Alan Stern
1
-15
/
+36
2018-05-15
tools/memory-model: Remove duplicated code from lock.cat
Alan Stern
1
-22
/
+6
2018-05-15
tools/memory-model: Flag "cumulativity" and "propagation" tests
Paul E. McKenney
3
-5
/
+10
2018-05-15
tools/memory-model: Add model support for spin_is_locked()
Luc Maranget
5
-4
/
+129
2018-05-15
tools/memory-model: Add scripts to test memory model
Paul E. McKenney
3
-0
/
+160
2018-05-15
tools/memory-model: Fix coding style in 'linux-kernel.def'
Andrea Parri
1
-14
/
+14
2018-05-15
tools/memory-model: Model 'smp_store_mb()'
Andrea Parri
1
-0
/
+1
2018-05-15
tools/memory-order: Update the cheat-sheet to show that smp_mb__after_atomic(...
Paul E. McKenney
1
-1
/
+1
2018-05-15
tools/memory-order: Improve key for SELF and SV
Paul E. McKenney
1
-1
/
+2
2018-05-15
tools/memory-model: Fix cheat sheet typo
Paolo Bonzini
1
-1
/
+1
2018-05-15
tools/memory-model: Update required version of herdtools7
Akira Yokosawa
1
-1
/
+1
2018-05-15
tools/memory-model: Redefine rb in terms of rcu-fence
Alan Stern
2
-72
/
+129
2018-05-15
tools/memory-model: Rename link and rcu-path to rcu-link and rb
Alan Stern
2
-54
/
+55
2018-03-10
tools/memory-model: Finish the removal of rb-dep, smp_read_barrier_depends(),...
Alan Stern
3
-6
/
+6
2018-03-10
tools/memory-model: Add documentation of new litmus test
Paul E. McKenney
1
-0
/
+6
2018-03-10
tools/memory-model: Remove mention of docker/gentoo image
Paul E. McKenney
1
-15
/
+0
2018-02-21
tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_der...
Alan Stern
5
-48
/
+46
2018-02-21
tools/memory-model: Convert underscores to hyphens
Paul E. McKenney
3
-9
/
+9
2018-02-21
tools/memory-model: Add a S lock-based external-view litmus test
Alan Stern
1
-0
/
+41
2018-02-21
tools/memory-model: Add required herd7 version to README file
Paul E. McKenney
1
-1
/
+2
2018-02-21
README: Fix a couple of punctuation errors
Paul E. McKenney
1
-2
/
+2
2018-02-21
EXP litmus_tests: Add comments explaining tests' purposes
Paul E. McKenney
28
-1
/
+246
2018-02-21
MAINTAINERS: Add the Memory Consistency Model subsystem
Andrea Parri
1
-15
/
+0
2018-02-21
tools/memory-model: Clarify the origin/scope of the tool name
Andrea Parri
4
-10
/
+10
2018-01-25
Automate memory-barriers.txt; provide Linux-kernel memory model
Paul E. McKenney
40
-0
/
+3973
[prev]
