Skip to main content

PageSlab

Struct PageSlab 

Source
pub struct PageSlab {
    pub size: u64,
    pub pages: Vec<PageSlot>,
}
Expand description

The dense immutable backing of a DataCap: a custom runtime-sized SSZ vector of pages.

pages[i] is absolute page i; trailing PageSlot::Empty pages may be omitted (so pages.len() <= page_count), and an out-of-range index reads as Empty (zero) — the merkle pads them back via the zero-hash table. The hash_tree_root is merkleize(page_roots, page_count) at runtime depth.

Fields§

§size: u64

Logical byte length; always a PAGE_SIZE multiple. page_count = size / PAGE_SIZE.

§pages: Vec<PageSlot>

Dense page storage indexed by absolute page (trailing Empty trimmed).

Implementations§

Source§

impl PageSlab

Source

pub fn empty() -> Self

An empty slab (size 0, no pages).

Source

pub fn page_count(&self) -> usize

Number of logical pages (size / PAGE_SIZE).

Source

pub fn page(&self, i: usize) -> &PageSlot

Borrow page i (absolute). Out-of-range / trimmed-tail reads as PageSlot::Empty.

Source

pub fn from_sparse_pages<'a>( size: u64, pages: impl IntoIterator<Item = (u32, &'a [u8])>, ) -> Self

Build a slab of logical size (a PAGE_SIZE multiple) from sparse named pages: pages yields (page_index, content) for the non-zero pages (contentPAGE_SIZE); every unnamed page is the canonical zero page. Reuses put_page_idx so the result is the same canonical form (all-zero → Empty, trailing Empty trimmed) a contiguous from_bytes_sized build would produce — i.e. byte- and hash-identical for equivalent logical content. The decode target for crate::image::DataDesc.

Trait Implementations§

Source§

impl Archive for PageSlab
where u64: Archive, Vec<PageSlot>: Archive,

Source§

const COPY_OPTIMIZATION: CopyOptimization<Self>

An optimization flag that allows the bytes of this type to be copied directly to a writer instead of calling serialize. Read more
Source§

type Archived = ArchivedPageSlab

The archived representation of this type. Read more
Source§

type Resolver = PageSlabResolver

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.
Source§

fn resolve(&self, resolver: Self::Resolver, out: Place<Self::Archived>)

Creates the archived version of this value at the given position and writes it to the given output. Read more
Source§

impl Clone for PageSlab

Source§

fn clone(&self) -> PageSlab

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 PageSlab

Source§

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

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

impl Default for PageSlab

Source§

fn default() -> PageSlab

Returns the “default value” for a type. Read more
Source§

impl<__D: Fallible + ?Sized> Deserialize<PageSlab, __D> for Archived<PageSlab>
where u64: Archive, <u64 as Archive>::Archived: Deserialize<u64, __D>, Vec<PageSlot>: Archive, <Vec<PageSlot> as Archive>::Archived: Deserialize<Vec<PageSlot>, __D>,

Source§

fn deserialize( &self, deserializer: &mut __D, ) -> Result<PageSlab, <__D as Fallible>::Error>

Deserializes using the given deserializer
Source§

impl HashTreeRoot for PageSlab

Source§

fn hash_tree_root<D: Digest<OutputSize = U32>>(&self) -> [u8; 32]

The pages field root: the flat size-scaled page merkle at exact depth ceil_log2(page_count). Empty/absent pages contribute [0;32], folded by the merkle zero-hash table.

Source§

impl<__S: Fallible + ?Sized> Serialize<__S> for PageSlab
where u64: Serialize<__S>, Vec<PageSlot>: Serialize<__S>,

Source§

fn serialize( &self, serializer: &mut __S, ) -> Result<<Self as Archive>::Resolver, <__S as Fallible>::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.

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
§

impl<T> ArchivePointee for T

§

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.
§

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.
§

impl<T> ArchiveUnsized for T
where T: Archive,

§

type Archived = <T as Archive>::Archived

The archived counterpart of this type. Unlike Archive, it may be unsized. Read more
§

fn archived_metadata( &self, ) -> <<T as ArchiveUnsized>::Archived as ArchivePointee>::ArchivedMetadata

Creates the archived version of the metadata for this value.
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
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.

§

impl<T> LayoutRaw for T

§

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.
§

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

§

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more
§

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.
§

impl<T> Pointee for T

§

type Metadata = ()

The metadata type for pointers and references to this type.
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
§

impl<T, S> SerializeUnsized<S> for T
where T: Serialize<S>, S: Fallible + Writer + ?Sized,

§

fn serialize_unsized( &self, serializer: &mut S, ) -> Result<usize, <S as Fallible>::Error>

Writes the object and returns the position of the archived type.
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.