Changeset b6838214 for src/tests/concurrent/examples/boundedBuffer.c

Timestamp:

Jan 23, 2018, 5:46:43 PM (8 years ago)

Author:

Alan Kennedy <afakenne@…>

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:

258e6ad5

Parents:

b158d8f (diff), 15d248e (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:

add context switch for ARM

File:

• src/tests/concurrent/examples/boundedBuffer.c (modified) (4 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 : Tue Dec  5 23:01:51 2017
-// Update Count     : 10
+// Last Modified On : Tue Jan  2 12:18:18 2018
+// Update Count     : 33
 //
 
@@ -37 +37 @@
         signal( full );
 }
+
 int remove( Buffer & mutex buffer ) with( buffer ) {
         if ( count == 0 ) wait( full );
@@ -60 +61 @@
         &prod.buffer = buffer;
         prod.N = N;
-                }
+}
 
 thread Consumer {
@@ -90 +91 @@
         processor p;
 
-        //random_seed( getpid() );
-        random_seed( 1003 );
+        //srandom( getpid() );
+        srandom( 1003 );
 
         for ( i = 0; i < Cons; i += 1 ) {                       // create consumers