ax-sync

OS-independent synchronization interfaces for TGOSKits kernels and reusable components.

Primitives

• SpinLock<T> and SpinRwLock<T> select execution-context policy at each acquisition: ordinary methods disable preemption, *_irqsave methods also save and disable local interrupts, and unsafe *_raw methods leave context management to the caller.
• Mutex<T> is always a non-poisoning sleepable mutex. It is available only with the sleep feature and never aliases a spin lock.
• PreemptGuard, IrqSaveGuard, and PreemptIrqSaveGuard provide explicit critical-section guards.
• Lock metadata is fixed-layout wrapper state. The provider owns the single lock-class graph, held-lock stack, ordering checks, and diagnostics.

The crate declares runtime capabilities through ax-crate-interface. ArceOS implements the provider in ax-runtime, which forwards every complete transaction to the algorithms owned by ax-task::sync. Host tests must link a test runtime provider through the same boundary; this crate contains no host lock engine or fallback implementation.

Features

• sleep: enable the sleepable mutex interface.
• lock-api: enable the IRQ-save raw mutex adapter required by lock_api.
• host-test: mark a host test composition; provider selection remains external.
• axtest: expose bare-metal coverage tests.

License

This project is licensed under GPL-3.0-or-later OR Apache-2.0 OR MulanPSL-2.0.