linux-arch.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* [PATCH RFC memory-model 0/7] Memory-model changes
@ 2018-08-29 21:10 Paul E. McKenney
  2018-08-29 21:10 ` Paul E. McKenney
                   ` (8 more replies)
  0 siblings, 9 replies; 112+ messages in thread
From: Paul E. McKenney @ 2018-08-29 21:10 UTC (permalink / raw)
  To: linux-kernel, linux-arch, mingo
  Cc: stern, parri.andrea, will.deacon, peterz, boqun.feng, npiggin,
	dhowells, j.alglave, luc.maranget, akiyks

Hello!

This series contains memory-model updates, not yet ready for inclusion:

1.	Add extra ordering for locks and remove it for ordinary
	release/acquire, courtesy of Alan Stern.  There is some
	remaining disagreement as to whether or not locks and ordinary
	release/acquire should have identical ordering properties.

2.	Replace smp_cond_acquire() with smp_cond_load_acquire(),
	courtesy of Andrea Parri.

3.	Expand the list of LKMM limitations.

4.	Fix a README typo, courtesy of SeongJae Park.

5.	Add scripts to check github litmus tests.

6.	Make scripts take "-j" abbreviation for "--jobs".

7.	Add .cfg and .cat files for s390, which is a not-for-mainline
	placeholder.

							Thanx, Paul

------------------------------------------------------------------------

 Documentation/memory-barriers.txt                                          |    3 
 tools/memory-model/.gitignore                                              |    1 
 tools/memory-model/Documentation/explanation.txt                           |  186 +++++++---
 tools/memory-model/Documentation/recipes.txt                               |    2 
 tools/memory-model/README                                                  |   41 ++
 tools/memory-model/linux-kernel.cat                                        |    8 
 tools/memory-model/litmus-tests/ISA2+pooncelock+pooncelock+pombonce.litmus |    7 
 tools/memory-model/s390.cat                                                |   18 
 tools/memory-model/s390.cfg                                                |   21 +
 tools/memory-model/scripts/README                                          |   70 +++
 tools/memory-model/scripts/checkalllitmus.sh                               |   53 +-
 tools/memory-model/scripts/checkghlitmus.sh                                |   65 +++
 tools/memory-model/scripts/checklitmus.sh                                  |   74 ---
 tools/memory-model/scripts/checklitmushist.sh                              |   60 +++
 tools/memory-model/scripts/cmplitmushist.sh                                |   87 ++++
 tools/memory-model/scripts/initlitmushist.sh                               |   68 +++
 tools/memory-model/scripts/judgelitmus.sh                                  |   78 ++++
 tools/memory-model/scripts/newlitmushist.sh                                |   61 +++
 tools/memory-model/scripts/parseargs.sh                                    |  140 +++++++
 tools/memory-model/scripts/runlitmushist.sh                                |   87 ++++
 20 files changed, 981 insertions(+), 149 deletions(-)

^ permalink raw reply	[flat|nested] 112+ messages in thread

end of thread, other threads:[~2018-09-15  9:14 UTC | newest]

