Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

gh-97696: asyncio eager tasks factory #102853

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

Merged
merged 38 commits into from
May 1, 2023
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
a127f98
Eager task factory implementation
itamaro Mar 20, 2023
45316d8
Eager task factory tests
itamaro Mar 20, 2023
ac9b7b0
Add NEWS and docs for eager task factory
itamaro Mar 20, 2023
402c317
elaborate explanation in docs and add a whatsnew entry
itamaro Mar 22, 2023
563ffd4
fix docs
itamaro Mar 22, 2023
6f2a47a
Overhaul eager task factory design
itamaro Apr 20, 2023
e7743f6
Fix task-counting tests for new impl
itamaro Apr 20, 2023
10a03a0
Fix test_task_exc_handler_correct_context
itamaro Apr 21, 2023
5e8ae51
Merge branch 'main' into eager-tasks-factory
itamaro Apr 21, 2023
b4fea1c
Merge branch 'main' into eager-tasks-factory
itamaro Apr 24, 2023
441fd92
add jbower credit
itamaro Apr 24, 2023
4c46a72
cleanup recursive_taskgroups test case
itamaro Apr 24, 2023
8686a3d
Merge branch 'main' into eager-tasks-factory
itamaro Apr 25, 2023
14b6f58
Update asyncio documentation with latest state of the PR
itamaro Apr 25, 2023
0f9185c
don't add coro to the task repr if coro is None
itamaro Apr 25, 2023
679534a
also update the NEWS entry
itamaro Apr 25, 2023
70bb3d4
add error check when using _PyDict_GetItem_KnownHash in swap_current_…
itamaro Apr 25, 2023
7edcf3f
focus the eager task factory test suite on testing eager execution se…
itamaro Apr 25, 2023
45e5c8c
ensure task_eager_start is not called with a NULL task
itamaro Apr 25, 2023
fbf8d91
Refactor eager task tests to clarify the "loop is running" constraint…
itamaro Apr 26, 2023
873a645
Apply documentation suggestions and feedback
itamaro Apr 26, 2023
9c2bc9a
Merge remote-tracking branch 'upstream/main' into eager-tasks-factory
itamaro Apr 26, 2023
9522c54
fix docs (rst is hard)
itamaro Apr 26, 2023
2acdc51
Merge branch 'main' into eager-tasks-factory
itamaro Apr 27, 2023
fef8140
Extend eager task factory tests
jbower-fb Apr 28, 2023
1eb540c
a little cleanup of newly added tests
itamaro Apr 28, 2023
3cef856
add assertion to current_task test, comparing the task before and aft…
itamaro Apr 28, 2023
8877716
add a second step to contextvars test
itamaro Apr 28, 2023
57ccce3
Merge branch 'main' into eager-tasks-factory
itamaro Apr 28, 2023
57b197f
Merge branch 'main' into eager-tasks-factory
willingc Apr 28, 2023
c545645
Merge branch 'main' into eager-tasks-factory
itamaro Apr 30, 2023
0c09767
missing word in NEWS entry
itamaro May 1, 2023
a255ec8
refactor all_tasks() handling of eager_tasks
itamaro May 1, 2023
05870d5
fix docs (PR review)
itamaro May 1, 2023
a2587a1
move cv.set inside the main task (otherwise it refleaks)
itamaro May 1, 2023
0101742
Merge branch 'main' into eager-tasks-factory
itamaro May 1, 2023
b83ed94
fix grammar in all_tasks comments
itamaro May 1, 2023
b17f605
Merge branch 'main' into eager-tasks-factory
itamaro May 1, 2023
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Eager task factory implementation
  • Loading branch information
itamaro committed Apr 20, 2023
commit a127f98a7cc88b2a5d2c719648840f3f413ee03b
1 change: 1 addition & 0 deletions 1 Include/internal/pycore_global_objects_fini_generated.h

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions 1 Include/internal/pycore_global_strings.h
Original file line number Diff line number Diff line change
Expand Up @@ -339,6 +339,7 @@ struct _Py_global_strings {
STRUCT_FOR_ID(copy)
STRUCT_FOR_ID(copyreg)
STRUCT_FOR_ID(coro)
STRUCT_FOR_ID(coro_result)
STRUCT_FOR_ID(count)
STRUCT_FOR_ID(cwd)
STRUCT_FOR_ID(d)
Expand Down
1 change: 1 addition & 0 deletions 1 Include/internal/pycore_runtime_init_generated.h

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 3 additions & 0 deletions 3 Include/internal/pycore_unicodeobject_generated.h

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 2 additions & 1 deletion 3 Lib/asyncio/taskgroups.py
Original file line number Diff line number Diff line change
Expand Up @@ -163,7 +163,8 @@ def create_task(self, coro, *, name=None, context=None):
task = self._loop.create_task(coro)
else:
task = self._loop.create_task(coro, context=context)
tasks._set_task_name(task, name)
if name is not None and not task.done(): # If it's done already, it's a future
tasks._set_task_name(task, name)
task.add_done_callback(self._on_task_done)
self._tasks.add(task)
return task
Expand Down
125 changes: 82 additions & 43 deletions 125 Lib/asyncio/tasks.py
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
'wait', 'wait_for', 'as_completed', 'sleep',
'gather', 'shield', 'ensure_future', 'run_coroutine_threadsafe',
'current_task', 'all_tasks',
'create_eager_task_factory', 'eager_task_factory',
'_register_task', '_unregister_task', '_enter_task', '_leave_task',
)

