| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-Id: <20180220232405.GA19274@linux.vnet.ibm.com>
Date: Tue, 20 Feb 2018 15:24:05 -0800
From: "Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>
To: linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org
Cc: mingo@...nel.org, stern@...land.harvard.edu,
parri.andrea@...il.com, will.deacon@....com, peterz@...radead.org,
boqun.feng@...il.com, npiggin@...il.com, dhowells@...hat.com,
j.alglave@....ac.uk, luc.maranget@...ia.fr, akiyks@...il.com,
nborisov@...e.com
Subject: [PATCH RFC tools/lkmm 0/12] Miscellaneous fixes
Hello!
This RFC series adds some miscellaneous updates to the Linux kernel
memory model:
1. Clarify the origin and scope of the tool name to avoid confusion
between "memory model" and "memory management", courtesy of
Andrea Parri.
2. Move the maintainer list for LKMM to the main MAINTAINERS file,
courtesy of Andrea Parri.
3. Add memory-barriers.txt to the LKMM MAINTAINERS entry, courtesy
of Andrea Parri.
4. Add comments explaining the purpose of the various litmus tests.
5. Fix punctuation errors in litmus-tests/README.
6. Add Akira Yokosawa as an LKMM reviewer.
7. Cross-reference tools/memory-model from memory-barriers.txt,
courtesy of Andrea Parri and Akira Yokosawa.
8. Fix description of data dependency barriers, courtesy of
Nikolay Borisov.
9. Add required herd7 version to README file.
10. Add a S lock-based external-view litmus test, courtesy of Alan
Stern.
11. Convert underscores to hyphens in .bell and .cat files for
consistency with typical cat-language code.
12. Remove rb-dep, smp_read_barrier_depends, and lockless_dereference,
which reflect recent Linux-kernel changes, courtesy of
Alan Stern.
Changes since v1:
o Applied feedback from v1 posting.
o Squashing patches together, as promised in v1.
o Added patches 7-10 and 12.
Thanx, Paul
------------------------------------------------------------------------
/tools/memory-model/MAINTAINERS | 15 -
b/Documentation/memory-barriers.txt | 8
b/MAINTAINERS | 18 ++
b/tools/memory-model/Documentation/cheatsheet.txt | 3
b/tools/memory-model/Documentation/explanation.txt | 81 +++++-----
b/tools/memory-model/MAINTAINERS | 2
b/tools/memory-model/README | 17 +-
b/tools/memory-model/linux-kernel.bell | 9 -
b/tools/memory-model/linux-kernel.cat | 15 -
b/tools/memory-model/linux-kernel.def | 8
b/tools/memory-model/litmus-tests/CoRR+poonceonce+Once.litmus | 7
b/tools/memory-model/litmus-tests/CoRW+poonceonce+Once.litmus | 7
b/tools/memory-model/litmus-tests/CoWR+poonceonce+Once.litmus | 7
b/tools/memory-model/litmus-tests/CoWW+poonceonce.litmus | 7
b/tools/memory-model/litmus-tests/IRIW+mbonceonces+OnceOnce.litmus | 10 +
b/tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus | 10 +
b/tools/memory-model/litmus-tests/ISA2+pooncelock+pooncelock+pombonce.litmus | 41 +++++
b/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus | 9 +
b/tools/memory-model/litmus-tests/ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus | 11 +
b/tools/memory-model/litmus-tests/LB+ctrlonceonce+mbonceonce.litmus | 11 +
b/tools/memory-model/litmus-tests/LB+poacquireonce+pooncerelease.litmus | 8
b/tools/memory-model/litmus-tests/LB+poonceonces.litmus | 7
b/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus | 11 +
b/tools/memory-model/litmus-tests/MP+polocks.litmus | 11 +
b/tools/memory-model/litmus-tests/MP+poonceonces.litmus | 7
b/tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus | 8
b/tools/memory-model/litmus-tests/MP+porevlocks.litmus | 11 +
b/tools/memory-model/litmus-tests/MP+wmbonceonce+rmbonceonce.litmus | 8
b/tools/memory-model/litmus-tests/R+mbonceonces.litmus | 9 +
b/tools/memory-model/litmus-tests/R+poonceonces.litmus | 8
b/tools/memory-model/litmus-tests/README | 4
b/tools/memory-model/litmus-tests/S+poonceonces.litmus | 9 +
b/tools/memory-model/litmus-tests/S+wmbonceonce+poacquireonce.litmus | 7
b/tools/memory-model/litmus-tests/SB+mbonceonces.litmus | 9 +
b/tools/memory-model/litmus-tests/SB+poonceonces.litmus | 8
b/tools/memory-model/litmus-tests/WRC+poonceonces+Once.litmus | 8
b/tools/memory-model/litmus-tests/WRC+pooncerelease+rmbonceonce+Once.litmus | 8
b/tools/memory-model/litmus-tests/Z6.0+pooncelock+poonceLock+pombonce.litmus | 9 +
b/tools/memory-model/litmus-tests/Z6.0+pooncelock+pooncelock+pombonce.litmus | 8
b/tools/memory-model/litmus-tests/Z6.0+pooncerelease+poacquirerelease+mbonceonce.litmus | 14 +
40 files changed, 380 insertions(+), 88 deletions(-)
Powered by blists - more mailing lists