source: benchmark/mutex/cfa4.cfa @ 1c75ef8

ADTast-experimental
Last change on this file since 1c75ef8 was 2316525, checked in by Peter A. Buhr <pabuhr@…>, 5 years ago

update benchmarks for concurrency paper

  • Property mode set to 100644
File size: 397 bytes
Line 
1#include <monitor.hfa>
2#include <stdio.h>
3
4#include "bench.h"
5
6
7monitor M {} m1, m2, m3, m4;
8void __attribute__((noinline)) call( M & mutex p1, M & mutex p2, M & mutex p3, M & mutex p4 ) {}
9
10int main( int argc, char * argv[] ) {
11        BENCH_START()
12        BENCH(
13                for ( times ) {
14                        call( m1, m2, m3, m4 );
15                },
16                result
17        )
18        printf( "%g\n", result );
19}
20
21// Local Variables: //
22// tab-width: 4 //
23// End: //
Note: See TracBrowser for help on using the repository browser.