Module online 

Structs

AccessMetadata

AddressMap

Map from address space to linear memory. The underlying memory is typeless, stored as raw bytes, but usage implicitly assumes that each address space has memory cells of a fixed type (e.g., u8, F). We do not use a typemap for performance reasons, and it is up to the user to enforce types. Needless to say, this is a very unsafe API.

GuestMemory

API for guest memory conforming to OpenVM ISA

MmapMemory

Mmap-backed linear memory. OS-memory pages are paged in on-demand and zero-initialized.

PagedVec

TracingMemory

Online memory that stores additional information for trace generation purposes. In particular, keeps track of timestamp.

Constants

CELL_STRIDE

INITIAL_TIMESTAMP

PAGE_SIZE

Default mmap page size. Change this if using THB.

Traits

LinearMemory

API for any memory implementation that allocates a contiguous region of memory.

Type Aliases

Address

(address_space, pointer)

MemoryBackend