Changeset 2781e65 for src/libcfa

Timestamp:

Feb 28, 2017, 4:21:15 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

20221d4

Parents:

cc7f4b1

Message:

added support for acquiring multiple monitors at once

Location:

src/libcfa/concurrency

Files:

• monitor (modified) (2 diffs)
• monitor.c (modified) (1 diff)

src/libcfa/concurrency/monitor

@@ -20 +20 @@
 #include "assert"
 #include "invoke.h"
+#include "stdlib"
 
 struct __monitor_t {
@@ -33 +34 @@
 }
 
+//Basic entering routine
 void enter(__monitor_t *);
 void leave(__monitor_t *);
 
+//Array entering routine
+void enter(__monitor_t **, int count);
+void leave(__monitor_t **, int count);
+
 struct monitor_guard_t {
-        __monitor_t * m;
+        __monitor_t ** m;
+        int count;
 };
 
-static inline void ?{}( monitor_guard_t * this, __monitor_t * m ) {
+static inline int ?<?(__monitor_t* lhs, __monitor_t* rhs) {
+        return ((intptr_t)lhs) < ((intptr_t)rhs);
+}
+
+static inline void ?{}( monitor_guard_t * this, __monitor_t ** m ) {
         this->m = m;
-        enter( this->m );
+        this->count = 1;
+        enter( *this->m );
+}
+
+static inline void ?{}( monitor_guard_t * this, __monitor_t ** m, int count ) {
+        this->m = m;
+        this->count = count;
+        qsort(this->m, count);
+        enter( this->m, this->count );
 }
 
 static inline void ^?{}( monitor_guard_t * this ) {
-        leave( this->m );
+        leave( this->m, this->count );
 }
 
+
 #endif //MONITOR_H

src/libcfa/concurrency/monitor.c

@@ -71 +71 @@
         }
 }
+
+void enter(__monitor_t ** monitors, int count) {
+        for(int i = 0; i < count; i++) {
+                // printf("%d\n", i);
+                enter( monitors[i] );
+        }
+}
+
+void leave(__monitor_t ** monitors, int count) {
+        for(int i = count - 1; i >= 0; i--) {
+                // printf("%d\n", i);
+                leave( monitors[i] );
+        }
+}