projects
/
userspace-rcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
futex model: Add futex_progress_inverted_waiting_vs_gp_futex error injection
[userspace-rcu.git]
/
futex-wakeup
/
futex.spin
diff --git
a/futex-wakeup/futex.spin
b/futex-wakeup/futex.spin
index 788fc44351e154b1fd87fdb43b8208e58204dedd..c68a77b75fbf30217bc07dd26004491a90b460a8 100644
(file)
--- a/
futex-wakeup/futex.spin
+++ b/
futex-wakeup/futex.spin
@@
-100,7
+100,7
@@
restart:
in_registry[1] = 1;
do
:: 1 ->
in_registry[1] = 1;
do
:: 1 ->
-#if
ndef INJ_LATE_DEC
+#if
(!defined(INJ_LATE_DEC) && !defined(INJ_INVERT_WAITING_VS_GP_FUTEX))
gp_futex = -1;
#endif
if
gp_futex = -1;
#endif
if
@@
-128,6
+128,9
@@
restart:
:: else ->
skip;
fi;
:: else ->
skip;
fi;
+#ifdef INJ_INVERT_WAITING_VS_GP_FUTEX
+ gp_futex = -1;
+#endif
if
:: (in_registry[0] == 0 && in_registry[1] == 0) ->
if
:: (in_registry[0] == 0 && in_registry[1] == 0) ->
This page took
0.02228 seconds
and
4
git commands to generate.