Какой из следующих вариантов наиболее безопасен при использовании `asyncio.Lock` в многопоточной асинхронной среде?