Skip to content

asyncio.wait_for: process future result produced during cancelation #84849

Description

@romasku
mannequin
BPO 40672
Nosy @asvetlov, @cjerdonek, @1st1, @romasku

Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.

Show more details

GitHub fields:

assignee = None
closed_at = None
created_at = <Date 2020-05-18.17:23:20.075>
labels = ['type-feature', '3.9', 'expert-asyncio']
title = 'asyncio.wait_for: process future result produced during cancelation'
updated_at = <Date 2020-05-18.22:51:20.953>
user = 'https://github.com/romasku'

bugs.python.org fields:

activity = <Date 2020-05-18.22:51:20.953>
actor = 'chris.jerdonek'
assignee = 'none'
closed = False
closed_date = None
closer = None
components = ['asyncio']
creation = <Date 2020-05-18.17:23:20.075>
creator = 'Roman Skurikhin'
dependencies = []
files = []
hgrepos = []
issue_num = 40672
keywords = []
message_count = 3.0
messages = ['369278', '369285', '369308']
nosy_count = 4.0
nosy_names = ['asvetlov', 'chris.jerdonek', 'yselivanov', 'Roman Skurikhin']
pr_nums = []
priority = 'normal'
resolution = None
stage = None
status = 'open'
superseder = None
type = 'enhancement'
url = 'https://bugs.python.org/issue40672'
versions = ['Python 3.9']

Activity

  1. romasku commented on May 18, 2020

    romaskumannequin
    MannequinAuthor

    In https://bugs.python.org/issue40607 asyncio.wait_for behavior was changed so it propagates exceptions that happened during cancellation. But it still raises TimeoutError if cancelation ends with some value being returned. In the following example value 42 is lost:

    import asyncio
    
    
    async def return_42_on_cancel():
        try:
            await asyncio.sleep(20)
        except asyncio.CancelledError:
            return 42  # `return` is useless in this block.
    
    
    async def main():
        try:
            await asyncio.wait_for(return_42_on_cancel(), timeout=1)
        except asyncio.TimeoutError:
            print('Timeout')
    
    asyncio.run(main())

    I think it's better to either:

    1. Return that value from asyncio.wait_for.

    The motivation here is that if the task returns something, we shouldn't conceal it. I also searched through GitHub and found some places where others catch CancelledError and return value (https://github.com/grpc/grpc/blob/44fb37c99f2853cc23f04fba15468980d9e28e41/src/python/grpcio/grpc/experimental/aio/_interceptor.py#L328).

    It can also be used with some coroutines developed to be wrapped with wait_for, for example suppose the following equation solving function:

    async def solve_iteratively(initial_x, next_approximation):
        result = initial_x
        try:
            while True:
                result = next_approximation(result)
                await asyncio.sleep(0)
        except asyncio.CancelledError:
            return result

    It allows us to control its execution time using asyncio.wait_for.

    1. Add some warning about the value is thrown away (in debug mode) and document it somewhere.

    ===

    I am a newbie here, so sorry if it is wrong to create such "proposal" issues.

  2. 1st1 commented on May 18, 2020

    @1st1
    Member
    1. Add some warning about the value is thrown away (in debug mode) and document it somewhere.

    The documentation update is definitely something that needs to be done in 3.9. Want to submit a PR?

    We can also issue a warning in asyncio debug mode.

    I'm really not sure about "1) Return that value from asyncio.wait_for.".

    I am a newbie here, so sorry if it is wrong to create such "proposal" issues.

    The issue is clear, thanks for submitting it! Keep up the great work.

  3. cjerdonek commented on May 18, 2020

    @cjerdonek
    Member

    Regarding the documentation, I'm not sure we _need_ to say what happens in this edge case for 3.9. It was already unspecified before 3.9, so we're not any worse off. (The change in bpo-40607 was, however, documented.)

    I'd rather come to agreement on (1) first. Because if we document it now, then it could be interpreted as defined behavior and so harder to change later due to backwards compat guarantees.

  4. transferred this issue fromon Apr 10, 2022
  5. moved this from Todo to In Progress in asyncioon Jul 17, 2022
  6. moved this from In Progress to Todo in asyncioon Jul 17, 2022
  7. kumaraditya303 commented on Oct 22, 2022

    @kumaraditya303
    Contributor

    Duplicate of #86296

  8. Repository owner moved this from Todo to Done in asyncioon Oct 22, 2022
  9. gvanrossum commented on Oct 22, 2022

    @gvanrossum
    Member

    Duplicate of #86296

  10. Repository owner moved this from Done to In Progress in asyncioon Oct 22, 2022
  11. Repository owner moved this from In Progress to Done in asyncioon Oct 22, 2022
  12. gvanrossum commented on Oct 22, 2022

    @gvanrossum
    Member

    (And FWIW I think there we're planning to propagate CancelledError in that case.)

    @romasku

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    • Status
      Done

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions