Changeset 764e009 for src/libcfa/concurrency/coroutine.c

Timestamp:

Sep 19, 2017, 3:56:00 PM (7 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:

f980549

Parents:

8f98b78 (diff), 39fea2f (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:

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

src/libcfa/concurrency/coroutine.c

@@ -65 +65 @@
         this.errno_ = 0;
         this.state = Start;
-        this.starter = NULL;
+        this.starter = this_coroutine;
         this.last = NULL;
 }
@@ -171 +171 @@
                 suspend();
         }
+
+        void __leave_coroutine(void) {
+                coroutine_desc * src = this_coroutine;          // optimization
+
+                assertf( src->starter != 0,
+                        "Attempt to suspend coroutine \"%.256s\" (%p) that does not have a starter.\n"
+                        "Possible cause is a resume of a coroutine already destroyed or not yet constructed",
+                        src->name, src );
+                assertf( src->starter->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->starter->name, src->starter );
+
+                CoroutineCtxSwitch( src, src->starter );
+        }
 }