Enum DeviceResidualEvidence 

pub enum DeviceResidualEvidence {
    Freed {
        machine: String,
        device: u32,
    },
    ResidualHeld {
        machine: String,
        device: u32,
        bytes: u64,
    },
    ProbeUnavailable {
        machine: String,
        device: u32,
        reason: String,
    },
}

The post-cleanup probe outcome for one assigned device ([[RFC-0005:C-EVIDENCE]]): a dead framework can leave compute memory held after its process group is reaped, so a verified cleanup probes each assigned device and records what it found — freed, still held (with the observed bytes), or undeterminable on a machine without the probe tool (which must not fail the cleanup).

Variants

Freed

Fields

machine: String

device: u32

ResidualHeld

Fields

machine: String

device: u32

bytes: u64

ProbeUnavailable

Fields

machine: String

device: u32

reason: String

Trait Implementations

impl Clone for DeviceResidualEvidence

fn clone(&self) -> DeviceResidualEvidence

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DeviceResidualEvidence

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DeviceResidualEvidence

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for DeviceResidualEvidence

impl PartialEq for DeviceResidualEvidence

fn eq(&self, other: &DeviceResidualEvidence) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for DeviceResidualEvidence

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for DeviceResidualEvidence