Ignore:
Timestamp:
Jan 19, 2020, 4:16:27 PM (2 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
arm-eh, enum, forall-pointer-decay, 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/cfa2.cfa

    r9e63a2b r2316525  
    88volatile int go = 0;
    99
    10 monitor M {};
    11 M m1, m2;
     10monitor M {} m1, m2;
    1211
    13 void __attribute__((noinline)) call( M & mutex a1, M & mutex a2 ) {}
     12void __attribute__((noinline)) call( M & mutex p1, M & mutex p2 ) {}
    1413
    15 int  __attribute__((noinline)) wait( M & mutex a1, M & mutex a2 ) {
     14void __attribute__((noinline)) wait( M & mutex p1, M & mutex p2 ) {
    1615        go = 1;
    17         for ( i; times ) {
    18                 waitfor(call : a1, a2);
     16        for ( times ) {
     17                waitfor( call : p1, p2 );
    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, m2); },
     26                while ( go == 1 ) { call( m1, m2 ); },
    3027                result
    3128        )
     
    3633        BENCH_START()
    3734        T t;
    38         return wait( m1, m2 );
     35        wait( m1, m2 );
    3936}
    4037
Note: See TracChangeset for help on using the changeset viewer.