Crate virtio_accel_split_queue 

Deterministic in-memory model of the protocol 1.0 split-virtqueue profile.

The model owns descriptor, available-ring, and used-ring state without guest addresses or a concrete transport library. It is deliberately single-owner and contains no lock or executor.

Structs

Descriptor

One address-free split-ring descriptor used by the in-memory model.

DriverChain

Driver-owned descriptor chain and buffers.

ReclaimedChains

Allocation-free iterator over chains reclaimed by a driver reset.

RingCounters

Observable split-ring counters for deterministic wraparound tests.

SplitDeviceChain

Non-copyable device ownership token for one available descriptor chain.

SplitQueue

Single-owner, bounded split-virtqueue reference model.

SplitSink

Device-writable concatenation of a valid chain’s writable descriptors.

SplitSource

Device-readable concatenation of a valid chain’s readable descriptors.

Enums

ChainBuildError

Failure while constructing driver-owned chain storage.

SplitQueueError

Concrete failure in the in-memory split-ring model.

SplitQueueInitError

Failure while constructing a split queue.

Constants

VIRTQ_DESC_F_INDIRECT

Descriptor points at an indirect descriptor table.

VIRTQ_DESC_F_NEXT

Descriptor continues through its next field.

VIRTQ_DESC_F_WRITE

Descriptor bytes are device-writable rather than device-readable.