Changeset 1edf37f

Timestamp:

Dec 14, 2017, 9:35:09 PM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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, with_gc

Children:

fe4840a

Parents:

a1ecdd1

Message:

revert generic bounded-buffer to int bounded-buffer because of translator error

File:

• src/tests/concurrent/examples/boundedBuffer.c (modified) (8 diffs)

src/tests/concurrent/examples/boundedBuffer.c

@@ -8 +8 @@
 // Created On       : Mon Oct 30 12:45:13 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Dec 13 21:01:49 2017
-// Update Count     : 27
+// Last Modified On : Thu Dec 14 21:28:52 2017
+// Update Count     : 32
 //
 
@@ -18 +18 @@
 #include <unistd.h>                                                                             // getpid
 
-forall( otype T )
 monitor Buffer {
         condition full, empty;
         int front, back, count;
-        T elements[20];
+        int elements[20];
 };
 
-forall( otype T )
-void ?{}( Buffer(T) & buffer ) {
+void ?{}( Buffer & buffer ) {
         buffer.front = buffer.back = buffer.count = 0;
 }
 
-forall( otype T )
-int query( Buffer(T) & buffer ) { return buffer.count; }
+int query( Buffer & buffer ) { return buffer.count; }
 
-forall( otype T )
-void insert( Buffer(T) & mutex buffer, T elem ) with( buffer ) {
+void insert( Buffer & mutex buffer, int elem ) with( buffer ) {
         if ( count == 20 ) wait( empty );
         elements[back] = elem;
@@ -42 +38 @@
 }
 
-forall( otype T )
-T remove( Buffer(T) & mutex buffer ) with( buffer ) {
+int remove( Buffer & mutex buffer ) with( buffer ) {
         if ( count == 0 ) wait( full );
-        T elem = elements[front];
+        int elem = elements[front];
         front = ( front + 1 ) % 20;
         count -= 1;
@@ -53 +48 @@
 
 thread Producer {
-        Buffer(int) & buffer;
+        Buffer & buffer;
         unsigned int N;
 };
@@ -63 +58 @@
         insert( prod.buffer, -1 );
 }
-void ?{}( Producer & prod, Buffer(int) * buffer, unsigned int N ) {
+void ?{}( Producer & prod, Buffer * buffer, unsigned int N ) {
         &prod.buffer = buffer;
         prod.N = N;
@@ -69 +64 @@
 
 thread Consumer {
-        Buffer(int) & buffer;
+        Buffer & buffer;
         int & sum;                                              // summation of producer values
 };
@@ -81 +76 @@
         } // for
 }
-void ?{}( Consumer & cons, Buffer(int) * buffer, int * sum ) {
+void ?{}( Consumer & cons, Buffer * buffer, int * sum ) {
         &cons.buffer = buffer;
         &cons.sum = sum;
@@ -87 +82 @@
 
 int main() {
-        Buffer(int) buffer;
+        Buffer buffer;
         enum { Prods = 5, Cons = 5 };
         Producer * prods[Prods];