Skip to main content

QuantizedView

Struct QuantizedView 

Source
pub struct QuantizedView<'a, Q: Scalar, NQ: Size, S: Scalar, F: Numeric, NF: Size, C: Coordinates + 'static> { /* private fields */ }
Expand description

View that dequantizes after loads. Scales layout should take values coordinates and map them to the corresponding scale.

§Warning

Assumes only one scale maps to a single load. Adjust vector size of values or block size to ensure this. Must ensure block_size.is_multiple_of(vector_size * scheme.num_quants()).

Implementations§

Source§

impl<'a, Q: Scalar, NQ: Size, S: Scalar, F: Numeric, NF: Size, C: Coordinates + 'static> QuantizedView<'a, Q, NQ, S, F, NF, C>

Source

pub fn new( values: View<'a, Vector<Q, NQ>, C>, scales: View<'a, S, C>, table: ComptimeOption<Box<[f32]>>, scheme: QuantScheme, ) -> Self

A view reading every scale per position through scales.

Takes a one-level scheme: the per-tensor scale of a two-level one never rides a signature here, it is either bound at launch or already held by a caller as a KnownScale passed to new_with_known_scale.

Source

pub fn new_with_known_scale( values: View<'a, Vector<Q, NQ>, C>, scales: View<'a, S, C>, known_scale: KnownScale, table: ComptimeOption<Box<[f32]>>, scheme: QuantScheme, ) -> Self

new with whatever the caller already knows of the scale, in whichever KnownScale form it holds it. Only a caller that knows what its reads share can say so, which is why this exists on the cube side. Reads assert the register agrees with the scheme.

Source

pub fn __expand_new( scope: &Scope, values: <View<'a, Vector<Q, NQ>, C> as CubeType>::ExpandType, scales: <View<'a, S, C> as CubeType>::ExpandType, table: <ComptimeOption<Box<[f32]>> as CubeType>::ExpandType, scheme: QuantScheme, ) -> <Self as CubeType>::ExpandType

A view reading every scale per position through scales.

Takes a one-level scheme: the per-tensor scale of a two-level one never rides a signature here, it is either bound at launch or already held by a caller as a KnownScale passed to new_with_known_scale.

Source

pub fn __expand_new_with_known_scale( scope: &Scope, values: <View<'a, Vector<Q, NQ>, C> as CubeType>::ExpandType, scales: <View<'a, S, C> as CubeType>::ExpandType, known_scale: <KnownScale as CubeType>::ExpandType, table: <ComptimeOption<Box<[f32]>> as CubeType>::ExpandType, scheme: QuantScheme, ) -> <Self as CubeType>::ExpandType

new with whatever the caller already knows of the scale, in whichever KnownScale form it holds it. Only a caller that knows what its reads share can say so, which is why this exists on the cube side. Reads assert the register agrees with the scheme.

Source§

impl<'a, Q: Scalar, NQ: Size, S: Scalar, F: Numeric, NF: Size, C: Coordinates + 'static> QuantizedView<'a, Q, NQ, S, F, NF, C>

Source

pub fn view(self) -> View<'a, Vector<F, NF>, C>

Source

