Changeset 30763fd for tests/concurrent

Timestamp:

Nov 26, 2019, 3:20:30 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

d4f1521

Parents:

7768b8d (diff), 58e280f4 (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' into relaxed_ready

Location:

tests/concurrent

Files:

• preempt.cfa (modified) (1 diff)
• signal/wait.cfa (modified) (4 diffs)

tests/concurrent/preempt.cfa

@@ -36 +36 @@
                 if( (counter % 7) == this.value ) {
                         __cfaabi_check_preemption();
-                        int next = __atomic_add_fetch_4(&counter, 1, __ATOMIC_SEQ_CST);
+                        int next = __atomic_add_fetch( &counter, 1, __ATOMIC_SEQ_CST );
                         __cfaabi_check_preemption();
                         if( (next % 100) == 0 ) printf("%d\n", (int)next);

tests/concurrent/signal/wait.cfa

@@ -98 +98 @@
         }
 
-        __sync_fetch_and_sub_4( &waiter_left, 1);
+        __atomic_fetch_sub( &waiter_left, 1,  __ATOMIC_SEQ_CST );
 }
 
@@ -109 +109 @@
         }
 
-        __sync_fetch_and_sub_4( &waiter_left, 1);
+        __atomic_fetch_sub( &waiter_left, 1,  __ATOMIC_SEQ_CST );
 }
 
@@ -120 +120 @@
         }
 
-        __sync_fetch_and_sub_4( &waiter_left, 1);
+        __atomic_fetch_sub( &waiter_left, 1,  __ATOMIC_SEQ_CST );
 }
 
@@ -131 +131 @@
         }
 
-        __sync_fetch_and_sub_4( &waiter_left, 1);
+        __atomic_fetch_sub( &waiter_left, 1,  __ATOMIC_SEQ_CST );
 }