[lkml]   [2018]   [Jun]   [7]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: LKMM litmus test for Roman Penyaev's rcu-rr
On Wed, Jun 06, 2018 at 12:23:33PM -0700, Linus Torvalds wrote:
> On Wed, Jun 6, 2018 at 12:05 PM Paul E. McKenney
> <> wrote:
> >
> > 3. Introduce a new marking/attribute in the .def file that indicates
> > whether an access is volatile or implies a compiler barrier.
> > This might allow herd to be more selective about control dependencies,
> > for example, extending them past the end of "if" statements
> > containing compiler barriers.
> >
> > One tricky aspect of this approach is working out what the
> > compiler can do to the "if" statement. We definitely do not
> > want to put the complexity of all possible compilers into herd!
> This _smells_ like the right thing to do.
> Aren't the litmus-tests effectively always going to be using READ_ONCE
> etc volatile accesses anyway?

Yes, right now LKMM handles only volatile (READ_ONCE and WRITE_ONCE)
or stronger.

> Most of what the LKMM litmus tests test for is things with side effects, no?
> And honestly, that is exactly the kind of litmus test behavior we
> *want* our memory model to have, in that any CPU designer (or compiler
> designer) that uses our LKMM litmus tests should very much be aware of
> the fact that we expect a conditional->store memory ordering to be a
> ordering.
> We have real code that depends on it, so I think LKMM should expose
> those ordering requirements.

Good point. And I did manage to advocate for control dependencies at an
academic conference earlier this week without the need for a bodyguard,
so perhaps things are improving. ;-)

> I'm also perfectly happy with no markings at all: all memory accesses
> are "voiatile" as fat as C is concerned, and cannot be moved around by
> the compiler at all - and all that LKMM tests is memory _ordering_,
> not "compiler can do X".

We are considering adding unmarked accesses, for example, accesses
protected by locks. One possible litmus test (not yet supported!)
might look like this:

C Z6.0+pooncelock+pooncelock+pombonce


P0(int *x, int *y, spinlock_t *mylock)
WRITE_ONCE(*x, 1);
y = 1;

P1(int *y, int *z, spinlock_t *mylock)
int r0;

r0 = y;
WRITE_ONCE(*z, 1);

P2(int *x, int *z)
int r1;

WRITE_ONCE(*z, 2);
r1 = READ_ONCE(x);

exists (1:r0=1 /\ z=2 /\ 2:r1=0)

Because y is only ever accessed under a lock, the compiler cannot do
anything to mess it up. In this particular case, the compiler would
have a hard time messing up the other accesses, aside from extremely
unfriendly measures such as load/store tearing, but we have seen
Linux-kernel examples where the compiler could very reasonably repeat
and fuse loads and stores and so on.


> Because I think your option 1. is absolutely against everything we
> want to happen:
> > 1. Status quo. This works reasonably well, but we have already
> > seen that your scenario makes it ask for more synchronization
> > than necessary.
> We absolutely do *not* want CPU designers etc thinking that we'll add
> insane synchronization.
> We were already burned by insane bad CPU design once in the form of
> the garbage that alpha desigers gave us.
> I am personally not at all interested in seeing our memory ordering
> rules be "nice". They should be as tight as possible, and *not* allow
> any crazy shit that some insane person can come up with. No more
> "dependent reads out of ordetr" garbage, and no more "store done
> before the condition it depends on" garbage.
> A CPU designer (or a C++ memory ordering person) who tries to sneak
> shit like that past us should be shunned, and not taken seriously.

Given that I am writing this in a C++ Standards Committee meeting,
I do like the call for sanity.

> And our memory ordering rules should be very explicit about it, so
> that people don't even _try_ to do insane things.
> I want any memory ordering litmus tests to say "we depend on this, so
> as a CPU designer don't mess it up, because then we won't run on the
> resulting crap".
> I'm not in the least interested in the LKMM litmus tests being an
> excuse for unnecessarily weak memory ordering. That's the *opposite*
> of what I would want any litmus tests to do.
> If people are looking to use them that way, then I'm going to remove
> them, because such litmus tests are not in the best interest of the
> kernel.
> Future CPU designs need to be *saner*, not perpetuate the kind of
> garbage insanity we have seen so far.

OK, I think we all agree that we need to move away from status quo.
The workaround buys us some time, but the need to move is undisputed.
(If someone does dispute it, this would be a great time for them to make
their concerns known!)

I will take a hard look at option #3, and see if there any hidden gotchas.

Thanx, Paul

 \ /
  Last update: 2018-06-07 11:42    [W:0.092 / U:7.816 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site