tasks.py 23.4 KB
Newer Older
1 2
"""Support for tasks, coroutines and the scheduler."""

3
__all__ = ['Task',
4 5
           'FIRST_COMPLETED', 'FIRST_EXCEPTION', 'ALL_COMPLETED',
           'wait', 'wait_for', 'as_completed', 'sleep', 'async',
6
           'gather', 'shield', 'ensure_future',
7 8 9 10 11 12 13
           ]

import concurrent.futures
import functools
import inspect
import linecache
import traceback
14
import warnings
15 16
import weakref

17
from . import compat
18
from . import coroutines
19 20
from . import events
from . import futures
21
from .coroutines import coroutine
22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38


class Task(futures.Future):
    """A coroutine wrapped in a Future."""

    # An important invariant maintained while a Task not done:
    #
    # - Either _fut_waiter is None, and _step() is scheduled;
    # - or _fut_waiter is some Future, and _step() is *not* scheduled.
    #
    # The only transition from the latter to the former is through
    # _wakeup().  When _fut_waiter is not None, one of its callbacks
    # must be _wakeup().

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

39 40 41 42
    # Dictionary containing tasks that are currently active in
    # all running event loops.  {EventLoop: Task}
    _current_tasks = {}

43 44 45 46
    # If False, don't log a message if the task is destroyed whereas its
    # status is still pending
    _log_destroy_pending = True

47 48 49 50 51 52 53 54 55 56 57 58
    @classmethod
    def current_task(cls, loop=None):
        """Return the currently running task in an event loop or None.

        By default the current task for the current event loop is returned.

        None is returned when called not in the context of a Task.
        """
        if loop is None:
            loop = events.get_event_loop()
        return cls._current_tasks.get(loop)

59 60 61 62 63 64 65 66 67 68 69
    @classmethod
    def all_tasks(cls, loop=None):
        """Return a set of all tasks for an event loop.

        By default all tasks for the current event loop are returned.
        """
        if loop is None:
            loop = events.get_event_loop()
        return {t for t in cls._all_tasks if t._loop is loop}

    def __init__(self, coro, *, loop=None):
70
        assert coroutines.iscoroutine(coro), repr(coro)
71
        super().__init__(loop=loop)
72 73
        if self._source_traceback:
            del self._source_traceback[-1]
74
        self._coro = coro
75 76 77 78 79
        self._fut_waiter = None
        self._must_cancel = False
        self._loop.call_soon(self._step)
        self.__class__._all_tasks.add(self)

80 81 82
    # On Python 3.3 or older, objects with a destructor that are part of a
    # reference cycle are never destroyed. That's not the case any more on
    # Python 3.4 thanks to the PEP 442.
83
    if compat.PY34:
84
        def __del__(self):
85
            if self._state == futures._PENDING and self._log_destroy_pending:
86
                context = {
87 88
                    'task': self,
                    'message': 'Task was destroyed but it is pending!',
89 90 91 92
                }
                if self._source_traceback:
                    context['source_traceback'] = self._source_traceback
                self._loop.call_exception_handler(context)
93 94
            futures.Future.__del__(self)

Victor Stinner's avatar
Victor Stinner committed
95 96 97
    def _repr_info(self):
        info = super()._repr_info()

98
        if self._must_cancel:
Victor Stinner's avatar
Victor Stinner committed
99 100
            # replace status
            info[0] = 'cancelling'
101

Victor Stinner's avatar
Victor Stinner committed
102
        coro = coroutines._format_coroutine(self._coro)
Victor Stinner's avatar
Victor Stinner committed
103
        info.insert(1, 'coro=<%s>' % coro)
104

Victor Stinner's avatar
Victor Stinner committed
105
        if self._fut_waiter is not None:
Victor Stinner's avatar
Victor Stinner committed
106 107
            info.insert(2, 'wait_for=%r' % self._fut_waiter)
        return info
