Struct StackOverflowReplay 

pub struct StackOverflowReplay { /* private fields */ }

Implements a shim for stack overflow operations, in which all overflow values and addresses during a given fragment are pre-recorded by the fast processor and replayed by the main trace fragment generators.

This is used to simulate stack overflow functionality in parallel trace generation without needing to maintain the actual overflow table. All overflow operations are recorded during fast execution and then replayed during parallel trace generation.

The shim records overflow values (from pop operations) and overflow addresses (representing the clock cycle of the last overflow update) and provides replay methods that return the pre-recorded values. This works naturally since the fast processor has exactly the same access patterns as the main trace generators.

Implementations

impl StackOverflowReplay

pub fn new() -> Self

Creates a new StackOverflowReplay with empty operation vectors

pub fn record_pop_overflow(&mut self, value: Felt, new_overflow_addr: Felt)

Records the value returned by a pop_overflow operation, along with the overflow address stored in the overflow table after the pop. That is, new_overflow_addr represents the clock cycle at which the value before value was added to the overflow table. See the docstring for the overflow_values field for more information.

This must only be called if there is an actual value in the overflow table to pop; that is, don’t call if the stack depth is 16.

pub fn record_restore_context_overflow_addr( &mut self, stack_depth: usize, addr: Felt, )

Records the overflow address when restoring a context

pub fn replay_pop_overflow(&mut self) -> (Felt, Felt)

Replays a pop_overflow operation, returning the previously recorded value and new_overflow_addr.

This must only be called if there is an actual value in the overflow table to pop; that is, don’t call if the stack depth is 16.

See Self::record_pop_overflow for more details.

pub fn replay_restore_context_overflow_addr(&mut self) -> (usize, Felt)

Replays the overflow address when restoring a context

Trait Implementations

impl Debug for StackOverflowReplay

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

Formats the value using the given formatter.

impl Default for StackOverflowReplay

fn default() -> Self

Returns the “default value” for a type.