Changeset 7bd23ce for tests/concurrent/sleep.cfa

Timestamp:

May 27, 2021, 2:39:35 PM (2 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

cece53c

Parents:

ab388c5

Message:

Tentative fix to sleep.cfa make it more robust

File:

• tests/concurrent/sleep.cfa (modified) (3 diffs)

tests/concurrent/sleep.cfa

@@ -7 +7 @@
 }
 
+volatile int counter = 0;
+
 thread fast_sleeper {};
 void main(fast_sleeper &) {
@@ -12 +14 @@
         for(i; 20) {
                 sleep(wait);
-                sout | acquire | "fast loop" | ((1 + i) * wait);
+                __atomic_fetch_add( &counter, 1, __ATOMIC_RELAXED );
         }
 }
@@ -20 +22 @@
         Duration wait = 277`ms;
         for(i; 4) {
-
                 sleep(wait);
-                sout | acquire | "slow loop" | ((1 + i) * wait);
+                int val = __atomic_add_fetch( &counter, -5, __ATOMIC_RELAXED );
+                if(val < -9) abort | "Value reached negative value:" | val;
         }
 }