source: benchmark/schedint/cfa2.c @ 73abe95

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since 73abe95 was 73abe95, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

Replace extension-less headers with .hfa

  • Property mode set to 100644
File size: 704 bytes
Line 
1#include <kernel.hfa>
2#include <monitor.hfa>
3#include <thread.hfa>
4#include <stdio.h>
5
6#include "bench.h"
7
8int argc;
9char** argv;
10volatile int go = 0;
11
12condition c;
13monitor M {};
14M m1, m2;
15
16void __attribute__((noinline)) call( M & mutex a1, M & mutex a2 ) {
17        signal(c);
18}
19
20int  __attribute__((noinline)) wait( M & mutex a1, M & mutex a2 ) {
21        go = 1;
22        BENCH(
23                for (size_t i = 0; i < n; i++) {
24                        wait(c);
25                },
26                result
27        )
28
29        printf("%llu\n", result);
30        go = 0;
31        return 0;
32}
33
34thread T {};
35void ^?{}( T & mutex this ) {}
36void main( T & this ) {
37        while(go == 0) { yield(); }
38        while(go == 1) { call(m1, m2); }
39
40}
41
42int main(int margc, char* margv[]) {
43        argc = margc;
44        argv = margv;
45        T t;
46        return wait(m1, m2);
47}
Note: See TracBrowser for help on using the repository browser.