|
@@ -23,14 +23,14 @@ IRIW+mbonceonces+OnceOnce.litmus
|
|
|
between each pairs of reads. In other words, is smp_mb()
|
|
between each pairs of reads. In other words, is smp_mb()
|
|
|
sufficient to cause two different reading processes to agree on
|
|
sufficient to cause two different reading processes to agree on
|
|
|
the order of a pair of writes, where each write is to a different
|
|
the order of a pair of writes, where each write is to a different
|
|
|
- variable by a different process.
|
|
|
|
|
|
|
+ variable by a different process?
|
|
|
|
|
|
|
|
IRIW+poonceonces+OnceOnce.litmus
|
|
IRIW+poonceonces+OnceOnce.litmus
|
|
|
Test of independent reads from independent writes with nothing
|
|
Test of independent reads from independent writes with nothing
|
|
|
between each pairs of reads. In other words, is anything at all
|
|
between each pairs of reads. In other words, is anything at all
|
|
|
needed to cause two different reading processes to agree on the
|
|
needed to cause two different reading processes to agree on the
|
|
|
order of a pair of writes, where each write is to a different
|
|
order of a pair of writes, where each write is to a different
|
|
|
- variable by a different process.
|
|
|
|
|
|
|
+ variable by a different process?
|
|
|
|
|
|
|
|
ISA2+poonceonces.litmus
|
|
ISA2+poonceonces.litmus
|
|
|
As below, but with store-release replaced with WRITE_ONCE()
|
|
As below, but with store-release replaced with WRITE_ONCE()
|