Commits · v5.3-rc8 · Vanessa H / Linux · GitLab

Snippets Groups Projects

Jun 24, 2019
- tools/memory-model: Improve data-race detection · 4289ee7d
  Alan Stern authored 6 years ago
  4289ee7d
Jun 21, 2019
- tools/memory-model: Change definition of rcu-fence · 15aa25cb
  Alan Stern authored 6 years ago
  15aa25cb
- tools/memory-model: Expand definition of barrier · f9de4171
  Alan Stern authored 6 years ago
  f9de4171
Jun 19, 2019
- tools/memory-model: Do not use "herd" to refer to "herd7" · 37c600a3
  Andrea Parri authored 6 years ago
  37c600a3
- tools/memory-model: Fix comment in MP+poonceonces.litmus · 46f52b1f
  Andrea Parri authored 6 years ago
  46f52b1f
May 28, 2019
- tools/memory-model: Add data-race detection · 0031e38a
  Alan Stern authored 6 years ago
  0031e38a
- tools/memory-model: Add definitions of plain and marked accesses · d1a84ab1
  Alan Stern authored 6 years ago
  d1a84ab1
- tools/memory-model: Prepare for data-race detection · 4494dd58
  Alan Stern authored 6 years ago
  4494dd58
Apr 04, 2019
- tools/memory-model: Add support for synchronize_srcu_expedited() · a5220e7d
  Paul E. McKenney authored 6 years ago
  a5220e7d
Mar 18, 2019
- tools/memory-model: Avoid duplicating herdtools versions · 034fb712
  Andrea Parri authored 6 years ago
  034fb712
- tools/memory-model: Dynamically check SRCU lock-to-unlock matching · 9393998e
  Luc Maranget authored 6 years ago
  9393998e
- tools/memory-model: Update Documentation/explanation.txt to include SRCU support · 648e7175
  Alan Stern authored 6 years ago
  648e7175
- tools/memory-model: Update README for addition of SRCU · ad9fd20b
  Paul E. McKenney authored 6 years ago
  ad9fd20b
- tools/memory-model: Add SRCU support · a3f600d9
  Alan Stern authored 6 years ago
  a3f600d9
- tools/memory-model: Refactor some RCU relations · 284749b0
  Alan Stern authored 6 years ago
  284749b0
- tools/memory-model: Rename some RCU relations · 0172d9e3
  Alan Stern authored 6 years ago
  0172d9e3
Jan 21, 2019
- tools/memory-model: Make scripts take "-j" abbreviation for "--jobs" · 910cc959
  Paul E. McKenney authored 6 years ago
  910cc959
- tools/memory-model: Add scripts to check github litmus tests · b02eb5b0
  Paul E. McKenney authored 6 years ago
  b02eb5b0
- tools/memory-model: Model smp_mb__after_unlock_lock() · 5b735eb1
  Andrea Parri authored 6 years ago
  5b735eb1
Oct 02, 2018
- tools/memory-model: Add more LKMM limitations · d8fa25c4
  Paul E. McKenney authored 6 years ago
  d8fa25c4
- tools/memory-model: Fix a README typo · 3d2046a6
  SeongJae Park authored 6 years ago
  3d2046a6
- tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire · 6e89e831
  Alan Stern authored 6 years ago
  6e89e831
- tools/memory-model: Add litmus-test naming scheme · c4f790f2
  Paul E. McKenney authored 6 years ago
  c4f790f2
Jul 17, 2018
- tools/memory-model: Rename litmus tests to comply to norm7 · 71b7ff5e
  Andrea Parri authored 6 years ago
  71b7ff5e
- tools/memory-model/Documentation: Fix typo, smb->smp · 0fcff171
  Yauheni Kaliuta authored 6 years ago
  0fcff171
- tools/memory-model: Make scripts executable · 24675bb5
  Paul E. McKenney authored 6 years ago
  24675bb5
- tools/memory-model: Remove ACCESS_ONCE() from model · af41db5e
  Mark Rutland authored 6 years ago
  af41db5e
- tools/memory-model: Remove ACCESS_ONCE() from recipes · 5bde06b6
  Mark Rutland authored 6 years ago
  5bde06b6
- tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name · acb6c96c
  Paul E. McKenney authored 6 years ago
  acb6c96c
- tools/memory-model: Add litmus test for full multicopy atomicity · b4648189
  Paul E. McKenney authored 6 years ago
  b4648189
May 15, 2018
- tools/memory-model: Add reference for 'Simplifying ARM concurrency' · 99c12749
  Andrea Parri authored 7 years ago
  99c12749
- tools/memory-model: Update ASPLOS information · 1a00b455
  Andrea Parri authored 7 years ago
  1a00b455
- tools/memory-model: Fix coding style in 'lock.cat' · 05604e7e
  Andrea Parri authored 7 years ago
  05604e7e
- tools/memory-model: Remove out-of-date comments and code from lock.cat · cee0321a
  Alan Stern authored 7 years ago
  cee0321a
- tools/memory-model: Improve mixed-access checking in lock.cat · 30b795df
  Alan Stern authored 7 years ago
  30b795df
- tools/memory-model: Improve comments in lock.cat · fd0359db
  Alan Stern authored 7 years ago
  fd0359db
- tools/memory-model: Remove duplicated code from lock.cat · 8559183c
  Alan Stern authored 7 years ago
  8559183c
- tools/memory-model: Flag "cumulativity" and "propagation" tests · 1bd37420
  Paul E. McKenney authored 7 years ago
  1bd37420
- tools/memory-model: Add model support for spin_is_locked() · 15553dcb
  Luc Maranget authored 7 years ago
  15553dcb
- tools/memory-model: Add scripts to test memory model · 2fb6ae16
  Paul E. McKenney authored 7 years ago
  2fb6ae16