Changeset ab8c6a6 for libcfa/src/concurrency/monitor.cfa

Timestamp:

Oct 26, 2020, 12:17:28 PM (6 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

342be43

Parents:

912cc7d7

Message:

Thread Cancellation, a test for it and a required fix to Specialization.

File:

• libcfa/src/concurrency/monitor.cfa (modified) (1 diff)

libcfa/src/concurrency/monitor.cfa

@@ -306 +306 @@
         /* paranoid */ verify( thrd->state == Halted );
         unpark( new_owner );
-}
-
-// Join a thread
-forall( dtype T | is_thread(T) )
-T & join( T & this ) {
-        $monitor *    m = get_monitor(this);
-        void (*dtor)(T& mutex this) = ^?{};
-        monitor_dtor_guard_t __guard = { &m, (fptr_t)dtor, true };
-        {
-                return this;
-        }
 }