Mutual Exclusion in Coroutines

Apply fine-grained locking patterns to resources accessed by multiple suspending functions.