Changeset e1e8408 for src/tests/sched-ext-barge.c

Timestamp:

Oct 31, 2017, 11:17:46 AM (7 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, with_gc

Children:

0dc954b, 4cedd9f

Parents:

5434d04

Message:

Updated concurrency tests with bounded rand48

File:

• src/tests/sched-ext-barge.c (modified) (3 diffs)

src/tests/sched-ext-barge.c

@@ -42 +42 @@
 void main( barger_t & this ) {
         yield();
-        while( barge( global ) ) { yield(((unsigned)rand48()) % 10); }
+        while( barge( global ) ) { yield( rand48(10) ); }
 }
 
 bool do_call( global_t & mutex this ) {
-        yield(((unsigned)rand48()) % 10);
+        yield(rand48(10));
         if( this.state != WAITFOR && !this.done && this.started ) {
                 serr | "Barging before caller detected" | endl;
@@ -57 +57 @@
 thread caller_t {};
 void main( caller_t & this ) {
-        while( do_call(global) ) { yield(((unsigned)rand48()) % 10); }
+        while( do_call(global) ) { yield(rand48(10)); }
 }
 
@@ -63 +63 @@
         this.started = true;
         for( int i = 0; i < N; i++) {
-                yield(((unsigned)rand48()) % 10);
+                yield(rand48(10));
                 this.state = WAITFOR;
                 waitfor(do_call, this) {