X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Flinuxrwlocksyield.c;h=be3550e11e3c8f8740b4c1a47458180f57994a3a;hb=2935d5ce8b7315c0b13306b15ac18beeacfc37bb;hp=9a676b0868a715b65c6828cf097ac6432f25f7c5;hpb=90471233ff4dcca9a196152574dca4e7cf183698;p=model-checker.git

diff --git a/test/linuxrwlocksyield.c b/test/linuxrwlocksyield.c
index 9a676b0..be3550e 100644
--- a/test/linuxrwlocksyield.c
+++ b/test/linuxrwlocksyield.c
@@ -29,12 +29,9 @@ static inline void read_lock(rwlock_t *rw)
 	int priorvalue = atomic_fetch_sub_explicit(&rw->lock, 1, memory_order_acquire);
 	while (priorvalue <= 0) {
 		atomic_fetch_add_explicit(&rw->lock, 1, memory_order_relaxed);
-		do {
-			priorvalue = atomic_load_explicit(&rw->lock, memory_order_relaxed);
-			if (priorvalue > 0)
-				break;
+		while (atomic_load_explicit(&rw->lock, memory_order_relaxed) <= 0) {
 			thrd_yield();
-		} while (true);
+		}
 		priorvalue = atomic_fetch_sub_explicit(&rw->lock, 1, memory_order_acquire);
 	}
 }
@@ -44,12 +41,9 @@ static inline void write_lock(rwlock_t *rw)
 	int priorvalue = atomic_fetch_sub_explicit(&rw->lock, RW_LOCK_BIAS, memory_order_acquire);
 	while (priorvalue != RW_LOCK_BIAS) {
 		atomic_fetch_add_explicit(&rw->lock, RW_LOCK_BIAS, memory_order_relaxed);
-		do {
-			priorvalue = atomic_load_explicit(&rw->lock, memory_order_relaxed);
-			if (priorvalue == RW_LOCK_BIAS)
-				break;
+		while (atomic_load_explicit(&rw->lock, memory_order_relaxed) != RW_LOCK_BIAS) {
 			thrd_yield();
-		} while (true);
+		}
 		priorvalue = atomic_fetch_sub_explicit(&rw->lock, RW_LOCK_BIAS, memory_order_acquire);
 	}
 }