ax-runtime 0.12.1

//! Native ArceOS lock facade and `ax-sync` bridge provider.
use core::{
    panic::Location,
    sync::atomic::{AtomicBool, AtomicU64, AtomicUsize},
};

fn context_preempt_enter() -> usize {
    crate::guard::enter_lock_preempt().map_or(0, cpu_local::PreemptionToken::into_raw)
}

unsafe fn context_preempt_exit(state: usize) {
    if state == 0 {
        return;
    }
    let token = unsafe { cpu_local::PreemptionToken::from_raw(state) }
        .expect("a live synchronization guard must retain its preemption owner");
    crate::guard::exit_preempt(token);
}

unsafe fn context_preempt_exit_irq_return(state: usize) {
    if state != 0 {
        let token = unsafe { cpu_local::PreemptionToken::from_raw(state) }
            .expect("an IRQ-return guard must retain its preemption owner");
        crate::guard::exit_preempt_from_irq_return(token);
    }
    crate::clock_event_runtime::finish_deferred_rearm();
}

fn context_irq_save_and_disable() -> usize {
    let was_enabled = ax_hal::asm::irqs_enabled();
    ax_hal::asm::disable_irqs();
    usize::from(was_enabled)
}

unsafe fn context_irq_restore(state: usize) {
    if state != 0 {
        ax_hal::asm::enable_irqs();
    } else {
        ax_hal::asm::disable_irqs();
    }
}

fn context_hardirq_enter() {
    #[cfg(feature = "irq-time-accounting")]
    crate::irq_time::enter();
}

fn context_hardirq_exit() {
    #[cfg(feature = "irq-time-accounting")]
    crate::irq_time::exit();
}

static CONTEXT_OPERATIONS: ax_task::runtime::sync::ContextOperations =
    ax_task::runtime::sync::ContextOperations {
        preempt_enter: context_preempt_enter,
        preempt_exit: context_preempt_exit,
        preempt_exit_irq_return: context_preempt_exit_irq_return,
        irq_save_and_disable: context_irq_save_and_disable,
        irq_restore: context_irq_restore,
        hardirq_enter: context_hardirq_enter,
        hardirq_exit: context_hardirq_exit,
    };

fn into_sync_context_state(
    state: ax_task::runtime::sync::ContextState,
) -> ax_sync::interface::ContextState {
    ax_sync::interface::ContextState::new(state.preempt(), state.irq())
}

fn into_task_context_state(
    state: ax_sync::interface::ContextState,
) -> ax_task::runtime::sync::ContextState {
    ax_task::runtime::sync::ContextState::new(state.preempt(), state.irq())
}

struct RuntimeContextOps;

#[ax_crate_interface::impl_interface]
impl ax_sync::interface::ContextOps for RuntimeContextOps {
    fn enter(context: u8) -> ax_sync::interface::ContextState {
        into_sync_context_state(ax_task::runtime::sync::context_enter(
            context,
            &CONTEXT_OPERATIONS,
        ))
    }

    fn exit(context: u8, state: ax_sync::interface::ContextState) {
        ax_task::runtime::sync::context_exit(
            context,
            into_task_context_state(state),
            &CONTEXT_OPERATIONS,
        );
    }

    fn irq_return_preempt_enter() -> usize {
        ax_task::runtime::sync::irq_return_preempt_enter(&CONTEXT_OPERATIONS)
    }

    fn irq_return_preempt_exit(state: usize) {
        // SAFETY: ax-sync returns only the token created by the paired enter.
        unsafe {
            ax_task::runtime::sync::irq_return_preempt_exit(state, &CONTEXT_OPERATIONS);
        }
    }

    fn hardirq_enter() {
        ax_task::runtime::sync::hardirq_enter(&CONTEXT_OPERATIONS);
    }

    fn hardirq_exit() {
        ax_task::runtime::sync::hardirq_exit(&CONTEXT_OPERATIONS);
    }
}

struct RuntimeSpinOps;

