Changeset 4cedd9f for src/tests/boundedBuffer.c

Timestamp:

Nov 2, 2017, 2:15:19 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, stuck-waitfor-destruct, with_gc

Children:

8fc45b7

Parents:

e1e8408

Message:

Updated public concurrency API to use references

File:

• src/tests/boundedBuffer.c (modified) (3 diffs)

src/tests/boundedBuffer.c

@@ -1 @@
-// 
+//
 // The contents of this file are covered under the licence agreement in the
 // file "LICENCE" distributed with Cforall.
-// 
-// boundedBuffer.c -- 
-// 
+//
+// boundedBuffer.c --
+//
 // Author           : Peter A. Buhr
 // Created On       : Mon Oct 30 12:45:13 2017
@@ -10 +10 @@
 // Last Modified On : Mon Oct 30 18:00:10 2017
 // Update Count     : 7
-// 
+//
 
 #include <stdlib>
@@ -31 +31 @@
 
 void insert( Buffer & mutex buffer, int elem ) {
-        if ( buffer.count == 20 ) wait( &buffer.empty );
+        if ( buffer.count == 20 ) wait( buffer.empty );
         buffer.elements[buffer.back] = elem;
         buffer.back = ( buffer.back + 1 ) % 20;
         buffer.count += 1;
-        signal( &buffer.full );
+        signal( buffer.full );
 }
 int remove( Buffer & mutex buffer ) {
-        if ( buffer.count == 0 ) wait( &buffer.full );
+        if ( buffer.count == 0 ) wait( buffer.full );
         int elem = buffer.elements[buffer.front];
         buffer.front = ( buffer.front + 1 ) % 20;
         buffer.count -= 1;
-        signal( &buffer.empty );
+        signal( buffer.empty );
         return elem;
 }