| 1 | #include "threads"
|
|---|
| 2 | #include "assert"
|
|---|
| 3 |
|
|---|
| 4 | #include <stddef.h>
|
|---|
| 5 |
|
|---|
| 6 | #include <fstream>
|
|---|
| 7 |
|
|---|
| 8 | static coroutine main_coroutine;
|
|---|
| 9 | static coroutine* current_coroutine = &main_coroutine;
|
|---|
| 10 |
|
|---|
| 11 | void ctxSwitchDirect(void* src, void* dst) {
|
|---|
| 12 | current_coroutine = dst;
|
|---|
| 13 | }
|
|---|
| 14 |
|
|---|
| 15 | coroutine* this_coroutine() {
|
|---|
| 16 | return current_coroutine;
|
|---|
| 17 | }
|
|---|
| 18 |
|
|---|
| 19 | void ?{}(coroutine* this)
|
|---|
| 20 | {
|
|---|
| 21 | this->last = NULL;
|
|---|
| 22 | this->name = "A Coroutine";
|
|---|
| 23 | this->notHalted = true;
|
|---|
| 24 | }
|
|---|
| 25 |
|
|---|
| 26 | void suspend() {
|
|---|
| 27 | coroutine* src = this_coroutine(); // optimization
|
|---|
| 28 |
|
|---|
| 29 | assertf( src->last == (coroutine*)0,
|
|---|
| 30 | "Attempt to suspend coroutine %.256s (%p) that has never been resumed.\n"
|
|---|
| 31 | "Possible cause is a suspend executed in a member called by a coroutine user rather than by the coroutine main.",
|
|---|
| 32 | src->name, src );
|
|---|
| 33 | assertf( src->last->notHalted,
|
|---|
| 34 | "Attempt by coroutine %.256s (%p) to suspend back to terminated coroutine %.256s (%p).\n"
|
|---|
| 35 | "Possible cause is terminated coroutine's main routine has already returned.",
|
|---|
| 36 | src->name, src, src->last->name, src->last );
|
|---|
| 37 |
|
|---|
| 38 | ctxSwitchDirect( src, src->last );
|
|---|
| 39 | }
|
|---|
| 40 |
|
|---|
| 41 | forall(dtype T | coroutine_t(T))
|
|---|
| 42 | void resume(T* cor) {
|
|---|
| 43 | coroutine* src = this_coroutine(); // optimization
|
|---|
| 44 | coroutine* dst = this_coroutine(cor);
|
|---|
| 45 |
|
|---|
| 46 | if ( src != dst ) { // not resuming self ?
|
|---|
| 47 | assertf( dst->notHalted ,
|
|---|
| 48 | "Attempt by coroutine %.256s (%p) to resume terminated coroutine %.256s (%p).\n"
|
|---|
| 49 | "Possible cause is terminated coroutine's main routine has already returned.",
|
|---|
| 50 | src->name, src, dst->name, dst );
|
|---|
| 51 | dst->last = src; // set last resumer
|
|---|
| 52 | } // if
|
|---|
| 53 | ctxSwitchDirect( src, dst ); // always done for performance testing
|
|---|
| 54 | }
|
|---|