Changeset b4107c8 for benchmark/schedext


Ignore:
Timestamp:
Jan 7, 2020, 3:50:56 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:
580c11b
Parents:
846c026
Message:

update existing benchmarks for changes to bench.h, add new benchmarks in new programming languages

Location:
benchmark/schedext
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • benchmark/schedext/cfa1.cfa

    r846c026 rb4107c8  
    66#include "bench.h"
    77
    8 int argc;
    9 char** argv;
    108volatile int go = 0;
    119
     
    1715int  __attribute__((noinline)) wait( M & mutex a1 ) {
    1816        go = 1;
    19         BENCH(
    20                 for ( i; n ) {
    21                         waitfor(call, a1);
    22                 },
    23                 result
    24         )
    25 
    26         printf("%g\n", result);
     17        for ( i; times ) {
     18                waitfor(call, a1);
     19        }
    2720        go = 0;
    2821        return 0;
     
    3326void main( T & ) {
    3427        while(go == 0) { yield(); }
    35         while(go == 1) { call(m1); }
    36 
     28        BENCH(
     29                while(go == 1) { call(m1); },
     30                result
     31        )
     32        printf( "%g\n", result );
    3733}
    3834
    39 int main(__attribute__((unused)) int argc, __attribute__((unused)) char* argv[]) {
     35int main( int argc, char * argv[] ) {
     36        BENCH_START()
    4037        T t;
    41         return wait(m1);
     38        return wait( m1 );
    4239}
     40
     41// Local Variables: //
     42// tab-width: 4 //
     43// End: //
  • benchmark/schedext/cfa2.cfa

    r846c026 rb4107c8  
    66#include "bench.h"
    77
    8 int argc;
    9 char** argv;
    108volatile int go = 0;
    119
     
    1715int  __attribute__((noinline)) wait( M & mutex a1, M & mutex a2 ) {
    1816        go = 1;
    19         BENCH(
    20                 for ( i; n ) {
    21                         waitfor(call, a1, a2);
    22                 },
    23                 result
    24         )
    25 
    26         printf("%g\n", result);
     17        for ( i; times ) {
     18                waitfor(call, a1, a2);
     19        }
    2720        go = 0;
    2821        return 0;
     
    3326void main( T & ) {
    3427        while(go == 0) { yield(); }
    35         while(go == 1) { call(m1, m2); }
    36 
     28        BENCH(
     29                while(go == 1) { call(m1, m2); },
     30                result
     31        )
     32        printf( "%g\n", result );
    3733}
    3834
    39 int main(__attribute__((unused)) int argc, __attribute__((unused)) char* argv[]) {
     35int main( int argc, char * argv[] ) {
     36        BENCH_START()
    4037        T t;
    41         return wait(m1, m2);
     38        return wait( m1, m2 );
    4239}
     40
     41// Local Variables: //
     42// tab-width: 4 //
     43// End: //
  • benchmark/schedext/cfa4.cfa

    r846c026 rb4107c8  
    66#include "bench.h"
    77
    8 int argc;
    9 char** argv;
    108volatile int go = 0;
    119
     
    1715int  __attribute__((noinline)) wait( M & mutex a1, M & mutex a2, M & mutex a3, M & mutex a4 ) {
    1816        go = 1;
    19         BENCH(
    20                 for ( i; n ) {
    21                         waitfor(call, a1, a2, a3, a4);
    22                 },
    23                 result
    24         )
    25 
    26         printf("%g\n", result);
     17        for ( i; times ) {
     18                waitfor( call, a1, a2, a3, a4 );
     19        }
    2720        go = 0;
    2821        return 0;
     
    3326void main( T & ) {
    3427        while(go == 0) { yield(); }
    35         while(go == 1) { call(m1, m2, m3, m4); }
    36 
     28        BENCH(
     29                while(go == 1) { call(m1, m2, m3, m4); },
     30                result
     31        )
     32        printf( "%g\n", result );
    3733}
    3834
    39 int main(__attribute__((unused)) int argc, __attribute__((unused)) char* argv[]) {
     35int main( int argc, char * argv[] ) {
     36        BENCH_START()
    4037        T t;
    41         return wait(m1, m2, m3, m4);
     38        return wait( m1, m2, m3, m4 );
    4239}
     40
     41// Local Variables: //
     42// tab-width: 4 //
     43// End: //
  • benchmark/schedext/upp.cc

    r846c026 rb4107c8  
    33#include "bench.h"
    44
    5 int argc;
    6 char** argv;
    75volatile int go = 0;
    86
     
    1311        int __attribute__((noinline)) wait() {
    1412                go = 1;
    15                 BENCH(
    16                         for (size_t i = 0; i < n; i++) {
    17                                 _Accept(call);
    18                         },
    19                         result
    20                 )
    21 
    22                 printf("%g\n", result);
     13                for (size_t i = 0; i < times; i++) {
     14                        _Accept(call);
     15                }
    2316                go = 0;
    2417                return 0;
     
    3124        void main() {
    3225                while(go == 0) { yield(); }
    33                 while(go == 1) { m.call(); }
    34 
     26                BENCH(
     27                        while(go == 1) { m.call(); },
     28                        result
     29                )
     30                printf( "%g\n", result );
    3531        }
    3632};
    3733
    38 int main(int margc, char* margv[]) {
    39         argc = margc;
    40         argv = margv;
     34int main( int argc, char * argv[] ) {
     35        BENCH_START()
    4136        T t;
    4237        return m.wait();
    4338}
     39
     40// Local Variables: //
     41// tab-width: 4 //
     42// End: //
Note: See TracChangeset for help on using the changeset viewer.