diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2020-11-05 13:39:28 -0800 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2020-11-06 17:25:17 -0800 |
| commit | b6ff30849ca723b78306514246b98ca5645d92f5 (patch) | |
| tree | b4110e2cd58cfd0988663fded8e780aae8ba8e47 /tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus | |
| parent | acc4bdc55dcb7d7fe0be736999572a55e121873f (diff) | |
| download | linux-b6ff30849ca723b78306514246b98ca5645d92f5.tar.gz linux-b6ff30849ca723b78306514246b98ca5645d92f5.tar.bz2 linux-b6ff30849ca723b78306514246b98ca5645d92f5.zip | |
tools/memory-model: Label MP tests' producers and consumers
This commit adds comments that label the MP tests' producer and consumer
processes, and also that label the "exists" clause as the bad outcome.
Reported-by: Johannes Weiner <hannes@cmpxchg.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus')
| -rw-r--r-- | tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus b/tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus index 21e825d5dea6..cbe28e733443 100644 --- a/tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus +++ b/tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus @@ -13,13 +13,13 @@ C MP+pooncerelease+poacquireonce int flag; } -P0(int *buf, int *flag) +P0(int *buf, int *flag) // Producer { WRITE_ONCE(*buf, 1); smp_store_release(flag, 1); } -P1(int *buf, int *flag) +P1(int *buf, int *flag) // Consumer { int r0; int r1; @@ -28,4 +28,4 @@ P1(int *buf, int *flag) r1 = READ_ONCE(*buf); } -exists (1:r0=1 /\ 1:r1=0) +exists (1:r0=1 /\ 1:r1=0) (* Bad outcome. *) |