Changeset 74ec742 for tests/unified_locking/locks.cfa

Timestamp:

May 20, 2022, 10:36:45 AM (4 years ago)

Author:

m3zulfiq <m3zulfiq@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

25fa20a

Parents:

29d8c02 (diff), 7831e8fb (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/unified_locking/locks.cfa (modified) (3 diffs)

tests/unified_locking/locks.cfa

@@ -18 +18 @@
 condition_variable( linear_backoff_then_block_lock ) c_l;
 
+fast_block_lock f;
+fast_cond_var( fast_block_lock ) f_c_f;
+
 thread T_C_M_WS1 {};
 
@@ -99 +102 @@
                 }
                 unlock(l);
+        }
+}
+
+thread T_F_C_F_WS1 {};
+
+void main( T_F_C_F_WS1 & this ) {
+        for (unsigned int i = 0; i < num_times; i++) {
+                lock(f);
+                if(empty(f_c_f) && i != num_times - 1) {
+                        wait(f_c_f,f);
+                }else{
+                        notify_one(f_c_f);
+                        unlock(f);
+                }
         }
 }
@@ -322 +339 @@
         }
         printf("Done Test 12\n");
-}
+
+        printf("Start Test 13: fast block lock and fast cond var single wait/notify\n");
+        {
+                T_F_C_F_WS1 t1[2];
+        }
+        printf("Done Test 13\n");
+        
+}