Mikhail Gerasimov added the comment:
STINNER Victor, thanks for explanation!
I don't know if this issue has practical disadvantages, but such behavior seems
to be confusing, especially, since it can be reproduced with event_loop.time()
and asyncio doc says nothing about resolution -
New submission from Mikhail Gerasimov :
Compare:
https://docs.python.org/3.6/library/asyncio-sync.html#asyncio.Lock
https://docs.python.org/3.8/library/asyncio-sync.html#asyncio.Lock
First version is much more detailed.
It allows to avoid confusions like one with unlocking order:
https