Skip to main content

EngineNumerics

Struct EngineNumerics 

Source
pub struct EngineNumerics {
    pub activations: Words,
    pub scaling: ActScaling,
    pub state: StateFormat,
    pub cache: CacheFormat,
    pub attention: AttentionMath,
    pub flush: StateFlush,
    pub fp_unit: FpUnit,
}
Expand description

The knobs of the engine’s arithmetic.

Fields§

§activations: Words§scaling: ActScaling

How the activations a matrix reads are scaled: per 32 elements, or per the matrix format’s own block.

§state: StateFormat§cache: CacheFormat§attention: AttentionMath§flush: StateFlush

How a Gated-DeltaNet memory is carried: rewritten every token, or held at its last flush with a log of the tokens since, read through the log and flushed once every tokens, or a window of tokens behind (Replay).

§fp_unit: FpUnit

The multiplier every f32 product is computed by: the engine’s own, or the card’s floating-point DSP block.

Implementations§

Source§

impl EngineNumerics

Source

pub fn precise() -> EngineNumerics

The most precise knob point: two-word activations scaled per 32 elements, an f32 state, an f16 cache, attention on the vector units.

Source

pub fn fastest() -> EngineNumerics

The fastest knob point the serving roofline prices: one-word activations scaled per weight block, an f16 state flushed every 16 tokens, a rotated int8 cache, attention on the array.

Source

pub fn real_points() -> [EngineNumerics; 4]

The knob points held to the real checkpoints, both word counts at their most and least precise storage: precise; two words over an f16 state and an int8 cache on the array; one word over an f32 state and an f16 cache; fastest.

Source

pub fn real_points_for(spec: &ModelSpec) -> [EngineNumerics; 4]

The knob points a real checkpoint of spec is held to: real_points when every attention layer norms its queries and keys, and otherwise the same points with the two-word point’s int8 cache rotated and the family’s fastest_for: un-normed keys carry outlier channels an unrotated int8 cache loses and the rotation spreads. Measured on Llama-3.2-1B against llama.cpp’s runs of its corpus: two words on an int8 cache followed the f32 run 458 steps to the shipped run’s 462, rotated 501.

Source

pub fn fastest_for(spec: &ModelSpec) -> EngineNumerics

The fastest knob point spec’s family is held to: fastest, its attention on the vector units when a layer’s keys are not normed (Llama-3.2-1B’s logits after the prompt sat 0.098 from llama.cpp’s f32 run’s on the vector units, within the shipped run’s 0.080 by two standard errors, and 0.112 on the array).

Source

pub fn all() -> Vec<EngineNumerics>

Every knob point the engine runs.

Trait Implementations§

Source§

impl Clone for EngineNumerics

Source§

fn clone(&self) -> EngineNumerics

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for EngineNumerics

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Hash for EngineNumerics

Source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

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

Feeds a slice of this type into the given Hasher. Read more
Source§

impl PartialEq for EngineNumerics

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl Copy for EngineNumerics

Source§

impl Eq for EngineNumerics

Source§

impl StructuralPartialEq for EngineNumerics

Auto Trait Implementations§

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
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. 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.
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
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> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
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,