Expand description
CXC exotic pointer types.
Each pointer type declares a K_* direction signature via
subetha_core::AxisMask, so CXC’s MMF dispatcher can route
workloads to the right pointer kind by signature containment.
umbra_pointer::UmbraPointer<T>for content-prefixbloom_pointer::BloomPointer<T>for probabilistic set summarykstep_pointer::KStepPointer<T>for log2-strided iterationk_tower_pointer::KTower2<T>/k_tower_pointer::KTower3<T>for multi-segment address spaceself_desc_pointer::SelfDescPointer<T>for type discriminantversioned_pointer::VersionedPointer<T>/versioned_pointer::HlcVersionedPointer<T>for version metadatacardinality_pointer::CardinalityPointer<T>for log2 cardinalityadaptive_cheri_pointer::ReadableCapability<T>/adaptive_cheri_pointer::WritableCapability<T>for bounds-checked pointers on capability-aware silicon (CHERI / ARM Morello)adaptive_rasp_batch::RaspBatch<T>for SIMD-batched bounds + permission checks on x86 (the x86 sibling to CHERI; SoA layout + AVX2 / AVX-512F dispatch)
§Stable-Rust portable
No nightly features. The pointer types are pure-Rust structs
over *const T / *mut T with content metadata.
Modules§
- adaptive_
cheri_ pointer AdaptiveCheriPointer<T>- CHERI-style capability pointer with software emulation for portability.- adaptive_
rasp_ batch RaspBatch<T>- structure-of-arrays (SoA) storage for bounds- checked pointers, designed for high-throughput SIMD batch validation.- bloom_
pointer BloomPointer<T>- pointer carrying a Bloom-filter summary of its target’s contents.- cardinality_
pointer CardinalityPointer<T>- pointer with the cardinality of its target’s reachable set encoded in stolen high bits.- k_
tower_ pointer KTowerPointer<T>- recursive pow2-of-pow2 address decomposition.- kstep_
pointer KStepPointer<T>- pointer with first-class stride encoding.- self_
desc_ pointer SelfDescPointer<T>- pointer carrying type ID + layout shape in stolen high bits.- umbra_
pointer UmbraPointer<T>- generic content-prefixed pointer.- versioned_
pointer - Versioned/MVCC pointers - time-travel addressing for snapshot isolation, immutable trees, and distributed clocks.