Changeset 71c8b7e

Timestamp:

May 5, 2020, 4:45:52 PM (5 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:

6e33a2d

Parents:

4e74466

Message:

Semaphore P() now returned whether or not it block

Location:

libcfa/src/concurrency

Files:

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

libcfa/src/concurrency/kernel.cfa

@@ -987 +987 @@
 void ^?{}(semaphore & this) {}
 
-void P(semaphore & this) with( this ){
+bool P(semaphore & this) with( this ){
         lock( lock __cfaabi_dbg_ctx2 );
         count -= 1;
@@ -997 +997 @@
                 unlock( lock );
                 park( __cfaabi_dbg_ctx );
+                return true;
         }
         else {
             unlock( lock );
+            return false;
         }
 }

libcfa/src/concurrency/kernel.hfa

@@ -38 +38 @@
 void  ?{}(semaphore & this, int count = 1);
 void ^?{}(semaphore & this);
-void   P (semaphore & this);
+bool   P (semaphore & this);
 bool   V (semaphore & this);
 bool   V (semaphore & this, unsigned count);