Changeset f0ce5f4 for libcfa/src/concurrency

Timestamp:

Mar 27, 2020, 12:41:19 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

2bb2efa9, 92e7631

Parents:

ae7be7a

Message:

V-ing a semaphore now returns wether or not a thread was woken up.
Fix build compilation

Location:

libcfa/src/concurrency

Files:

• kernel.cfa (modified) (4 diffs)
• kernel.hfa (modified) (1 diff)

libcfa/src/concurrency/kernel.cfa

@@ -312 +312 @@
         unregister(this->cltr, this);
 
-        V( this->terminated );
+        bool signalled = V( this->terminated );
+        if(signalled)
 
         __cfaabi_dbg_print_safe("Kernel : core %p terminated\n", this);
@@ -920 +921 @@
 }
 
-void V(semaphore & this) with( this ) {
+bool V(semaphore & this) with( this ) {
         $thread * thrd = 0p;
         lock( lock __cfaabi_dbg_ctx2 );
@@ -933 +934 @@
         // make new owner
         unpark( thrd __cfaabi_dbg_ctx2 );
+
+        return thrd != 0p;
 }
 
@@ -988 +991 @@
                 void __cfaabi_dbg_record_thrd($thread & this, bool park, const char prev_name[]) {
                         if(park) {
-                                this.prev_park    = prev_name;
-                                this.park_stale   = false;
+                                this.park_caller   = prev_name;
+                                this.park_stale    = false;
                         }
                         else {
-                                this.prev_unpark  = prev_name;
-                                this.unpark_stale = false;
+                                this.unpark_caller = prev_name;
+                                this.unpark_stale  = false;
                         }
                 }

libcfa/src/concurrency/kernel.hfa

@@ -38 +38 @@
 void ^?{}(semaphore & this);
 void   P (semaphore & this);
-void   V (semaphore & this);
+bool   V (semaphore & this);