Changeset 5afb49a for libcfa/src/concurrency/kernel_private.hfa

Timestamp:

Oct 16, 2020, 3:31:02 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

8da7421f

Parents:

d21dd3cb

Message:

Split thread_leave so backend is called from the kernel once the kernel no longer needs the thread.
This hopefully solves the non-deterministic crashes in the build.

File:

• libcfa/src/concurrency/kernel_private.hfa (modified) (1 diff)

libcfa/src/concurrency/kernel_private.hfa

@@ -39 +39 @@
 ;
 
-//Block current thread and release/wake-up the following resources
-void __leave_thread() __attribute__((noreturn));
+//release/wake-up the following resources
+void __thread_finish( $thread * thrd );
 
 //-----------------------------------------------------------------------------