source: src/benchmark/schedint/cfa4.c @ 2472a19

new-envwith_gc
Last change on this file since 2472a19 was 4cedd9f, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Updated public concurrency API to use references

  • Property mode set to 100644
File size: 772 bytes
RevLine 
[9f0b975]1#include <kernel>
2#include <monitor>
3#include <thread>
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, m3, m4;
15
16void __attribute__((noinline)) call( M & mutex a1, M & mutex a2, M & mutex a3, M & mutex a4 ) {
[4cedd9f]17        signal(c);
[9f0b975]18}
19
20int  __attribute__((noinline)) wait( M & mutex a1, M & mutex a2, M & mutex a3, M & mutex a4 ) {
21        go = 1;
22        BENCH(
23                for (size_t i = 0; i < n; i++) {
[4cedd9f]24                        wait(c);
[9f0b975]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, m3, m4); }
39
40}
41
42int main(int margc, char* margv[]) {
43        argc = margc;
44        argv = margv;
45        T t;
46        return wait(m1, m2, m3, m4);
47}
Note: See TracBrowser for help on using the repository browser.