Changeset 26fd986 for benchmark/schedint/cfa4.cfa

Timestamp:

Jan 21, 2020, 6:14:34 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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:

5518719

Parents:

c12869e

Message:

update benchmarks for concurrency paper

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
         )