#[ax_crate_interface::impl_interface]
impl ax_sync::interface::SpinOps for RuntimeSpinOps {
    fn acquire(
        locked: &AtomicBool,
        metadata: &ax_sync::interface::LockMetadata,
        lock_addr: usize,
        context: u8,
        subclass: u32,
        caller: &'static Location<'static>,
    ) -> ax_sync::interface::ContextState {
        let context_state = ax_task::runtime::sync::spin_acquire(
            ax_task::runtime::sync::SpinAcquireRequest {
                locked,
                class: ax_task::runtime::sync::LockClass {
                    class_id: metadata.class_id(),
                    class_key: metadata.class_key(),
                },
                lock_addr,
                context,
                subclass,
                caller,
            },
            &CONTEXT_OPERATIONS,
        );
        into_sync_context_state(context_state)
    }

    fn try_acquire(
        locked: &AtomicBool,
        metadata: &ax_sync::interface::LockMetadata,
        lock_addr: usize,
        context: u8,
        subclass: u32,
        caller: &'static Location<'static>,
    ) -> ax_sync::interface::AcquireResult {
        let (acquired, context_state) = ax_task::runtime::sync::spin_try_acquire(
            ax_task::runtime::sync::SpinAcquireRequest {
                locked,
                class: ax_task::runtime::sync::LockClass {
                    class_id: metadata.class_id(),
                    class_key: metadata.class_key(),
                },
                lock_addr,
                context,
                subclass,
                caller,
            },
            &CONTEXT_OPERATIONS,
        );
        ax_sync::interface::AcquireResult::new(acquired, into_sync_context_state(context_state))
    }

    fn release(
        locked: &AtomicBool,
        lock_addr: usize,
        context: u8,
        context_state: ax_sync::interface::ContextState,
    ) {
        ax_task::runtime::sync::spin_release(
            locked,
            lock_addr,
            context,
            into_task_context_state(context_state),
            &CONTEXT_OPERATIONS,
        );
    }

    fn force_release(locked: &AtomicBool, lock_addr: usize, context: u8) {
        ax_task::runtime::sync::spin_force_release(locked, lock_addr, context);
    }

    fn is_locked(locked: &AtomicBool) -> bool {
        ax_task::runtime::sync::spin_is_locked(locked)
    }
}

struct RuntimeRwLockOps;

#[ax_crate_interface::impl_interface]
impl ax_sync::interface::RwLockOps for RuntimeRwLockOps {
    fn acquire(
        state: &AtomicUsize,
        metadata: &ax_sync::interface::LockMetadata,
        lock_addr: usize,
        context: u8,
        mode: u8,
        caller: &'static Location<'static>,
    ) -> ax_sync::interface::ContextState {
        let context_state = ax_task::runtime::sync::rwlock_acquire(
            ax_task::runtime::sync::RwLockAcquireRequest {
                state,
                class: ax_task::runtime::sync::LockClass {
                    class_id: metadata.class_id(),
                    class_key: metadata.class_key(),
                },
                lock_addr,
                context,
                mode,
                caller,
            },
            &CONTEXT_OPERATIONS,
        );
        into_sync_context_state(context_state)
    }

    fn try_acquire(
        state: &AtomicUsize,
        metadata: &ax_sync::interface::LockMetadata,
        lock_addr: usize,
        context: u8,
        mode: u8,
        caller: &'static Location<'static>,
    ) -> ax_sync::interface::AcquireResult {
        let (acquired, context_state) = ax_task::runtime::sync::rwlock_try_acquire(
            ax_task::runtime::sync::RwLockAcquireRequest {
                state,
                class: ax_task::runtime::sync::LockClass {
                    class_id: metadata.class_id(),
                    class_key: metadata.class_key(),
                },
                lock_addr,
                context,
                mode,
                caller,
            },
            &CONTEXT_OPERATIONS,
        );
        ax_sync::interface::AcquireResult::new(acquired, into_sync_context_state(context_state))
    }

