Changeset cd348e7 for src/libcfa

Timestamp:

Apr 19, 2017, 2:39:01 PM (7 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:

8731d8c

Parents:

154fdc8

Message:

Fixed mutual exclusion on monitors

File:

• src/libcfa/concurrency/monitor.c (modified) (8 diffs)

src/libcfa/concurrency/monitor.c

@@ -33 +33 @@
                 thread_desc * thrd = this_thread();
 
-                //Update the stack owner
-                this->stack_owner = leader;
+                // //Update the stack owner
+                // this->stack_owner = leader;
+
+                LIB_DEBUG_PRINT_SAFE("Entering %p (o: %p, r: %i)\n", this, this->owner, this->recursion);
 
                 if( !this->owner ) {
                         //No one has the monitor, just take it
-                        this->owner = thrd;
-                        this->recursion = 1;
+                        set_owner( this, thrd );
                 }
                 else if( this->owner == thrd) {
@@ -77 +78 @@
                 lock( &this->lock );
 
+                LIB_DEBUG_PRINT_SAFE("Leaving %p (o: %p, r: %i)\n", this, this->owner, this->recursion);
+
                 thread_desc * thrd = this_thread();
-                assert( thrd == this->owner || this->stack_owner );
+                assertf( thrd == this->owner, "Expected owner to be %p, got %p (r: %i)", this->owner, thrd, this->recursion );
 
                 //Leaving a recursion level, decrement the counter
@@ -86 +89 @@
                 //it means we don't need to do anything
                 if( this->recursion != 0) {
-                        this->stack_owner = leader;
+                        // this->stack_owner = leader;
                         unlock( &this->lock );
                         return;
                 }
                         
-                //If we don't own the signal stack then just leave it to the owner
-                if( this->stack_owner ) {
-                        this->stack_owner = leader;
-                        unlock( &this->lock );
-                        return;
-                }
+                // //If we don't own the signal stack then just leave it to the owner
+                // if( this->stack_owner ) {
+                //      this->stack_owner = leader;
+                //      unlock( &this->lock );
+                //      return;
+                // }
 
                 //We are the stack owner and have left the last recursion level.
@@ -108 +111 @@
                         //transfer control immediately
                         set_owner( this, new_owner );
-                        this->stack_owner = leader;
+                        // this->stack_owner = leader;
                         ScheduleInternal( &this->lock, new_owner );
                         return;
@@ -118 +121 @@
                 set_owner( this, new_owner );
 
-                //Update the stack owner
-                this->stack_owner = leader;
+                // //Update the stack owner
+                // this->stack_owner = leader;
 
                 //We can now let other threads in safely
@@ -138 +141 @@
 static inline void leave(monitor_desc ** monitors, int count) {
         __leave_monitor_desc( monitors[0], NULL );
-        for(int i = count - 1; i >= 0; i--) {
+        for(int i = count - 1; i >= 1; i--) {
                 __leave_monitor_desc( monitors[i], monitors[0] );
         }
@@ -166 +169 @@
 // Internal scheduling
 void wait( condition * this ) {
+        assertf(false, "NO SUPPORTED");
         // LIB_DEBUG_FPRINTF("Waiting\n");
         thread_desc * this_thrd = this_thread();
@@ -236 +240 @@
 
 static void __signal_internal( condition * this ) {
+        assertf(false, "NO SUPPORTED");
         if( !this->blocked.head ) return;