Struct WorkspaceReq 

pub struct WorkspaceReq {
    pub a_bytes: usize,
    pub tile_bytes: usize,
    pub worker_scatter: usize,
    pub b_bytes: usize,
    pub team_scatter: usize,
    pub barriers: usize,
}

Bytes and counts one execute needs. Buffer sizes are bytes because the provider is element-type erased: the driver knows the element type and converts its real counts once.

A zero entry never allocates.

Fields

a_bytes: usize

This thread’s packed A block.

tile_bytes: usize

This thread’s accumulator tile, including any induced-method scratch.

worker_scatter: usize

Elements reserved for this thread’s scatter scratch.

b_bytes: usize

The team’s shared packed B panel.

team_scatter: usize

Elements reserved for the team’s block-scatter vectors.

barriers: usize

Barriers the team needs, or zero when nothing is shared.

Implementations

impl WorkspaceReq

pub fn bytes(&self) -> usize

The payload this request needs, in bytes: the buffers, the i64 scatter elements and the barriers. It is the value a Workspace is sized to and the amount Workspace::have reports.

Examples

use tcontract_exec::WorkspaceReq;
let req = WorkspaceReq { a_bytes: 16, team_scatter: 2, ..Default::default() };
assert_eq!(req.bytes(), 16 + 2 * core::mem::size_of::<i64>());

pub fn covered_by(&self, have: &WorkspaceReq) -> bool

Whether have covers every component of this request.

Capacity is checked component-wise, never by the byte total: a large A block does not stand in for a missing B panel, and the driver would grow the arena for the shortage rather than refuse it. Workspace::reserve keeps the same component-wise maxima.

Trait Implementations

impl Clone for WorkspaceReq

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 WorkspaceReq

impl Debug for WorkspaceReq

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

Formats the value using the given formatter.

impl Default for WorkspaceReq

fn default() -> Self

Returns the “default value” for a type.

impl Eq for WorkspaceReq

impl PartialEq for WorkspaceReq

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WorkspaceReq