Shared-state coordination: Mutex ownership and non-reentrancy

Coordinate mutable state using coroutine-aware synchronization primitives.