lkml.org 
[lkml]   [2017]   [Nov]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Prototype patch for Linux-kernel memory model
On Mon, Nov 13, 2017 at 03:09:11PM -0500, Alan Stern wrote:
> On Mon, 13 Nov 2017, Paul E. McKenney wrote:
>
> > Hello!
> >
> > Please see below for the git commit corresponding to a prototype
> > patch for the Linux-kernel memory model. This addresses the feedback
> > we got at Linux Plumbers Conference:
> >
> > 1. There is a Documentation/recipes.txt file giving known-good
> > useful examples, along with corresponding litmus tests.
> >
> > 2. There is a Documentation/explanation.txt file giving an
> > overview of the memory model and its workings.
> >
> > 3. There is a Documentation/references.txt file giving some
> > background reading.
> >
> > I believe that we have something that will be extremely useful and
> > valuable to novices and experts alike.
> >
> > Please note that this version of the memory model does not yet reflect
> > the changes that make DEC Alpha no longer be a special case because
> > those changes have not yet hit mainline. The model will be updated
> > once this happens.
> >
> > Thoughts?
>
> In references.txt, should we add URLs to non-paywalled PDFs? Or should
> we assume that our readers are capable of using Google to find these
> things on their own?
>
> There are a few places where some comments should be resolved/removed
> before submission:
>
> Documentation/references.txt line 98:
> Uncategorized stuff (any of this really needed?)
>
> litmus-tests/README line 92:
> [ Shouldn't we have one with smp_wmb() in the process with both
> writes, and smp_mb() in the other process. ]

I updated these, recategorizing the "Uncategorized stuff" and removing
the note from litmus-tests/README -- we don't seem to use R in recipes
anyway.

> In the files defining the memory model, we should replace the GPL
> boilerplate with SPDX headers.

We can!

I pushed both commits.

Thanx, Paul

\
 
 \ /
  Last update: 2017-11-14 05:52    [W:0.121 / U:0.448 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site