source: tests/concurrent/monitor.c @ 25a9b5a

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

Moved up many directories in source

  • Property mode set to 100644
File size: 652 bytes
Line 
1#include <fstream>
2#include <kernel>
3#include <monitor>
4#include <thread>
5
6monitor global_t {
7        int value;
8};
9
10void ?{}(global_t & this) {
11        this.value = 0;
12}
13
14static global_t global;
15
16void increment3( global_t & mutex this ) {
17        this.value += 1;
18}
19
20void increment2( global_t & mutex this ) {
21        increment3( this );
22}
23
24void increment( global_t & mutex this ) {
25        increment2( this );
26}
27
28thread MyThread {};
29
30void main( MyThread & this ) {
31        for(int i = 0; i < 1_000_000; i++) {
32                increment( global );
33        }
34}
35
36int main(int argc, char* argv[]) {
37        assert( global.__mon.entry_queue.tail != NULL );
38        processor p;
39        {
40                MyThread f[4];
41        }
42        sout | global.value | endl;
43}
Note: See TracBrowser for help on using the repository browser.