projects
/
urcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
update
[urcu.git]
/
ticketlock-testwait
/
mem-progress.spin
diff --git
a/ticketlock-testwait/mem-progress.spin
b/ticketlock-testwait/mem-progress.spin
index c503fbabbdd044c0c9034ef0ec43934da835f6be..8329f6b8cbfd18343672b51c02d62c5ff6d80142 100644
(file)
--- a/
ticketlock-testwait/mem-progress.spin
+++ b/
ticketlock-testwait/mem-progress.spin
@@
-40,6
+40,10
@@
byte refcount = 0;
#define need_pause() (_pid == 2)
#define need_pause() (_pid == 2)
+/*
+ * do_pause() disabled:
+ * get similar effect by disabling weak fairness.
+ */
/*
* Test weak fairness by either not pausing or cycling for any number of
* steps, or forever.
/*
* Test weak fairness by either not pausing or cycling for any number of
* steps, or forever.
@@
-106,10
+110,11
@@
proctype proc_B()
do
:: 1 ->
do
:: 1 ->
- do_pause();
+progress_B:
+ //do_pause();
spin_lock(lock, ticket);
refcount = refcount + 1;
spin_lock(lock, ticket);
refcount = refcount + 1;
- do_pause();
+
//
do_pause();
refcount = refcount - 1;
spin_unlock(lock);
od;
refcount = refcount - 1;
spin_unlock(lock);
od;
This page took
0.024698 seconds
and
4
git commands to generate.