Changes in libcfa/src/concurrency/locks.hfa [454f478:ac5816d]

File:

• libcfa/src/concurrency/locks.hfa (modified) (4 diffs)

libcfa/src/concurrency/locks.hfa

@@ -13 +13 @@
 //-----------------------------------------------------------------------------
 // is_blocking_lock
-trait is_blocking_lock(L & | sized(L)) {
+trait is_blocking_lock(dtype L | sized(L)) {
         // For synchronization locks to use when acquiring
         void on_notify( L &, struct $thread * );
@@ -31 +31 @@
 // the info thread is a wrapper around a thread used
 // to store extra data for use in the condition variable
-forall(L & | is_blocking_lock(L)) {
+forall(dtype L | is_blocking_lock(L)) {
         struct info_thread;
 
@@ -120 +120 @@
 //-----------------------------------------------------------------------------
 // Synchronization Locks
-forall(L & | is_blocking_lock(L)) {
+forall(dtype L | is_blocking_lock(L)) {
         struct condition_variable {
                 // Spin lock used for mutual exclusion
@@ -157 +157 @@
         bool wait( condition_variable(L) & this, L & l, uintptr_t info, Time time );
 }
-
-//-----------------------------------------------------------------------------
-// Semaphore
-struct semaphore {
-        __spinlock_t lock;
-        int count;
-        __queue_t($thread) waiting;
-};
-
-void  ?{}(semaphore & this, int count = 1);
-void ^?{}(semaphore & this);
-bool   P (semaphore & this);
-bool   V (semaphore & this);
-bool   V (semaphore & this, unsigned count);