108 109 110 111

    def get_stack(self, *, limit=None):
        """Return the list of stack frames for this task's coroutine.

112
        If the coroutine is not done, this returns the stack where it is
113 114 115 116 117 118 119
        suspended.  If the coroutine has completed successfully or was
        cancelled, this returns an empty list.  If the coroutine was
        terminated by an exception, this returns the list of traceback
        frames.

        The frames are always ordered from oldest to newest.

120
        The optional limit gives the maximum number of frames to
121 122 123 124 125 126 127 128 129 130
        return; by default all available frames are returned.  Its
        meaning differs depending on whether a stack or a traceback is
        returned: the newest frames of a stack are returned, but the
        oldest frames of a traceback are returned.  (This matches the
        behavior of the traceback module.)

        For reasons beyond our control, only one stack frame is
        returned for a suspended coroutine.
        """
        frames = []
131 132 133 134 135
        try:
            # 'async def' coroutines
            f = self._coro.cr_frame
        except AttributeError:
            f = self._coro.gi_frame
136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161
        if f is not None:
            while f is not None:
                if limit is not None:
                    if limit <= 0:
                        break
                    limit -= 1
                frames.append(f)
                f = f.f_back
            frames.reverse()
        elif self._exception is not None:
            tb = self._exception.__traceback__
            while tb is not None:
                if limit is not None:
                    if limit <= 0:
                        break
                    limit -= 1
                frames.append(tb.tb_frame)
                tb = tb.tb_next
        return frames

    def print_stack(self, *, limit=None, file=None):
        """Print the stack or traceback for this task's coroutine.

        This produces output similar to that of the traceback module,
        for the frames retrieved by get_stack().  The limit argument
        is passed to get_stack().  The file argument is an I/O stream
162 163
        to which the output is written; by default output is written
        to sys.stderr.
164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191
        """
        extracted_list = []
        checked = set()
        for f in self.get_stack(limit=limit):
            lineno = f.f_lineno
            co = f.f_code
            filename = co.co_filename
            name = co.co_name
            if filename not in checked:
                checked.add(filename)
                linecache.checkcache(filename)
            line = linecache.getline(filename, lineno, f.f_globals)
            extracted_list.append((filename, lineno, name, line))
        exc = self._exception
        if not extracted_list:
            print('No stack for %r' % self, file=file)
        elif exc is not None:
            print('Traceback for %r (most recent call last):' % self,
                  file=file)
        else:
            print('Stack for %r (most recent call last):' % self,
                  file=file)
        traceback.print_list(extracted_list, file=file)
        if exc is not None:
            for line in traceback.format_exception_only(exc.__class__, exc):
                print(line, file=file, end='')

    def cancel(self):
192
        """Request that this task cancel itself.
193

194
        This arranges for a CancelledError to be thrown into the
195 196 197 198
        wrapped coroutine on the next cycle through the event loop.
        The coroutine then has a chance to clean up or even deny
        the request using try/except/finally.

199
        Unlike Future.cancel, this does not guarantee that the
200
        task will be cancelled: the exception might be caught and
201 202 203
        acted upon, delaying cancellation of the task or preventing
        cancellation completely.  The task may also return a value or
        raise a different exception.
204 205 206 207 208 209 210

        Immediately after this method is called, Task.cancelled() will
        not return True (unless the task was already cancelled).  A
        task will be marked as cancelled when the wrapped coroutine
        terminates with a CancelledError exception (even if cancel()
        was not called).
        """
211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231
        if self.done():
            return False
        if self._fut_waiter is not None:
            if self._fut_waiter.cancel():
                # Leave self._fut_waiter; it may be a Task that
                # catches and ignores the cancellation so we may have
                # to cancel it again later.
                return True
        # It must be the case that self._step is already scheduled.
        self._must_cancel = True
        return True

    def _step(self, value=None, exc=None):
        assert not self.done(), \
            '_step(): already done: {!r}, {!r}, {!r}'.format(self, value, exc)
        if self._must_cancel:
            if not isinstance(exc, futures.CancelledError):
                exc = futures.CancelledError()
            self._must_cancel = False
        coro = self._coro
        self._fut_waiter = None
