Changes in libcfa/src/concurrency/coroutine.hfa [4422579:09f357ec]

File:

• libcfa/src/concurrency/coroutine.hfa (modified) (10 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 : Tue Feb  4 12:29:26 2020
-// Update Count     : 11
+// Last Modified On : Tue Dec  3 22:47:58 2019
+// Update Count     : 10
 //
 
@@ -18 +18 @@
 #include <assert.h>
 #include "invoke.h"
-#include "../exception.hfa"
-
-//-----------------------------------------------------------------------------
-// Exception thrown from resume when a coroutine stack is cancelled.
-FORALL_DATA_EXCEPTION(CoroutineCancelled, (dtype coroutine_t), (coroutine_t)) (
-        coroutine_t * the_coroutine;
-        exception_t * the_exception;
-);
-
-forall(dtype T)
-void copy(CoroutineCancelled(T) * dst, CoroutineCancelled(T) * src);
-
-forall(dtype T)
-const char * msg(CoroutineCancelled(T) *);
 
 //-----------------------------------------------------------------------------
@@ -37 +23 @@
 // Anything that implements this trait can be resumed.
 // Anything that is resumed is a coroutine.
-trait is_coroutine(dtype T | IS_RESUMPTION_EXCEPTION(CoroutineCancelled, (T))) {
-        void main(T & this);
-        $coroutine * get_coroutine(T & this);
+trait is_coroutine(dtype T) {
+      void main(T & this);
+      coroutine_desc * get_coroutine(T & this);
 };
 
-#define DECL_COROUTINE(X) static inline $coroutine* get_coroutine(X& this) { return &this.__cor; } void main(X& this)
+#define DECL_COROUTINE(X) static inline coroutine_desc* get_coroutine(X& this) { return &this.__cor; } void main(X& this)
 
 //-----------------------------------------------------------------------------
@@ -49 +35 @@
 // void ^?{}( coStack_t & this );
 
-void  ?{}( $coroutine & this, const char name[], void * storage, size_t storageSize );
-void ^?{}( $coroutine & this );
+void ?{}( coroutine_desc & this, const char * name, void * storage, size_t storageSize );
+void ^?{}( coroutine_desc & this );
 
-static inline void ?{}( $coroutine & this)                                       { this{ "Anonymous Coroutine", 0p, 0 }; }
-static inline void ?{}( $coroutine & this, size_t stackSize)                     { this{ "Anonymous Coroutine", 0p, stackSize }; }
-static inline void ?{}( $coroutine & this, void * storage, size_t storageSize )  { this{ "Anonymous Coroutine", storage, storageSize }; }
-static inline void ?{}( $coroutine & this, const char name[])                    { this{ name, 0p, 0 }; }
-static inline void ?{}( $coroutine & this, const char name[], size_t stackSize ) { this{ name, 0p, stackSize }; }
+static inline void ?{}( coroutine_desc & this)                                       { this{ "Anonymous Coroutine", 0p, 0 }; }
+static inline void ?{}( coroutine_desc & this, size_t stackSize)                     { this{ "Anonymous Coroutine", 0p, stackSize }; }
+static inline void ?{}( coroutine_desc & this, void * storage, size_t storageSize )  { this{ "Anonymous Coroutine", storage, storageSize }; }
+static inline void ?{}( coroutine_desc & this, const char * name)                    { this{ name, 0p, 0 }; }
+static inline void ?{}( coroutine_desc & this, const char * name, size_t stackSize ) { this{ name, 0p, stackSize }; }
 
 //-----------------------------------------------------------------------------
 // Public coroutine API
+static inline void suspend(void);
+
+forall(dtype T | is_coroutine(T))
+static inline T & resume(T & cor);
+
 forall(dtype T | is_coroutine(T))
 void prime(T & cor);
 
-static inline struct $coroutine * active_coroutine() { return active_thread()->curr_cor; }
+static inline struct coroutine_desc * active_coroutine() { return TL_GET( this_thread )->curr_cor; }
 
 //-----------------------------------------------------------------------------
@@ -70 +61 @@
 // Start coroutine routines
 extern "C" {
-        void __cfactx_invoke_coroutine(void (*main)(void *), void * this);
+        void CtxInvokeCoroutine(void (*main)(void *), void * this);
 
         forall(dtype T)
-        void __cfactx_start(void (*main)(T &), struct $coroutine * cor, T & this, void (*invoke)(void (*main)(void *), void *));
+        void CtxStart(void (*main)(T &), struct coroutine_desc * cor, T & this, void (*invoke)(void (*main)(void *), void *));
 
-        extern void __cfactx_coroutine_unwind(struct _Unwind_Exception * storage, struct $coroutine *) __attribute__ ((__noreturn__));
+        extern void _CtxCoroutine_Unwind(struct _Unwind_Exception * storage, struct coroutine_desc *) __attribute__ ((__noreturn__));
 
-        extern void __cfactx_switch( struct __stack_context_t * from, struct __stack_context_t * to ) asm ("__cfactx_switch");
+        extern void CtxSwitch( struct __stack_context_t * from, struct __stack_context_t * to ) asm ("CtxSwitch");
 }
 
 // Private wrappers for context switch and stack creation
 // Wrapper for co
-static inline void $ctx_switch( $coroutine * src, $coroutine * dst ) __attribute__((nonnull (1, 2))) {
+static inline void CoroutineCtxSwitch(coroutine_desc* src, coroutine_desc* dst) {
         // set state of current coroutine to inactive
-        src->state = src->state == Halted ? Halted : Blocked;
+        src->state = src->state == Halted ? Halted : Inactive;
 
         // set new coroutine that task is executing
-        active_thread()->curr_cor = dst;
+        TL_GET( this_thread )->curr_cor = dst;
 
         // context switch to specified coroutine
         verify( dst->context.SP );
-        __cfactx_switch( &src->context, &dst->context );
-        // when __cfactx_switch returns we are back in the src coroutine
+        CtxSwitch( &src->context, &dst->context );
+        // when CtxSwitch returns we are back in the src coroutine
 
         // set state of new coroutine to active
@@ -98 +89 @@
 
         if( unlikely(src->cancellation != 0p) ) {
-                __cfactx_coroutine_unwind(src->cancellation, src);
+                _CtxCoroutine_Unwind(src->cancellation, src);
         }
 }
 
-extern void __stack_prepare( __stack_info_t * this, size_t size /* ignored if storage already allocated */);
-extern void __stack_clean  ( __stack_info_t * this );
-
+extern void __stack_prepare   ( __stack_info_t * this, size_t size /* ignored if storage already allocated */);
 
 // Suspend implementation inlined for performance
-extern "C" {
-        static inline void __cfactx_suspend(void) {
-                // optimization : read TLS once and reuse it
-                // Safety note: this is preemption safe since if
-                // preemption occurs after this line, the pointer
-                // will also migrate which means this value will
-                // stay in syn with the TLS
-                $coroutine * src = active_coroutine();
+static inline void suspend(void) {
+        // optimization : read TLS once and reuse it
+        // Safety note: this is preemption safe since if
+        // preemption occurs after this line, the pointer
+        // will also migrate which means this value will
+        // stay in syn with the TLS
+        coroutine_desc * src = TL_GET( this_thread )->curr_cor;
 
-                assertf( src->last != 0,
-                        "Attempt to suspend coroutine \"%.256s\" (%p) that has never been resumed.\n"
-                        "Possible cause is a suspend executed in a member called by a coroutine user rather than by the coroutine main.",
-                        src->name, src );
-                assertf( src->last->state != Halted,
-                        "Attempt by coroutine \"%.256s\" (%p) to suspend back to terminated coroutine \"%.256s\" (%p).\n"
-                        "Possible cause is terminated coroutine's main routine has already returned.",
-                        src->name, src, src->last->name, src->last );
+        assertf( src->last != 0,
+                "Attempt to suspend coroutine \"%.256s\" (%p) that has never been resumed.\n"
+                "Possible cause is a suspend executed in a member called by a coroutine user rather than by the coroutine main.",
+                src->name, src );
+        assertf( src->last->state != Halted,
+                "Attempt by coroutine \"%.256s\" (%p) to suspend back to terminated coroutine \"%.256s\" (%p).\n"
+                "Possible cause is terminated coroutine's main routine has already returned.",
+                src->name, src, src->last->name, src->last );
 
-                $ctx_switch( src, src->last );
-        }
+        CoroutineCtxSwitch( src, src->last );
 }
-
-forall(dtype T | is_coroutine(T))
-void __cfaehm_cancelled_coroutine( T & cor, $coroutine * desc );
 
 // Resume implementation inlined for performance
@@ -140 +124 @@
         // will also migrate which means this value will
         // stay in syn with the TLS
-        $coroutine * src = active_coroutine();
-        $coroutine * dst = get_coroutine(cor);
+        coroutine_desc * src = TL_GET( this_thread )->curr_cor;
+        coroutine_desc * dst = get_coroutine(cor);
 
         if( unlikely(dst->context.SP == 0p) ) {
+                TL_GET( this_thread )->curr_cor = dst;
                 __stack_prepare(&dst->stack, 65000);
-                __cfactx_start(main, dst, cor, __cfactx_invoke_coroutine);
+                CtxStart(main, dst, cor, CtxInvokeCoroutine);
+                TL_GET( this_thread )->curr_cor = src;
         }
 
@@ -161 +147 @@
 
         // always done for performance testing
-        $ctx_switch( src, dst );
-        if ( unlikely(dst->cancellation) ) {
-                __cfaehm_cancelled_coroutine( cor, dst );
-        }
+        CoroutineCtxSwitch( src, dst );
 
         return cor;
 }
 
-static inline void resume( $coroutine * dst ) __attribute__((nonnull (1))) {
+static inline void resume(coroutine_desc * dst) {
         // optimization : read TLS once and reuse it
         // Safety note: this is preemption safe since if
@@ -175 +158 @@
         // will also migrate which means this value will
         // stay in syn with the TLS
-        $coroutine * src = active_coroutine();
+        coroutine_desc * src = TL_GET( this_thread )->curr_cor;
 
         // not resuming self ?
@@ -189 +172 @@
 
         // always done for performance testing
-        $ctx_switch( src, dst );
+        CoroutineCtxSwitch( src, dst );
 }