Enum CpuBatchStrategy 

#[non_exhaustive]
pub enum CpuBatchStrategy {
    Auto,
    Sequential,
    Outer,
    Inner,
    Split {
        lanes: NonZero<usize>,
    },
}

How the items of one batched operation are split over a thread budget.

This is tcontract_exec::BatchStrategy. The old OuterParallel variant is CpuBatchStrategy::Outer and the old ProviderItems variant is CpuBatchStrategy::Inner; Sequential and Auto kept their names.

Examples

use tenferro_cpu::CpuBatchStrategy;

assert_eq!(CpuBatchStrategy::default(), CpuBatchStrategy::Auto);

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: NonZero<usize>

Requested lane count.

Trait Implementations

impl Clone for BatchStrategy

fn clone(&self) -> BatchStrategy

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<(), Error>

Formats the value using the given formatter.

impl Default for BatchStrategy

fn default() -> BatchStrategy

Returns the “default value” for a type.

impl Eq for BatchStrategy

impl PartialEq for BatchStrategy

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BatchStrategy