There's still a possibility that a lock might be needed if you use await/yield from inside critical section (another co-routine could make changes at that point

There's still a possibility that a lock might be needed if you use await/yield from inside critical section (another co-routine could make changes at that point). If you don't yield then indeed locks are not needed.