-
-
Notifications
You must be signed in to change notification settings - Fork 32k
GH-117881: fix athrow().throw()/asend().throw() concurrent access #117882
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from all commits
8418dcc
daf0f35
490e0a9
cbd302d
38b8246
144ddbc
6526f6f
25d8a27
1220aee
d1cedbe
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -393,6 +393,151 @@ async def gen(): | |
r'anext\(\): asynchronous generator is already running'): | ||
an.__next__() | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r"cannot reuse already awaited __anext__\(\)/asend\(\)"): | ||
an.send(None) | ||
|
||
def test_async_gen_asend_throw_concurrent_with_send(self): | ||
import types | ||
|
||
@types.coroutine | ||
def _async_yield(v): | ||
return (yield v) | ||
|
||
class MyExc(Exception): | ||
pass | ||
|
||
async def agenfn(): | ||
while True: | ||
try: | ||
await _async_yield(None) | ||
except MyExc: | ||
pass | ||
return | ||
yield | ||
|
||
|
||
agen = agenfn() | ||
gen = agen.asend(None) | ||
gen.send(None) | ||
gen2 = agen.asend(None) | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r'anext\(\): asynchronous generator is already running'): | ||
gen2.throw(MyExc) | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r"cannot reuse already awaited __anext__\(\)/asend\(\)"): | ||
gen2.send(None) | ||
|
||
def test_async_gen_athrow_throw_concurrent_with_send(self): | ||
import types | ||
|
||
@types.coroutine | ||
def _async_yield(v): | ||
return (yield v) | ||
|
||
class MyExc(Exception): | ||
pass | ||
|
||
async def agenfn(): | ||
while True: | ||
try: | ||
await _async_yield(None) | ||
except MyExc: | ||
pass | ||
return | ||
yield | ||
|
||
|
||
agen = agenfn() | ||
gen = agen.asend(None) | ||
gen.send(None) | ||
gen2 = agen.athrow(MyExc) | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r'athrow\(\): asynchronous generator is already running'): | ||
gen2.throw(MyExc) | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r"cannot reuse already awaited aclose\(\)/athrow\(\)"): | ||
gen2.send(None) | ||
|
||
def test_async_gen_asend_throw_concurrent_with_throw(self): | ||
import types | ||
|
||
@types.coroutine | ||
def _async_yield(v): | ||
return (yield v) | ||
|
||
class MyExc(Exception): | ||
pass | ||
|
||
async def agenfn(): | ||
try: | ||
yield | ||
except MyExc: | ||
pass | ||
while True: | ||
try: | ||
await _async_yield(None) | ||
except MyExc: | ||
pass | ||
|
||
|
||
agen = agenfn() | ||
with self.assertRaises(StopIteration): | ||
agen.asend(None).send(None) | ||
|
||
gen = agen.athrow(MyExc) | ||
gen.throw(MyExc) | ||
gen2 = agen.asend(MyExc) | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r'anext\(\): asynchronous generator is already running'): | ||
gen2.throw(MyExc) | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r"cannot reuse already awaited __anext__\(\)/asend\(\)"): | ||
gen2.send(None) | ||
|
||
def test_async_gen_athrow_throw_concurrent_with_throw(self): | ||
import types | ||
|
||
@types.coroutine | ||
def _async_yield(v): | ||
return (yield v) | ||
|
||
class MyExc(Exception): | ||
pass | ||
|
||
async def agenfn(): | ||
try: | ||
yield | ||
except MyExc: | ||
pass | ||
while True: | ||
try: | ||
await _async_yield(None) | ||
except MyExc: | ||
pass | ||
|
||
agen = agenfn() | ||
with self.assertRaises(StopIteration): | ||
agen.asend(None).send(None) | ||
|
||
gen = agen.athrow(MyExc) | ||
gen.throw(MyExc) | ||
gen2 = agen.athrow(None) | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r'athrow\(\): asynchronous generator is already running'): | ||
gen2.throw(MyExc) | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r"cannot reuse already awaited aclose\(\)/athrow\(\)"): | ||
gen2.send(None) | ||
|
||
def test_async_gen_3_arg_deprecation_warning(self): | ||
async def gen(): | ||
yield 123 | ||
|
@@ -1571,6 +1716,8 @@ async def main(): | |
self.assertIsInstance(message['exception'], ZeroDivisionError) | ||
self.assertIn('unhandled exception during asyncio.run() shutdown', | ||
message['message']) | ||
del message, messages | ||
gc_collect() | ||
|
||
def test_async_gen_expression_01(self): | ||
async def arange(n): | ||
|
@@ -1624,6 +1771,7 @@ async def main(): | |
asyncio.run(main()) | ||
|
||
self.assertEqual([], messages) | ||
gc_collect() | ||
|
||
def test_async_gen_await_same_anext_coro_twice(self): | ||
async def async_iterate(): | ||
|
@@ -1809,9 +1957,56 @@ class MyException(Exception): | |
g = gen() | ||
with self.assertRaises(MyException): | ||
g.aclose().throw(MyException) | ||
del g | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. driveby: oops this wasn't running |
||
gc_collect() | ||
|
||
del g | ||
gc_collect() # does not warn unawaited | ||
|
||
def test_asend_send_already_running(self): | ||
@types.coroutine | ||
def _async_yield(v): | ||
return (yield v) | ||
|
||
async def agenfn(): | ||
while True: | ||
await _async_yield(1) | ||
return | ||
yield | ||
|
||
agen = agenfn() | ||
gen = agen.asend(None) | ||
gen.send(None) | ||
gen2 = agen.asend(None) | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r'anext\(\): asynchronous generator is already running'): | ||
gen2.send(None) | ||
|
||
del gen2 | ||
gc_collect() # does not warn unawaited | ||
|
||
|
||
def test_athrow_send_already_running(self): | ||
@types.coroutine | ||
def _async_yield(v): | ||
return (yield v) | ||
|
||
async def agenfn(): | ||
while True: | ||
await _async_yield(1) | ||
return | ||
yield | ||
|
||
agen = agenfn() | ||
gen = agen.asend(None) | ||
gen.send(None) | ||
gen2 = agen.athrow(Exception) | ||
|
||
with self.assertRaisesRegex(RuntimeError, | ||
r'athrow\(\): asynchronous generator is already running'): | ||
gen2.send(None) | ||
|
||
del gen2 | ||
gc_collect() # does not warn unawaited | ||
|
||
if __name__ == "__main__": | ||
unittest.main() |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
prevent concurrent access to an async generator via athrow().throw() or asend().throw() |
Original file line number | Diff line number | Diff line change | ||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
@@ -1771,6 +1771,7 @@ async_gen_asend_send(PyAsyncGenASend *o, PyObject *arg) | |||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
if (o->ags_state == AWAITABLE_STATE_INIT) { | ||||||||||||||||||||||||||||||||||
if (o->ags_gen->ag_running_async) { | ||||||||||||||||||||||||||||||||||
o->ags_state = AWAITABLE_STATE_CLOSED; | ||||||||||||||||||||||||||||||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. this was set in There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Lines 2098 to 2113 in 8418dcc
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. probably could do with a test There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. test added in 1220aee |
||||||||||||||||||||||||||||||||||
PyErr_SetString( | ||||||||||||||||||||||||||||||||||
PyExc_RuntimeError, | ||||||||||||||||||||||||||||||||||
"anext(): asynchronous generator is already running"); | ||||||||||||||||||||||||||||||||||
|
@@ -1814,10 +1815,24 @@ async_gen_asend_throw(PyAsyncGenASend *o, PyObject *const *args, Py_ssize_t narg | |||||||||||||||||||||||||||||||||
return NULL; | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
if (o->ags_state == AWAITABLE_STATE_INIT) { | ||||||||||||||||||||||||||||||||||
if (o->ags_gen->ag_running_async) { | ||||||||||||||||||||||||||||||||||
o->ags_state = AWAITABLE_STATE_CLOSED; | ||||||||||||||||||||||||||||||||||
PyErr_SetString( | ||||||||||||||||||||||||||||||||||
PyExc_RuntimeError, | ||||||||||||||||||||||||||||||||||
"anext(): asynchronous generator is already running"); | ||||||||||||||||||||||||||||||||||
return NULL; | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
o->ags_state = AWAITABLE_STATE_ITER; | ||||||||||||||||||||||||||||||||||
graingert marked this conversation as resolved.
Show resolved
Hide resolved
|
||||||||||||||||||||||||||||||||||
o->ags_gen->ag_running_async = 1; | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
result = gen_throw((PyGenObject*)o->ags_gen, args, nargs); | ||||||||||||||||||||||||||||||||||
result = async_gen_unwrap_value(o->ags_gen, result); | ||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
if (result == NULL) { | ||||||||||||||||||||||||||||||||||
o->ags_gen->ag_running_async = 0; | ||||||||||||||||||||||||||||||||||
o->ags_state = AWAITABLE_STATE_CLOSED; | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
|
@@ -2206,10 +2221,31 @@ async_gen_athrow_throw(PyAsyncGenAThrow *o, PyObject *const *args, Py_ssize_t na | |||||||||||||||||||||||||||||||||
return NULL; | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
if (o->agt_state == AWAITABLE_STATE_INIT) { | ||||||||||||||||||||||||||||||||||
if (o->agt_gen->ag_running_async) { | ||||||||||||||||||||||||||||||||||
o->agt_state = AWAITABLE_STATE_CLOSED; | ||||||||||||||||||||||||||||||||||
if (o->agt_args == NULL) { | ||||||||||||||||||||||||||||||||||
PyErr_SetString( | ||||||||||||||||||||||||||||||||||
PyExc_RuntimeError, | ||||||||||||||||||||||||||||||||||
"aclose(): asynchronous generator is already running"); | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
else { | ||||||||||||||||||||||||||||||||||
PyErr_SetString( | ||||||||||||||||||||||||||||||||||
PyExc_RuntimeError, | ||||||||||||||||||||||||||||||||||
"athrow(): asynchronous generator is already running"); | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
return NULL; | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
o->agt_state = AWAITABLE_STATE_ITER; | ||||||||||||||||||||||||||||||||||
graingert marked this conversation as resolved.
Show resolved
Hide resolved
|
||||||||||||||||||||||||||||||||||
o->agt_gen->ag_running_async = 1; | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
retval = gen_throw((PyGenObject*)o->agt_gen, args, nargs); | ||||||||||||||||||||||||||||||||||
if (o->agt_args) { | ||||||||||||||||||||||||||||||||||
retval = async_gen_unwrap_value(o->agt_gen, retval); | ||||||||||||||||||||||||||||||||||
if (retval == NULL) { | ||||||||||||||||||||||||||||||||||
o->agt_gen->ag_running_async = 0; | ||||||||||||||||||||||||||||||||||
o->agt_state = AWAITABLE_STATE_CLOSED; | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
return retval; | ||||||||||||||||||||||||||||||||||
|
@@ -2223,6 +2259,7 @@ async_gen_athrow_throw(PyAsyncGenAThrow *o, PyObject *const *args, Py_ssize_t na | |||||||||||||||||||||||||||||||||
return NULL; | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
if (retval == NULL) { | ||||||||||||||||||||||||||||||||||
o->agt_gen->ag_running_async = 0; | ||||||||||||||||||||||||||||||||||
o->agt_state = AWAITABLE_STATE_CLOSED; | ||||||||||||||||||||||||||||||||||
} | ||||||||||||||||||||||||||||||||||
if (PyErr_ExceptionMatches(PyExc_StopAsyncIteration) || | ||||||||||||||||||||||||||||||||||
|
Uh oh!
There was an error while loading. Please reload this page.