Changeset 0957f62 for libcfa/src/concurrency/coroutine.hfa

Timestamp:

Mar 1, 2026, 5:47:54 PM (37 hours ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

02e7483

Parents:

8086004

Message:

add routines stack_verify and stack_pointer, in debug mode call stack_verify on front-side of context switch and time-slicing

File:

• libcfa/src/concurrency/coroutine.hfa (modified) (5 diffs)

libcfa/src/concurrency/coroutine.hfa

@@ -10 +10 @@
 // Created On       : Mon Nov 28 12:27:26 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Apr 25 06:52:04 2025
-// Update Count     : 15
+// Last Modified On : Sun Mar  1 17:44:11 2026
+// Update Count     : 43
 //
 
@@ -98 +98 @@
 }
 
+void stack_verify( coroutine$ * cor );
+void stack_verify();
+
 // Private wrappers for context switch and stack creation
-// Wrapper for co
 static inline void $ctx_switch( coroutine$ * src, coroutine$ * dst ) __attribute__((nonnull (1, 2))) {
         // set state of current coroutine to inactive
@@ -110 +112 @@
         /* paranoid */ verify( !athrd->corctx_flag );
         athrd->corctx_flag = true;
+
+        #if defined( __CFA_DEBUG__ )
+        stack_verify( src );                                                            // test on front side of context switch, backside is too late.
+        #endif // __CFA_DEBUG__
 
         // set new coroutine that task is executing
@@ -225 +231 @@
 
 // non local ehm and coroutine utility routines
+void * stack_pointer( coroutine$ * cor );
+void * stack_pointer();
 void enable_ehm();
 void disable_ehm();
@@ -234 +242 @@
 
 forall(T & | is_coroutine(T)) {
+        void * stack_pointer( T & cor );
+        void stack_verify( T & cor );
     void enable_ehm( T & cor );         // enable checking non-local exceptions for cor via checked_poll
     void disable_ehm( T & cor );        // disable checking non-local exceptions for cor via checked_poll