Changeset b6838214 for src/libcfa/concurrency

Timestamp:

Jan 23, 2018, 5:46:43 PM (6 years ago)

Author:

Alan Kennedy <afakenne@…>

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:

258e6ad5

Parents:

b158d8f (diff), 15d248e (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

add context switch for ARM

Location:

src/libcfa/concurrency

Files:

• monitor.c (modified) (2 diffs)
• preemption.c (modified) (1 diff)

src/libcfa/concurrency/monitor.c

@@ -534 +534 @@
         __lock_size_t actual_count = aggregate( mon_storage, mask );
 
-        __cfaabi_dbg_print_buffer_decl( "Kernel : waitfor %d (s: %d, m: %d)\n", actual_count, mask.size, (__lock_size_t)max);
+        __cfaabi_dbg_print_buffer_decl( "Kernel : waitfor %"PRIdFAST16" (s: %"PRIdFAST16", m: %"PRIdFAST16")\n", actual_count, mask.size, (__lock_size_t)max);
 
         if(actual_count == 0) return;
@@ -575 +575 @@
                                 monitor_save;
 
-                                __cfaabi_dbg_print_buffer_local( "Kernel :  baton of %d monitors : ", count );
+                                __cfaabi_dbg_print_buffer_local( "Kernel :  baton of %"PRIdFAST16" monitors : ", count );
                                 #ifdef __CFA_DEBUG_PRINT__
                                         for( int i = 0; i < count; i++) {

src/libcfa/concurrency/preemption.c

@@ -303 +303 @@
         // Check if it is safe to preempt here
         if( !preemption_ready() ) { return; }
+
+        // __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