mirror of
https://gitcode.com/JianFeeeee/HomeAgent.git
synced 2026-11-01 14:57:38 +00:00
c5f236a569
用户裁定：「中断队列就该调度器管理啊，中断管理器只负责进入中断的任务」。 上一版我把 interruptQueues/immediate 也搬进了中断管理器，这是错的： 排队是**调度职责**——判断该不该打断、打断不了先排队、按什么次序再取出来， 全是调度策略，不是"进入中断"本身。 ## 本次改动 中断管理器（interrupt.go）现在只有： - 中断栈 suspendStack（**唯一操作者**：压栈/弹栈都在其内） - 中断屏蔽 critical（对应 CPU 关中断） - 让位信号原语 preemptArmed/preemptLevel - 栈状态钩子 stackNotify 迁回调度器（scheduler.go）： - interruptQueues[5] / immediate 两个字段 - highestInterruptLocked / popInterruptLocked / interruptCountLocked - enqueueInterruptLocked / installImmediateLocked ## 新增边界判据 TestInvariant_InterruptManagerHoldsOnlyStackState 用**反射白名单**钉住边界： interruptState 只允许 6 个字段（栈/屏蔽/让位×2/上界/钩子）。 反向确认 interruptQueues 与 immediate 确实在 scheduler 上——避免"两边都没有"的假绿。 变异验证：把 interruptQueues 塞回 interruptState ⇒ 判据立刻变红 （"中断管理器不应持有这些字段：[interruptQueues]"）。 ## 验证 - go build ./... 通过 - go test ./internal/agent/core/ 通过 - go test -race ./internal/agent/core/ 通过 - 12 条不变量判据全绿 ## 顺带排查：/tmp 是 tmpfs 且已 91% `df` 显示 /tmp 是 8.8G tmpfs，Go 链接期临时文件把它填满， 导致并发构建出现 write ... no space left on device（表现为 某包 `FAIL 0.008s`——不是代码问题）。已改用 TMPDIR=/var/tmp/gobuild（根分区 112G）。