232 233

        self.__class__._current_tasks[self._loop] = self
234 235 236 237 238
        # Call either coro.throw(exc) or coro.send(value).
        try:
            if exc is not None:
                result = coro.throw(exc)
            else:
239
                result = coro.send(value)
240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255
        except StopIteration as exc:
            self.set_result(exc.value)
        except futures.CancelledError as exc:
            super().cancel()  # I.e., Future.cancel(self).
        except Exception as exc:
            self.set_exception(exc)
        except BaseException as exc:
            self.set_exception(exc)
            raise
        else:
            if isinstance(result, futures.Future):
                # Yielded Future must come from Future.__iter__().
                if result._blocking:
                    result._blocking = False
                    result.add_done_callback(self._wakeup)
                    self._fut_waiter = result
Yury Selivanov's avatar
Yury Selivanov committed
256 257 258
                    if self._must_cancel:
                        if self._fut_waiter.cancel():
                            self._must_cancel = False
259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281
                else:
                    self._loop.call_soon(
                        self._step, None,
                        RuntimeError(
                            'yield was used instead of yield from '
                            'in task {!r} with {!r}'.format(self, result)))
            elif result is None:
                # Bare yield relinquishes control for one event loop iteration.
                self._loop.call_soon(self._step)
            elif inspect.isgenerator(result):
                # Yielding a generator is just wrong.
                self._loop.call_soon(
                    self._step, None,
                    RuntimeError(
                        'yield was used instead of yield from for '
                        'generator in task {!r} with {}'.format(
                            self, result)))
            else:
                # Yielding something else is an error.
                self._loop.call_soon(
                    self._step, None,
                    RuntimeError(
                        'Task got bad yield: {!r}'.format(result)))
282 283
        finally:
            self.__class__._current_tasks.pop(self._loop)
284
            self = None  # Needed to break cycles when an exception occurs.
285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307

    def _wakeup(self, future):
        try:
            value = future.result()
        except Exception as exc:
            # This may also be a cancellation.
            self._step(None, exc)
        else:
            self._step(value, None)
        self = None  # Needed to break cycles when an exception occurs.


# wait() and as_completed() similar to those in PEP 3148.

FIRST_COMPLETED = concurrent.futures.FIRST_COMPLETED
FIRST_EXCEPTION = concurrent.futures.FIRST_EXCEPTION
ALL_COMPLETED = concurrent.futures.ALL_COMPLETED


@coroutine
def wait(fs, *, loop=None, timeout=None, return_when=ALL_COMPLETED):
    """Wait for the Futures and coroutines given by fs to complete.

308 309
    The sequence futures must not be empty.

310 311 312 313 314 315 316 317 318 319 320
    Coroutines will be wrapped in Tasks.

    Returns two sets of Future: (done, pending).

    Usage:

        done, pending = yield from asyncio.wait(fs)

    Note: This does not raise TimeoutError! Futures that aren't done
    when the timeout occurs are returned in the second set.
    """
321
    if isinstance(fs, futures.Future) or coroutines.iscoroutine(fs):
322
        raise TypeError("expect a list of futures, not %s" % type(fs).__name__)
323 324
    if not fs:
        raise ValueError('Set of coroutines/Futures is empty.')
325 326
    if return_when not in (FIRST_COMPLETED, FIRST_EXCEPTION, ALL_COMPLETED):
        raise ValueError('Invalid return_when value: {}'.format(return_when))
327 328 329 330

    if loop is None:
        loop = events.get_event_loop()

331
    fs = {ensure_future(f, loop=loop) for f in set(fs)}
332 333 334 335

    return (yield from _wait(fs, timeout, return_when, loop))


