Is it just me or is the example they use for the locking extremely badly implemented?

Why would one ever result at that methodology?

Nice to see actor-ish ideas framed in Python terms. Curious how this compares in practice to Trio/asyncio once you need supervision and restart semantics.