Changeset 2e9aed4 for src/libcfa/concurrency/preemption.c

Timestamp:

Jan 30, 2018, 2:04:27 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

ffd0ac2

Parents:

813ddcaa

Message:

Fixed non-preemptive locks

File:

• src/libcfa/concurrency/preemption.c (modified) (2 diffs)

src/libcfa/concurrency/preemption.c

@@ -169 +169 @@
         void enable_interrupts_noPoll() {
                 __attribute__((unused)) unsigned short prev = __atomic_fetch_add_2( &disable_preempt_count, -1, __ATOMIC_SEQ_CST );
-                verify( prev != 0u );                     // If this triggers someone is enabled already enabled interrupts
+                verifyf( prev != 0u, "Incremented from %u\n", prev );                     // If this triggers someone is enabled already enabled interrupts
         }
 }
@@ -293 +293 @@
         if( !preemption_ready() ) { return; }
 
-        // __cfaabi_dbg_print_buffer_decl(" KERNEL: preempting core %p (%p).\n", this_processor, this_thread);
+        __cfaabi_dbg_print_buffer_decl(" KERNEL: preempting core %p (%p).\n", this_processor, this_thread);
 
         preemption_in_progress = true;                      // Sync flag : prevent recursive calls to the signal handler