source: src/tests/monitor.c @ 142cf5d

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 142cf5d was 348006f, checked in by Thierry Delisle <tdelisle@…>, 8 years ago

Renamed thread to thread_desc

  • Property mode set to 100644
File size: 760 bytes
Line 
1#include <fstream>
2#include <kernel>
3#include <monitor>
4#include <thread>
5
6struct global_t {
7        int value;
8        monitor_desc 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_desc * 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_desc 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.