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

Timestamp:

Oct 26, 2020, 12:17:28 PM (4 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

Children:

342be43

Parents:

912cc7d7

Message:

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

File:

• libcfa/src/concurrency/exception.cfa (modified) (3 diffs)

libcfa/src/concurrency/exception.cfa

@@ -19 +19 @@
 #include <unwind.h>
 #undef HIDE_EXPORTS
+
+extern void __cfactx_thrd_leave();
 }
 
@@ -52 +54 @@
 
 STOP_AT_END_FUNCTION(thread_cancelstop,
-        // TODO: Instead pass information to the joiner.
-        abort();
+    __cfactx_thrd_leave();
+    __cabi_abort( "Resumed cancelled thread" );
 )
 
@@ -85 +87 @@
                 stop_param = (void *)0x22;
         } else {
+                this_thread->self_cor.cancellation = unwind_exception;
+
                 stop_func = thread_cancelstop;
                 stop_param = this_thread;