Crate cancel_safe_futures

source ·
Expand description

Alternative futures adapters that are more cancellation-aware.

§What is this crate?

This crate solves a few related but distinct problems:

§1. Cancel-safe futures adapters

The futures library contains many adapters that make writing asynchronous Rust code more pleasant. However, some of those combinators make it hard to write code that can withstand cancellation in the case of timeouts, select! branches or similar.

For a more detailed explanation, see the documentation for SinkExt::reserve.

§Example

Attempt to send an item in a loop with a timeout:

use cancel_safe_futures::prelude::*;
use std::time::Duration;

let mut my_sink = /* ... */;

// This item is stored here and will be set to None once the loop exits successfully.
let mut item = Some("hello".to_owned());
let do_flush = false;

while item.is_some() {
    match tokio::time::timeout(Duration::from_secs(10), my_sink.reserve()).await {
        Ok(Ok(permit)) => {
            let item = item.take().unwrap();
            if !do_flush {
                // permit.feed() feeds the item into the sink without flushing
                // the sink afterwards. This is a synchronous method.
                permit.feed(item)?;
            } else {
                // Alternatively, permit.send() writes the item into the sink
                // synchronously, then returns a future which can be awaited to
                // flush the sink.
                permit.send(item)?.await?;
            }
        }
        Ok(Err(error)) => return Err(error),
        Err(timeout_error) => continue,
    }
}

§2. then_try adapters that don’t perform cancellations

The futures and tokio libraries come with a number of try_ adapters and macros, for example tokio::try_join!. These adapters have the property that if one of the futures under consideration fails, all other futures are cancelled.

This is not always desirable and has led to correctness bugs (e.g. omicron PR 3707). To address this issue, this crate provides a set of then_try adapters and macros that behave like their try_ counterparts, except that if one or more of the futures errors out, the others will still be run to completion.

The then_try family includes:

§Example

For a detailed example, see the documentation for the join_then_try macro.

§3. Cancel-safe mutexes

The tokio::sync::Mutex shipped with Tokio has resulted in many bugs in practice, particularly around cancellations.

This crate provides an alternative mutex API, called RobustMutex, that does not have those pitfalls. For more, see the documentation for RobustMutex.

§4. Cooperative cancellation

Executors like Tokio support forcible cancellation for async tasks via facilities like tokio::task::JoinHandle::abort. However, this can cause cancellations at any arbitrary await point. If the future is in the middle of cancel-unsafe code, this can cause invariant violations or other issues.

Instead, async cancellation can be done cooperatively: code can check for cancellation explicitly via tokio::select!. This crate provides the coop_cancel module that can be used to accomplish that goal.

§Example

For a detailed example, see the documentation for coop_cancel.

§Notes

This library is not complete: adapters and macros are added on an as-needed basis. If you need an adapter that is not yet implemented, please open an issue or a pull request.

§Optional features

  • macros (enabled by default): Enables macros.
  • std (enabled by default): Enables items that depend on std, including items that depend on alloc.
  • alloc (enabled by default): Enables items that depend on alloc.
  • parking_lot: Switches to parking_lot’s mutexes.

No-std users must turn off default features while importing this crate.

Re-exports§

Modules§

  • A multi-producer, single-consumer channel for cooperative (explicit) cancellation.
  • Alternative adapters for asynchronous values.
  • A “prelude” for crates using the cancel-safe-futures crate.
  • Alternative extensions for Sink.
  • Alternative adapters for asynchronous streams.
  • Alternative synchronization primitives that are more cancellation-aware.

Macros§

  • Waits on multiple concurrent branches for all futures to complete, returning Ok(_) or an error.