Expand Down Expand Up @@ -75,6 +76,8 @@ def _set_task_name(task, name):
set_name(name)


_NOT_SET = object()

class Task(futures._PyFuture): # Inherit Python Task implementation
# from a Python Future implementation.

Expand All @@ -93,7 +96,8 @@ class Task(futures._PyFuture): # Inherit Python Task implementation
# status is still pending
_log_destroy_pending = True

def __init__(self, coro, *, loop=None, name=None, context=None):
def __init__(self, coro, *, loop=None, name=None, context=None,
coro_result=_NOT_SET):
super().__init__(loop=loop)
if self._source_traceback:
del self._source_traceback[-1]
Expand All @@ -117,7 +121,10 @@ def __init__(self, coro, *, loop=None, name=None, context=None):
else:
self._context = context

self._loop.call_soon(self.__step, context=self._context)
if coro_result is _NOT_SET:
self._loop.call_soon(self.__step, context=self._context)
else:
self.__step_handle_result(coro_result)
_register_task(self)

def __del__(self):
Expand Down Expand Up @@ -287,55 +294,58 @@ def __step(self, exc=None):
except BaseException as exc:
super().set_exception(exc)
else:
blocking = getattr(result, '_asyncio_future_blocking', None)
if blocking is not None:
self.__step_handle_result(result)
finally:
_leave_task(self._loop, self)
self = None # Needed to break cycles when an exception occurs.

def __step_handle_result(self, result):
blocking = getattr(result, '_asyncio_future_blocking', None)
if blocking is not None:
# Yielded Future must come from Future.__iter__().
if futures._get_loop(result) is not self._loop:
if futures._get_loop(result) is not self._loop:
new_exc = RuntimeError(
f'Task {self!r} got Future '
f'{result!r} attached to a different loop')
self._loop.call_soon(
self.__step, new_exc, context=self._context)
elif blocking:
if result is self:
new_exc = RuntimeError(
f'Task {self!r} got Future '
f'{result!r} attached to a different loop')
f'Task cannot await on itself: {self!r}')
self._loop.call_soon(
self.__step, new_exc, context=self._context)
elif blocking:
if result is self:
new_exc = RuntimeError(
f'Task cannot await on itself: {self!r}')
self._loop.call_soon(
self.__step, new_exc, context=self._context)
else:
result._asyncio_future_blocking = False
result.add_done_callback(
self.__wakeup, context=self._context)
self._fut_waiter = result
if self._must_cancel:
if self._fut_waiter.cancel(
msg=self._cancel_message):
self._must_cancel = False
else:
new_exc = RuntimeError(
f'yield was used instead of yield from '
f'in task {self!r} with {result!r}')
self._loop.call_soon(
self.__step, new_exc, context=self._context)

elif result is None:
# Bare yield relinquishes control for one event loop iteration.
self._loop.call_soon(self.__step, context=self._context)
elif inspect.isgenerator(result):
# Yielding a generator is just wrong.
new_exc = RuntimeError(
f'yield was used instead of yield from for '
f'generator in task {self!r} with {result!r}')
self._loop.call_soon(
self.__step, new_exc, context=self._context)
result._asyncio_future_blocking = False
result.add_done_callback(
self.__wakeup, context=self._context)
self._fut_waiter = result
if self._must_cancel:
if self._fut_waiter.cancel(
msg=self._cancel_message):
self._must_cancel = False
else:
# Yielding something else is an error.
new_exc = RuntimeError(f'Task got bad yield: {result!r}')
new_exc = RuntimeError(
f'yield was used instead of yield from '
f'in task {self!r} with {result!r}')
self._loop.call_soon(
self.__step, new_exc, context=self._context)
finally:
_leave_task(self._loop, self)
self = None # Needed to break cycles when an exception occurs.

elif result is None:
# Bare yield relinquishes control for one event loop iteration.
self._loop.call_soon(self.__step, context=self._context)
elif inspect.isgenerator(result):
# Yielding a generator is just wrong.
new_exc = RuntimeError(
f'yield was used instead of yield from for '
f'generator in task {self!r} with {result!r}')
self._loop.call_soon(
self.__step, new_exc, context=self._context)
else:
# Yielding something else is an error.
new_exc = RuntimeError(f'Task got bad yield: {result!r}')
self._loop.call_soon(
self.__step, new_exc, context=self._context)

def __wakeup(self, future):
try:
Expand Down Expand Up @@ -897,6 +907,35 @@ def callback():
return future


def create_eager_task_factory(custom_task_constructor):

def factory(loop, coro, *, name=None, context=None):
loop._check_closed()
if not loop.is_running():
return custom_task_constructor(coro, loop=loop, name=name, context=context)

