Ignore:
Timestamp:
Jan 19, 2020, 4:16:27 PM (23 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
arm-eh, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr
Children:
f090750
Parents:
9e63a2b
Message:

update benchmarks for concurrency paper

File:
1 edited

Legend:

Unmodified
Added
Removed
  • benchmark/schedext/cfa1.cfa

    r9e63a2b r2316525  
    44#include <stdio.h>
    55
    6 #include "bench.h"
     6#include "../bench.h"
    77
    88volatile int go = 0;
    99
    10 monitor M {};
    11 M m1;
     10monitor M {} m1;
    1211
    13 void __attribute__((noinline)) call( M & mutex a1 ) {}
     12void __attribute__((noinline)) call( M & mutex p1 ) {}
    1413
    15 int  __attribute__((noinline)) wait( M & mutex a1 ) {
     14void __attribute__((noinline)) wait( M & mutex p1 ) {
    1615        go = 1;
    17         for ( i; times ) {
    18                 waitfor(call : a1);
     16        for ( times ) {
     17                waitfor( call : p1 );
    1918        }
    2019        go = 0;
    21         return 0;
    2220}
    2321
    2422thread T {};
    25 void ^?{}( T & mutex this ) {}
    2623void main( T & ) {
    27         while(go == 0) { yield(); }
     24        while ( go == 0 ) { yield(); }
    2825        BENCH(
    29                 while(go == 1) { call(m1); },
     26                while ( go == 1 ) { call( m1 ); },
    3027                result
    3128        )
     
    3633        BENCH_START()
    3734        T t;
    38         return wait( m1 );
     35        wait( m1 );
    3936}
    4037
Note: See TracChangeset for help on using the changeset viewer.