source: src/libcfa/concurrency/monitor@ 72dc82a

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 72dc82a was 690f13c, checked in by Thierry Delisle <tdelisle@…>, 9 years ago

First step in implementing internal scheduling

  • Property mode set to 100644
File size: 1.2 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 <stddef.h>
21
22#include "assert"
23#include "invoke.h"
24#include "stdlib"
25
26static inline void ?{}(monitor_desc * this) {
27 this->owner = NULL;
28 this->stack_owner = NULL;
29 this->recursion = 0;
30}
31
32//Array entering routine
33void enter(monitor_desc **, int count);
34void leave(monitor_desc **, int count);
35
36struct monitor_guard_t {
37 monitor_desc ** m;
38 int count;
39};
40
41static inline int ?<?(monitor_desc* lhs, monitor_desc* rhs) {
42 return ((intptr_t)lhs) < ((intptr_t)rhs);
43}
44
45static inline void ?{}( monitor_guard_t * this, monitor_desc ** m, int count ) {
46 this->m = m;
47 this->count = count;
48 qsort(this->m, count);
49 enter( this->m, this->count );
50}
51
52static inline void ^?{}( monitor_guard_t * this ) {
53 leave( this->m, this->count );
54}
55
56
57#endif //MONITOR_H
Note: See TracBrowser for help on using the repository browser.