On Fri, 9 Feb 2018, Paul E. McKenney wrote: > This commit adds comments to the litmus tests summarizing what these > tests are intended to demonstrate. > > Suggested-by: Ingo Molnar <[email protected]> > Signed-off-by: Paul E. McKenney <[email protected]> > [ paulmck: Apply Andrea's and Alan's feedback. ] > ---
> --- a/tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus > +++ b/tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus > @@ -1,5 +1,15 @@ > C IRIW+poonceonces+OnceOnce > > +(* > + * Result: Never > + * > + * Test of independent reads from independent writes with nothing > + * between each pairs of reads. In other words, is anything at all > + * needed to cause two different reading processes to agree on the order > + * of a pair of writes, where each write is to a different variable by a > + * different process? > + *) The result should be Sometimes. Alan
