source: benchmark/mutexC/cfa2.cfa@ 1958fec

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 1958fec was 2316525, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

update benchmarks for concurrency paper

  • Property mode set to 100644
File size: 536 bytes
Line 
1#include <thread.hfa>
2#include <monitor.hfa>
3
4#include "../bench.h"
5
6monitor M {} m1, m2;
7void __attribute__((noinline)) call( M & mutex m1, M & mutex m2 ) {}
8
9volatile bool go = false;
10
11void call() {
12 go = true;
13 for ( times ) {
14 call( m1, m2 );
15 }
16 go = false;
17}
18thread T {};
19void main( T & this ) {
20 while ( ! go );
21 while ( go ) { call( m1, m2 ); }
22}
23int main( int argc, char * argv[] ) {
24 BENCH_START()
25 T t;
26 BENCH(
27 call( m1, m2 ),
28 result
29 )
30 printf( "%g\n", result );
31}
32
33// Local Variables: //
34// tab-width: 4 //
35// End: //
Note: See TracBrowser for help on using the repository browser.