4. 中断优先级分组规则：抢占优先级与子优先级的区别、分组配置函数(PRIGROUP)

在 NXP S32K 平台（基于 ARM Cortex-M4F 内核）中，中断优先级的管理并非简单的“数字越大优先级越高”。为了支持更灵活的嵌套中断场景，ARM 内核引入了 中断优先级分组 机制。理解抢占优先级与子优先级的区别，以及如何通过 PRIGROUP 寄存器进行分组配置，是排查中断优先级冲突的基石。

4.1 为什么需要优先级分组？

如果没有分组，所有中断只能在一个维度上比较优先级。但在实际项目中，我们往往需要：

• 高实时性中断（如电机霍尔传感器）能够立即打断正在执行的普通中断。
• 同类型中断（如多个定时器中断）之间，只希望按顺序执行，不互相嵌套。

优先级分组将优先级寄存器中的比特位拆分为两个域：抢占优先级 和 子优先级，从而实现了“抢占”与“仲裁”的双重控制。

4.2 抢占优先级 vs 子优先级：核心区别

4.3 优先级分组配置函数：PRIGROUP

在 ARM Cortex-M 内核中，优先级分组由系统控制块（SCB）中的 PRIGROUP 字段控制。该字段位于 SCB->AIRCR 寄存器的 bit[10:8]。NXP S32K SDK 提供了标准 CMSIS-Core 函数来配置它。

4.3.1 核心配置函数

// 设置优先级分组
// 参数: NVIC_PriorityGroup_0 ~ NVIC_PriorityGroup_4
// 对应 ARM Cortex-M 标准分组
NVIC_SetPriorityGrouping(NVIC_PriorityGroup_2);

4.3.2 分组模式与比特分配

S32K 使用 4 位来实现优先级（NVIC 支持 16 级优先级）。不同的分组模式决定了这 4 位如何分配给抢占优先级和子优先级。

4.4 分组配置对中断优先级数值的影响

配置分组后，写入中断优先级寄存器的 8 位数值（S32K 使用高 4 位）将被重新解释。例如，在 Group_2 模式下，优先级值 0xA0（二进制 1010 0000）被解释为：

• 抢占优先级：高 2 位 10 = 2
• 子优先级：次高 2 位 10 = 2

这意味着，如果另一个中断的优先级值为 0x80（抢占优先级 = 2，子优先级 = 0），则后者具有更高的子优先级，在同时触发时会先执行，但不会打断正在执行的 0xA0 中断。

4.5 优先级分组与中断嵌套流程

下面的 SVG 图展示了在 Group_2 模式下，三个不同优先级的中断触发时的嵌套与排队行为。

4.6 配置示例：在 S32K SDK 中设置分组

以下代码展示了在 S32K144 项目中，如何在系统初始化阶段配置优先级分组，并为两个中断设置不同的优先级。

#include "S32K144.h"

void System_Init_Priority(void)
{
    // 1. 设置优先级分组为 Group_2 (2位抢占 + 2位子优先级)
    NVIC_SetPriorityGrouping(NVIC_PriorityGroup_2);
    
    // 2. 使能并配置中断 A (例如 LPUART0)
    //    抢占优先级 = 0 (最高), 子优先级 = 0
    NVIC_SetPriority(LPUART0_IRQn, NVIC_EncodePriority(NVIC_PriorityGroup_2, 0, 0));
    NVIC_EnableIRQ(LPUART0_IRQn);
    
    // 3. 使能并配置中断 B (例如 PIT0)
    //    抢占优先级 = 2, 子优先级 = 1
    NVIC_SetPriority(PIT0_IRQn, NVIC_EncodePriority(NVIC_PriorityGroup_2, 2, 1));
    NVIC_EnableIRQ(PIT0_IRQn);
    
    // 4. 使能并配置中断 C (例如 PIT1)
    //    抢占优先级 = 2, 子优先级 = 0 (高于 B)
    NVIC_SetPriority(PIT1_IRQn, NVIC_EncodePriority(NVIC_PriorityGroup_2, 2, 0));
    NVIC_EnableIRQ(PIT1_IRQn);
}

4.7 排查冲突时的分组检查清单

• 确认分组模式：使用调试器读取 SCB->AIRCR 寄存器的 bit[10:8]，确认当前分组是否符合项目设计。
• 验证优先级编码：使用 NVIC_EncodePriority() 和 NVIC_DecodePriority() 函数，确保写入的数值在预期分组下被正确解析。
• 检查中断服务函数：确保所有中断服务函数（ISR）的优先级设置都在同一个分组模式下完成。
• 避免分组混用：不同模块（如 FreeRTOS 与裸机代码）如果使用不同的分组假设，会导致优先级比较逻辑完全失效。