X-Git-Url: http://git.liburcu.org/?p=userspace-rcu.git;a=blobdiff_plain;f=ticketlock-testwait%2Fmem-progress.spin;h=8329f6b8cbfd18343672b51c02d62c5ff6d80142;hp=c503fbabbdd044c0c9034ef0ec43934da835f6be;hb=f96ba3364c806a329bd88749dee15b89cf92f4eb;hpb=6e63423374d03c2c55383e19586e3d1b89a9df73

diff --git a/ticketlock-testwait/mem-progress.spin b/ticketlock-testwait/mem-progress.spin
index c503fba..8329f6b 100644
--- a/ticketlock-testwait/mem-progress.spin
+++ b/ticketlock-testwait/mem-progress.spin
@@ -40,6 +40,10 @@ byte refcount = 0;
 
 #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.
@@ -106,10 +110,11 @@ proctype proc_B()
 
 	do
 	:: 1 ->
-		do_pause();
+progress_B:
+		//do_pause();
 		spin_lock(lock, ticket);
 		refcount = refcount + 1;
-		do_pause();
+		//do_pause();
 		refcount = refcount - 1;
 		spin_unlock(lock);
 	od;