On Thu, Nov 05, 2020 at 02:00:12PM -0800, paul...@kernel.org wrote: > From: "Paul E. McKenney" <paul...@kernel.org> > > The Linux kernel has a number of categories of ordering primitives, which > are recorded in the LKMM implementation and hinted at by cheatsheet.txt. > But there is no overview of these categories, and such an overview > is needed in order to understand multithreaded LKMM litmus tests. > This commit therefore adds an ordering.txt as well as extracting a > control-dependencies.txt from memory-barriers.txt. It also updates the > README file. > > [ paulmck: Apply Akira Yokosawa file-placement feedback. ] > [ paulmck: Apply Alan Stern feedback. ] > [ paulmck: Apply self-review feedback. ] > Signed-off-by: Paul E. McKenney <paul...@kernel.org> > --- > diff --git a/tools/memory-model/Documentation/README > b/tools/memory-model/Documentation/README > index 2d9539f..a50ea81 100644 > --- a/tools/memory-model/Documentation/README > +++ b/tools/memory-model/Documentation/README
> @@ -41,13 +50,21 @@ README > cheatsheet.txt > Quick-reference guide to the Linux-kernel memory model. > > +control-dependencies.txt > + Guide to preventing compiler optimizations from destroying > + your control dependencies. > + > explanation.txt > - Detailed description of the memory model. > + Detailed description of the memory model in detail. A redundantly redundant change. Alan
