Files
HomeAgent/internal/kernelboot/kernelstate.go
JianFeeeee a68d6a428c feat: 模块化内核(编译期依赖图定序)+ 密钥防火墙 + 插件三态生命周期 (#10)
* feat(kernel): 模块化内核 + 编译期依赖图定序

把单体 init 序列拆成「模块自声明依赖 + 编译期生成依赖图 + 运行期只读图」。

## 为什么

原 cmd/homed/main.go 里 17 步 init 是**手写顺序**,依赖关系只存在于
注释和人脑里。实测踩到的坑(见 docs/zh/kernel-modularization-design.md):
 · nlp.defaultParser 被 initONNXParser 写、被 distiller 读,两者相距 60 行,
   只靠 ticker 10min 才没炸(隐式依赖,无声明)
 · 加一个模块要人肉找"该插在哪",插错的表现是运行期 nil 解引用
 · 关停是 defer ks.CloseAll(),而热更新路径 os.Exit(42) **跳过 defer**
   ⇒ docStore/distiller/textMem 的 flush 全部丢失(每次热更新都发生)

## 怎么改

- internal/kernelboot/:KernelState(一个结构体收全部包级共享变量,字段
  nil 安全)、Module 接口、graphfile(依赖图编解码 + 与二进制 hash 对账)、
  scheduler(按 BFS 层并行 Init)、syncbus(层边界写通知)、
  lifecycle(Quiesce/Resume 可逆伪关机,区别于一次性 CloseAll)
- internal/kernelmod/<name>/:每个模块一个文件夹,Requires/Provides 自声明;
  all/all.go 是唯一的 import 清单(Go 循环导入约束)
- cmd/homed-depgraph:编译期生成依赖图,Makefile 注入 digest
- 运行期只**读**图,不计算顺序(顺序是编译期决定的,源码里没有中央清单)

## 判据

kernelboot 8 条 + 图失败模式 7 条(全部拒绝并给准确错误)+ 模块目录数
与注册表一致性。变异测试 15/15 咬住,含:
 · 删掉 AddCloser 的锁 → -race 报数据竞争
 · Scheduler 同批跑去重 → 203 vs 200
 · 图 hash 不匹配 → 拒绝启动

## 顺带修的缺陷

热更新路径漏调模块关闭 ⇒ 显式 stopKernelModules(),并用 AST 判据钉住
"必须在 os.Exit 之前"(字符串检查在本仓已骗过我三次)。

实测:冷启动 1630ms(5 层/17 模块,原 17 步串行);生产 22 插件全部建链。

* feat(security): 密钥防火墙 + 配置加密 + close 纪律

## 密钥防火墙

模型只见别名、不见明文;插件工具调用入口(StageHost.ExecuteTool)做入向
回填。三维能力:
 · 出向:工具输出里的密钥被替换成 [[secret:name]] 别名后才进上下文
 · 入向:模型传别名,入口处填回真值(插件完全无感知)
 · 存储:config.db 里不存明文(0644 的库可读),敏感值独立 0600 文件

模式库「宁漏勿误伤」:宁可漏掉一次替换,也不把正常文本误当密钥。

## 配置加密

- internal/security/{codec,key,keyring,store,global}.go:AES-256-GCM,
  enc:v1: 前缀,密钥轮换(OldKeys 解码 + 新钥加密)
- harden.go:数据目录权限收紧
- embedded.go:支持内嵌主密钥(可选,仍保留外部 key 文件路径)
- EncryptExistingSecrets / AuditSecrets:启动时幂等迁移 + 审计

## close 纪律(用户明确要求:只要调 close 就要有前置检查)

internal/safeclose:Safe / SafeFunc。全仓 37 处裸 close(chan) → 0。
关键教训(都写进注释和判据):
 · `select { case <-ch: default: close(ch) }` **不是**并发安全的
   (两个 goroutine 可同时命中 default)—— healthcheck 原先是这种写法
 · `sync.Once` **不可重入**:X.Do(func(){ Safe(&X, ...) }) 会自锁,
   症状是 go test 直接挂住(3 个包 600s 超时),栈里只有嵌套的 Once.Do
 · map 里按请求持有的 channel(mcp/stdio.go、clawhubadapter/sidecar.go)
   改成 *pendingRPC 包装,每通道一个 once

## 判据

security 全量 + TestNoBareCloseOutsideSafeclose(AST 级扫描,含注释剥离)
+ TestNoNestedSelfOnceDeadlock(正则修正:\w+ 不匹配点号,捕获组要含 '.')。
变异 2/2 咬住。全量 52 包 ok。

* feat(plugin+deploy): 插件三态生命周期、数据目录迁移、发行包修复

## 插件三态生命周期(用户要求:自动启动 / 启用但不自动启动 / 禁用)

- Manifest 新增 requires_facilities / auto_start(*bool,用于区分
  "未声明"与"显式 false")
- plugin-host 模块(internal/kernelmod/pluginhost):用 kernelboot.Scheduler
  按依赖时机拉起,**不再手写两阶段**
- 运行态停启 StopPlugin/StartPlugin **可逆**:不写 disabled_plugins
  (不改用户决定)、不置 shuttingDown(之后还能加载)、会摘掉注册面
- 与 StopAll 的区别写进注释 —— StopAll 置 shuttingDown 后**永久无法加载**,
  那是进程退出用的,误用于"暂停"就是关了就死

## 数据目录迁移(伪关机 → 迁移 → 唤醒)

- kernelboot/lifecycle.go:Quiesce/Resume(可逆,区别于一次性 CloseAll),
  逆序暂停、逆序恢复、Pause 失败回滚
- kernelboot/migrate.go:BeginMigration/End 编排(先停插件 → 再停内核写者
  → 等在途归零)
- distiller/textmem 增 Pause/Resume 门(不是 cancel —— cancel 不可逆,
  恢复要重建整个对象)
- 模块 migration:体检 + 生成可执行迁移脚本

★ 迁移脚本的三个实测教训(都写成了判据):
 1. 无条件改 /etc/systemd/system ⇒ 演练把**生产** -data 改成了演练目录。
    加 --dry-run(零改动)+ 强制校验 systemd 当前 -data == OLD
 2. 本机没装 rsync,脚本在"服务已停、数据未搬"处硬失败 ⇒ cp -a 回退,
    并明确警告不保硬链接/ACL(生产 plugindev 有大量 git 硬链接)

## 发行包修复(全部经实测确认)

 1. package-linux.sh **完全漏打 depgraph.bin** ⇒ 内核 exit 1
    ("生产构建(内嵌 hash 非空)但读不到依赖图")
 2. build_homed 不走 Makefile ⇒ 单独修 Makefile 无效,必须同时生成图+注入
 3. build.sh 的 LDFLAGS 用**历史模块路径 gitcode.com** ⇒ -X 静默 no-op
    ⇒ --version 显示 unknown
 4. Makefile -ldflags 用**单引号** ⇒ 注入了字面 $GRAPH_HASH

## ★ build.sh 的版本号必须校验(真实事故)

原 `VERSION="$(git describe --tags --dirty)"`。无 tag 分支上它返回**分支名**
`backup/pre-identity-rewrite-20261005-51-g03d87a4e-dirty`,被注入 meta.Version
⇒ 插件握手判据 MajorVersion() 把整串当主版本 ⇒ **22 个子进程插件全部
握手失败**("主版本不匹配")。内核活着、systemd active、日志每条都像
插件的问题 —— 实际是发行包带着非法版本号。

修法:git describe 只在形如 vX.Y.Z 时采用,否则回退 meta.Version(权威源),
并对最终值做形态守卫。deploy/packaging/version_guard_test.go 3 条判据,
变异 2/2 咬住。

## deb 的 systemd unit 改为 guard 模式

ExecStart=/usr/bin/homed --role=guard --data /var/lib/homeagent
(worker exit 42 → guard 重拉,不经过 systemd、不计失败)
含 RestartSteps/RestartMaxDelaySec/TimeoutStopSec + 硬化
(NoNewPrivileges/ProtectSystem/ProtectHome/DevicePolicy/ReadWritePaths)。

## 其他

- internal/plugin/proc:非法 JSON 帧的报错**可定位**(内容摘要 + 可能原因 +
  修法)。生产实测 1038 条非法帧(插件往 stdout 打日志 = 污染协议通道)
- 示例插件 4 个 14 处 fmt.Printf → log.Printf
- hmapdev 模板同步修复;scaffold 判据剥离注释(模板注释里就含 fmt.Printf)

* chore: 收尾(主密钥轮换命令、IPC/知识库加固、SDK 对齐)

- cmd/homed-key-rotate:把 security 里的 RotateKey/RotateKeyFile/RekeySecrets
  串成一条**可执行**的运维路径。没有它,E-1 就只是库里的能力而不是
  "出事时能做的事",而轮换的价值恰恰在于能执行。
- cmd/homed:kmod_runtime(模块装配入口)、plugins_scheduled(failback
  白名单)、memcandidate、bootstrap_order_test / shutdown_flush_test
- internal/ipc、internal/devicebridge、internal/knowledge:配套加固
- third_party/homeagent-sdk/sdk:PluginMgrAPI 增三态能力(mgrStop/mgrStart/
  mgrIsRuntimeStopped)+ settings 对齐

判据:bootstrap_order_test(启动顺序不依赖手写序列)、
shutdown_flush_test(停机的两条路径必须对称 —— exit 42 会跳过 defer,
热更新路径下模块关闭/flush 曾全部丢失)。

* test(security): 测试夹具改用不可误认的占位值(修 push protection 拦截)

GitHub secret scanning 拦住了推送:三处测试夹具用了"看起来像真密钥"的
字面量:

  internal/security/prefilter_test.go:39
  internal/security/store_test.go:177
  internal/security/survey_test.go:20

它们全是**假密钥**(`AKIAIOSFODNN7EXAMPLE` 是 AWS 官方文档的标准示例,
其余是 `abcdefghij...` 这类可读占位符),但扫描器无法区分 —— 它只看形态。

★ 不绕过(不用 unblock URL、不加 allowlist):直接改夹具。
原因:一旦允许"假密钥可以通过",真密钥混进来时就没有最后一道门了。

改法:保留**模式库匹配所需的结构**,把可识别内容换成 FAKE:
  glpat-abcdefghijklmnopqrst       → glpat-FAKE-TEST-TOKEN-NOT-REAL
  sk-abcdefghij...012345           → sk-FAKE-TEST-KEY-NOT-REAL-0000000
  AKIAIOSFODNN7EXAMPLE             → AKIA0000FAKE0000TEST   (保持 20 字符)
  ASIAIOSFODNN7EXAMPLE             → ASIA0000FAKE0000TEST
  xoxb-123456789012-abcdefghijklmnop → xoxb-FAKE-TEST-TOKEN-NOT-REAL

★ 中途踩到一次:AWS 键的模式是 `\b(AKIA|ASIA)[0-9A-Z]{16}\b`(共 20 字符),
我第一次替换成 19 字符的 `AKIAFAKETESTKEY0000` ⇒ 模式匹配不上 ⇒
TestSurvey_WhatIsCaught / TestRecognizesCommonShapes /
TestPrefilterNeverBlocksRealMatches 三条当场变红。
判据正确地拒绝了"为了过扫描器而削弱覆盖"。

顺带核实:全仓 grep 无任何真实密钥泄漏。

* fix(packaging): package-linux.sh 的版本解析与 build.sh 统一

上一版只修了 build.sh,漏了 package-linux.sh —— 它仍只看 git describe:

  VERSION="${VERSION:-$(git describe --tags --dirty)}"

无 tag 分支上 git describe 返回**分支名**
(backup/pre-identity-rewrite-20261005-56-g98850e1),守卫会正确拒绝,
但要求人**手动传 VERSION** 才能打包。而 build.sh 早已能自动回退 meta.Version
⇒ 同一个版本,走 build.sh 打得出来、走 package-linux.sh 打不出来。

危害不只是"要手动传参":运维为了跑通会去掉守卫,而分支名一旦进
meta.Version 就是**插件协议主版本**的来源 ⇒ 22 个子进程插件全部握手失败
(这是真实发生过的事故,见 3efa4e5)。

修法:两个脚本用同一套规则(git describe 仅在 vX.Y.Z 形态时采用,
否则回退 meta.Version),并对最终值做形态守卫。

判据:TestBothPackagingScriptsShareVersionRules —— 逐个读两个脚本,
要求都能从 meta/meta.go 取权威版本、都校验 git describe 形态。
变异(把 package-linux.sh 改回旧规则)咬住并准确指出是哪个脚本。

实测:不传 VERSION 跑 package-linux.sh,输出
  [PKG] warn: git describe 给出非版本串(...),改用 meta.Version=1.4.0
  Version: 1.4.0

* fix(test): 跨仓判据在 CI 上应 skip 而非 fail(修 PR 双红)

CI 上 "Go build / vet / test" 与 "Build linux/amd64" 双红:

  --- FAIL: TestHmapdevTemplateImplementsAllPluginMgrMethods
      bridge_sync_test.go:170: 读模板: open
      ../../../third_party/homeagent-sdk/tools/hmapdev/templates/proc_main.go.tmpl:
      no such file or directory

## 根因:判据依赖了一个**被 gitignore 的路径**

`.gitignore:33` 有 `third_party/homeagent-sdk/tools/`(SDK 仓自治,本仓不跟踪)。
于是:
  · 本机(完整 SDK 检出)有该文件 ⇒ 判据通过
  · CI(只 checkout 本仓)没有该文件 ⇒ Fatalf ⇒ **必红**

我提交时只在本机跑测试、没看 CI,所以这个问题拖到 PR 才暴露。

## 修法

文件缺失时 `t.Skipf` 而不是 `t.Fatalf`。

★ 这不是"放弃检查":
  · 跨仓一致性由 **SDK 仓自己的判据**守着
    (tools/hmapdev/scaffold_stdout_test.go 等),那里才是模板的真实归属地
  · 本判据在本机开发时**仍然生效**(已验证:有文件时 PASS,缺文件时 SKIP)

## 验证

 · 本机(有文件)  → PASS(判据真跑)
 · 模拟 CI(移走 tools/)→ SKIP(不再 fail)
 · 全量 53 包 ok / 0 fail

## 顺带

同目录还有 e2e_template_test.go 也读 tools/,但它是 `//go:build` 门控的
e2e 判据,CI 默认不跑,无需处理。

---------

Co-authored-by: JianFeeeee <JianFeeeee@users.noreply.gitcode.com>
2026-10-17 19:18:24 +08:00

328 lines
13 KiB
Go
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

package kernelboot
import (
"context"
"log"
"sync"
agentAPI "github.com/JianFeeeee/HomeAgent/internal/agent/api"
agentCore "github.com/JianFeeeee/HomeAgent/internal/agent/core"
agentIO "github.com/JianFeeeee/HomeAgent/internal/agent/io"
"github.com/JianFeeeee/HomeAgent/internal/config"
"github.com/JianFeeeee/HomeAgent/internal/events"
"github.com/JianFeeeee/HomeAgent/internal/knowledge"
luapkg "github.com/JianFeeeee/HomeAgent/internal/lua"
"github.com/JianFeeeee/HomeAgent/internal/memory"
"github.com/JianFeeeee/HomeAgent/internal/memory/document"
"github.com/JianFeeeee/HomeAgent/internal/memory/pipeline"
"github.com/JianFeeeee/HomeAgent/internal/memory/social"
"github.com/JianFeeeee/HomeAgent/internal/memory/text"
"github.com/JianFeeeee/HomeAgent/internal/memory/vector"
"github.com/JianFeeeee/HomeAgent/internal/plugin"
"github.com/JianFeeeee/HomeAgent/internal/supervisor"
"github.com/JianFeeeee/HomeAgent/internal/tracker"
"github.com/JianFeeeee/HomeAgent/pkg/types"
)
// MemoryBundle 是"记忆子系统"的打包(memory 模块产出)。
//
// ★ 为何打包成一个类型而不是拆成 4 个字段:
// 这 4 个东西**同生共死**(同一个 initMemoryStack 产出、同一个 close 回收、
// 它们的持有者都假设彼此一致)。拆开会让"只填了 db 忘了 indexer"变成可能。
//
// ★ 为何放在 kernelboot 而不是 cmd/homed:
// KernelState 要引用它的类型 ⇒ 类型必须与 KernelState 同包
// (否则 kernelboot 得 import cmd/homed,那是不可能的)。
type MemoryBundle struct {
DB *memory.GraphDB
Indexer *memory.Indexer
Social *social.SocialStore
Distiller *pipeline.Distiller
}
// KernelState 是内核**唯一的公共数据持有者**(用户设计)。
//
// ## 设计意图(用户原话)
//
// > 内核通过一个结构体收集全部包级共享变量,其他模块通过这个结构体访问数据,
// > 各个模块的公共数据也统一注册到内核这个公共结构体中。
//
// > 结构体成员初始置 nil 加读取前检查不就好了
//
// ## 为什么这样比"每个包各持全局变量"好
//
// 本仓实测的隐藏依赖(设计 §2.8.2)大多来自**散落各包的包级变量**:
//
// internal/nlp/parser.go: var defaultParser Parser // SetDefaultParser 写,
// // NewExtractor 运行期读
//
// 这类变量的共同问题:
//
// · **看不见**:不读那个包的源码就不知道它存在、谁写谁读
// · **拼错不报**:`SetDefaultParser` 忘调 ⇒ 运行期静默降级
// (实测:图记忆实体退化成整句复合值,跨维度检索全失效)
// · **顺序无保证**:写入时机靠"碰巧"(原 main 里蒸馏先启动、解析器后装上,
// 靠 Interval=10min 兜着 —— 见 §2.8.2 A)
//
// 收到一个结构体后:
//
// · **一处可见**:一眼看全内核有哪些共享状态(可审计)
// · **类型化**:字段拼错 / 取错类型 ⇒ **编译错误**
// · **有归属**:字段属于某个模块的产物 ⇒ 顺序由依赖图保证
//
// ## ★ 取值方式:直接读字段 + 调用方检查 nil(用户指定的做法)
//
// 不用 map[string]any、不用泛型取用、不用"未声明依赖就取不到"的拦截。
// 理由:
//
// · 类型化字段 ⇒ 拼错/取错类型是**编译错误**(比任何运行期检查都早)
// · nil 检查 ⇒ 读得越直观越好(`if ks.LuaVM == nil { ... }`)
// · 少一层间接 ⇒ 少一处可能出错的地方
//
// 顺序正确性由**声明**驱动:`Build()` 校验缺依赖 / 环 / 重名,
// 判据断言关键顺序(见 internal/kernelboot/modules 的判据)。
//
// ## ★ 并发
//
// 同层模块**并行** Init,各自只写**自己那一个字段**
// ⇒ 字段互不相同,无数据竞争(判据用 -race 验证)。
//
// 内核**不**在字段上加锁:加锁会给调用方"可以乱写"的错觉,
// 正确约束是"各模块只写自己的字段"(由代码审查 + 判据守)。
type KernelState struct {
// ── Group 0 产出(core 自己立起来的东西,所有模块只读) ──
// Cfg 是配置快照(config 模块产出)。
//
// ★ 它就是原先"无主"的那个 cfg:`cfg := cfgReg.ToConfig()` 之后被手工
// 传给 11 个 init*。归到这里后,任何模块读 ks.Cfg 即可。
// 它在依赖图上是 config 模块的产物(第 0 层,前提由 Group 0 保证)。
Cfg *types.Config
// CfgReg 是配置中心(Group 0 产出,所有模块只读用)。
CfgReg *config.ConfigRegistry
// DataDir 是数据目录(Group 0 产出)。
DataDir string
// AgentWorkDir 是 agent 工作目录(ensureDataDirs 产出)。
AgentWorkDir string
// CLISocket 是 CLI 插件的 unix socket 路径(--cli-socket 产出)。
//
// 放在公共结构体里的理由:它是插件读的配置,必须与插件系统同时就绪
// (stage-host 模块用它设 cli.DefaultSocket —— 原先那行在 main 里
// 紧邻 loadPlugins)。
CLISocket string
// HTTPAddr 是 WebUI 监听地址覆盖值(--http-addr 产出)。
HTTPAddr string
// ── 各模块注册的公共数据(模块只写自己那几个字段) ──
// Memory 是图记忆栈(memory 模块产出)。
Memory *MemoryBundle
// LuaVM 是 Lua 协议适配 VM(lua 模块产出)。
LuaVM *luapkg.VM
// Supervisor 是代理生命周期守护(supervisor 模块产出)。
Supervisor *supervisor.Daemon
// Tracker 是变更追踪(tracker 模块产出)。
Tracker *tracker.Tracker
// IO 是内核 IO 抽象层(kernel-api 模块产出)。
IO *agentIO.IOManager
// EventBus 是事件总线(kernel-api 模块产出)。
EventBus *events.Bus
// TextMemory 是文本记忆(text-memory 模块产出)。
TextMemory *text.Memory
// Embedder 是共享词嵌入(memory 模块产出)。
//
// 蒸馏提取与 Agent 上下文**复用同一实例**,避免同一模型被二次加载
// (约 200k×300 维 ≈ 数百 MB 内存)。
Embedder *memory.StaticEmbedder
// LLMManager 是多源 provider 管理(llm 模块产出)。
LLMManager *agentAPI.ProviderManager
// LLMProvider 是默认 provider(llm 模块产出,= LLMManager.Default())。
LLMProvider agentAPI.Provider
// BaseAPIKey 是网关基础 key(llm 模块产出)。
BaseAPIKey string
// DocStore 是文档记忆(doc-store 模块产出)。
DocStore *document.Store
// Knowledge 是知识库(knowledge-store 模块产出)。
Knowledge *knowledge.Store
// MultimodalSpace 是多模态向量空间(multimodal 模块产出)。
MultimodalSpace vector.MultimodalEmbedder
// MultimodalProviderName / MultimodalErr 是"配了哪个 provider/为什么没启用"
// (multimodal 模块产出,供 healthcheck 状态报告)。
MultimodalProviderName string
MultimodalErr string
// StageHost 是阶段管道(stage-host 模块产出)。
StageHost *agentCore.StageHost
// PluginRegistry 是插件注册表(stage-host 模块产出)。
PluginRegistry *plugin.Registry
// PluginCatalog 是**插件元数据缓存**(plugin-host 模块产出)。
//
// ## 为什么需要它(用户指出的设计)
//
// > 插件管理器不应该在被拉起后就去读插件列表获取元数据并写入缓存准备拉起吗?
//
// 对。原先元数据散在两处、且**每次都要重扫磁盘**:
// · cmd/homed 的 collectPluginSpecs(决定启动时机)
// · pluginmgr 的 listPlugins(人看的列表)
// 两者各读各的 plugin.json,且调度器每轮评估都要用到。
//
// 现在统一由 plugin-host 模块**扫一次**、缓存下来,供:
// · 调度器(判断时机)
// · pluginmgr(列列表/状态)
// · 显式启用路径(校验名字是否存在)
//
// 类型是 any 以避免 import 环(kernelboot 不能依赖 plugin 包之外的
// 插件元数据类型)—— 取用处断言为 *PluginCatalog。
PluginCatalog any
// SyncBus 是内核**就绪状态总线**(由 Run 创建并填入)。
//
// ## ★ 为什么它必须在这里(而不只是 Run 的局部变量)
//
// 模块的 `Init(ks)` 只能看到 KernelState —— 若 bus 只在 Run 里,
// **模块拿不到它**,于是无法:
// · 订阅状态变化(plugin-host 要据此拉起"等更晚设施"的插件)
// · 标记就绪(虽然 Run 会自动做,但模块可能需要主动补标)
//
// 实测撞到:plugin-host 想在 Init 里挂"等 agent 就绪再拉起某些插件"的
// 回调,却找不到 bus。把它放进 KernelState(内核公共数据,用户设计)
// 是最自然的落点 —— 它本来就是**内核级共享状态**。
SyncBus *SyncBus
// PluginScheduler 是**插件拉起调度器**(plugin-host 模块产出)。
//
// 用途:诊断(还剩哪些插件挂起)、以及将来"显式启用某插件"时
// 判断它的依赖是否就绪。
//
// 类型是 any 以避免 kernelboot 反向依赖插件包(import 环)。
// 取用处断言为 *Scheduler。
PluginScheduler any
// PluginsReady 标记"插件调度已完成"(plugin-host 模块产出)。
//
// 用途:main 在装配后据此知道"插件该起的都起了",再往下走
// (如 compactConfigDB / 启动 runtime)。
PluginsReady bool
// Agent 是主 agent(agent 模块产出)。
Agent *agentCore.Agent
// ── 运行期(装配阶段建立,后续流程用) ──
// Ctx / Stop 是 agent 运行期的取消上下文。
//
// ★ 为何在这里而不是模块内部:main 在装配之后还要把它传给
// startAgentRuntime / startIPCServer。生命周期必须一致 ——
// 装配时创建的 ctx 若不交出去,那些组件会用另一个 ctx,
// 停机信号就传不进去。
Ctx context.Context
Stop context.CancelFunc
// Closers 是各模块注册的关闭函数(按**注册顺序**记录)。
//
// ★ 为何按注册顺序而不是按名字排:名字与依赖序**无关**。
// 实测反例:注册序 config→memory→llm,按名字逆序得 memory,llm,config(错),
// 正确的是 llm,memory,config。关闭时**逆序**执行(LIFO,与 defer 一致)。
//
// ★★ 为什么需要独立的锁(closerMu):
// **同层的模块是并行 Init 的**,而它们都会调 AddCloser。
// 实测(压力测试 + -race):第 1 层有 8 个模块并行,其中 5 个
// (docstore/lua/memory/multimodal/textmem)都注册关闭函数
// ⇒ 并发 append 到同一 slice ⇒ **数据竞争**。
//
// 后果不只是 race 警告:切片 append 在容量增长时可能**丢失元素**
// (两个 goroutine 同时读到旧 len、各自写同一槽)⇒ 某个模块的
// 关闭函数永远不被调用 ⇒ **资源泄漏**(且无任何报错)。
//
// 为什么不用 KernelState 上"模块只写自己字段"的约定来避免:
// Closers 不属于任一模块 —— 它是**共享的回收站**。
// 共享可变状态就必须有锁(这与"各写各的字段"是两条不同的保证)。
Closers []func()
// closerMu 保护 Closers(见上)。
closerMu sync.Mutex
// MigrationPreflight 是数据目录迁移体检(由 migration 模块填充,可 nil)。
//
// 用 func 字段而不是具体类型:kernelboot 不能依赖 migration 模块
// (那会成环),而迁移能力本身是**可选**的 —— nil 时调用方跳过即可。
MigrationPreflight func(target string) (interface{}, error)
// Quiescers 是可**暂停/恢复**的写者(伪关机用,见 lifecycle.go)。
//
// 与 Closers 的区别:Closers 是**一次性**的(关了就没了),
// 而迁移需要"停下来 → 搬数据 → 再起来" ⇒ 必须可逆。
Quiescers []Quiescer
quiesceMu sync.Mutex
}
// NewKernelState 创建公共结构体(所有字段零值 = nil,由各模块填充)。
func NewKernelState() *KernelState {
return &KernelState{}
}
// AddCloser 注册一个关闭函数(模块在 Init 里调用)。
//
// 关闭时按**注册顺序的逆序**执行(LIFO,与 `defer` 语义一致):
// 先初始化的一般是底层(config → memory → llm),停机应反向拆。
func (s *KernelState) AddCloser(fn func()) {
if fn == nil {
return
}
// ★ 必须加锁:同层模块**并行** Init 时都会调它(见 Closers 字段的注释)。
s.closerMu.Lock()
s.Closers = append(s.Closers, fn)
s.closerMu.Unlock()
}
// CloseAll 逆序执行全部关闭函数,返回首个错误。
//
// ★ 失败策略:**继续执行剩余关闭**(返回首个错误)。
// 一个模块关不掉不该阻止其他模块关 —— 那会造成更多泄漏。
// 关闭函数 panic 也被隔离(否则一个模块的问题会连带其他模块都关不掉)。
func (s *KernelState) CloseAll() error {
// ★ 先取快照再执行(不持锁执行回调):关闭函数可能很慢
// (停进程/flush 数据库),持锁会让并发调用 AddCloser 的模块卡住;
// 且回调可能反查 KernelState ⇒ 死锁。
s.closerMu.Lock()
fns := make([]func(), len(s.Closers))
copy(fns, s.Closers)
s.Closers = nil
s.closerMu.Unlock()
for i := len(fns) - 1; i >= 0; i-- {
fn := fns[i]
func() {
defer func() {
if r := recover(); r != nil {
log.Printf("[kernelboot] 关闭函数 panic(已隔离): %v", r)
}
}()
fn()
}()
}
return nil
}