source: src/libcfa/concurrency/monitor@ 17af7d1

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since 17af7d1 was 17af7d1, checked in by Thierry Delisle <tdelisle@…>, 9 years ago

Some clean-up of runtime code

  • Property mode set to 100644
File size: 1.3 KB
Line 
1// -*- Mode: CFA -*-
2//
3// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
4//
5// The contents of this file are covered under the licence agreement in the
6// file "LICENCE" distributed with Cforall.
7//
8// monitor --
9//
10// Author : Thierry Delisle
11// Created On : Thd Feb 23 12:27:26 2017
12// Last Modified By : Thierry Delisle
13// Last Modified On : --
14// Update Count : 0
15//
16
17#ifndef MONITOR_H
18#define MONITOR_H
19
20#include "assert"
21#include "invoke.h"
22#include "stdlib"
23
24struct monitor_desc {
25 spinlock lock;
26 thread_desc * owner;
27 simple_thread_list entry_queue;
28 unsigned int recursion;
29};
30
31static inline void ?{}(monitor_desc * this) {
32 this->owner = 0;
33 this->recursion = 0;
34}
35
36//Array entering routine
37void enter(monitor_desc **, int count);
38void leave(monitor_desc **, int count);
39
40struct monitor_guard_t {
41 monitor_desc ** m;
42 int count;
43};
44
45static inline int ?<?(monitor_desc* lhs, monitor_desc* rhs) {
46 return ((intptr_t)lhs) < ((intptr_t)rhs);
47}
48
49static inline void ?{}( monitor_guard_t * this, monitor_desc ** m, int count ) {
50 this->m = m;
51 this->count = count;
52 qsort(this->m, count);
53 enter( this->m, this->count );
54}
55
56static inline void ^?{}( monitor_guard_t * this ) {
57 leave( this->m, this->count );
58}
59
60
61#endif //MONITOR_H
Note: See TracBrowser for help on using the repository browser.