source: src/tests/monitor.c @ 20221d4

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 20221d4 was 2781e65, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

added support for acquiring multiple monitors at once

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