Changes in tests/unified_locking/timeout_lock.cfa [b984d54:7404cdc]

File:

• tests/unified_locking/timeout_lock.cfa (modified) (2 diffs)

tests/unified_locking/timeout_lock.cfa

@@ -6 +6 @@
 #include "kernel.cfa"
 
-multiple_acquisition_lock m, n;
-condition_variable( multiple_acquisition_lock ) c_m, c_n;
+multiple_acquisition_lock m;
+condition_variable( multiple_acquisition_lock ) c_m;
+
+semaphore s; // used for barrier like behaviour
 
 const unsigned int NoOfTimes = 20;
 
-void block() { // used for barrier like behaviour
-        lock(n);
-        if (empty( c_n )) {
-                wait( c_n, n );
+void block() {
+        if (s.count == 0) {
+                P(s);
         } else {
-                notify_one( c_n );
+                V(s);
         }
-        unlock(n);
 }
 
@@ -80 +80 @@
 
         printf("Start Test 2: testing timeout vs signalling with varying timeout durations\n");
+        s{ 0 };
         {
                 T1 t1;