Struct MemoryIO 

pub struct MemoryIO { /* private fields */ }

Implementations

impl MemoryIO

pub fn new() -> Self

Trait Implementations

impl Clock for MemoryIO

fn current_time_monotonic(&self) -> MonotonicInstant

Monotonic time for timeout checking and elapsed time measurement. Cheap on real systems (reads TSC), controllable in simulation.

fn current_time_wall_clock(&self) -> WallClockInstant

Wall-clock time for timestamps (WAL, datetime functions). Controllable in simulation for deterministic behavior.

impl Default for MemoryIO

fn default() -> Self

Returns the “default value” for a type.

impl IO for MemoryIO

fn open_file( &self, path: &str, flags: OpenFlags, _direct: bool, ) -> Result<Arc<dyn File>>

fn remove_file(&self, path: &str) -> Result<()>

fn file_id(&self, path: &str) -> Result<FileId>

Return the file identity for the given path. Default uses OS-level metadata; non-filesystem backends override with synthetic hash-based identity.

fn supports_shared_wal_coordination(&self) -> bool

Whether this IO backend can back host-filesystem shared WAL coordination.

fn open_shared_wal_file(&self, path: &str) -> Result<Arc<dyn File>>

fn step(&self) -> Result<()>

fn cancel(&self, c: &[Completion]) -> Result<()>

fn drain_completions(&self, completions: &[Completion]) -> Result<()>

Drive the IO backend until each completion in completions is finished(). Used after cancel() (so cancelled ops actually release their buffers before the caller returns) and after a single pwrite/pwritev/sync that the caller wants to await synchronously.

fn wait_for_completion(&self, c: Completion) -> Result<()>

fn generate_random_number(&self) -> i64

fn fill_bytes(&self, dest: &mut [u8])

Fill dest with random data.

fn get_memory_io(&self) -> Arc<MemoryIO>

fn register_fixed_buffer(&self, _ptr: NonNull<u8>, _len: usize) -> Result<u32>

fn yield_now(&self)

Yield the current thread to the scheduler. Used for backoff in contended lock acquisition.

fn sleep(&self, duration: Duration)

Sleep for the specified duration. Used for progressive backoff in contended lock acquisition.