minor edit to ticket-lock

nyu-acsys · Nov 3, 2024 · 1c66826 · 1c66826
1 parent f3154c9
commit 1c66826
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/test/concurrent/lock/ticket-lock.rav b/test/concurrent/lock/ticket-lock.rav
@@ -34,7 +34,7 @@ module TicketLock[R: LockResource]
             IntSet.set({||})
           )
         ) 
-    )
+    )      
   }
 
   proc create(r: R)
@@ -100,11 +100,11 @@ module TicketLock[R: LockResource]
 
         var crr: Int := l.curr;
 
-        if (x != crr) {
-          fold lock_inv(l, r)[ b := b1];
-        } else {
+        if (x == crr) {
           fold lock_inv(l, r)[ b := true];
           acq_flag := true;
+        } else {
+          fold lock_inv(l, r)[ b := b1];  
         }
       }