336
def _release_waiter(waiter, *args):
337
    if not waiter.done():
338
        waiter.set_result(None)
339 340 341 342 343 344 345 346


@coroutine
def wait_for(fut, timeout, *, loop=None):
    """Wait for the single Future or coroutine to complete, with timeout.

    Coroutine will be wrapped in Task.

347 348 349
    Returns result of the Future or coroutine.  When a timeout occurs,
    it cancels the task and raises TimeoutError.  To avoid the task
    cancellation, wrap it in shield().
350

351
    If the wait is cancelled, the task is also cancelled.
352

353
    This function is a coroutine.
354 355 356 357
    """
    if loop is None:
        loop = events.get_event_loop()

358 359 360
    if timeout is None:
        return (yield from fut)

361
    waiter = futures.Future(loop=loop)
362 363
    timeout_handle = loop.call_later(timeout, _release_waiter, waiter)
    cb = functools.partial(_release_waiter, waiter)
364

365
    fut = ensure_future(fut, loop=loop)
366 367 368
    fut.add_done_callback(cb)

    try:
369
        # wait until the future completes or the timeout
370 371 372 373 374 375
        try:
            yield from waiter
        except futures.CancelledError:
            fut.remove_done_callback(cb)
            fut.cancel()
            raise
376 377

        if fut.done():
378 379 380
            return fut.result()
        else:
            fut.remove_done_callback(cb)
381
            fut.cancel()
382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409
            raise futures.TimeoutError()
    finally:
        timeout_handle.cancel()


@coroutine
def _wait(fs, timeout, return_when, loop):
    """Internal helper for wait() and _wait_for().

    The fs argument must be a collection of Futures.
    """
    assert fs, 'Set of Futures is empty.'
    waiter = futures.Future(loop=loop)
    timeout_handle = None
    if timeout is not None:
        timeout_handle = loop.call_later(timeout, _release_waiter, waiter)
    counter = len(fs)

    def _on_completion(f):
        nonlocal counter
        counter -= 1
        if (counter <= 0 or
            return_when == FIRST_COMPLETED or
            return_when == FIRST_EXCEPTION and (not f.cancelled() and
                                                f.exception() is not None)):
            if timeout_handle is not None:
                timeout_handle.cancel()
            if not waiter.done():
410
                waiter.set_result(None)
411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432

    for f in fs:
        f.add_done_callback(_on_completion)

    try:
        yield from waiter
    finally:
        if timeout_handle is not None:
            timeout_handle.cancel()

    done, pending = set(), set()
    for f in fs:
        f.remove_done_callback(_on_completion)
        if f.done():
            done.add(f)
        else:
            pending.add(f)
    return done, pending


# This is *not* a @coroutine!  It is just an iterator (yielding Futures).
def as_completed(fs, *, loop=None, timeout=None):
433 434 435 436 437
    """Return an iterator whose values are coroutines.

    When waiting for the yielded coroutines you'll get the results (or
    exceptions!) of the original Futures (or coroutines), in the order
    in which and as soon as they complete.
438 439 440 441 442 443 444

    This differs from PEP 3148; the proper way to use this is:

        for f in as_completed(fs):
            result = yield from f  # The 'yield from' may raise.
            # Use result.

445 446
    If a timeout is specified, the 'yield from' will raise
    TimeoutError when the timeout occurs before all Futures are done.
447 448 449

    Note: The futures 'f' are not necessarily members of fs.
    """
450
    if isinstance(fs, futures.Future) or coroutines.iscoroutine(fs):
451
        raise TypeError("expect a list of futures, not %s" % type(fs).__name__)
452
    loop = loop if loop is not None else events.get_event_loop()
453
    todo = {ensure_future(f, loop=loop) for f in set(fs)}
