Log - fe76a166a1e3dd2cc906e5468fda9834029d6258 - SHIFTPHONES/mainline/linux

4289ee7 tools/memory-model: Improve data-race detection by Alan Stern · 6 years ago
15aa25c tools/memory-model: Change definition of rcu-fence by Alan Stern · 6 years ago
f9de417 tools/memory-model: Expand definition of barrier by Alan Stern · 6 years ago
37c600a tools/memory-model: Do not use "herd" to refer to "herd7" by Andrea Parri · 6 years ago
46f52b1 tools/memory-model: Fix comment in MP+poonceonces.litmus by Andrea Parri · 6 years ago
0031e38 tools/memory-model: Add data-race detection by Alan Stern · 6 years ago
d1a84ab tools/memory-model: Add definitions of plain and marked accesses by Alan Stern · 6 years ago
4494dd5 tools/memory-model: Prepare for data-race detection by Alan Stern · 6 years ago
a5220e7 tools/memory-model: Add support for synchronize_srcu_expedited() by Paul E. McKenney · 6 years ago
034fb71 tools/memory-model: Avoid duplicating herdtools versions by Andrea Parri · 6 years ago
9393998 tools/memory-model: Dynamically check SRCU lock-to-unlock matching by Luc Maranget · 6 years ago
648e717 tools/memory-model: Update Documentation/explanation.txt to include SRCU support by Alan Stern · 6 years ago
ad9fd20 tools/memory-model: Update README for addition of SRCU by Paul E. McKenney · 6 years ago
a3f600d tools/memory-model: Add SRCU support by Alan Stern · 6 years ago
284749b tools/memory-model: Refactor some RCU relations by Alan Stern · 6 years ago
0172d9e tools/memory-model: Rename some RCU relations by Alan Stern · 6 years ago
910cc959 tools/memory-model: Make scripts take "-j" abbreviation for "--jobs" by Paul E. McKenney · 6 years ago
b02eb5b tools/memory-model: Add scripts to check github litmus tests by Paul E. McKenney · 6 years ago
5b735eb tools/memory-model: Model smp_mb__after_unlock_lock() by Andrea Parri · 6 years ago
d8fa25c tools/memory-model: Add more LKMM limitations by Paul E. McKenney · 6 years ago
3d2046a tools/memory-model: Fix a README typo by SeongJae Park · 6 years ago
6e89e83 tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire by Alan Stern · 6 years ago
c4f790f tools/memory-model: Add litmus-test naming scheme by Paul E. McKenney · 6 years ago
71b7ff5 tools/memory-model: Rename litmus tests to comply to norm7 by Andrea Parri · 6 years ago
0fcff17 tools/memory-model/Documentation: Fix typo, smb->smp by Yauheni Kaliuta · 6 years ago
24675bb tools/memory-model: Make scripts executable by Paul E. McKenney · 6 years ago
af41db5e tools/memory-model: Remove ACCESS_ONCE() from model by Mark Rutland · 6 years ago
5bde06b tools/memory-model: Remove ACCESS_ONCE() from recipes by Mark Rutland · 6 years ago
acb6c96 tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name by Paul E. McKenney · 6 years ago
b464818 tools/memory-model: Add litmus test for full multicopy atomicity by Paul E. McKenney · 6 years ago
99c1274 tools/memory-model: Add reference for 'Simplifying ARM concurrency' by Andrea Parri · 7 years ago
1a00b455 tools/memory-model: Update ASPLOS information by Andrea Parri · 7 years ago
05604e7 tools/memory-model: Fix coding style in 'lock.cat' by Andrea Parri · 7 years ago
cee0321 tools/memory-model: Remove out-of-date comments and code from lock.cat by Alan Stern · 7 years ago
30b795d tools/memory-model: Improve mixed-access checking in lock.cat by Alan Stern · 7 years ago
fd0359d tools/memory-model: Improve comments in lock.cat by Alan Stern · 7 years ago
8559183 tools/memory-model: Remove duplicated code from lock.cat by Alan Stern · 7 years ago
1bd3742 tools/memory-model: Flag "cumulativity" and "propagation" tests by Paul E. McKenney · 7 years ago
15553dc tools/memory-model: Add model support for spin_is_locked() by Luc Maranget · 7 years ago
2fb6ae1 tools/memory-model: Add scripts to test memory model by Paul E. McKenney · 7 years ago
d17013e tools/memory-model: Fix coding style in 'linux-kernel.def' by Andrea Parri · 7 years ago
bf8c6d9 tools/memory-model: Model 'smp_store_mb()' by Andrea Parri · 7 years ago
bfd403b tools/memory-order: Update the cheat-sheet to show that smp_mb__after_atomic() orders later RMW operations by Paul E. McKenney · 7 years ago
35bb6ee tools/memory-order: Improve key for SELF and SV by Paul E. McKenney · 7 years ago
a839195 tools/memory-model: Fix cheat sheet typo by Paolo Bonzini · 7 years ago
5b62832c tools/memory-model: Update required version of herdtools7 by Akira Yokosawa · 7 years ago
9d03688 tools/memory-model: Redefine rb in terms of rcu-fence by Alan Stern · 7 years ago
1ee2da5 tools/memory-model: Rename link and rcu-path to rcu-link and rb by Alan Stern · 7 years ago
bd5c0ba tools/memory-model: Finish the removal of rb-dep, smp_read_barrier_depends(), and lockless_dereference() by Alan Stern · 7 years ago
ff1fe5e tools/memory-model: Add documentation of new litmus test by Paul E. McKenney · 7 years ago
d095c12 tools/memory-model: Remove mention of docker/gentoo image by Paul E. McKenney · 7 years ago
bf28ae5 tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference by Alan Stern · 7 years ago
cac79a39 tools/memory-model: Convert underscores to hyphens by Paul E. McKenney · 7 years ago
556bb7d tools/memory-model: Add a S lock-based external-view litmus test by Alan Stern · 7 years ago
8f7f2fb tools/memory-model: Add required herd7 version to README file by Paul E. McKenney · 7 years ago
6215514 README: Fix a couple of punctuation errors by Paul E. McKenney · 7 years ago
8f32543 EXP litmus_tests: Add comments explaining tests' purposes by Paul E. McKenney · 7 years ago
e7d74c9 MAINTAINERS: Add the Memory Consistency Model subsystem by Andrea Parri · 7 years ago
48d44d4 tools/memory-model: Clarify the origin/scope of the tool name by Andrea Parri · 7 years ago
1c27b64 Automate memory-barriers.txt; provide Linux-kernel memory model by Paul E. McKenney · 7 years ago