Struct Resolver 

pub struct Resolver { /* private fields */ }

A resolver over RESPONSE-SPACE.md.

See the module documentation for what drives resolution and for the ordering requirement registering one imposes.

Implementations

impl Resolver

pub fn new(seed: u64) -> Self

A resolver at the widest point in the space, from an explicit seed.

pub fn with_config(seed: u64, config: ResolverConfig) -> Self

A resolver exercising exactly the permissions config allows.

pub fn seed(&self) -> u64

The seed this resolver is replaying.

pub fn watch(&self) -> ResolverWatch

A live view of what this resolution has done so far.

pub fn seed_from_env() -> u64

The seed for this run: pinned from SEED_VAR when set, otherwise derived from the clock so successive runs explore different points.

Panics

If SEED_VAR is set to something that is neither decimal nor 0x hex. A seed that silently fell back to the clock would make the variable look like it worked while the run it was pinning drifted.

pub fn replay_hint(&self) -> String

The command that replays this resolver’s choices.

Print it from any test that registers one. It names only this axis: a test that also draws on another seeded source announces that source too, because a partial replay is the failure SEED_VAR documents.

pub fn register<T, X, K>(self, ring: &IoRing<T, X, K>) -> ResolverWatch

Register this resolver for ring, returning a live view of what it does. It answers the ring’s calls on whatever thread makes them until the ring drops, after the ring’s rundown (D-85).

Register straight after creating the ring, before its first operation; see the module documentation.

Panics

If ring already has a responder registered.

Trait Implementations

impl Debug for Resolver

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

Formats the value using the given formatter.

impl Responses for Resolver

unsafe fn submit( &mut self, _ring: *mut c_void, wait_operations: u32, _milliseconds: u32, submitted: *mut u32, ) -> HRESULT

SubmitIoRing.

unsafe fn pop(&mut self, _ring: *mut c_void, cqe: *mut IORING_CQE) -> HRESULT

PopIoRingCompletion.

unsafe fn build_read( &mut self, _ring: *mut c_void, _file: IORING_HANDLE_REF, _buffer: IORING_BUFFER_REF, bytes: u32, _offset: u64, user_data: usize, flags: i32, ) -> HRESULT

BuildIoRingReadFile.

unsafe fn build_write( &mut self, _ring: *mut c_void, _file: IORING_HANDLE_REF, _buffer: IORING_BUFFER_REF, bytes: u32, _offset: u64, _caching: i32, user_data: usize, flags: i32, ) -> HRESULT

BuildIoRingWriteFile.

unsafe fn build_flush( &mut self, _ring: *mut c_void, _file: IORING_HANDLE_REF, _mode: FILE_FLUSH_MODE, user_data: usize, flags: i32, ) -> HRESULT

BuildIoRingFlushFile.

unsafe fn build_cancel( &mut self, _ring: *mut c_void, _file: IORING_HANDLE_REF, _cancel_user_data: usize, user_data: usize, ) -> HRESULT

BuildIoRingCancelRequest.

unsafe fn build_register_files( &mut self, _ring: *mut c_void, _count: u32, _handles: *const *mut c_void, user_data: usize, ) -> HRESULT

BuildIoRingRegisterFileHandles.

unsafe fn build_register_buffers( &mut self, _ring: *mut c_void, _count: u32, _buffers: *const IORING_BUFFER_INFO, user_data: usize, ) -> HRESULT

BuildIoRingRegisterBuffers.

unsafe fn set_completion_event( &mut self, _ring: *mut c_void, event: *mut c_void, ) -> HRESULT

SetIoRingCompletionEvent.