Changeset bdfc032 for tests/concurrent/examples/boundedBufferEXT.cfa

Timestamp:

Feb 4, 2020, 11:35:26 AM (6 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:

eef8dfb

Parents:

aefb247 (diff), 4f7b418 (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 dkobets-vector

File:

• tests/concurrent/examples/boundedBufferEXT.cfa (modified) (3 diffs)

tests/concurrent/examples/boundedBufferEXT.cfa

@@ -10 +10 @@
 // Created On       : Wed Apr 18 22:52:12 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Jun 21 08:19:20 2019
-// Update Count     : 14
+// Last Modified On : Thu Jan 16 22:36:34 2020
+// Update Count     : 15
 //
 
@@ -37 +37 @@
 
         void insert( Buffer(T) & mutex buffer, T elem ) with( buffer ) {
-                if ( count == BufferSize ) waitfor( remove, buffer );
+                if ( count == BufferSize ) waitfor( remove : buffer );
                 elements[back] = elem;
                 back = ( back + 1 ) % BufferSize;
@@ -44 +44 @@
 
         T remove( Buffer(T) & mutex buffer ) with( buffer ) {
-                if ( count == 0 ) waitfor( insert, buffer );
+                if ( count == 0 ) waitfor( insert : buffer );
                 T elem = elements[front];
                 front = ( front + 1 ) % BufferSize;