Async Python Is Secretly Deterministic (dbos.dev)

The post explains how DBOS’s Python durable workflow library makes concurrent asyncio workflows replay-safe by enforcing a deterministic step order. It describes how Python’s single-threaded event loop schedules tasks in FIFO order and shows how the @Step decorator can assign step IDs before the first await to keep step mapping consistent during recovery.