中断优先级与服务顺序：从 Host Fake 到 Cortex-M 资料核对
10615 字·22 分钟
把多个中断请求理解为由可比较的逻辑优先级规则决定服务顺序，并用静态 Host Fake 区分 pending、active、抢占、屏蔽和返回后的继续执行；主机模型不代表真实 Cortex-M 或 STM32 的编码、时序和上板结果。
Pending
EXTI 外部事件如何变成可服务请求：从 Host Fake 到资料核对
9132 字·19 分钟
把 EXTI 理解为外部输入经线路映射、触发条件和屏蔽后形成可观察请求，并由 pending 持有到服务和显式清除；Host Fake 只验证逻辑状态转换，不代表真实 STM32 寄存器、中断入口或上板结果。