[PATCH memory-model 0/14] LKMM updates for v5.9

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hello!

This series contains updates to the Linux-kernel memory model:

1.	tools/memory-model: Add recent references.

2.	tools/memory-model: Fix "conflict" definition, courtesy of
	Marco Elver.

3.	Documentation: LKMM: Add litmus test for RCU GP guarantee where
	updater frees object, courtesy of Joel Fernandes.

4.	Documentation: LKMM: Add litmus test for RCU GP guarantee where
	reader stores, courtesy of Joel Fernandes.

5.	MAINTAINERS: Update maintainers for new Documentation/litmus-tests,
	courtesy of Joel Fernandes.

6.	tools/memory-model: Add an exception for limitations on _unless()
	family, courtesy of Boqun Feng.

7.	Documentation/litmus-tests: Introduce atomic directory, courtesy of
	Boqun Feng.

8.	Documentation/litmus-tests/atomic: Add a test for atomic_set()
	courtesy of Boqun Feng.

9.	Documentation/litmus-tests/atomic: Add a test for
	smp_mb__after_atomic(), courtesy of Boqun Feng.

10.	tools/memory-model: Fix reference to litmus test in recipes.txt
	courtesy of Akira Yokosawa.

11.	Documentation/litmus-tests: Merge atomic's README into top-level
	one, courtesy of Akira Yokosawa.

12.	Documentation/litmus-tests: Cite an RCU litmus test, courtesy of
	Joel Fernandes.

13.	tools/memory-model/README: Expand dependency of klitmus7, courtesy
	of Akira Yokosawa.

14.	fix references for DMA*.txt files, courtesy of Mauro Carvalho Chehab.

							Thanx, Paul

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

 /Documentation/litmus-tests/atomic/README                                                       |   16 -
 b/Documentation/atomic_t.txt                                                                    |   24 +-
 b/Documentation/litmus-tests/README                                                             |   34 ++++
 b/Documentation/litmus-tests/atomic/Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus |   32 +++
 b/Documentation/litmus-tests/atomic/Atomic-RMW-ops-are-atomic-WRT-atomic_set.litmus             |   24 ++
 b/Documentation/litmus-tests/atomic/README                                                      |   16 +
 b/Documentation/litmus-tests/rcu/RCU+sync+free.litmus                                           |   42 +++++
 b/Documentation/litmus-tests/rcu/RCU+sync+read.litmus                                           |   37 ++++
 b/Documentation/memory-barriers.txt                                                             |    6 
 b/MAINTAINERS                                                                                   |    2 
 b/tools/memory-model/Documentation/explanation.txt                                              |   83 +++++-----
 b/tools/memory-model/Documentation/recipes.txt                                                  |    2 
 b/tools/memory-model/Documentation/references.txt                                               |   21 ++
 b/tools/memory-model/README                                                                     |   40 ++++
 14 files changed, 302 insertions(+), 77 deletions(-)



[Index of Archives]     [Linux Kernel]     [Kernel Newbies]     [x86 Platform Driver]     [Netdev]     [Linux Wireless]     [Netfilter]     [Bugtraq]     [Linux Filesystems]     [Yosemite Discussion]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Samba]     [Device Mapper]

  Powered by Linux