Changeset 4f7b418 for benchmark/schedint/cfa4.cfa

Timestamp:

Feb 4, 2020, 11:29:22 AM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

52142c2, 9f575ea, bdfc032

Parents:

09f357ec (diff), e56eb455 (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:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• benchmark/schedint/cfa4.cfa (modified) (3 diffs)

benchmark/schedint/cfa4.cfa

@@ -4 +4 @@
 #include <stdio.h>
 
-#include "bench.h"
+#include "../bench.h"
 
 volatile int go = 0;
+
 condition c;
 monitor M {} m1, m2, m3, m4;
@@ -13 +14 @@
         signal( c );
 }
-
 void __attribute__((noinline)) wait( M & mutex p1, M & mutex p2, M & mutex p3, M & mutex p4 ) {
         go = 1;
@@ -19 +19 @@
                 wait( c );
         }
-        go = 0;
 }
 
 thread T {};
 void main( T & ) {
-        while ( go == 0 ) { yield(); }
+        while ( go == 0 ) { yield(); } // waiter must start first
         BENCH(
-                while ( go == 1 ) { call( m1, m2, m3, m4 ); },
+                for ( times ) { call( m1, m2, m3, m4 ); },
                 result
         )