Expand description
Non-sleeping synchronization for ArceOS kernel contexts.
Modules§
- irq
- Single-owner notification capabilities for hard IRQ producers.
- membarrier
- Scheduler-mediated memory barriers and address-space registration.
Structs§
- IrqReturn
Preempt Guard - A preemption guard whose final release is an explicit IRQ-return boundary.
- IrqSafe
Mutex - A mutex that disables preemption and local interrupts while held.
- IrqSave
Guard - An RAII guard which saves and disables local interrupts while it is alive.
- Local
Lock - One RT lock and protected value per possible CPU.
- Local
Lock Guard - Local lock ownership; releases the lock before the outer migration pin.
- Migration
Guard - Pins the current task to its CPU without disabling preemption or interrupts.
- PiMutex
Lock Interrupted - Interruption observed while waiting for a PI mutex.
- Preempt
Guard - An RAII guard which disables kernel preemption while it is alive.
- Preempt
IrqSave Guard - An RAII guard which disables preemption and local interrupts.
- RawMutex
- A non-recursive, urgency-ordered PI mutex implementing
lock_api::RawMutex. - RawRw
Semaphore - Raw implementation of a sleeping reader/writer semaphore.
- RawSpin
Lock - A non-sleeping mutual-exclusion lock.
- RawSpin
RwLock - A non-sleeping read-write lock with acquisition-site context policy.
- Semaphore
- A counting semaphore without priority inheritance or task ownership.
- Spin
Lock - Linux PREEMPT_RT spinlock semantics: contention sleeps with saved task state.
- Spin
Lock Guard - A task-bound guard that releases migration exclusion before lock handoff.
- Spin
RwLock - A preemptible RT reader/writer lock with a single-writer PI gate.
- Spin
RwLock Read Guard - Shared RT lock ownership, bound to the acquiring task.
- Spin
RwLock Write Guard - Exclusive RT lock ownership, bound to the acquiring task.
- Wait
Queue - A FIFO of scheduler threads that may sleep in ordinary task context.
- Wait
Queue Wake Token - An exact wake capability for one externally registered task waiter.
Enums§
- Semaphore
Error - Failure to acquire or release a counting semaphore.
- Wait
Queue Registration - Result of publishing an exact waiter into a composite notification source.
- Wait
Queue Wake Outcome - Result of selecting one exact
WaitQueueWakeToken.
Traits§
- Interruptible
Mutex Ext - Linux rtmutex-style interruptible acquisition for a PI mutex.
- Lockdep
Mutex Ext - Adds lockdep subclass acquisition to a sleeping
Mutex.
Functions§
- dump_
lockdep_ trace Non- lockdep - hardirq_
enter - Publishes entry into the runtime’s hard-interrupt lifecycle.
- hardirq_
exit - Publishes exit from the runtime’s hard-interrupt lifecycle.
- set_
lockdep_ trace_ enabled Non- lockdep - wait_
until_ registered - Blocks until
conditionis true while publishing one exact wake token.
Type Aliases§
- IrqMutex
- A non-sleeping mutex whose guard saves and disables local IRQs.
- IrqSafe
Mutex Guard - A guard returned by
IrqSafeMutex::lock. - Lock
Subclass Non- lockdep - Mutex
- A safe PI mutex using
RawMutex. - Mutex
Guard - A non-send guard returned by
Mutex. - NoPreempt
Mutex - A mutex that disables preemption while held.
- NoPreempt
Mutex Guard - A guard returned by
NoPreemptMutex::lock. - RawIrq
Save Mutex - A raw spin lock that disables kernel preemption and local IRQs while held,
mirroring
RawSpinLock::lock_irqsavebut exposed as alock_api::RawMutexfor use with foreign generic code. - RawSpin
Lock Guard - A guard returned by
RawSpinLock::lock. - RawSpin
Lock IrqSave Guard - A guard returned by
RawSpinLock::lock_irqsave. - RawSpin
Lock Unpinned Guard - A guard returned by
RawSpinLock::lock_raw. - RawSpin
RwLock IrqSave Read Guard - An IRQ-save read guard.
- RawSpin
RwLock IrqSave Write Guard - An IRQ-save write guard.
- RawSpin
RwLock Read Guard - A read guard returned by
RawSpinRwLock::read. - RawSpin
RwLock Unpinned Read Guard - A raw read guard.
- RawSpin
RwLock Unpinned Write Guard - A raw write guard.
- RawSpin
RwLock Write Guard - A write guard returned by
RawSpinRwLock::write. - RwSemaphore
- A sleeping reader/writer semaphore; holding it does not pin the CPU.
- RwSemaphore
Read Guard - A shared, task-bound semaphore guard.
- RwSemaphore
Write Guard - An exclusive, task-bound semaphore guard.