pub struct MemoryController<F> {
pub memory_bus: MemoryBus,
pub interface_chip: MemoryInterface<F>,
pub range_checker: SharedVariableRangeCheckerChip,
pub access_adapters: AccessAdapterInventory<F>,
/* private fields */
}
Fields§
§memory_bus: MemoryBus
§interface_chip: MemoryInterface<F>
§range_checker: SharedVariableRangeCheckerChip
§access_adapters: AccessAdapterInventory<F>
Implementations§
Source§impl<F> MemoryController<F>
impl<F> MemoryController<F>
pub fn mem_config(&self) -> &MemoryConfig
Source§impl<F: PrimeField32> MemoryController<F>
impl<F: PrimeField32> MemoryController<F>
pub fn continuation_enabled(&self) -> bool
pub fn with_volatile_memory( memory_bus: MemoryBus, mem_config: MemoryConfig, range_checker: SharedVariableRangeCheckerChip, ) -> Self
Sourcepub fn with_persistent_memory(
memory_bus: MemoryBus,
mem_config: MemoryConfig,
range_checker: SharedVariableRangeCheckerChip,
merkle_bus: PermutationCheckBus,
compression_bus: PermutationCheckBus,
) -> Self
pub fn with_persistent_memory( memory_bus: MemoryBus, mem_config: MemoryConfig, range_checker: SharedVariableRangeCheckerChip, merkle_bus: PermutationCheckBus, compression_bus: PermutationCheckBus, ) -> Self
Creates a new memory controller for persistent memory.
Call set_initial_memory
to set the initial memory state after construction.
pub fn memory_image(&self) -> &MemoryImage<F>
pub fn set_override_trace_heights( &mut self, overridden_heights: MemoryTraceHeights, )
pub fn set_initial_memory(&mut self, memory: MemoryImage<F>)
pub fn memory_bridge(&self) -> MemoryBridge
pub fn read_cell(&mut self, address_space: F, pointer: F) -> (RecordId, F)
pub fn read<const N: usize>( &mut self, address_space: F, pointer: F, ) -> (RecordId, [F; N])
Sourcepub fn unsafe_read_cell(&self, addr_space: F, ptr: F) -> F
pub fn unsafe_read_cell(&self, addr_space: F, ptr: F) -> F
Reads a word directly from memory without updating internal state.
Any value returned is unconstrained.
Sourcepub fn unsafe_read<const N: usize>(&self, addr_space: F, ptr: F) -> [F; N]
pub fn unsafe_read<const N: usize>(&self, addr_space: F, ptr: F) -> [F; N]
Reads a word directly from memory without updating internal state.
Any value returned is unconstrained.
Sourcepub fn write_cell(
&mut self,
address_space: F,
pointer: F,
data: F,
) -> (RecordId, F)
pub fn write_cell( &mut self, address_space: F, pointer: F, data: F, ) -> (RecordId, F)
Writes data
to the given cell.
Returns the RecordId
and previous data.
pub fn write<const N: usize>( &mut self, address_space: F, pointer: F, data: [F; N], ) -> (RecordId, [F; N])
pub fn aux_cols_factory(&self) -> MemoryAuxColsFactory<F>
pub fn increment_timestamp(&mut self)
pub fn increment_timestamp_by(&mut self, change: u32)
pub fn timestamp(&self) -> u32
Sourcepub fn replay_access(
entry: MemoryLogEntry<F>,
offline_memory: &mut OfflineMemory<F>,
interface_chip: &mut MemoryInterface<F>,
adapter_records: &mut AccessAdapterInventory<F>,
)
pub fn replay_access( entry: MemoryLogEntry<F>, offline_memory: &mut OfflineMemory<F>, interface_chip: &mut MemoryInterface<F>, adapter_records: &mut AccessAdapterInventory<F>, )
Low-level API to replay a single memory access log entry and populate the OfflineMemory,
MemoryInterface, and AccessAdapterInventory
.
Sourcepub fn finalize<H>(&mut self, hasher: Option<&mut H>)
pub fn finalize<H>(&mut self, hasher: Option<&mut H>)
Returns the final memory state if persistent.
pub fn generate_air_proof_inputs<SC: StarkGenericConfig>(
self,
) -> Vec<AirProofInput<SC>>where
Domain<SC>: PolynomialSpace<Val = F>,
pub fn airs<SC: StarkGenericConfig>(&self) -> Vec<AirRef<SC>> ⓘwhere
Domain<SC>: PolynomialSpace<Val = F>,
pub fn air_names(&self) -> Vec<String>
pub fn current_trace_heights(&self) -> Vec<usize>
pub fn get_memory_trace_heights(&self) -> MemoryTraceHeights
pub fn get_dummy_memory_trace_heights(&self) -> MemoryTraceHeights
pub fn current_trace_cells(&self) -> Vec<usize>
Sourcepub fn offline_memory(&self) -> Arc<Mutex<OfflineMemory<F>>>
pub fn offline_memory(&self) -> Arc<Mutex<OfflineMemory<F>>>
Returns a reference to the offline memory.
Until finalize
is called, the OfflineMemory
does not contain useful state, and should
therefore not be used by any chip during execution. However, to obtain a reference to the
offline memory that will be useful in trace generation, a chip can call offline_memory()
and store the returned reference for later use.
pub fn get_memory_logs(&self) -> &Vec<MemoryLogEntry<F>>
pub fn set_memory_logs(&mut self, logs: Vec<MemoryLogEntry<F>>)
pub fn take_memory_logs(&mut self) -> Vec<MemoryLogEntry<F>>
Auto Trait Implementations§
impl<F> Freeze for MemoryController<F>where
F: Freeze,
impl<F> RefUnwindSafe for MemoryController<F>where
F: RefUnwindSafe,
impl<F> Send for MemoryController<F>where
F: Send,
impl<F> Sync for MemoryController<F>
impl<F> Unpin for MemoryController<F>where
F: Unpin,
impl<F> UnwindSafe for MemoryController<F>where
F: UnwindSafe + RefUnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self
to use its Binary
implementation when Debug
-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self
to use its Display
implementation when
Debug
-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self
to use its LowerExp
implementation when
Debug
-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self
to use its LowerHex
implementation when
Debug
-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self
to use its Octal
implementation when Debug
-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self
to use its Pointer
implementation when
Debug
-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self
to use its UpperExp
implementation when
Debug
-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self
to use its UpperHex
implementation when
Debug
-formatted.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self
, then passes self.as_ref()
into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self
, then passes self.as_mut()
into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self
, then passes self.deref()
into the pipe function.Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B>
of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B>
of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R>
view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R>
view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target
of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target
of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap()
only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow()
only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref()
only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref()
only in debug builds, and is erased in release
builds.