Module meta 

Metadata management of frames.

You can picture a globally shared, static, gigantic array of metadata initialized for each frame. Each entry in this array holds the metadata for a single frame. There would be a dedicated small “heap” space in each slot for dynamic metadata. You can store anything as the metadata of a frame as long as it’s Sync.

Implementation

The slots are placed in the metadata pages mapped to a certain virtual address in the kernel space. So finding the metadata of a frame often comes with no costs since the translation is a simple arithmetic operation.

Modules

mapping

Structs

MetaPageMeta

The metadata of frames that holds metadata of frames.

MetaSlot

Enums

GetFrameError

The error type for getting the frame from a physical address.

Constants

REF_COUNT_MAX

REF_COUNT_UNIQUE

REF_COUNT_UNUSED

Traits

AnyFrameMeta

Space-holder of the AnyFrameMeta virtual table.

Functions

get_slot_spec

has_safe_slot

lemma_meta_slot_size

meta_slot_size

size_of_meta_slot