Changeset 54aba8d for src/tests/concurrent

Timestamp:

Jan 2, 2018, 1:53:13 PM (8 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:

b3048d4

Parents:

490d9972

Message:

change name of random_seed to srandom, and make all random calls through rand48

Location:

src/tests/concurrent

Files:

• examples/boundedBuffer.c (modified) (2 diffs)
• examples/datingService.c (modified) (2 diffs)
• signal/barge.c (modified) (1 diff)
• signal/block.c (modified) (1 diff)
• signal/disjoint.c (modified) (1 diff)
• signal/wait.c (modified) (1 diff)
• waitfor/recurse.c (modified) (1 diff)
• waitfor/simple.c (modified) (1 diff)
• waitfor/when.c (modified) (1 diff)

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 : Thu Dec 14 21:28:52 2017
-// Update Count     : 32
+// Last Modified On : Tue Jan  2 12:18:18 2018
+// Update Count     : 33
 //
 
@@ -91 +91 @@
         processor p;
 
-        //random_seed( getpid() );
-        random_seed( 1003 );
+        //srandom( getpid() );
+        srandom( 1003 );
 
         for ( i = 0; i < Cons; i += 1 ) {                       // create consumers

src/tests/concurrent/examples/datingService.c

@@ -8 +8 @@
 // Created On       : Mon Oct 30 12:56:20 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Dec  6 12:19:19 2017
-// Update Count     : 21
+// Last Modified On : Tue Jan  2 12:19:01 2018
+// Update Count     : 22
 //
 
@@ -91 +91 @@
         Boy  *boys[NoOfPairs];
 
-        random_seed( /*getpid()*/ 103 );
+        srandom( /*getpid()*/ 103 );
 
         for ( unsigned int i = 0; i < NoOfPairs; i += 1 ) {

src/tests/concurrent/signal/barge.c

@@ -109 +109 @@
 
 int main(int argc, char* argv[]) {
-        random_seed(0);
+        srandom(0);
         processor p;
         {

src/tests/concurrent/signal/block.c

@@ -118 +118 @@
 
 int main(int argc, char* argv[]) {
-        random_seed( time( NULL ) );
+        srandom( time( NULL ) );
         done = false;
         processor p;

src/tests/concurrent/signal/disjoint.c

@@ -109 +109 @@
 // Main loop
 int main(int argc, char* argv[]) {
-        random_seed( time( NULL ) );
+        srandom( time( NULL ) );
         all_done = false;
         processor p;

src/tests/concurrent/signal/wait.c

@@ -127 +127 @@
 // Main
 int main(int argc, char* argv[]) {
-        random_seed( time( NULL ) );
+        srandom( time( NULL ) );
         waiter_left = 4;
         processor p[2];

src/tests/concurrent/waitfor/recurse.c

@@ -131 +131 @@
 
 int main() {
-        random_seed( time(NULL) );
+        srandom( time(NULL) );
         sout | "Starting" | endl;
         {

src/tests/concurrent/waitfor/simple.c

@@ -74 +74 @@
 int main(int argc, char* argv[]) {
         done = false;
-        random_seed( time( NULL ) );
+        srandom( time( NULL ) );
         printf("%p\n", &globalA);
         sout | "Starting" | endl;

src/tests/concurrent/waitfor/when.c

@@ -77 +77 @@
 
 int main() {
-        random_seed( time(NULL) );
+        srandom( time(NULL) );
         sout | "Starting" | endl;
         {