Changeset f586539

Timestamp:

Mar 31, 2020, 6:21:44 PM (4 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:

5137f9f

Parents:

139a7e1

Message:

Fixed incorrect check reporting the main thread has corrupted stack

File:

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

libcfa/src/concurrency/kernel.cfa

@@ -558 +558 @@
         verify( dst->context.SP );
 
+        // SKULLDUGGERY in debug the processors check that the
+        // stack is still within the limit of the stack limits after running a thread.
+        // that check doesn't make sense if we context switch to the processor using the
+        // coroutine semantics. Since this is a special case, use the current context
+        // info to populate these fields.
+        __cfaabi_dbg_debug_do(
+                __stack_context_t ctx;
+                CtxGet( ctx );
+                mainThread->context.SP = ctx.SP;
+                mainThread->context.FP = ctx.FP;
+        )
+
         // context switch to the processor
         __cfactx_switch( &src->context, &dst->context );