diff options
Diffstat (limited to 'tools/memory-model')
| -rw-r--r-- | tools/memory-model/litmus-tests/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/memory-model/litmus-tests/README b/tools/memory-model/litmus-tests/README index 9a3bb5949191..dca7d823ad57 100644 --- a/tools/memory-model/litmus-tests/README +++ b/tools/memory-model/litmus-tests/README @@ -23,14 +23,14 @@ IRIW+mbonceonces+OnceOnce.litmus between each pairs of reads. In other words, is smp_mb() sufficient 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. + variable by a different process? IRIW+poonceonces+OnceOnce.litmus 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. + variable by a different process? ISA2+poonceonces.litmus As below, but with store-release replaced with WRITE_ONCE() |