shuttle 0.6.0

A library for testing concurrent Rust code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use std::fmt::Debug;

pub(crate) mod fixed;
pub(crate) mod random;

/// A `DataSource` is an oracle for generating non-deterministic data to return to a task that asks
/// for random values.
pub trait DataSource: Debug {
    /// A `Seed` can be used to deterministically initialize a data source such that it produces the
    /// same sequence of outputs for `next_u64` calls.
    type Seed: Clone;

    /// Initialize the `DataSource` from a given seed.
    fn initialize(seed: Self::Seed) -> Self;

    /// Reinitialize the `DataSource` and return a seed that can be used to return to this state
    /// for deterministic replay.
    fn reinitialize(&mut self) -> Self::Seed;

    /// Generate the next non-deterministic `u64` value to return to a requesting task.
    fn next_u64(&mut self) -> u64;
}