fix(obs): 抢占日志改在判决点打(修自伤)+ scheduler 事件接进 SSE

## 修我上一版的自伤

上一版把 preempt 日志打在 `executeNewTask`,但那时 `nextRef` 已经把
`s.running` 换成了抢占者自己,于是输出成了

    preempt start: task#2 ... -> victim task#2 (cli)

victim 打印的是入侵者本人。判据必须落在 `registerInterrupt`——那一刻
running 还是真正的受害者。改为在抢占判决点打:

    [agent] preempt: task#2 class=interrupt level=3 from cli (L3) preempts task#1 class=queued level=0 (qq)

## 补上「入队而非抢占」的日志

中断到了却没生效,此前完全不可解释。现在两种成因分开写:

    [agent] interrupt queued: ... vs ... (qq) — running in critical section; queue=N
    [agent] interrupt queued: ... vs ... (qq) — preempt cooldown; queue=N
    [agent] interrupt queued: ... vs ... (qq) — level insufficient; queue=N

没有这条,`interrupt from X` 打过之后任务为什么没让位就只能猜。

## scheduler 事件接进 SSE

`EventScheduler` 此前既不在 `handler_chat.go` 的 subTypes、也没有任何订阅者
(全仓 grep 零命中)——内核里 suspend/resume 只 publishEvent,于是事件发出来
就掉地上,对内对外都不可见。加进 subTypes 后前端/客户端能看到抢占链。

## 验证

- preempt_logging_test.go 增一条:victim 与入侵者必须是不同来源(qq vs cli),
  且排队输入对排队任务 `canPreempt` 必为假。
- 实测输出含 `cli (L3) preempts task#1 class=queued level=0 (qq)`。
- 全量 `go test ./internal/... ./cmd/...` 与 `go vet ./internal/...` 全绿。
This commit is contained in:
JianFeeeee
2026-09-19 11:57:50 +08:00
parent caa23b14c7
commit f53b42efa5
3 changed files with 50 additions and 12 deletions

View File

@ -62,3 +62,28 @@ func TestSourceOf_SelfAndNilAreSafe(t *testing.T) {
t.Fatalf("self task -> %q", got)
}
}
// 抢占日志必须把「入侵者」与「受害者」分开写,且受害者是**真正在跑的那个**。
//
// 镇的是一个自伤:第一版把日志打在 executeNewTask 里,而那时 nextRef 已经把
// s.running 换成了抢占者自己,于是日志写成 "victim = 入侵者"(实测输出过
// `preempt start: task#2 ... -> victim task#2 (cli)`)。判据必须落在
// registerInterrupt —— 那一刻 running 还没被换。
func TestSourceOf_DistinctVictimAndIntruder(t *testing.T) {
if sourceOf(newInputTask(&agentIO.InputEvent{Source: "qq"}), nil) != "qq" {
t.Fatal("queued qq 任务的来源应为 qq")
}
it := newInterruptTask(&agentIO.InputEvent{Source: "homeagent-mail-bridge"}, LevelMessage)
if got := sourceOf(it, nil); got != "homeagent-mail-bridge" {
t.Fatalf("中断来源应为 homeagent-mail-bridge,实际 %q", got)
}
if it.Class != TaskInterrupt || it.Level != LevelMessage {
t.Fatalf("中断任务应 class=interrupt level=2,实际 %v/%v", it.Class, it.Level)
}
// 邮件若走排队注入则会变成 TaskQueued —— 那种情况下 canPreempt 必为假。
q := &Task{Class: TaskQueued, Kind: TaskKindInput,
Event: &agentIO.InputEvent{Source: "homeagent-mail-bridge"}}
if canPreempt(q, newInputTask(&agentIO.InputEvent{Source: "qq"})) {
t.Fatal("排队输入永远不得抢占另一个排队任务")
}
}