Changeset 7bd23ce

Timestamp:

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

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, 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

Location:

tests/concurrent

Files:

• .expect/sleep.txt (modified) (1 diff)
• sleep.cfa (modified) (3 diffs)

tests/concurrent/.expect/sleep.txt ¶

@@ -1 +1 @@
 start
-fast loop 0.047
-fast loop 0.094
-fast loop 0.141
-fast loop 0.188
-fast loop 0.235
-slow loop 0.277
-fast loop 0.282
-fast loop 0.329
-fast loop 0.376
-fast loop 0.423
-fast loop 0.47
-fast loop 0.517
-slow loop 0.554
-fast loop 0.564
-fast loop 0.611
-fast loop 0.658
-fast loop 0.705
-fast loop 0.752
-fast loop 0.799
-slow loop 0.831
-fast loop 0.846
-fast loop 0.893
-fast loop 0.94
-slow loop 1.108
 done

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;
         }
 }