Changeset d60a4c2 for tests/concurrency/unified_locking/pthread_locks.cfa

Timestamp:

Jan 11, 2025, 5:48:46 PM (8 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

f886608

Parents:

7d65715f (diff), 32a119e9 (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/concurrency/unified_locking/pthread_locks.cfa (modified) (5 diffs)

tests/concurrency/unified_locking/pthread_locks.cfa

@@ -18 +18 @@
 thread Wait_Signal_1 {};
 
-void main( Wait_Signal_1 & this ) {
+void main( Wait_Signal_1 & ) {
         for (unsigned int i = 0; i < num_times; i++) {
                 lock(l);
@@ -32 +32 @@
 thread Wait_3_Signal_3 {};
 
-void main( Wait_3_Signal_3 & this ) {
+void main( Wait_3_Signal_3 & ) {
         for (unsigned int i = 0; i < num_times; i++) {
                 lock(l);
@@ -48 +48 @@
 thread Rec_Lock_Wait_Signal_1 {};
 
-void main( Rec_Lock_Wait_Signal_1 & this ) {
+void main( Rec_Lock_Wait_Signal_1 & ) {
         for (unsigned int i = 0; i < num_times; i++) {
                 lock(l);
@@ -66 +66 @@
 thread Wait_Time_Signal_1 {};
 
-void main( Wait_Time_Signal_1 & this ) {
+void main( Wait_Time_Signal_1 & ) {
         for (unsigned int i = 0; i < num_times; i++) {
                 lock(l);
@@ -74 +74 @@
                         timespec waitTime{0,1};
                         bool woken = wait(c,l, t + waitTime);
+                        (void) woken;
                 }else{
                         notify_one(c);