Enum Ipv6DadState

pub enum Ipv6DadState<BT: DadBindingsTypes> {
    Assigned,
    Tentative {
        dad_transmits_remaining: Option<NonZeroU16>,
        timer: BT::Timer,
        nonces: NonceCollection,
        added_extra_transmits_after_detecting_looped_back_ns: bool,
    },
    Uninitialized,
}

The various states DAD may be in for an address.

Variants

Assigned

The address is assigned to an interface and can be considered bound to it (all packets destined to the address will be accepted).

Tentative

The address is considered unassigned to an interface for normal operations, but has the intention of being assigned in the future (e.g. once NDP’s Duplicate Address Detection is completed).

When dad_transmits_remaining is None, then no more DAD messages need to be sent and DAD may be resolved.

Fields

dad_transmits_remaining: Option<NonZeroU16>

timer: BT::Timer

nonces: NonceCollection

added_extra_transmits_after_detecting_looped_back_ns: bool

Initialized to false, and exists as a sentinel so that extra transmits are added only after the first looped-back probe is detected.

Uninitialized

The address has not yet been initialized.

Trait Implementations

impl<BT: DadBindingsTypes> Debug for Ipv6DadState<BT>

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

Formats the value using the given formatter.

impl<BT: IpDeviceStateBindingsTypes> OrderedLockAccess<Ipv6DadState<BT>> for Ipv6AddressEntry<BT>

type Lock = Mutex<Ipv6DadState<BT>>

The lock type that observes ordering.

fn ordered_lock_access(&self) -> OrderedLockRef<'_, Self::Lock>

Returns a borrow to the order-aware lock.