source: src/tests/monitor.c @ f80ab45

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 f80ab45 was bd4d011, checked in by Thierry Delisle <tdelisle@…>, 8 years ago

Implemented thread keyword

  • Property mode set to 100644
File size: 653 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.