Enum BatchStrategy 

#[non_exhaustive]
pub enum BatchStrategy {
    Auto,
    Sequential,
    Outer,
    Inner,
    Split {
        lanes: NonZeroUsize,
    },
}

How the items of a batch are split over a thread budget.

Examples

use tcontract_exec::batch::BatchStrategy;
assert_eq!(BatchStrategy::default(), BatchStrategy::Auto);

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Auto

Choose from the WorkModel and the query’s route capabilities.

Sequential

One lane, one item thread: no parallelism at all.

Outer

lanes = min(budget, items), each item serial.

Inner

One lane; the item kernel gets the whole budget.

Split

Exactly lanes lanes (clamped to the items and the budget), the rest of the budget split evenly as item threads. A route that cannot run item threads inside a lane refuses the resulting decision with crate::ExecError::StrategyUnavailable before any write; it never silently runs the items serially (see BatchDecision’s route contract).

Fields

lanes: NonZeroUsize

Requested lane count.

Trait Implementations

impl Clone for BatchStrategy

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for BatchStrategy

impl Debug for BatchStrategy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for BatchStrategy

fn default() -> Self

Returns the “default value” for a type.

impl Eq for BatchStrategy

impl PartialEq for BatchStrategy

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for BatchStrategy