source: benchmark/mutex/cfa2.cfa@ 42a02ce

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

update benchmarks for concurrency paper

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