Enum EdgeKind 

pub enum EdgeKind {
    FutexWake,
    FutexRequeue,
    Create,
    ExitJoin,
    ChildExit,
    Signal,
}

Kinds of synchronization edge (design section 7). Data edges through pipes and sockets are derived by the reader from syscall results; they are not recorded.

Variants

FutexWake

A futex wake (FUTEX_WAKE, FUTEX_WAKE_BITSET, FUTEX_WAKE_OP, the woken part of a requeue) to the woken waiter’s wait return.

FutexRequeue

A requeue that moved a waiter to another word, to that waiter’s eventual wait return.

Create

A thread or process creation to the child’s first event.

ExitJoin

A thread’s exit, through its clear-child-tid wake (or the wake of a robust futex it held), to the woken waiter’s return, from the exiting thread’s last event.

ChildExit

A child process’s exit, from its last event, to the parent’s wait4 or waitid return.

Signal

A signal send (kill, tkill, tgkill, rt_sigqueueinfo, rt_tgsigqueueinfo) or a POSIX timer’s arm (timer_settime), from its prehook, to the delivery it caused.

Trait Implementations

impl Clone for EdgeKind

fn clone(&self) -> EdgeKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EdgeKind

impl Debug for EdgeKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EdgeKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for EdgeKind

impl Hash for EdgeKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for EdgeKind

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for EdgeKind

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 EdgeKind