Async Mutex Patterns

Distinguish between sync and async mutexes to avoid holding locks across await points.