//! 内核上下文控制。
//!
//! 教程阅读建议：
//!
//! 1. 先看 [`LocalContext`] 字段与 `user/thread` 构造；
//! 2. 再看 `execute()`：理解 Rust 侧如何准备 CSR 和跳入裸汇编；
//! 3. 最后看 `execute_naked()`：理解“保存调度上下文 <-> 恢复线程上下文”的对称流程。

#![no_std]
// #![deny(warnings)]
#![deny(missing_docs)]

/// 不同地址空间的上下文控制。
#[cfg(feature = "foreign")]
pub mod foreign;

/// 线程上下文。
#[derive(Clone)]
#[repr(C)]
pub struct LocalContext {
    /// 调度上下文保存区指针（由裸汇编切换时使用）。
    sctx: usize,
    /// 通用寄存器 x1..x31 的镜像（x0 恒为 0，不保存）。
    x: [usize; 31],
    /// 返回用户/内核线程时的 PC（对应 sepc）。
    sepc: usize,
    /// 是否以特权态切换。
    pub supervisor: bool,
    /// 线程中断是否开启。
    pub interrupt: bool,
}

impl LocalContext {
    /// 创建空白上下文。
    #[inline]
    pub const fn empty() -> Self {
        Self {
            sctx: 0,
            x: [0; 31],
            supervisor: false,
            interrupt: false,
            sepc: 0,
        }
    }

    /// 初始化指定入口的用户上下文。
    ///
    /// 切换到用户态时会打开内核中断。
    #[inline]
    pub const fn user(pc: usize) -> Self {
        Self {
            sctx: 0,
            x: [0; 31],
            supervisor: false,
            interrupt: true,
            sepc: pc,
        }
    }

    /// 初始化指定入口的内核上下文。
    #[inline]
    pub const fn thread(pc: usize, interrupt: bool) -> Self {
        Self {
            sctx: 0,
            x: [0; 31],
            supervisor: true,
            interrupt,
            sepc: pc,
        }
    }

    /// 读取用户通用寄存器。
    #[inline]
    pub fn x(&self, n: usize) -> usize {
        self.x[n - 1]
    }

    /// 修改用户通用寄存器。
    #[inline]
    pub fn x_mut(&mut self, n: usize) -> &mut usize {
        &mut self.x[n - 1]
    }

    /// 读取用户参数寄存器。
    #[inline]
    pub fn a(&self, n: usize) -> usize {
        self.x(n + 10)
    }

    /// 修改用户参数寄存器。
    #[inline]
    pub fn a_mut(&mut self, n: usize) -> &mut usize {
        self.x_mut(n + 10)
    }

    /// 读取用户栈指针。
    #[inline]
    pub fn ra(&self) -> usize {
        self.x(1)
    }

    /// 读取用户栈指针。
    #[inline]
    pub fn sp(&self) -> usize {
        self.x(2)
    }

    /// 修改用户栈指针。
    #[inline]
    pub fn sp_mut(&mut self) -> &mut usize {
        self.x_mut(2)
    }

    /// 当前上下文的 pc。
    #[inline]
    pub fn pc(&self) -> usize {
        self.sepc
    }

    /// 修改上下文的 pc。
    #[inline]
    pub fn pc_mut(&mut self) -> &mut usize {
        &mut self.sepc
    }

    /// 将 pc 移至下一条指令。
    ///
    /// # Notice
    ///
    /// 假设这一条指令不是压缩版本。
    #[inline]
    pub fn move_next(&mut self) {
        self.sepc = self.sepc.wrapping_add(4);
    }

