2013-10-17 17:40:50 -03:00
|
|
|
"""A Future class similar to the one in PEP 3148."""
|
|
|
|
|
|
|
|
__all__ = ['CancelledError', 'TimeoutError',
|
|
|
|
'InvalidStateError',
|
|
|
|
'Future', 'wrap_future',
|
|
|
|
]
|
|
|
|
|
|
|
|
import concurrent.futures._base
|
|
|
|
import logging
|
2014-07-29 07:58:23 -03:00
|
|
|
import reprlib
|
2013-12-19 17:42:40 -04:00
|
|
|
import sys
|
2013-10-17 17:40:50 -03:00
|
|
|
import traceback
|
|
|
|
|
|
|
|
from . import events
|
|
|
|
|
|
|
|
# States for Future.
|
|
|
|
_PENDING = 'PENDING'
|
|
|
|
_CANCELLED = 'CANCELLED'
|
|
|
|
_FINISHED = 'FINISHED'
|
|
|
|
|
2013-12-19 17:42:40 -04:00
|
|
|
_PY34 = sys.version_info >= (3, 4)
|
2015-05-11 23:27:25 -03:00
|
|
|
_PY35 = sys.version_info >= (3, 5)
|
2013-12-19 17:42:40 -04:00
|
|
|
|
2013-10-17 17:40:50 -03:00
|
|
|
Error = concurrent.futures._base.Error
|
|
|
|
CancelledError = concurrent.futures.CancelledError
|
|
|
|
TimeoutError = concurrent.futures.TimeoutError
|
|
|
|
|
|
|
|
STACK_DEBUG = logging.DEBUG - 1 # heavy-duty debugging
|
|
|
|
|
|
|
|
|
|
|
|
class InvalidStateError(Error):
|
|
|
|
"""The operation is not allowed in this state."""
|
|
|
|
|
|
|
|
|
|
|
|
class _TracebackLogger:
|
|
|
|
"""Helper to log a traceback upon destruction if not cleared.
|
|
|
|
|
|
|
|
This solves a nasty problem with Futures and Tasks that have an
|
|
|
|
exception set: if nobody asks for the exception, the exception is
|
|
|
|
never logged. This violates the Zen of Python: 'Errors should
|
|
|
|
never pass silently. Unless explicitly silenced.'
|
|
|
|
|
|
|
|
However, we don't want to log the exception as soon as
|
|
|
|
set_exception() is called: if the calling code is written
|
|
|
|
properly, it will get the exception and handle it properly. But
|
|
|
|
we *do* want to log it if result() or exception() was never called
|
|
|
|
-- otherwise developers waste a lot of time wondering why their
|
|
|
|
buggy code fails silently.
|
|
|
|
|
|
|
|
An earlier attempt added a __del__() method to the Future class
|
|
|
|
itself, but this backfired because the presence of __del__()
|
|
|
|
prevents garbage collection from breaking cycles. A way out of
|
|
|
|
this catch-22 is to avoid having a __del__() method on the Future
|
|
|
|
class itself, but instead to have a reference to a helper object
|
|
|
|
with a __del__() method that logs the traceback, where we ensure
|
|
|
|
that the helper object doesn't participate in cycles, and only the
|
|
|
|
Future has a reference to it.
|
|
|
|
|
|
|
|
The helper object is added when set_exception() is called. When
|
|
|
|
the Future is collected, and the helper is present, the helper
|
|
|
|
object is also collected, and its __del__() method will log the
|
|
|
|
traceback. When the Future's result() or exception() method is
|
2014-12-01 12:28:43 -04:00
|
|
|
called (and a helper object is present), it removes the helper
|
2013-10-17 17:40:50 -03:00
|
|
|
object, after calling its clear() method to prevent it from
|
|
|
|
logging.
|
|
|
|
|
|
|
|
One downside is that we do a fair amount of work to extract the
|
|
|
|
traceback from the exception, even when it is never logged. It
|
|
|
|
would seem cheaper to just store the exception object, but that
|
|
|
|
references the traceback, which references stack frames, which may
|
|
|
|
reference the Future, which references the _TracebackLogger, and
|
|
|
|
then the _TracebackLogger would be included in a cycle, which is
|
|
|
|
what we're trying to avoid! As an optimization, we don't
|
|
|
|
immediately format the exception; we only do the work when
|
|
|
|
activate() is called, which call is delayed until after all the
|
|
|
|
Future's callbacks have run. Since usually a Future has at least
|
|
|
|
one callback (typically set by 'yield from') and usually that
|
|
|
|
callback extracts the callback, thereby removing the need to
|
|
|
|
format the exception.
|
|
|
|
|
|
|
|
PS. I don't claim credit for this solution. I first heard of it
|
|
|
|
in a discussion about closing files when they are collected.
|
|
|
|
"""
|
|
|
|
|
2014-06-27 08:52:20 -03:00
|
|
|
__slots__ = ('loop', 'source_traceback', 'exc', 'tb')
|
2013-10-17 17:40:50 -03:00
|
|
|
|
2014-06-27 08:52:20 -03:00
|
|
|
def __init__(self, future, exc):
|
|
|
|
self.loop = future._loop
|
|
|
|
self.source_traceback = future._source_traceback
|
2013-10-17 17:40:50 -03:00
|
|
|
self.exc = exc
|
|
|
|
self.tb = None
|
|
|
|
|
|
|
|
def activate(self):
|
|
|
|
exc = self.exc
|
|
|
|
if exc is not None:
|
|
|
|
self.exc = None
|
|
|
|
self.tb = traceback.format_exception(exc.__class__, exc,
|
|
|
|
exc.__traceback__)
|
|
|
|
|
|
|
|
def clear(self):
|
|
|
|
self.exc = None
|
|
|
|
self.tb = None
|
|
|
|
|
|
|
|
def __del__(self):
|
|
|
|
if self.tb:
|
2014-11-20 09:16:31 -04:00
|
|
|
msg = 'Future/Task exception was never retrieved\n'
|
2014-06-27 08:52:20 -03:00
|
|
|
if self.source_traceback:
|
2014-11-20 09:16:31 -04:00
|
|
|
src = ''.join(traceback.format_list(self.source_traceback))
|
|
|
|
msg += 'Future/Task created at (most recent call last):\n'
|
|
|
|
msg += '%s\n' % src.rstrip()
|
2014-06-27 08:52:20 -03:00
|
|
|
msg += ''.join(self.tb).rstrip()
|
|
|
|
self.loop.call_exception_handler({'message': msg})
|
2013-10-17 17:40:50 -03:00
|
|
|
|
|
|
|
|
|
|
|
class Future:
|
|
|
|
"""This class is *almost* compatible with concurrent.futures.Future.
|
|
|
|
|
|
|
|
Differences:
|
|
|
|
|
|
|
|
- result() and exception() do not take a timeout argument and
|
|
|
|
raise an exception when the future isn't done yet.
|
|
|
|
|
|
|
|
- Callbacks registered with add_done_callback() are always called
|
|
|
|
via the event loop's call_soon_threadsafe().
|
|
|
|
|
|
|
|
- This class is not compatible with the wait() and as_completed()
|
|
|
|
methods in the concurrent.futures package.
|
|
|
|
|
|
|
|
(In Python 3.4 or later we may be able to unify the implementations.)
|
|
|
|
"""
|
|
|
|
|
|
|
|
# Class variables serving as defaults for instance variables.
|
|
|
|
_state = _PENDING
|
|
|
|
_result = None
|
|
|
|
_exception = None
|
|
|
|
_loop = None
|
2014-12-04 18:00:13 -04:00
|
|
|
_source_traceback = None
|
2013-10-17 17:40:50 -03:00
|
|
|
|
|
|
|
_blocking = False # proper use of future (yield vs yield from)
|
|
|
|
|
2013-12-20 19:19:33 -04:00
|
|
|
_log_traceback = False # Used for Python 3.4 and later
|
|
|
|
_tb_logger = None # Used for Python 3.3 only
|
2013-10-17 17:40:50 -03:00
|
|
|
|
|
|
|
def __init__(self, *, loop=None):
|
|
|
|
"""Initialize the future.
|
|
|
|
|
|
|
|
The optional event_loop argument allows to explicitly set the event
|
|
|
|
loop object used by the future. If it's not provided, the future uses
|
|
|
|
the default event loop.
|
|
|
|
"""
|
|
|
|
if loop is None:
|
|
|
|
self._loop = events.get_event_loop()
|
|
|
|
else:
|
|
|
|
self._loop = loop
|
|
|
|
self._callbacks = []
|
2014-06-27 08:52:20 -03:00
|
|
|
if self._loop.get_debug():
|
|
|
|
self._source_traceback = traceback.extract_stack(sys._getframe(1))
|
2013-10-17 17:40:50 -03:00
|
|
|
|
2014-06-25 16:41:58 -03:00
|
|
|
def _format_callbacks(self):
|
|
|
|
cb = self._callbacks
|
|
|
|
size = len(cb)
|
|
|
|
if not size:
|
|
|
|
cb = ''
|
|
|
|
|
|
|
|
def format_cb(callback):
|
2015-05-02 22:38:24 -03:00
|
|
|
return events._format_callback_source(callback, ())
|
2014-06-25 16:41:58 -03:00
|
|
|
|
|
|
|
if size == 1:
|
|
|
|
cb = format_cb(cb[0])
|
|
|
|
elif size == 2:
|
|
|
|
cb = '{}, {}'.format(format_cb(cb[0]), format_cb(cb[1]))
|
|
|
|
elif size > 2:
|
|
|
|
cb = '{}, <{} more>, {}'.format(format_cb(cb[0]),
|
|
|
|
size-2,
|
|
|
|
format_cb(cb[-1]))
|
|
|
|
return 'cb=[%s]' % cb
|
|
|
|
|
2014-07-29 07:58:23 -03:00
|
|
|
def _repr_info(self):
|
2014-06-25 16:41:58 -03:00
|
|
|
info = [self._state.lower()]
|
2013-10-17 17:40:50 -03:00
|
|
|
if self._state == _FINISHED:
|
2014-07-29 07:58:23 -03:00
|
|
|
if self._exception is not None:
|
|
|
|
info.append('exception={!r}'.format(self._exception))
|
|
|
|
else:
|
|
|
|
# use reprlib to limit the length of the output, especially
|
|
|
|
# for very long strings
|
|
|
|
result = reprlib.repr(self._result)
|
|
|
|
info.append('result={}'.format(result))
|
2014-06-25 16:41:58 -03:00
|
|
|
if self._callbacks:
|
|
|
|
info.append(self._format_callbacks())
|
2014-07-29 07:58:23 -03:00
|
|
|
if self._source_traceback:
|
|
|
|
frame = self._source_traceback[-1]
|
|
|
|
info.append('created at %s:%s' % (frame[0], frame[1]))
|
|
|
|
return info
|
|
|
|
|
|
|
|
def __repr__(self):
|
|
|
|
info = self._repr_info()
|
2014-06-25 16:41:58 -03:00
|
|
|
return '<%s %s>' % (self.__class__.__name__, ' '.join(info))
|
2013-10-17 17:40:50 -03:00
|
|
|
|
2015-01-29 12:50:58 -04:00
|
|
|
# On Python 3.3 and older, objects with a destructor part of a reference
|
|
|
|
# cycle are never destroyed. It's not more the case on Python 3.4 thanks
|
|
|
|
# to the PEP 442.
|
2013-12-19 17:42:40 -04:00
|
|
|
if _PY34:
|
|
|
|
def __del__(self):
|
2013-12-20 19:19:33 -04:00
|
|
|
if not self._log_traceback:
|
|
|
|
# set_exception() was not called, or result() or exception()
|
|
|
|
# has consumed the exception
|
|
|
|
return
|
|
|
|
exc = self._exception
|
2014-02-18 19:02:19 -04:00
|
|
|
context = {
|
2014-06-27 08:52:20 -03:00
|
|
|
'message': ('%s exception was never retrieved'
|
|
|
|
% self.__class__.__name__),
|
2014-02-18 19:02:19 -04:00
|
|
|
'exception': exc,
|
|
|
|
'future': self,
|
|
|
|
}
|
2014-06-27 08:52:20 -03:00
|
|
|
if self._source_traceback:
|
|
|
|
context['source_traceback'] = self._source_traceback
|
2014-02-18 19:02:19 -04:00
|
|
|
self._loop.call_exception_handler(context)
|
2013-12-19 17:42:40 -04:00
|
|
|
|
2013-10-17 17:40:50 -03:00
|
|
|
def cancel(self):
|
|
|
|
"""Cancel the future and schedule callbacks.
|
|
|
|
|
|
|
|
If the future is already done or cancelled, return False. Otherwise,
|
|
|
|
change the future's state to cancelled, schedule the callbacks and
|
|
|
|
return True.
|
|
|
|
"""
|
|
|
|
if self._state != _PENDING:
|
|
|
|
return False
|
|
|
|
self._state = _CANCELLED
|
|
|
|
self._schedule_callbacks()
|
|
|
|
return True
|
|
|
|
|
|
|
|
def _schedule_callbacks(self):
|
|
|
|
"""Internal: Ask the event loop to call all callbacks.
|
|
|
|
|
|
|
|
The callbacks are scheduled to be called as soon as possible. Also
|
|
|
|
clears the callback list.
|
|
|
|
"""
|
|
|
|
callbacks = self._callbacks[:]
|
|
|
|
if not callbacks:
|
|
|
|
return
|
|
|
|
|
|
|
|
self._callbacks[:] = []
|
|
|
|
for callback in callbacks:
|
|
|
|
self._loop.call_soon(callback, self)
|
|
|
|
|
|
|
|
def cancelled(self):
|
|
|
|
"""Return True if the future was cancelled."""
|
|
|
|
return self._state == _CANCELLED
|
|
|
|
|
|
|
|
# Don't implement running(); see http://bugs.python.org/issue18699
|
|
|
|
|
|
|
|
def done(self):
|
|
|
|
"""Return True if the future is done.
|
|
|
|
|
|
|
|
Done means either that a result / exception are available, or that the
|
|
|
|
future was cancelled.
|
|
|
|
"""
|
|
|
|
return self._state != _PENDING
|
|
|
|
|
|
|
|
def result(self):
|
|
|
|
"""Return the result this future represents.
|
|
|
|
|
|
|
|
If the future has been cancelled, raises CancelledError. If the
|
|
|
|
future's result isn't yet available, raises InvalidStateError. If
|
|
|
|
the future is done and has an exception set, this exception is raised.
|
|
|
|
"""
|
|
|
|
if self._state == _CANCELLED:
|
|
|
|
raise CancelledError
|
|
|
|
if self._state != _FINISHED:
|
|
|
|
raise InvalidStateError('Result is not ready.')
|
2013-12-20 19:19:33 -04:00
|
|
|
self._log_traceback = False
|
2013-10-17 17:40:50 -03:00
|
|
|
if self._tb_logger is not None:
|
|
|
|
self._tb_logger.clear()
|
2013-12-20 19:19:33 -04:00
|
|
|
self._tb_logger = None
|
2013-10-17 17:40:50 -03:00
|
|
|
if self._exception is not None:
|
|
|
|
raise self._exception
|
|
|
|
return self._result
|
|
|
|
|
|
|
|
def exception(self):
|
|
|
|
"""Return the exception that was set on this future.
|
|
|
|
|
|
|
|
The exception (or None if no exception was set) is returned only if
|
|
|
|
the future is done. If the future has been cancelled, raises
|
|
|
|
CancelledError. If the future isn't done yet, raises
|
|
|
|
InvalidStateError.
|
|
|
|
"""
|
|
|
|
if self._state == _CANCELLED:
|
|
|
|
raise CancelledError
|
|
|
|
if self._state != _FINISHED:
|
|
|
|
raise InvalidStateError('Exception is not set.')
|
2013-12-20 19:19:33 -04:00
|
|
|
self._log_traceback = False
|
2013-10-17 17:40:50 -03:00
|
|
|
if self._tb_logger is not None:
|
|
|
|
self._tb_logger.clear()
|
2013-12-20 19:19:33 -04:00
|
|
|
self._tb_logger = None
|
2013-10-17 17:40:50 -03:00
|
|
|
return self._exception
|
|
|
|
|
|
|
|
def add_done_callback(self, fn):
|
|
|
|
"""Add a callback to be run when the future becomes done.
|
|
|
|
|
|
|
|
The callback is called with a single argument - the future object. If
|
|
|
|
the future is already done when this is called, the callback is
|
|
|
|
scheduled with call_soon.
|
|
|
|
"""
|
|
|
|
if self._state != _PENDING:
|
|
|
|
self._loop.call_soon(fn, self)
|
|
|
|
else:
|
|
|
|
self._callbacks.append(fn)
|
|
|
|
|
|
|
|
# New method not in PEP 3148.
|
|
|
|
|
|
|
|
def remove_done_callback(self, fn):
|
|
|
|
"""Remove all instances of a callback from the "call when done" list.
|
|
|
|
|
|
|
|
Returns the number of callbacks removed.
|
|
|
|
"""
|
|
|
|
filtered_callbacks = [f for f in self._callbacks if f != fn]
|
|
|
|
removed_count = len(self._callbacks) - len(filtered_callbacks)
|
|
|
|
if removed_count:
|
|
|
|
self._callbacks[:] = filtered_callbacks
|
|
|
|
return removed_count
|
|
|
|
|
|
|
|
# So-called internal methods (note: no set_running_or_notify_cancel()).
|
|
|
|
|
2014-07-05 10:29:41 -03:00
|
|
|
def _set_result_unless_cancelled(self, result):
|
|
|
|
"""Helper setting the result only if the future was not cancelled."""
|
|
|
|
if self.cancelled():
|
|
|
|
return
|
|
|
|
self.set_result(result)
|
|
|
|
|
2013-10-17 17:40:50 -03:00
|
|
|
def set_result(self, result):
|
|
|
|
"""Mark the future done and set its result.
|
|
|
|
|
|
|
|
If the future is already done when this method is called, raises
|
|
|
|
InvalidStateError.
|
|
|
|
"""
|
|
|
|
if self._state != _PENDING:
|
|
|
|
raise InvalidStateError('{}: {!r}'.format(self._state, self))
|
|
|
|
self._result = result
|
|
|
|
self._state = _FINISHED
|
|
|
|
self._schedule_callbacks()
|
|
|
|
|
|
|
|
def set_exception(self, exception):
|
|
|
|
"""Mark the future done and set an exception.
|
|
|
|
|
|
|
|
If the future is already done when this method is called, raises
|
|
|
|
InvalidStateError.
|
|
|
|
"""
|
|
|
|
if self._state != _PENDING:
|
|
|
|
raise InvalidStateError('{}: {!r}'.format(self._state, self))
|
2014-01-30 20:01:54 -04:00
|
|
|
if isinstance(exception, type):
|
|
|
|
exception = exception()
|
2013-10-17 17:40:50 -03:00
|
|
|
self._exception = exception
|
|
|
|
self._state = _FINISHED
|
|
|
|
self._schedule_callbacks()
|
2013-12-19 17:42:40 -04:00
|
|
|
if _PY34:
|
2013-12-20 19:19:33 -04:00
|
|
|
self._log_traceback = True
|
2013-12-19 17:42:40 -04:00
|
|
|
else:
|
2014-06-27 08:52:20 -03:00
|
|
|
self._tb_logger = _TracebackLogger(self, exception)
|
2013-12-19 17:42:40 -04:00
|
|
|
# Arrange for the logger to be activated after all callbacks
|
|
|
|
# have had a chance to call result() or exception().
|
|
|
|
self._loop.call_soon(self._tb_logger.activate)
|
2013-10-17 17:40:50 -03:00
|
|
|
|
|
|
|
# Truly internal methods.
|
|
|
|
|
|
|
|
def _copy_state(self, other):
|
|
|
|
"""Internal helper to copy state from another Future.
|
|
|
|
|
|
|
|
The other Future may be a concurrent.futures.Future.
|
|
|
|
"""
|
|
|
|
assert other.done()
|
2013-11-22 15:47:22 -04:00
|
|
|
if self.cancelled():
|
|
|
|
return
|
2013-10-17 17:40:50 -03:00
|
|
|
assert not self.done()
|
|
|
|
if other.cancelled():
|
|
|
|
self.cancel()
|
|
|
|
else:
|
|
|
|
exception = other.exception()
|
|
|
|
if exception is not None:
|
|
|
|
self.set_exception(exception)
|
|
|
|
else:
|
|
|
|
result = other.result()
|
|
|
|
self.set_result(result)
|
|
|
|
|
|
|
|
def __iter__(self):
|
|
|
|
if not self.done():
|
|
|
|
self._blocking = True
|
|
|
|
yield self # This tells Task to wait for completion.
|
|
|
|
assert self.done(), "yield from wasn't used with future"
|
|
|
|
return self.result() # May raise too.
|
|
|
|
|
2015-05-11 23:27:25 -03:00
|
|
|
if _PY35:
|
|
|
|
__await__ = __iter__ # make compatible with 'await' expression
|
|
|
|
|
2013-10-17 17:40:50 -03:00
|
|
|
|
|
|
|
def wrap_future(fut, *, loop=None):
|
|
|
|
"""Wrap concurrent.futures.Future object."""
|
|
|
|
if isinstance(fut, Future):
|
|
|
|
return fut
|
|
|
|
assert isinstance(fut, concurrent.futures.Future), \
|
|
|
|
'concurrent.futures.Future is expected, got {!r}'.format(fut)
|
|
|
|
if loop is None:
|
|
|
|
loop = events.get_event_loop()
|
|
|
|
new_future = Future(loop=loop)
|
2013-11-22 15:47:22 -04:00
|
|
|
|
|
|
|
def _check_cancel_other(f):
|
|
|
|
if f.cancelled():
|
|
|
|
fut.cancel()
|
|
|
|
|
|
|
|
new_future.add_done_callback(_check_cancel_other)
|
2013-10-17 17:40:50 -03:00
|
|
|
fut.add_done_callback(
|
|
|
|
lambda future: loop.call_soon_threadsafe(
|
2015-01-09 16:34:27 -04:00
|
|
|
new_future._copy_state, future))
|
2013-10-17 17:40:50 -03:00
|
|
|
return new_future
|