lkml.org 
[lkml]   [2018]   [Feb]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [PATCH RFC tip/lkmm 04/10] EXP litmus_tests: Add comments explaining tests' purposes
    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 <mingo@kernel.org>
    > Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
    > [ 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

    \
     
     \ /
      Last update: 2018-02-09 19:46    [W:7.960 / U:0.328 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site