454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470
    from .queues import Queue  # Import here to avoid circular import problem.
    done = Queue(loop=loop)
    timeout_handle = None

    def _on_timeout():
        for f in todo:
            f.remove_done_callback(_on_completion)
            done.put_nowait(None)  # Queue a dummy value for _wait_for_one().
        todo.clear()  # Can't do todo.remove(f) in the loop.

    def _on_completion(f):
        if not todo:
            return  # _on_timeout() was here first.
        todo.remove(f)
        done.put_nowait(f)
        if not todo and timeout_handle is not None:
            timeout_handle.cancel()
471 472 473

    @coroutine
    def _wait_for_one():
474 475 476 477 478
        f = yield from done.get()
        if f is None:
            # Dummy value from _on_timeout().
            raise futures.TimeoutError
        return f.result()  # May raise f.exception().
479

480 481 482 483
    for f in todo:
        f.add_done_callback(_on_completion)
    if todo and timeout is not None:
        timeout_handle = loop.call_later(timeout, _on_timeout)
484 485 486 487 488 489 490 491
    for _ in range(len(todo)):
        yield _wait_for_one()


@coroutine
def sleep(delay, result=None, *, loop=None):
    """Coroutine that completes after a given time (in seconds)."""
    future = futures.Future(loop=loop)
492 493
    h = future._loop.call_later(delay,
                                future._set_result_unless_cancelled, result)
494 495 496 497 498 499 500 501 502
    try:
        return (yield from future)
    finally:
        h.cancel()


def async(coro_or_future, *, loop=None):
    """Wrap a coroutine in a future.

503 504 505 506 507 508 509 510 511 512 513 514
    If the argument is a Future, it is returned directly.

    This function is deprecated in 3.5. Use asyncio.ensure_future() instead.
    """

    warnings.warn("asyncio.async() function is deprecated, use ensure_future()",
                  DeprecationWarning)

    return ensure_future(coro_or_future, loop=loop)


def ensure_future(coro_or_future, *, loop=None):
515
    """Wrap a coroutine or an awaitable in a future.
516

517 518 519 520 521 522
    If the argument is a Future, it is returned directly.
    """
    if isinstance(coro_or_future, futures.Future):
        if loop is not None and loop is not coro_or_future._loop:
            raise ValueError('loop argument must agree with Future')
        return coro_or_future
523
    elif coroutines.iscoroutine(coro_or_future):
Victor Stinner's avatar
Victor Stinner committed
524 525 526
        if loop is None:
            loop = events.get_event_loop()
        task = loop.create_task(coro_or_future)
527 528 529
        if task._source_traceback:
            del task._source_traceback[-1]
        return task
530 531
    elif compat.PY35 and inspect.isawaitable(coro_or_future):
        return ensure_future(_wrap_awaitable(coro_or_future), loop=loop)
532
    else:
533 534 535 536 537 538 539 540 541 542 543
        raise TypeError('A Future, a coroutine or an awaitable is required')


@coroutine
def _wrap_awaitable(awaitable):
    """Helper for asyncio.ensure_future().

    Wraps awaitable (an object with __await__) into a coroutine
    that will later be wrapped in a Task by ensure_future().
    """
    return (yield from awaitable.__await__())
544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572


class _GatheringFuture(futures.Future):
    """Helper for gather().

    This overrides cancel() to cancel all the children and act more
    like Task.cancel(), which doesn't immediately mark itself as
    cancelled.
    """

    def __init__(self, children, *, loop=None):
        super().__init__(loop=loop)
        self._children = children

    def cancel(self):
        if self.done():
            return False
        for child in self._children:
            child.cancel()
        return True


def gather(*coros_or_futures, loop=None, return_exceptions=False):
    """Return a future aggregating results from the given coroutines
    or futures.

    All futures must share the same event loop.  If all the tasks are
    done successfully, the returned future's result is the list of
    results (in the order of the original sequence, not necessarily
573
    the order of results arrival).  If *return_exceptions* is True,
574 575 576 577 578 579 580 581 582 583 584 585
    exceptions in the tasks are treated the same as successful
    results, and gathered in the result list; otherwise, the first
    raised exception will be immediately propagated to the returned
    future.

    Cancellation: if the outer Future is cancelled, all children (that
    have not completed yet) are also cancelled.  If any child is
    cancelled, this is treated as if it raised CancelledError --
    the outer Future is *not* cancelled in this case.  (This is to
    prevent the cancellation of one child to cause other children to
    be cancelled.)
    """