    fn release(
        state: &AtomicUsize,
        lock_addr: usize,
        context: u8,
        context_state: ax_sync::interface::ContextState,
        mode: u8,
    ) {
        ax_task::runtime::sync::rwlock_release(
            state,
            lock_addr,
            context,
            into_task_context_state(context_state),
            mode,
            &CONTEXT_OPERATIONS,
        );
    }

    fn force_read_decrement(state: &AtomicUsize, lock_addr: usize, context: u8) {
        ax_task::runtime::sync::rwlock_force_read_decrement(state, lock_addr, context);
    }
}
struct RuntimeMutexOps;
fn into_task_pi_storage(
    storage: &ax_sync::interface::PiMutexStorage,
) -> ax_task::runtime::sync::PiMutexStorage<'_> {
    ax_task::runtime::sync::PiMutexStorage {
        owner: storage.owner_word(),
        generation: storage.generation(),
        wait_state: storage.wait_state(),
        wait_words: storage.wait_storage(),
    }
}
#[ax_crate_interface::impl_interface]
impl ax_sync::interface::MutexOps for RuntimeMutexOps {
    fn acquire(
        storage: &ax_sync::interface::PiMutexStorage,
        next_waiter_sequence: &AtomicU64,
        metadata: &ax_sync::interface::LockMetadata,
        lock_addr: usize,
        subclass: u32,
        caller: &'static Location<'static>,
    ) {
        ax_task::runtime::sync::mutex_acquire(ax_task::runtime::sync::MutexAcquireRequest {
            storage: into_task_pi_storage(storage),
            next_waiter_sequence,
            class: ax_task::runtime::sync::LockClass {
                class_id: metadata.class_id(),
                class_key: metadata.class_key(),
            },
            lock_addr,
            subclass,
            caller,
        });
    }

    fn try_acquire(
        storage: &ax_sync::interface::PiMutexStorage,
        next_waiter_sequence: &AtomicU64,
        metadata: &ax_sync::interface::LockMetadata,
        lock_addr: usize,
        subclass: u32,
        caller: &'static Location<'static>,
    ) -> bool {
        ax_task::runtime::sync::mutex_try_acquire(ax_task::runtime::sync::MutexAcquireRequest {
            storage: into_task_pi_storage(storage),
            next_waiter_sequence,
            class: ax_task::runtime::sync::LockClass {
                class_id: metadata.class_id(),
                class_key: metadata.class_key(),
            },
            lock_addr,
            subclass,
            caller,
        })
    }

    fn release(storage: &ax_sync::interface::PiMutexStorage, lock_addr: usize) {
        ax_task::runtime::sync::mutex_release(into_task_pi_storage(storage), lock_addr);
    }

    fn force_release(storage: &ax_sync::interface::PiMutexStorage, lock_addr: usize) {
        ax_task::runtime::sync::mutex_force_release(into_task_pi_storage(storage), lock_addr);
    }

    fn is_owned_by_current(storage: &ax_sync::interface::PiMutexStorage) -> bool {
        ax_task::runtime::sync::mutex_is_owned_by_current(into_task_pi_storage(storage))
    }

    fn is_locked(storage: &ax_sync::interface::PiMutexStorage) -> bool {
        ax_task::runtime::sync::mutex_is_locked(into_task_pi_storage(storage))
    }

    fn destroy(storage: &mut ax_sync::interface::PiMutexStorage) {
        let parts = storage.parts_mut();
        ax_task::runtime::sync::mutex_destroy(ax_task::runtime::sync::PiMutexStorageMut {
            owner: parts.owner_word,
            generation: parts.generation,
            wait_state: parts.wait_state,
            wait_words: parts.wait_storage,
        });
    }
}

struct RuntimeLockdepOps;

#[ax_crate_interface::impl_interface]
impl ax_sync::interface::LockdepOps for RuntimeLockdepOps {
    fn set_trace_enabled(enabled: bool) {
        ax_task::runtime::sync::set_lockdep_trace_enabled(enabled);
    }

    fn dump_trace() {
        ax_task::runtime::sync::dump_lockdep_trace();
    }
}