Enum SimFaultEvent 

pub enum SimFaultEvent {
    ProcessGracefulShutdown {
        ip: String,
        grace_period_ms: u64,
    },
    ProcessForceKill {
        ip: String,
    },
    ProcessRestart {
        ip: String,
    },
    PartitionCreated {
        from: String,
        to: String,
    },
    PartitionHealed {
        from: String,
        to: String,
    },
    ConnectionCut {
        connection_id: u64,
        duration_ms: u64,
    },
    CutRestored {
        connection_id: u64,
    },
    HalfOpenError {
        connection_id: u64,
    },
    SendPartitionCreated {
        ip: String,
    },
    RecvPartitionCreated {
        ip: String,
    },
    RandomClose {
        connection_id: u64,
    },
    PeerCrash {
        connection_id: u64,
    },
    BitFlip {
        connection_id: u64,
        flip_count: usize,
    },
    StorageReadFault {
        ip: String,
        file_id: u64,
    },
    StorageWriteFault {
        ip: String,
        file_id: u64,
        kind: String,
    },
    StorageSyncFault {
        ip: String,
        file_id: u64,
    },
    StorageCrash {
        ip: String,
    },
    StorageWipe {
        ip: String,
    },
}

Fault events automatically emitted by the simulator.

Read via state.timeline::<SimFaultEvent>(SIM_FAULT_TIMELINE) in invariants.

Variants

ProcessGracefulShutdown

Process graceful shutdown initiated.

Fields

ip: String

IP address of the process.

grace_period_ms: u64

Grace period before force-kill, in milliseconds.

ProcessForceKill

Process force-killed.

Fields

ip: String

IP address of the process.

ProcessRestart

Process restarted after recovery delay.

Fields

ip: String

IP address of the process.

PartitionCreated

Bidirectional network partition created between two IPs.

Fields

from: String

Source IP.

to: String

Destination IP.

PartitionHealed

Network partition healed between two IPs.

Fields

from: String

Source IP.

to: String

Destination IP.

ConnectionCut

Connection temporarily cut.

Fields

connection_id: u64

The connection that was cut.

duration_ms: u64

Duration of the cut in milliseconds.

CutRestored

Temporarily cut connection restored.

Fields

connection_id: u64

The connection that was restored.

HalfOpenError

Half-open connection error triggered.

Fields

connection_id: u64

The connection now returning errors.

SendPartitionCreated

Send partition created (blocks outgoing from an IP).

Fields

ip: String

The partitioned IP.

RecvPartitionCreated

Receive partition created (blocks incoming to an IP).

Fields

ip: String

The partitioned IP.

RandomClose

Connection randomly closed by chaos.

Fields

connection_id: u64

The connection that was closed.

PeerCrash

Peer crash simulated (half-open connection created).

Fields

connection_id: u64

The connection now in half-open state.

BitFlip

Bit flip corruption injected during data delivery.

Fields

connection_id: u64

The connection carrying corrupted data.

flip_count: usize

Number of bits flipped.

StorageReadFault

Read fault injected (sector marked as faulted).

Fields

ip: String

IP of the process owning the file.

file_id: u64

File identifier.

StorageWriteFault

Write fault injected (phantom, misdirected, or corruption).

Fields

ip: String

IP of the process owning the file.

file_id: u64

File identifier.

kind: String

Kind of write fault: “phantom”, “misdirected”, or “corruption”.

StorageSyncFault

Sync failure injected.

Fields

ip: String

IP of the process owning the file.

file_id: u64

File identifier.

StorageCrash

Storage crash simulated for a process.

Fields

ip: String

IP of the crashed process.

StorageWipe

All storage wiped for a process (CrashAndWipe reboot).

Fields

ip: String

IP of the wiped process.

Trait Implementations

impl Clone for SimFaultEvent

fn clone(&self) -> SimFaultEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimFaultEvent

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

Formats the value using the given formatter.