try:
result = coro.send(None)
except StopIteration as si:
fut = loop.create_future()
fut.set_result(si.value)
return fut
except Exception as ex:
fut = loop.create_future()
fut.set_exception(ex)
return fut
else:
task = custom_task_constructor(
coro, loop=loop, name=name, context=context, coro_result=result)
if task._source_traceback:
del task._source_traceback[-1]
return task

return factory

eager_task_factory = create_eager_task_factory(Task)


# WeakSet containing all alive tasks.
_all_tasks = weakref.WeakSet()

Expand Down
50 changes: 37 additions & 13 deletions 50 Modules/_asynciomodule.c
Original file line number Diff line number Diff line change
Expand Up @@ -156,6 +156,9 @@ class _asyncio.Future "FutureObj *" "&Future_Type"
/* Get FutureIter from Future */
static PyObject * future_new_iter(PyObject *);

static PyObject *
task_step_handle_result_impl(asyncio_state *state, TaskObj *task, PyObject *result);


static int
_is_coroutine(asyncio_state *state, PyObject *coro)
Expand Down Expand Up @@ -2025,15 +2028,16 @@ _asyncio.Task.__init__
loop: object = None
name: object = None
context: object = None
coro_result: object = NULL

A coroutine wrapped in a Future.
[clinic start generated code]*/

static int
_asyncio_Task___init___impl(TaskObj *self, PyObject *coro, PyObject *loop,
PyObject *name, PyObject *context)
/*[clinic end generated code: output=49ac96fe33d0e5c7 input=924522490c8ce825]*/

PyObject *name, PyObject *context,
PyObject *coro_result)
/*[clinic end generated code: output=e241855787412a77 input=3fcd7fb1c00d3f87]*/
{
if (future_init((FutureObj*)self, loop)) {
return -1;
Expand Down Expand Up @@ -2081,8 +2085,16 @@ _asyncio_Task___init___impl(TaskObj *self, PyObject *coro, PyObject *loop,
return -1;
}

if (task_call_step_soon(state, self, NULL)) {
return -1;
if (coro_result == NULL) {
if (task_call_step_soon(state, self, NULL)) {
return -1;
}
}
else {
PyObject * res = task_step_handle_result_impl(state, self, coro_result);
if (res == NULL) {
return -1;
}
}
return register_task(state, (PyObject*)self);
}
Expand Down Expand Up @@ -2822,6 +2834,22 @@ task_step_impl(asyncio_state *state, TaskObj *task, PyObject *exc)
Py_RETURN_NONE;
}

PyObject *ret = task_step_handle_result_impl(state, task, result);
Py_XDECREF(result);
return ret;

fail:
Py_XDECREF(result);
return NULL;
}


static PyObject *
task_step_handle_result_impl(asyncio_state *state, TaskObj *task, PyObject *result)
{
int res;
PyObject *o;

if (result == (PyObject*)task) {
/* We have a task that wants to await on itself */
goto self_await;
Expand Down Expand Up @@ -2858,7 +2886,8 @@ task_step_impl(asyncio_state *state, TaskObj *task, PyObject *exc)
Py_DECREF(tmp);

/* task._fut_waiter = result */
task->task_fut_waiter = result; /* no incref is necessary */
Py_INCREF(result);
task->task_fut_waiter = result;

if (task->task_must_cancel) {
PyObject *r;
Expand Down Expand Up @@ -2951,7 +2980,8 @@ task_step_impl(asyncio_state *state, TaskObj *task, PyObject *exc)
Py_DECREF(tmp);

/* task._fut_waiter = result */
task->task_fut_waiter = result; /* no incref is necessary */
Py_INCREF(result);
task->task_fut_waiter = result;

if (task->task_must_cancel) {
PyObject *r;
Expand Down Expand Up @@ -2986,21 +3016,18 @@ task_step_impl(asyncio_state *state, TaskObj *task, PyObject *exc)
state, task, PyExc_RuntimeError,
"yield was used instead of yield from for "
"generator in task %R with %R", task, result);
Py_DECREF(result);
return o;
}

/* The `result` is none of the above */
o = task_set_error_soon(
state, task, PyExc_RuntimeError, "Task got bad yield: %R", result);
Py_DECREF(result);
return o;

self_await:
o = task_set_error_soon(
state, task, PyExc_RuntimeError,
"Task cannot await on itself: %R", task);
Py_DECREF(result);
return o;

yield_insteadof_yf:
Expand All @@ -3009,19 +3036,16 @@ task_step_impl(asyncio_state *state, TaskObj *task, PyObject *exc)
"yield was used instead of yield from "
"in task %R with %R",
task, result);
Py_DECREF(result);
return o;

different_loop:
o = task_set_error_soon(
state, task, PyExc_RuntimeError,
"Task %R got Future %R attached to a different loop",
task, result);
Py_DECREF(result);
return o;

fail:
Py_XDECREF(result);
return NULL;
}

Expand Down
Loading
Morty Proxy This is a proxified and sanitized view of the page, visit original site.