Changes in src/tests/boundedBuffer.c [6c7b1e7:9f865d1]

File:

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

src/tests/boundedBuffer.c

@@ -8 +8 @@
 // Created On       : Mon Oct 30 12:45:13 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Oct 30 23:02:46 2017
-// Update Count     : 9
+// Last Modified On : Mon Oct 30 18:00:10 2017
+// Update Count     : 7
 // 
 
 #include <stdlib>
-#include <fstream>                                                                              // random
+#include <fstream>
 #include <kernel>
 #include <thread>
-#include <unistd.h>                                                                             // getpid
+#include <unistd.h>                                     // getpid
 
 monitor Buffer {
@@ -52 +52 @@
 void main( Producer & prod ) {
         for ( int i = 1; i <= prod.N; i += 1 ) {
-                yield( random( 5 ) );
+                yield( rand48( 5 ) );
                 insert( prod.buffer, 1 );
         } // for
@@ -69 +69 @@
         cons.sum = 0;
         for ( ;; ) {
-                yield( random( 5 ) );
+                yield( rand48( 5 ) );
                 int item = remove( cons.buffer );
                 if ( item == -1 ) break;                                // sentinel ?
@@ -90 +90 @@
         processor p;
 
-        //random_seed( getpid() );
-        random_seed( 1003 );
+        //rand48seed( getpid() );
+        rand48seed( 1003 );
 
         for ( i = 0; i < Cons; i += 1 ) {                       // create consumers