Crate starnix_sync

Source
Expand description

Synchronization objects used by Starnix

Re-exports§

Macros§

  • lock_level
  • lock_ordering
    This macro takes a definition of the lock ordering graph in the form of lock_ordering!{ Unlocked -> A, A -> B, Unlocked -> C, }

Structs§

  • AtomicMonotonicInstant
    An atomic wrapper around zx::MonotonicInstant.
  • EventWaitGuard
    A guard object to enforce that clients call begin_wait before block_until.
  • InterruptibleEvent
    A blocking object that can either be notified normally or interrupted
  • Locked
    Enforcement mechanism for lock ordering.
  • OrderedMutex
    A wrapper for mutex that requires a Locked context to acquire. This context must be of a level that precedes L in the lock ordering graph where L is a level associated with this mutex.
  • OrderedRwLock
    A wrapper for an RwLock that requires a Locked context to acquire. This context must be of a level that precedes L in the lock ordering graph where L is a level associated with this RwLock.
  • PortEvent
    A wrapper around a zx::Port that optimizes for the case where events are signaled within a process.

Enums§

Traits§

  • LockAfter
    Marker trait that indicates that Self can be locked after A.
  • LockBefore
    Marker trait that indicates that Self is an ancestor of X.
  • LockEqualOrBefore
    Marker trait that indicates that Self is X or an ancestor of X.
  • LockFor
    Describes how to apply a lock type to the implementing type.
  • RwLockFor
    Describes how to acquire reader and writer locks to the implementing type.

Functions§

  • lock_both
    Lock two OrderedMutex of the same level in the consistent order. Returns both guards and a new locked context.
  • ordered_lock
    Lock m1 and m2 in a consistent order (using the memory address of m1 and m2 and returns the associated guard. This ensure that ordered_lock(m1, m2) and ordered_lock(m2, m1) will not deadlock.

Type Aliases§