    /// 执行此线程，并返回 `sstatus`。
    ///
    /// # Safety
    ///
    /// 将修改 `sscratch`、`sepc`、`sstatus` 和 `stvec`。
    /// 调用者需要确保：
    /// - 当前处于 S 模式
    /// - `stvec` 可以被安全地修改
    /// - 上下文中的 `sepc` 指向有效的代码地址
    #[inline(never)]
    pub unsafe fn execute(&mut self) -> usize {
        #[cfg(target_arch = "riscv64")]
        {
            // 第一步：根据目标线程属性构造 sstatus（SPP/SPIE）。
            let mut sstatus = build_sstatus(self.supervisor, self.interrupt);
            // 保存 self 指针和 sepc，避免 release 模式下 csrrw 破坏寄存器后的问题
            let ctx_ptr = self as *mut Self;
            let mut sepc = self.sepc;
            let old_sscratch: usize;
            // 第二步：切换到 execute_naked，执行真正的上下文保存/恢复。
            // SAFETY: 内联汇编执行上下文切换，调用者已确保处于 S 模式且 CSR 可被修改
            unsafe {
                core::arch::asm!(
                    "   csrrw {old_ss}, sscratch, {ctx}
                        csrw  sepc    , {sepc}
                        csrw  sstatus , {sstatus}
                        addi  sp, sp, -8
                        sd    ra, (sp)
                        call  {execute_naked}
                        ld    ra, (sp)
                        addi  sp, sp,  8
                        csrw  sscratch, {old_ss}
                        csrr  {sepc}   , sepc
                        csrr  {sstatus}, sstatus
                    ",
                    ctx           = in       (reg) ctx_ptr,
                    old_ss        = out      (reg) old_sscratch,
                    sepc          = inlateout(reg) sepc,
                    sstatus       = inlateout(reg) sstatus,
                    execute_naked = sym execute_naked,
                );
            }
            let _ = old_sscratch; // suppress unused warning
            // 第三步：取回线程返回后的 sepc（比如 trap 后已更新到下一条指令）。
            unsafe { (*ctx_ptr).sepc = sepc };
            sstatus
        }
        #[cfg(not(target_arch = "riscv64"))]
        unimplemented!("LocalContext::execute() is only supported on riscv64")
    }
}

#[cfg(target_arch = "riscv64")]
#[inline]
fn build_sstatus(supervisor: bool, interrupt: bool) -> usize {
    let mut sstatus: usize;
    // SAFETY: 只是读取 sstatus CSR，不会产生副作用
    unsafe { core::arch::asm!("csrr {}, sstatus", out(reg) sstatus) };
    const PREVILEGE_BIT: usize = 1 << 8;
    const INTERRUPT_BIT: usize = 1 << 5;
    match supervisor {
        false => sstatus &= !PREVILEGE_BIT,
        true => sstatus |= PREVILEGE_BIT,
    }
    match interrupt {
        false => sstatus &= !INTERRUPT_BIT,
        true => sstatus |= INTERRUPT_BIT,
    }
    sstatus
}

#[cfg(not(target_arch = "riscv64"))]
#[allow(dead_code)]
#[inline]
fn build_sstatus(_supervisor: bool, _interrupt: bool) -> usize {
    unimplemented!("build_sstatus() is only supported on riscv64")
}

/// 线程切换核心部分。
///
/// 通用寄存器压栈，然后从预存在 `sscratch` 里的上下文指针恢复线程通用寄存器。
///
/// # Safety
///
/// 这是一个裸函数，只能由 `LocalContext::execute()` 调用。
/// 调用前必须确保：
/// - `sscratch` 中存放了有效的 `LocalContext` 指针
/// - `sepc` 和 `sstatus` 已正确设置
/// - 栈指针有效且有足够空间保存寄存器
#[cfg(target_arch = "riscv64")]
#[unsafe(naked)]
unsafe extern "C" fn execute_naked() {
    core::arch::naked_asm!(
        r"  .altmacro
            .macro SAVE n
                sd x\n, \n*8(sp)
            .endm
            .macro SAVE_ALL
                sd x1, 1*8(sp)
                .set n, 3
                .rept 29
                    SAVE %n
                    .set n, n+1
                .endr
            .endm

            .macro LOAD n
                ld x\n, \n*8(sp)
            .endm
            .macro LOAD_ALL
                ld x1, 1*8(sp)
                .set n, 3
                .rept 29
                    LOAD %n
                    .set n, n+1
                .endr
            .endm
        ",
        // 位置无关加载
        "   .option push
            .option nopic
        ",
        // 保存调度上下文
        "   addi sp, sp, -32*8
            SAVE_ALL
        ",
        // 设置陷入入口
        "   la   t0, 1f
            csrw stvec, t0
        ",
        // 保存调度上下文地址并切换上下文
        "   csrr t0, sscratch
            sd   sp, (t0)
            mv   sp, t0
        ",
        // 恢复线程上下文
        "   LOAD_ALL
            ld   sp, 2*8(sp)
        ",
        // 执行线程
        "   sret",
        // 陷入
        "   .align 2",
        // 切换上下文
        "1: csrrw sp, sscratch, sp",
        // 保存线程上下文
        "   SAVE_ALL
            csrrw t0, sscratch, sp
            sd    t0, 2*8(sp)
        ",
        // 切换上下文
        "   ld sp, (sp)",
        // 恢复调度上下文
        "   LOAD_ALL
            addi sp, sp, 32*8
        ",
        // 返回调度
        "   ret",
        "   .option pop",
    )
}

#[cfg(not(target_arch = "riscv64"))]
#[allow(dead_code)]
unsafe extern "C" fn execute_naked() {
    unimplemented!("execute_naked() is only supported on riscv64")
}
