Changeset 8e9e9a2

Timestamp:

Jul 2, 2020, 4:06:04 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:

e46c753

Parents:

5877b3e

Message:

Added assert to check for non-processors enabling preemption.

File:

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

libcfa/src/concurrency/preemption.cfa

@@ -186 +186 @@
         void enable_interrupts( __cfaabi_dbg_ctx_param ) {
                 processor   * proc = kernelTLS.this_processor; // Cache the processor now since interrupts can start happening after the atomic store
+                /* paranoid */ verify( proc );
 
                 with( kernelTLS.preemption_state ){