Struct SnapshotStorage 

pub struct SnapshotStorage {
    pub snapshots: Vec<Snapshot>,
    pub top_snapshots: Vec<TopSnapshot>,
    pub const_refs: Vec<u64>,
    pub const_bigints: Vec<i64>,
    pub const_floats: Vec<f64>,
    /* private fields */
}

Snapshot storage for a trace. opencoder.py: Trace._snapshot_data, _snapshot_array_data

gcreftracer.py parity: const_refs entries are GC references stored as raw u64. They are rooted on the shadow stack so GC can update them when objects move. refresh_from_gc() copies updated values back.

Fields

snapshots: Vec<Snapshot>

All snapshots in this trace, indexed by position.

top_snapshots: Vec<TopSnapshot>

Top snapshots corresponding to guard operations.

const_refs: Vec<u64>

Constant pool: GC references (pointers). opencoder.py: Trace._refs

const_bigints: Vec<i64>

Constant pool: big integers (>28-bit).

const_floats: Vec<f64>

Constant pool: float values.

Implementations

impl SnapshotStorage

pub fn new() -> Self

pub fn add_snapshot(&mut self, snapshot: Snapshot) -> usize

Add a snapshot and return its index.

pub fn add_top_snapshot(&mut self, top: TopSnapshot) -> usize

Add a top snapshot (for a guard).

pub fn add_const_ref(&mut self, ptr: u64) -> u32

Add a GC reference constant and return its pool index. gcreftracer.py parity: non-null refs are rooted on shadow stack.

pub fn add_const_bigint(&mut self, value: i64) -> u32

Add a big integer constant and return its pool index.

pub fn add_const_float(&mut self, value: f64) -> u32

Add a float constant and return its pool index.

pub fn num_snapshots(&self) -> usize

Total number of snapshots.

pub fn refresh_from_gc(&mut self)

Update const_refs from shadow stack — GC may have moved objects. gcreftracer.py:gcrefs_trace parity.

Trait Implementations

impl Debug for SnapshotStorage

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

Formats the value using the given formatter.

impl Default for SnapshotStorage

fn default() -> Self

Returns the “default value” for a type.

impl Drop for SnapshotStorage

fn drop(&mut self)

Executes the destructor for this type.