pub fn __expand_view( scope: &Scope, this: QuantizedViewExpand<'a, Q, NQ, S, F, NF, C>, ) -> ViewExpand<'a, Vector<F, NF>, C>

Trait Implementations§

Source§

impl<'a, Q: Clone + Scalar, NQ: Clone + Size, S: Clone + Scalar, F: Clone + Numeric, NF: Clone + Size, C: Clone + Coordinates + 'static> Clone for QuantizedView<'a, Q, NQ, S, F, NF, C>

Source§

fn clone(&self) -> QuantizedView<'a, Q, NQ, S, F, NF, C>

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<'a, Q: Scalar, NQ: Size, S: Scalar, F: Numeric, NF: Size, C: Coordinates + 'static> CubeType for QuantizedView<'a, Q, NQ, S, F, NF, C>

Source§

type ExpandType = QuantizedViewExpand<'a, Q, NQ, S, F, NF, C>

Source§

impl<'a, Q: Scalar, NQ: Size, S: Scalar, F: Numeric, NF: Size, C: Coordinates + 'static> LaunchArg for QuantizedView<'a, Q, NQ, S, F, NF, C>
where View<'a, Vector<Q, NQ>, C>: LaunchArg, View<'a, S, C>: LaunchArg,

Source§

type RuntimeArg<R: Runtime> = QuantizedViewLaunch<'a, Q, NQ, S, F, NF, C, R>

The runtime argument for the kernel.
Source§

type CompilationArg = QuantizedViewCompilationArg<'a, Q, NQ, S, F, NF, C>

Compilation argument.
Source§

fn register<R: Runtime>( arg: Self::RuntimeArg<R>, launcher: &mut KernelLauncher<R>, ) -> Self::CompilationArg

Source§

fn expand( arg: &Self::CompilationArg, builder: &mut KernelBuilder, ) -> <Self as CubeType>::ExpandType

Register a variable during compilation that fill the KernelBuilder.
Source§

impl<'a, Q: Scalar, NQ: Size, S: Scalar, F: Numeric, NF: Size, C: Coordinates + 'static> Vectorized for QuantizedView<'a, Q, NQ, S, F, NF, C>

Source§

impl<'a, Q: Scalar, NQ: Size, S: Scalar, F: Numeric, NF: Size, C: Coordinates + 'static> ViewOperations<Vector<F, NF>, C> for QuantizedView<'a, Q, NQ, S, F, NF, C>

Source§

fn read(&self, pos: C) -> T

Source§

fn read_checked(&self, pos: C) -> T

Source§

fn read_masked(&self, pos: C, value: T) -> T

Source§

fn read_unchecked(&self, pos: C) -> T

Source§

fn as_linear_slice(&self, pos: C, size: C) -> &[T]

Create a slice starting from pos, with size. The layout handles translation into concrete indices.
Source§

fn tensor_map_load(&self, barrier: &Barrier, shared_memory: &mut [T], pos: C)

Execute a TMA load into shared memory, if the underlying storage supports it. Panics if it’s unsupported.
Source§

fn shape(&self) -> C

Source§

fn is_in_bounds(&self, pos: C) -> bool

Source§

fn __expand_read( scope: &Scope, this: &<Self as CubeType>::ExpandType, pos: <C as CubeType>::ExpandType, ) -> <T as CubeType>::ExpandType

Source§

fn __expand_read_checked( scope: &Scope, this: &<Self as CubeType>::ExpandType, pos: <C as CubeType>::ExpandType, ) -> <T as CubeType>::ExpandType

Source§

fn __expand_read_masked( scope: &Scope, this: &<Self as CubeType>::ExpandType, pos: <C as CubeType>::ExpandType, value: <T as CubeType>::ExpandType, ) -> <T as CubeType>::ExpandType

Source§

fn __expand_read_unchecked( scope: &Scope, this: &<Self as CubeType>::ExpandType, pos: <C as CubeType>::ExpandType, ) -> <T as CubeType>::ExpandType

Source§

fn __expand_as_linear_slice<'infer, 'scope>( scope: &'scope Scope, this: &'infer <Self as CubeType>::ExpandType, pos: <C as CubeType>::ExpandType, size: <C as CubeType>::ExpandType, ) -> &'infer <[T] as CubeType>::ExpandType

Source§

fn __expand_tensor_map_load( scope: &Scope, this: &<Self as CubeType>::ExpandType, barrier: &<Barrier as CubeType>::ExpandType, shared_memory: &mut <[T] as CubeType>::ExpandType, pos: <C as CubeType>::ExpandType, )

Source§

fn __expand_shape( scope: &Scope, this: &<Self as CubeType>::ExpandType, ) -> <C as CubeType>::ExpandType

Source§

fn __expand_is_in_bounds( scope: &Scope, this: &<Self as CubeType>::ExpandType, pos: <C as CubeType>::ExpandType, ) -> <bool as CubeType>::ExpandType

Auto Trait Implementations§

§

impl<'a, Q, NQ, S, F, NF, C> Freeze for QuantizedView<'a, Q, NQ, S, F, NF, C>
where <C as CubeType>::ExpandType: Sized, View<'a, Vector<Q, NQ>, C>: Freeze, View<'a, S, C>: Freeze, PhantomData<(F, NF)>: Freeze,

§

impl<'a, Q, NQ, S, F, NF, C> RefUnwindSafe for QuantizedView<'a, Q, NQ, S, F, NF, C>

§

impl<'a, Q, NQ, S, F, NF, C> Send for QuantizedView<'a, Q, NQ, S, F, NF, C>
where <C as CubeType>::ExpandType: Sized, View<'a, Vector<Q, NQ>, C>: Send, View<'a, S, C>: Send, PhantomData<(F, NF)>: Send,

§

impl<'a, Q, NQ, S, F, NF, C> Sync for QuantizedView<'a, Q, NQ, S, F, NF, C>
where <C as CubeType>::ExpandType: Sized, View<'a, Vector<Q, NQ>, C>: Sync, View<'a, S, C>: Sync, PhantomData<(F, NF)>: Sync,

§

impl<'a, Q, NQ, S, F, NF, C> Unpin for QuantizedView<'a, Q, NQ, S, F, NF, C>
where <C as CubeType>::ExpandType: Sized, View<'a, Vector<Q, NQ>, C>: Unpin, View<'a, S, C>: Unpin, PhantomData<(F, NF)>: Unpin,

§

impl<'a, Q, NQ, S, F, NF, C> UnsafeUnpin for QuantizedView<'a, Q, NQ, S, F, NF, C>

§

impl<'a, Q, NQ, S, F, NF, C> UnwindSafe for QuantizedView<'a, Q, NQ, S, F, NF, C>
where <C as CubeType>::ExpandType: Sized, View<'a, Vector<Q, NQ>, C>: UnwindSafe, View<'a, S, C>: UnwindSafe, PhantomData<(F, NF)>: UnwindSafe,

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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

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

Source§

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

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

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

Source§

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

Converts Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.
Source§

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

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

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

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

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

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

impl<T> DowncastSend for T
where T: Any + Send,

Source§

fn into_any_send(self: Box<T>) -> Box<dyn Any + Send>

Converts Box<Trait> (where Trait: DowncastSend) to Box<dyn Any + Send>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

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

Source§

fn into_any_sync(self: Box<T>) -> Box<dyn Any + Sync + Send>

Converts Box<Trait> (where Trait: DowncastSync) to Box<dyn Any + Send + Sync>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

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

Converts Arc<Trait> (where Trait: DowncastSync) to Arc<Any>, which can then be downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

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

Source§

fn __clone_box(&self, _: Private) -> *mut ()

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> IntoComptime for T

Source§

fn comptime(self) -> Self

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

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

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 = !

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

impl<T> TuneInputs for T
where T: Clone + Send + Sync + 'static,

Source§

type At<'a> = T

The concrete input type at lifetime 'a.
Source§

impl<T> ViewLayoutLaunchArg for T
where T: LaunchArg + Send + Sync,

Source§

type RuntimeArg<R: Runtime> = <T as LaunchArg>::RuntimeArg<R>

The runtime argument for the kernel.
Source§

type CompilationArg = <T as LaunchArg>::CompilationArg

Compilation argument.
Source§

fn register<R, B>( arg: <T as ViewLayoutLaunchArg>::RuntimeArg<R>, _buffer: &B, _ty: Type, launcher: &mut KernelLauncher<R>, ) -> <T as ViewLayoutLaunchArg>::CompilationArg
where R: Runtime, B: MemoryArg,

Source§

fn expand( arg: &<T as ViewLayoutLaunchArg>::CompilationArg, _ty: Type, builder: &mut KernelBuilder, ) -> <T as CubeType>::ExpandType

Register an input variable during compilation that fill the KernelBuilder.
Source§

fn expand_output( arg: &Self::CompilationArg, ty: Type, builder: &mut KernelBuilder, ) -> <Self as CubeType>::ExpandType

Register an output variable during compilation that fill the KernelBuilder.