Re: Continuations

On Mon, 15 Jul 2024 23:06:13 +0300, Niklas Holsti wrote:

IMO, for something to qualify as a continuation-passing call, the caller
should select the callee -- the thing to be executed next -- but in
SAGE/SABRE it is the scheduler that selects what to execute next.

What you have is that SAGE/SABRE has built a higher-level scheduler
abstraction on top of lower-level coroutines/continuations.

Python’s asyncio module works in a similar way. Coroutines are a language
primitive, that pass control directly to each other via await calls.
asyncio is a library module that wraps a coroutine in a higher-level
“task” object. When one task awaits another, that doesn’t necessarily mean
that control is passed directly from the first task to the second:
instead, the scheduler regains control and decides who is to run next.