Skip to main content

EngineShim

Struct EngineShim 

Source
pub struct EngineShim<'a> {
    pub spec: &'a ModelSpec,
    pub numerics: EngineNumerics,
}
Expand description

The engine’s shim for one model at one knob point: its spec says which checkpoint tensor and view each constant reads, its numerics the contract its build keeps — which change the contract, never what the engine runs whole.

Fields§

§spec: &'a ModelSpec§numerics: EngineNumerics

Trait Implementations§

Source§

impl Shim for EngineShim<'_>

Source§

fn name(&self) -> String

The chip and the configuration it answers for, e.g. cuda-lane:rtx3060:TwoPassInt8.
Source§

fn supports(&self, class: ClassId) -> Support

What the chip’s link does with class. Every chip answers by a match over every class with no catch-all arm, so a class added to the registry fails the build until each chip answers it.
Source§

fn fits(&self, op: &Op, _: &TensorGraph) -> Result<(), String>

Whether the chip’s link builds op as it stands — its shapes, its accesses, its destination: Ok, or why not.
Source§

fn activation(&self, _: &Op, _: usize, _: &TensorGraph) -> Option<QuantFormat>

The quantized form consumer reads its operand operand in, or None for one it reads as its values.
Source§

fn numerics(&self) -> Option<Contract>

The numerics contract of the knob point the chip answers for, or None while the chip has not declared it.
Source§

fn rules(&self) -> Vec<(Position, ChipRule<'_>)>

The chip’s own rules, each linked into the table where its position says.

Auto Trait Implementations§

§

impl<'a> Freeze for EngineShim<'a>

§

impl<'a> RefUnwindSafe for EngineShim<'a>

§

impl<'a> Send for EngineShim<'a>

§

impl<'a> Sync for EngineShim<'a>

§

impl<'a> Unpin for EngineShim<'a>

§

impl<'a> UnsafeUnpin for EngineShim<'a>

§

impl<'a> UnwindSafe for EngineShim<'a>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Downcast for T
where T: Any,

§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,