Module pr47::util::serializer

serializer.rs: “User space”, runtime unaware coroutine serializer

This serializer could make sure only one of the participating tasks can can run at one time, no matter which runtime the user chose. However, tasks can still benefit from asynchronous completion of Futures.

The purpose of making this “coroutine serializer” is that Pr47 heavily relies on Run-Time Lifetime Checking (RTLC) and related analysis, which are hard to go multi-threading. Forcing everything to happen in a single-threaded, sequential, serialized behavior would solve this problem easily.

Structs

CoroutineContext

Context of one coroutine/task

CoroutineSharedData

Context shared by all coroutines in the same serialization group

Functions

co_await

co_spawn

co_yield

Type Definitions

Serializer

A Arc<Mutex> is basically a “serializer” context, serializing accesses to Data.

SerializerLock

A MutexGuard guards unique access to Data. Logically, this structure serves as a “running permission” for coroutines/tasks.