586
    if not coros_or_futures:
587 588 589
        outer = futures.Future(loop=loop)
        outer.set_result([])
        return outer
590 591 592 593

    arg_to_fut = {}
    for arg in set(coros_or_futures):
        if not isinstance(arg, futures.Future):
594
            fut = ensure_future(arg, loop=loop)
595 596 597 598 599 600 601 602 603 604 605 606 607 608 609
            if loop is None:
                loop = fut._loop
            # The caller cannot control this future, the "destroy pending task"
            # warning should not be emitted.
            fut._log_destroy_pending = False
        else:
            fut = arg
            if loop is None:
                loop = fut._loop
            elif fut._loop is not loop:
                raise ValueError("futures are tied to different event loops")
        arg_to_fut[arg] = fut

    children = [arg_to_fut[arg] for arg in coros_or_futures]
    nchildren = len(children)
610 611
    outer = _GatheringFuture(children, loop=loop)
    nfinished = 0
612
    results = [None] * nchildren
613 614 615

    def _done_callback(i, fut):
        nonlocal nfinished
Victor Stinner's avatar
Victor Stinner committed
616 617
        if outer.done():
            if not fut.cancelled():
618 619 620
                # Mark exception retrieved.
                fut.exception()
            return
Victor Stinner's avatar
Victor Stinner committed
621

Victor Stinner's avatar
Victor Stinner committed
622
        if fut.cancelled():
623 624 625 626 627 628 629 630 631 632 633 634 635
            res = futures.CancelledError()
            if not return_exceptions:
                outer.set_exception(res)
                return
        elif fut._exception is not None:
            res = fut.exception()  # Mark exception retrieved.
            if not return_exceptions:
                outer.set_exception(res)
                return
        else:
            res = fut._result
        results[i] = res
        nfinished += 1
636
        if nfinished == nchildren:
637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669
            outer.set_result(results)

    for i, fut in enumerate(children):
        fut.add_done_callback(functools.partial(_done_callback, i))
    return outer


def shield(arg, *, loop=None):
    """Wait for a future, shielding it from cancellation.

    The statement

        res = yield from shield(something())

    is exactly equivalent to the statement

        res = yield from something()

    *except* that if the coroutine containing it is cancelled, the
    task running in something() is not cancelled.  From the POV of
    something(), the cancellation did not happen.  But its caller is
    still cancelled, so the yield-from expression still raises
    CancelledError.  Note: If something() is cancelled by other means
    this will still cancel shield().

    If you want to completely ignore cancellation (not recommended)
    you can combine shield() with a try/except clause, as follows:

        try:
            res = yield from shield(something())
        except CancelledError:
            res = None
    """
670
    inner = ensure_future(arg, loop=loop)
671 672 673 674 675 676 677 678
    if inner.done():
        # Shortcut.
        return inner
    loop = inner._loop
    outer = futures.Future(loop=loop)

    def _done_callback(inner):
        if outer.cancelled():
Victor Stinner's avatar
Victor Stinner committed
679 680 681
            if not inner.cancelled():
                # Mark inner's result as retrieved.
                inner.exception()
682
            return
Victor Stinner's avatar
Victor Stinner committed
683

684 685 686 687 688 689 690 691 692 693 694
        if inner.cancelled():
            outer.cancel()
        else:
            exc = inner.exception()
            if exc is not None:
                outer.set_exception(exc)
            else:
                outer.set_result(inner.result())

    inner.add_done_callback(_done_callback)
    return outer