Title: Clarify whether Futures can be awaited multiple times
Type: enhancement Stage:
Components: asyncio Versions:
Status: open Resolution:
Dependencies: Superseder:
Assigned To: Nosy List: JustAnotherArchivist, aeros, asvetlov, yselivanov
Priority: normal Keywords:

Created on 2020-07-11 02:41 by JustAnotherArchivist, last changed 2020-07-14 08:40 by asvetlov.

Messages (2)
msg373504 - (view) Author: (JustAnotherArchivist) * Date: 2020-07-11 02:41
While the situation is clear regarding coroutine objects (#25887), as far as I can see, the documentation doesn't specify whether asyncio.Futures can be awaited multiple times. The code has always (at least since the integration into CPython) allowed for it since Future.__await__ simply returns Future.result() if it is already done. Is this guaranteed/intended behaviour, as also implied by some of the comments on #25887, or is it considered an implementation detail?

Here are the only two things I found in the documentation regarding this:

> library/asyncio-task: When a Future object is awaited it means that the coroutine will wait until the Future is resolved in some other place.

> library/asyncio-future: Future is an awaitable object. Coroutines can await on Future objects until they either have a result or an exception set, or until they are cancelled.

Neither of these say anything about awaiting a Future that is already resolved, i.e. has a result, has an exception, or was cancelled.

If this is intended to be guaranteed, it should be mentioned in the Future documentation. If it is considered an implementation detail, it's probably not necessary to explicitly mention this anywhere, but it might be a good idea to add another line to e.g. the asyncio.wait example on how to correctly retrieve the result of an already-awaited Future/Task.
msg373628 - (view) Author: Andrew Svetlov (asvetlov) * (Python committer) Date: 2020-07-14 08:40
The allowance to wait for the future object multiple times is settled in stone. This cannot be changed without breaking very many codes.

So yes, asyncio guarantees that the feature is settled in stone. If set_value() / set_exception() was called, the value/exception is returned (raised) on every following `await fut`.

Pull request for documentation with clarification of the status quo is welcome!
Date User Action Args
2020-07-14 08:40:07asvetlovsetmessages: + msg373628
2020-07-14 08:10:25ammar2setnosy: + aeros
2020-07-11 02:41:58JustAnotherArchivistcreate