Thread overview: 112+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-08-29 21:10 [PATCH RFC memory-model 0/7] Memory-model changes Paul E. McKenney
2018-08-29 21:10 ` Paul E. McKenney
2018-08-29 21:10 ` [PATCH RFC LKMM 1/7] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire Paul E. McKenney
2018-08-29 21:10   ` Paul E. McKenney
2018-08-30 12:50   ` Andrea Parri
2018-08-30 12:50     ` Andrea Parri
2018-08-30 21:31     ` Alan Stern
2018-08-30 21:31       ` Alan Stern
2018-08-31  9:17       ` Andrea Parri
2018-08-31  9:17         ` Andrea Parri
2018-08-31 14:52         ` Alan Stern
2018-08-31 14:52           ` Alan Stern
2018-08-31 16:06           ` Will Deacon
2018-08-31 16:06             ` Will Deacon
2018-08-31 18:28             ` Andrea Parri
2018-08-31 18:28               ` Andrea Parri
2018-09-03  9:01               ` Andrea Parri
2018-09-03  9:01                 ` Andrea Parri
2018-09-03 17:04                 ` Will Deacon
2018-09-03 17:04                   ` Will Deacon
2018-09-04  8:11                   ` Andrea Parri
2018-09-04  8:11                     ` Andrea Parri
2018-09-04 19:09                     ` Alan Stern
2018-09-04 19:09                       ` Alan Stern
2018-09-05  7:21                       ` Andrea Parri
2018-09-05  7:21                         ` Andrea Parri
2018-09-05 14:33                         ` Akira Yokosawa
2018-09-05 14:33                           ` Akira Yokosawa
2018-09-05 14:53                           ` Paul E. McKenney
2018-09-05 14:53                             ` Paul E. McKenney
2018-09-05 15:00                           ` Andrea Parri
2018-09-05 15:00                             ` Andrea Parri
2018-09-05 15:04                             ` Akira Yokosawa
2018-09-05 15:04                               ` Akira Yokosawa
2018-09-05 15:24                               ` Andrea Parri
2018-09-05 15:24                                 ` Andrea Parri
2018-09-03 17:52                 ` Alan Stern
2018-09-03 17:52                   ` Alan Stern
2018-09-03 18:28                   ` Andrea Parri
2018-09-03 18:28                     ` Andrea Parri
2018-09-06  1:25                 ` Alan Stern
2018-09-06  1:25                   ` Alan Stern
2018-09-06  9:36                   ` Andrea Parri
2018-09-06  9:36                     ` Andrea Parri
2018-09-07 16:00                     ` Alan Stern
2018-09-07 16:00                       ` Alan Stern
2018-09-07 16:09                       ` Will Deacon
2018-09-07 16:09                         ` Will Deacon
2018-09-07 16:39                         ` Daniel Lustig
2018-09-07 16:39                           ` Daniel Lustig
2018-09-07 17:38                           ` Alan Stern
2018-09-07 17:38                             ` Alan Stern
2018-09-08  0:04                             ` Daniel Lustig
2018-09-08  0:04                               ` Daniel Lustig
2018-09-08  9:58                             ` Andrea Parri
2018-09-08  9:58                               ` Andrea Parri
2018-09-11 19:31                               ` Alan Stern
2018-09-11 19:31                                 ` Alan Stern
2018-09-11 20:03                                 ` Paul E. McKenney
2018-09-11 20:03                                   ` Paul E. McKenney
2018-09-12 14:24                                   ` Alan Stern
2018-09-12 14:24                                     ` Alan Stern
2018-09-13 17:07                                   ` Alan Stern
2018-09-13 17:07                                     ` Alan Stern
2018-09-14 14:37                                     ` Andrea Parri
2018-09-14 14:37                                       ` Andrea Parri
2018-09-14 16:29                                       ` Alan Stern
2018-09-14 16:29                                         ` Alan Stern
2018-09-14 19:44                                         ` Andrea Parri
2018-09-14 19:44                                           ` Andrea Parri
2018-09-14 21:08                                       ` [PATCH v5] " Alan Stern
2018-09-14 21:08                                         ` Alan Stern
2018-09-15  3:56                                         ` Paul E. McKenney
2018-09-15  3:56                                           ` Paul E. McKenney
2018-09-03 17:05               ` [PATCH RFC LKMM 1/7] " Will Deacon
2018-09-03 17:05                 ` Will Deacon
2018-08-31 17:55           ` Andrea Parri
2018-08-31 17:55             ` Andrea Parri
2018-08-29 21:10 ` [PATCH RFC LKMM 2/7] doc: Replace smp_cond_acquire() with smp_cond_load_acquire() Paul E. McKenney
2018-08-29 21:10   ` Paul E. McKenney
2018-09-14 16:59   ` Will Deacon
2018-09-14 16:59     ` Will Deacon
2018-09-14 18:20     ` Paul E. McKenney
2018-09-14 18:20       ` Paul E. McKenney
2018-08-29 21:10 ` [PATCH RFC LKMM 3/7] EXP tools/memory-model: Add more LKMM limitations Paul E. McKenney
2018-08-29 21:10   ` Paul E. McKenney
2018-08-30  9:17   ` Andrea Parri
2018-08-30  9:17     ` Andrea Parri
2018-08-30 22:18     ` Paul E. McKenney
2018-08-30 22:18       ` Paul E. McKenney
2018-08-31  9:43       ` Andrea Parri
2018-08-31  9:43         ` Andrea Parri
2018-09-06 18:34         ` Paul E. McKenney
2018-09-06 18:34           ` Paul E. McKenney
2018-08-29 21:10 ` [PATCH RFC LKMM 4/7] tools/memory-model: Fix a README typo Paul E. McKenney
2018-08-29 21:10   ` Paul E. McKenney
2018-08-29 21:10 ` [PATCH RFC LKMM 5/7] EXP tools/memory-model: Add scripts to check github litmus tests Paul E. McKenney
2018-08-29 21:10   ` Paul E. McKenney
2018-08-29 21:10 ` [PATCH RFC LKMM 6/7] EXP tools/memory-model: Make scripts take "-j" abbreviation for "--jobs" Paul E. McKenney
2018-08-29 21:10   ` Paul E. McKenney
2018-08-29 21:10 ` [PATCH RFC LKMM 7/7] EXP tools/memory-model: Add .cfg and .cat files for s390 Paul E. McKenney
2018-08-29 21:10   ` Paul E. McKenney
2018-08-31 16:06   ` Will Deacon
2018-08-31 16:06     ` Will Deacon
2018-09-01 17:08     ` Paul E. McKenney
2018-09-01 17:08       ` Paul E. McKenney
2018-09-14 16:36 ` [PATCH RFC memory-model 0/7] Memory-model changes Paul E. McKenney
2018-09-14 16:36   ` Paul E. McKenney
2018-09-14 17:19   ` Alan Stern
2018-09-14 17:19     ` Alan Stern
2018-09-14 18:29     ` Paul E. McKenney
2018-09-14 18:29       ` Paul E. McKenney

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).