new-envwith_gc
Last change
on this file since 04570c7 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:
652 bytes
|
Line | |
---|
1 | #include <kernel> |
---|
2 | #include <monitor> |
---|
3 | #include <thread> |
---|
4 | #include <stdio.h> |
---|
5 | |
---|
6 | #include "bench.h" |
---|
7 | |
---|
8 | int argc; |
---|
9 | char** argv; |
---|
10 | volatile int go = 0; |
---|
11 | |
---|
12 | condition c; |
---|
13 | monitor M {}; |
---|
14 | M m1; |
---|
15 | |
---|
16 | void __attribute__((noinline)) call( M & mutex a1 ) { |
---|
17 | signal(c); |
---|
18 | } |
---|
19 | |
---|
20 | int __attribute__((noinline)) wait( M & mutex a1 ) { |
---|
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 | |
---|
34 | thread T {}; |
---|
35 | void ^?{}( T & mutex this ) {} |
---|
36 | void main( T & this ) { |
---|
37 | while(go == 0) { yield(); } |
---|
38 | while(go == 1) { call(m1); } |
---|
39 | |
---|
40 | } |
---|
41 | |
---|
42 | int main(int margc, char* margv[]) { |
---|
43 | argc = margc; |
---|
44 | argv = margv; |
---|
45 | T t; |
---|
46 | return wait(m1); |
---|
47 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.