projects
/
urcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
1to1 selective wakeup: add misorder injection test
[urcu.git]
/
futex-wakeup
/
nto1-selective
/
futex.spin
diff --git
a/futex-wakeup/nto1-selective/futex.spin
b/futex-wakeup/nto1-selective/futex.spin
index 6f854fceefba73dfbc3781d04734b75590175159..558ace123bd493bc5cb5b77d7eb55cced2450531 100644
(file)
--- a/
futex-wakeup/nto1-selective/futex.spin
+++ b/
futex-wakeup/nto1-selective/futex.spin
@@
-126,8
+126,13
@@
active proctype waiter()
do
:: 1 ->
#ifndef INJ_LATE_DEC
+#ifndef INJ_MISORDER
futex = -1;
waiting[0] = 1;
+#else
+ waiting[0] = 1;
+ futex = -1;
+#endif
waiting[1] = 1;
#endif
This page took
0.024245 seconds
and
4
git commands to generate.