Commits

Breadcrumbs

History for

on8362fd6

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 24, 2019

• tools/memory-model: Improve data-race detection

  Show description for 4289ee7
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  4289ee7

  Copy full SHA for 4289ee7

Commits on Jun 21, 2019

• tools/memory-model: Change definition of rcu-fence

  Show description for 15aa25c
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  15aa25c

  Copy full SHA for 15aa25c

• tools/memory-model: Expand definition of barrier

  Show description for f9de417
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  f9de417

  Copy full SHA for f9de417

Commits on Jun 19, 2019

• tools/memory-model: Do not use "herd" to refer to "herd7"

  Show description for 37c600a
  

  Andrea Parri

  authored and

  Paul E. McKenney

  committed
  37c600a

  Copy full SHA for 37c600a

• tools/memory-model: Fix comment in MP+poonceonces.litmus

  Show description for 46f52b1
  

  Andrea Parri

  authored and

  Paul E. McKenney

  committed
  46f52b1

  Copy full SHA for 46f52b1

Commits on May 28, 2019

• tools/memory-model: Add data-race detection

  Show description for 0031e38
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  0031e38

  Copy full SHA for 0031e38

• tools/memory-model: Add definitions of plain and marked accesses

  Show description for d1a84ab
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  d1a84ab

  Copy full SHA for d1a84ab

• tools/memory-model: Prepare for data-race detection

  Show description for 4494dd5
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  4494dd5

  Copy full SHA for 4494dd5

Commits on Apr 4, 2019

• tools/memory-model: Add support for synchronize_srcu_expedited()

  Show description for a5220e7
  

  Paul E. McKenney

  committed
  a5220e7

  Copy full SHA for a5220e7

Commits on Mar 18, 2019

• tools/memory-model: Avoid duplicating herdtools versions

  Show description for 034fb71
  

  Andrea Parri

  authored and

  Paul E. McKenney

  committed
  034fb71

  Copy full SHA for 034fb71

• tools/memory-model: Dynamically check SRCU lock-to-unlock matching

  Show description for 9393998
  

  maranget

  authored and

  Paul E. McKenney

  committed
  9393998

  Copy full SHA for 9393998

• tools/memory-model: Update Documentation/explanation.txt to include SRCU support

  Show description for 648e717
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  648e717

  Copy full SHA for 648e717

• tools/memory-model: Update README for addition of SRCU

  Show description for ad9fd20
  

  Paul E. McKenney

  committed
  ad9fd20

  Copy full SHA for ad9fd20

• tools/memory-model: Add SRCU support

  Show description for a3f600d
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  a3f600d

  Copy full SHA for a3f600d

• tools/memory-model: Refactor some RCU relations

  Show description for 284749b
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  284749b

  Copy full SHA for 284749b

• tools/memory-model: Rename some RCU relations

  Show description for 0172d9e
  

  AlanStern

  authored and

  Paul E. McKenney

  committed
  0172d9e

  Copy full SHA for 0172d9e

Commits on Jan 21, 2019

• tools/memory-model: Make scripts take "-j" abbreviation for "--jobs"

  Show description for 910cc95
  

  paulmck

  authored and

  Ingo Molnar

  committed
  910cc95

  Copy full SHA for 910cc95

• tools/memory-model: Add scripts to check github litmus tests

  Show description for b02eb5b
  

  paulmck

  authored and

  Ingo Molnar

  committed
  b02eb5b

  Copy full SHA for b02eb5b

• tools/memory-model: Model smp_mb__after_unlock_lock()

  Show description for 5b735eb
  

  Andrea Parri

  authored and

  Ingo Molnar

  committed
  5b735eb

  Copy full SHA for 5b735eb

Commits on Oct 2, 2018

• tools/memory-model: Add more LKMM limitations

  Show description for d8fa25c
  

  paulmck

  authored and

  Ingo Molnar

  committed
  d8fa25c

  Copy full SHA for d8fa25c

• tools/memory-model: Fix a README typo

  Show description for 3d2046a
  

  sjp38

  authored and

  Ingo Molnar

  committed
  3d2046a

  Copy full SHA for 3d2046a

• tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire

  Show description for 6e89e83
  

  AlanStern

  authored and

  Ingo Molnar

  committed
  6e89e83

  Copy full SHA for 6e89e83

• tools/memory-model: Add litmus-test naming scheme

  Show description for c4f790f
  

  paulmck

  authored and

  Ingo Molnar

  committed
  c4f790f

  Copy full SHA for c4f790f

Commits on Jul 17, 2018

• tools/memory-model: Rename litmus tests to comply to norm7

  Show description for 71b7ff5
  

  Andrea Parri

  authored and

  Ingo Molnar

  committed
  71b7ff5

  Copy full SHA for 71b7ff5

• tools/memory-model/Documentation: Fix typo, smb->smp

  Show description for 0fcff17
  

  ykaliuta

  authored and

  Ingo Molnar

  committed
  0fcff17

  Copy full SHA for 0fcff17

• tools/memory-model: Make scripts executable

  Show description for 24675bb
  

  paulmck

  authored and

  Ingo Molnar

  committed
  24675bb

  Copy full SHA for 24675bb

• tools/memory-model: Remove ACCESS_ONCE() from model

  Show description for af41db5
  

  Mark Rutland

  authored and

  Ingo Molnar

  committed
  af41db5

  Copy full SHA for af41db5

• tools/memory-model: Remove ACCESS_ONCE() from recipes

  Show description for 5bde06b
  

  Mark Rutland

  authored and

  Ingo Molnar

  committed
  5bde06b

  Copy full SHA for 5bde06b

• tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name

  Show description for acb6c96
  

  paulmck

  authored and

  Ingo Molnar

  committed
  acb6c96

  Copy full SHA for acb6c96

• tools/memory-model: Add litmus test for full multicopy atomicity

  Show description for b464818
  

  paulmck

  authored and

  Ingo Molnar

  committed
  b464818

  Copy full SHA for b464818

Commits on May 15, 2018

• tools/memory-model: Add reference for 'Simplifying ARM concurrency'

  Show description for 99c1274
  

  Andrea Parri

  authored and

  Ingo Molnar

  committed
  99c1274

  Copy full SHA for 99c1274

• tools/memory-model: Update ASPLOS information

  Show description for 1a00b45
  

  Andrea Parri

  authored and

  Ingo Molnar

  committed
  1a00b45

  Copy full SHA for 1a00b45

• tools/memory-model: Fix coding style in 'lock.cat'

  Show description for 05604e7
  

  Andrea Parri

  authored and

  Ingo Molnar

  committed
  05604e7

  Copy full SHA for 05604e7

• tools/memory-model: Remove out-of-date comments and code from lock.cat

  Show description for cee0321
  

  AlanStern

  authored and

  Ingo Molnar

  committed
  cee0321

  Copy full SHA for cee0321

• tools/memory-model: Improve mixed-access checking in lock.cat

  Show description for 30b795d
  

  AlanStern

  authored and

  Ingo Molnar

  committed
  30b795d

  Copy full SHA for 30b795d

Pagination

Previous

Next