Changeset a0dbf20 for libcfa/src/concurrency/preemption.cfa

Timestamp:

Aug 30, 2022, 6:30:32 PM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master, pthread-emulation

Children:

4858a88

Parents:

a8dd247 (diff), 01ba701 (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:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

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

libcfa/src/concurrency/preemption.cfa

@@ -357 +357 @@
                         }
                 }
+        }
+
+        // Check whether or not there is pending preemption
+        // force_yield( __POLL_PREEMPTION ) if appropriate
+        // return true if the thread was in an interruptable state
+        // i.e. on a real processor and not in the kernel
+        // (can return true even if no preemption was pending)
+        bool poll_interrupts() libcfa_public {
+                // Cache the processor now since interrupts can start happening after the atomic store
+                processor   * proc = publicTLS_get( this_processor );
+                if ( ! proc ) return false;
+                if ( ! __preemption_enabled() ) return false;
+
+                with( __cfaabi_tls.preemption_state ){
+                        // Signal the compiler that a fence is needed but only for signal handlers
+                        __atomic_signal_fence(__ATOMIC_RELEASE);
+                        if( proc->pending_preemption ) {
+                                proc->pending_preemption = false;
+                                force_yield( __POLL_PREEMPTION );
+                        }
+                }
+
+                return true;
         }
 }
@@ -643 +666 @@
 // Kernel Signal Handlers
 //=============================================================================================
-__cfaabi_dbg_debug_do( static thread_local void * last_interrupt = 0; )
+__cfaabi_dbg_debug_do( static _Thread_local void * last_interrupt = 0; )
 
 // Context switch signal handler