Python trio-util documentation¶
nursery utilities¶
The following utilities are intended to avoid nursery boilerplate in some simple cases.
wait_any()
and wait_all()
are used to simultaneously
run async functions which either have side effects and don’t return a
value, or signal merely by exiting. For example, given two trio.Event
objects a
and b
, we can wait until either event is true:
await wait_any(a.wait, b.wait)
or wait until both events are true:
await wait_all(a.wait, b.wait)
-
await
trio_util.
wait_any
(*args)¶ Wait until any of the given async functions are completed.
Equivalent to creating a new nursery and calling start_soon() on each async function, where the first function to return will cause the nursery to be cancelled.
If the function invocations require arguments, use partial():
await wait_any(partial(foo, 'hello'), partial(bar, debug=True))
-
await
trio_util.
wait_all
(*args)¶ Wait until all of the given async functions are completed.
Equivalent to creating a new nursery and calling start_soon() on each async function.
NOTE: Be careful when using this with a function that returns when some non-permanent condition is satisfied (e.g. AsyncBool.wait_value). While waiting for the other async function to complete, the state which satisfied the condition may change.
value wrappers¶
AsyncValue
can wrap any type, offering the ability to wait for a
specific value or transition. AsyncBool
is just an AsyncValue
that defaults to False
.
-
class
trio_util.
AsyncValue
(value)¶ Value wrapper offering the ability to wait for a value or transition.
Synopsis:
>>> a = AsyncValue(0) # NOTE: can wrap any type (enum, tuple, ...) >>> ... >>> a.value = 5 # access underlying value >>> ... >>> # wait for value match by equality >>> await a.wait_value(7) >>> ... >>> # wait for value match by predicate >>> await a.wait_value(lambda v: v > 10) >>> ... >>> # wait for transition by equality >>> await a.wait_transition(14) >>> ... >>> # wait for transition by predicate (default: any transition) >>> await a.wait_transition(lambda v, old: v > 10 and old < 0) >>> ... >>> # repeated transitions via iteration >>> async for value, _ in a.transitions(lambda v, old: v > 10 and old < 0): >>> ...
When using wait_value() and wait_transition(), note that the value may have changed again before the caller receives control.
Performance note: assignment to the value property typically has O(N) complexity, where N is the number of actively waiting tasks. Shared predicates are grouped when possible, reducing N to the number of active predicates.
-
value
¶ The wrapped value
-
await
wait_value
(value_or_predicate, *, held_for=0)¶ Wait until given predicate f(value) is True.
The predicate is tested immediately and, if false, whenever the value property changes.
If a non-callable is provided, it’s equivalent to a predicate matching the given value.
If held_for > 0, the predicate must match for that duration from the time of the call. “held” means that the predicate is continuously true.
returns value which satisfied the predicate (when held_for > 0, it’s the most recent value)
-
await
wait_transition
(value_or_predicate=<function _ANY_TRANSITION>)¶ Wait until given predicate f(value, old_value) is True.
The predicate is tested whenever the value property changes. The default predicate responds to any value change.
If a non-callable is provided, it’s equivalent to a predicate matching the given value.
returns (value, old_value) which satisfied the predicate
-
async for value, old_value in
transitions
(value_or_predicate=<function _ANY_TRANSITION>)¶ Yield (value, old_value) for transitions matching the predicate
Transitions that happen during the body of the loop are discarded.
The iteration:
>>> async for value, old_value in async_value.transitions(...) >>> ...
is equivalent to:
>>> while True: >>> value, old_value = await async_value.wait_transition(...) >>> ...
-
-
class
trio_util.
AsyncBool
(value=False)¶ Boolean wrapper offering the ability to wait for a value or transition.
Synopsis:
>>> a = AsyncBool() >>> ... >>> a.value = True # access underlying value >>> ... >>> await a.wait_value(False) # wait for a specific value >>> ... >>> await a.wait_transition() # wait for a transition (default: any)
When using wait_value() and wait_transition(), note that the value may have changed again before the caller receives control.
Other than the constructor value defaulting to False, this class is the same as AsyncValue.
Sometimes you want to wait on a condition involving multiple async values.
This can be achieved without resorting to polling by employing the
compose_values()
context manager.
-
async with
trio_util.
compose_values
(**value_map) as composed¶ Async context manager providing a composite of multiple AsyncValues
The composite object itself is an AsyncValue, with the value of each underlying object accessible as attributes on the composite value.
compose_values() expects named AsyncValue instances to be provided as keyword arguments. The attributes of the composite value will correspond to the given names.
It’s mostly an implementation detail, but the composite value type is a namedtuple. Users should not write to the composite value attribute since it is exclusively managed by the context.
- Synopsis:
>>> async_x, async_y = AsyncValue(-1), AsyncValue(10) >>> >>> async with compose_values(x=async_x, y=async_y) as async_xy: >>> result = await async_xy.wait_value(lambda val: val.x < 0 < val.y)) >>> >>> result CompositeValue(x=-1, y=10)
repeated events¶
trio.Event
does not offer a clear() method, so it can’t be
triggered multiple times. It’s for your own good.
The following are event classes which can be triggered repeatedly in a relatively safe manner.
-
class
trio_util.
UnqueuedRepeatedEvent
¶ An unqueued repeated event that supports broadcast
The event may be triggered multiple times, and supports multiple listeners. A listener will miss an event if it’s blocked processing the previous one.
>>> event = UnqueuedRepeatedEvent()
A task listens for events:
>>> async for _ in event: >>> # do blocking work >>> await trio.sleep(1)
Another task triggers events:
>>> event.set() # trigger event >>> trio.sleep(0) # listener will enter loop body >>> event.set() # listener misses this event since it's still in the loop body >>> trio.sleep(2) >>> event.set() # listener will enter loop body again
-
set
()¶ Trigger event.
-
-
class
trio_util.
MailboxRepeatedEvent
¶ A single-listener repeated event with one queue slot
MailboxRepeatedEvent is used to coordinate some work whenever a collection or other stateful object is mutated. Although you may miss intermediate states, you’re ensured to eventually receive an event to process the most recent state.
>>> my_list = [] >>> repeated_event = MailboxRepeatedEvent()
Whenever your collection is mutated, simply call the set() method.
>>> my_list.append('hello') >>> repeated_event.set()
The listener to continually process the latest state is simply:
>>> async for _ in repeated_event: >>> await persist_to_storage(my_list)
Even if you exit the listen loop and start a new one, you’ll still receive an event if a set() occurred in the meantime. Due to this statefulness, only one listener is allowed– a second listener will encounter a RuntimeError.
To avoid false positives from the “multiple listener” check, it’s advised to use aclosing() (from the async_generator package or Python 3.10) for deterministic cleanup of the generator:
>>> async with aclosing(repeated_event.__aiter__()) as events: >>> async for _ in events: >>> await persist_to_storage(my_list)
-
set
()¶ Trigger event
Up to one event may be queued if there is no waiting listener (i.e. no listener, or the listener is still processing the previous event).
-
generators¶
-
async for elapsed, delta in
trio_util.
periodic
(period)¶ Yield (elapsed_time, delta_time) with an interval of period seconds.
For example, to loop indefinitely with a period of 1 second, accounting for the time taken in the loop itself:
async for _ in periodic(1): ...
In the case of overrun, the next iteration begins immediately.
On the first iteration, delta_time will be None.
-
@
trio_util.
trio_async_generator
¶ async generator pattern which supports Trio nurseries and cancel scopes
Normally, it’s not allowed to yield from a Trio nursery or cancel scope when implementing async generators. This decorator makes it possible to do so, adapting a generator for safe use.
Though the wrapped function is written as a normal async generator, usage of the wrapper is different: the wrapper is an async context manager providing the async generator to be iterated.
Synopsis:
>>> @trio_async_generator >>> async def my_generator(): >>> # yield values, possibly from a nursery or cancel scope >>> # ... >>> >>> >>> async with my_generator() as agen: >>> async for value in agen: >>> print(value)
Implementation: “The idea is that instead of pushing and popping the generator from the stack of the task that’s consuming it, you instead run the generator code as a second task that feeds the consumer task values.” See https://github.com/python-trio/trio/issues/638#issuecomment-431954073
- ISSUE: pylint is confused by this implementation, and every use will
trigger not-async-context-manager
iterators¶
-
await
trio_util.
azip
(*aiterables)¶ async version of izip with parallel iteration
-
await
trio_util.
azip_longest
(*aiterables, fillvalue=None)¶ async version of izip_longest with parallel iteration
exceptions¶
-
with
trio_util.
multi_error_defer_to
(*privileged_types: Type[BaseException], propagate_multi_error=True, strict=True)¶ Defer a trio.MultiError exception to a single, privileged exception
In the scope of this context manager, a raised MultiError will be coalesced into a single exception with the highest privilege if the following criteria is met:
every exception in the MultiError is an instance of one of the given privileged types
additionally, by default with strict=True:
there is a single candidate at the highest privilege after grouping the exceptions by repr(). For example, this test fails if both ValueError(‘foo’) and ValueError(‘bar’) are the most privileged.
If the criteria are not met, by default the original MultiError is propagated. Use propagate_multi_error=False to instead raise a RuntimeError in these cases.
Examples:
multi_error_defer_to(trio.Cancelled, MyException) MultiError([Cancelled(), MyException()]) -> Cancelled() MultiError([Cancelled(), MyException(), MultiError([Cancelled(), Cancelled())]]) -> Cancelled() MultiError([Cancelled(), MyException(), ValueError()]) -> *no change* MultiError([MyException('foo'), MyException('foo')]) -> MyException('foo') MultiError([MyException('foo'), MyException('bar')]) -> *no change* multi_error_defer_to(MyImportantException, trio.Cancelled, MyBaseException) # where isinstance(MyDerivedException, MyBaseException) # and isinstance(MyImportantException, MyBaseException) MultiError([Cancelled(), MyDerivedException()]) -> Cancelled() MultiError([MyImportantException(), Cancelled()]) -> MyImportantException()
- Parameters
privileged_types – exception types from highest priority to lowest
propagate_multi_error – if false, raise a RuntimeError where a MultiError would otherwise be leaked
strict – propagate MultiError if there are multiple output exceptions to chose from (i.e. multiple exceptions objects with differing repr() are instances of the privileged type). When combined with propagate_multi_error=False, this case will raise a RuntimeError.
-
with
trio_util.
defer_to_cancelled
(*args: Type[Exception])¶ Context manager which defers MultiError exceptions to Cancelled.
In the scope of this context manager, any raised trio.MultiError exception which is a combination of the given exception types and trio.Cancelled will have the exception types filtered, leaving only a Cancelled exception.
The intended use is where routine exceptions (e.g. which are part of an API) might occur simultaneously with Cancelled (e.g. when using move_on_after()). Without properly catching and filtering the resulting MultiError, an unhandled exception will occur. Often what is desired in this case is for the Cancelled exception alone to propagate to the cancel scope.
Equivalent to
multi_error_defer_to(trio.Cancelled, *args)
.- Parameters
args – One or more exception types which will defer to trio.Cancelled. By default, all exception types will be filtered.
Example:
# If MultiError([Cancelled, Obstacle]) occurs, propagate only Cancelled # to the parent cancel scope. with defer_to_cancelled(Obstacle): try: # async call which may raise exception as part of API await advance(speed) except Obstacle: # handle API exception (unless Cancelled raised simultaneously) ...
miscellaneous¶
-
class
trio_util.
TaskStats
(*, slow_task_threshold=0.01, high_rate_task_threshold=100, current_time=<function current_time>)¶ Bases:
trio.abc.Instrument
Trio scheduler Instrument which logs various task stats at termination.
Includes max task wait time, slow task steps, and highest task schedule rate.