Enum ChoreoOp 

pub enum ChoreoOp {
    Reserve {
        buf: BufferId,
        pages: usize,
    },
    Push {
        buf: BufferId,
        pages: usize,
    },
    Wait {
        buf: BufferId,
        pages: usize,
    },
    Pop {
        buf: BufferId,
        pages: usize,
    },
    ReadTiles {
        tensor: TensorId,
        at: TileAddr,
        block_h: usize,
        block_w: usize,
        stride_w: usize,
        stride_h: usize,
        into: BufferId,
    },
    ReadBarrier,
    WriteTiles {
        from: BufferId,
        tensor: TensorId,
        at: TileAddr,
        block_h: usize,
        block_w: usize,
        stride_w: usize,
        stride_h: usize,
    },
    WriteBarrier,
    McastSend {
        buf: BufferId,
        pages: usize,
        group: GroupId,
        hold_path: bool,
    },
    McastSetValid {
        sem: SemId,
        group: GroupId,
    },
    Flush {
        cond: ArchCond,
    },
    SemSet {
        sem: SemId,
        value: SemValue,
    },
    SemInc {
        sem: SemId,
        at: Site,
        by: usize,
    },
    SemWait {
        sem: SemId,
        until: SemCond,
    },
    AcquireAcc {
        tiles: usize,
    },
    ReleaseAcc,
    Compute {
        op: ComputeOp,
        ins: Vec<BufferId>,
        acc_reload: Option<BufferId>,
    },
    PackAcc {
        to: BufferId,
        tiles: usize,
        convert: Precision,
        accumulate: bool,
    },
    Barrier {
        group: GroupId,
    },
    Loop {
        var: LoopVar,
        count: LoopCount,
        body: Vec<TaggedOp>,
    },
}

One step of a site engine’s choreography.

Variants

Reserve

Fields

buf: BufferId

pages: usize

Push

Fields

buf: BufferId

pages: usize

Wait

Fields

buf: BufferId

pages: usize

Pop

Fields

buf: BufferId

pages: usize

ReadTiles

Fields

tensor: TensorId

at: TileAddr

block_h: usize

block_w: usize

stride_w: usize

stride_h: usize

into: BufferId

ReadBarrier

WriteTiles

Fields

from: BufferId

tensor: TensorId

at: TileAddr

block_h: usize

block_w: usize

stride_w: usize

stride_h: usize

WriteBarrier

McastSend

Broadcast a buffer’s pages to a group. hold_path keeps the reserved broadcast path open for the transfer that immediately follows to the same rectangle — the flag that tells the receivers the data has landed. Without it that four-byte flag re-arbitrates and re-reserves the whole rectangle, once per K block per operand on every sender.

Fields

buf: BufferId

pages: usize

group: GroupId

hold_path: bool

McastSetValid

Fields

sem: SemId

group: GroupId

Flush

Fields

cond: ArchCond

SemSet

Fields

sem: SemId

value: SemValue

SemInc

Fields

sem: SemId

at: Site

by: usize

SemWait

Fields

sem: SemId

until: SemCond

AcquireAcc

Fields

tiles: usize

ReleaseAcc

Compute

Fields

op: ComputeOp

ins: Vec<BufferId>

acc_reload: Option<BufferId>

PackAcc

Write the accumulator’s tiles into a page. accumulate makes the packer ADD into the page already there instead of overwriting it — the partial sum then never leaves local memory between K blocks, so a blocked plan reloads the register file once instead of once per block.

Fields

to: BufferId

tiles: usize

convert: Precision

accumulate: bool

Barrier

Fields

group: GroupId

Loop

A counted loop whose body ops stay TAGGED with their stages (attribution survives nesting).

Fields

var: LoopVar

count: LoopCount

body: Vec<TaggedOp>

Trait Implementations

impl Clone for ChoreoOp

fn clone(&self) -> ChoreoOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChoreoOp

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ChoreoOp

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for ChoreoOp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ChoreoOp

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ChoreoOp

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ChoreoOp

impl StructuralPartialEq for ChoreoOp