Struct Taint 

pub struct Taint { /* private fields */ }

The tainted regions of one allocation, refcounted into the device’s ErrorGraph.

Implementations

impl Taint

pub fn taint( &mut self, range: Range<u64>, failure: FailureId, failures: &mut ErrorGraph, )

Point range at failure, releasing whatever claim other failures held on those bytes: the work that failed is their last writer now, and whatever the previous writer did or did not do stops mattering.

Tainting is set, never add: re-tainting bytes this failure already claims changes nothing, so a loop failing the same way every iteration cannot grow the claim or pin the node harder. An empty range claims nothing.

pub fn written(&mut self, range: Range<u64>, failures: &mut ErrorGraph)

The bytes in range have a writer again: release every claim on them, and only on them — a write covering part of a buffer says nothing about the rest, which keeps carrying the failure that left it stale.

pub fn failure(&self, range: &Range<u64>) -> Option<FailureId>

The failure claiming any byte of range, if one does.

A range overlapping several failures names one of them: the read fails either way, and the caller dedupes by id across a whole read anyway.

pub fn clear(&mut self, failures: &mut ErrorGraph)

Release every claim, for an allocation that stops existing — the slice is rebound, coalesced away, tombstoned or swept — since a tag must not outlive its carrier.

pub fn is_clean(&self) -> bool

Whether nothing claims any byte.

Trait Implementations

impl Debug for Taint

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

Formats the value using the given formatter.

impl Default for Taint

fn default() -> Self

Returns the “default value” for a type.