1to1 selective wakeup: add misorder injection test

[userspace-rcu.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