Changes in src/libcfa/concurrency/monitor [751d963:aaa4f93]

File:

• src/libcfa/concurrency/monitor (modified) (4 diffs)

src/libcfa/concurrency/monitor

@@ -10 +10 @@
 // Created On       : Thd Feb 23 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Oct  7 18:06:45 2017
-// Update Count     : 10
+// Last Modified On : Sat Jul 22 09:59:01 2017
+// Update Count     : 3
 //
 
@@ -29 +29 @@
 static inline void ?{}(monitor_desc & this) {
         (this.lock){};
+        this.owner = NULL;
         (this.entry_queue){};
         (this.signal_stack){};
-        this.owner         = NULL;
-        this.recursion     = 0;
+        this.recursion = 0;
         this.mask.accepted = NULL;
         this.mask.clauses  = NULL;
         this.mask.size     = 0;
-        this.dtor_node     = NULL;
 }
-
-// static inline int ?<?(monitor_desc* lhs, monitor_desc* rhs) {
-//      return ((intptr_t)lhs) < ((intptr_t)rhs);
-// }
 
 struct monitor_guard_t {
@@ -51 +46 @@
 };
 
+static inline int ?<?(monitor_desc* lhs, monitor_desc* rhs) {
+        return ((intptr_t)lhs) < ((intptr_t)rhs);
+}
+
 void ?{}( monitor_guard_t & this, monitor_desc ** m, int count, void (*func)() );
 void ^?{}( monitor_guard_t & this );
-
-struct monitor_dtor_guard_t {
-        monitor_desc * m;
-        monitor_desc ** prev_mntrs;
-        unsigned short  prev_count;
-        fptr_t          prev_func;
-};
-
-void ?{}( monitor_dtor_guard_t & this, monitor_desc ** m, void (*func)() );
-void ^?{}( monitor_dtor_guard_t & this );
-
-static inline forall( dtype T | sized(T) | { void ^?{}( T & mutex ); } )
-void delete( T * th ) {
-        ^(*th){};
-        free( th );
-}
 
 //-----------------------------------------------------------------------------
@@ -92 +75 @@
         __condition_node_t ** tail;
 };
-
-void ?{}(__condition_node_t & this, thread_desc * waiting_thread, unsigned short count, uintptr_t user_info );
-void ?{}(__condition_criterion_t & this );
-void ?{}(__condition_criterion_t & this, monitor_desc * target, __condition_node_t * owner );
 
 void ?{}( __condition_blocked_queue_t & );