HomeAgent

jianf/HomeAgent

Fork 0

mirror of https://gitcode.com/JianFeeeee/HomeAgent.git synced 2026-10-08 00:25:05 +00:00

Commit Graph

Author	SHA1	Message	Date
JianFeeeee	fbc34c64e8	docs(scheduler): 回写 M1–M7 实现状态与 5 处实现期偏差 - 里程碑表补提交号与验收结果 - 记下与设计稿的偏差：M3 拆分、a.mu 移除、interceptCh 删除、 M0 伪时钟未做（用阻塞 provider 替代）、工具执行临界区由结构保证	2026-09-13 00:48:20 +08:00
JianFeeeee	9b762a02b4	docs(scheduler): M3 拆为 M3a（所有权重构）/M3b（抢占语义）真正的中途挂起要求帧跨越 prepare→step…→finish 全生命周期；若只让 process() 可挂起，processInput 会在挂起返回后继续 context.Append 与 emitResponse，造成重复提交。故 M3 分为两步：M3a 行为等价的所有权重构（含移除 process() 整轮持有的 a.mu），M3b 再引入优先级与抢占。	2026-09-12 23:51:13 +08:00
JianFeeeee	9552a87fba	docs(scheduler): 输入调度器设计稿（四级优先级/可抢占/现场保存 + 测试点与里程碑）背景：现状排队与中断两条语义建立在串行 eventLoop 上，存在队头阻塞、中断三条隐式降级路径、回执无任务归属、断链点静默、背压策略分裂、假取消、不可观测七个已确认问题。设计：四级内核预定义优先级（严格大于才抢占）、显式临界区、单调度线程 + 单中断线程、step 化任务帧与安全点、suspendPool/pendingInterrupts/ readyQueue 三集合统一选择函数、任务级 responseCh。含 11 组测试点（优先级/恢复/回执/队列/深度饥饿并发/端到端），测试方式与预期结果逐条写明；M0–M7 里程碑逐步实现。公开 SDK 在 v1 保持冻结（diff 必须为 0）。	2026-09-12 23:39:10 +08:00

Author

SHA1

Message

Date

JianFeeeee

fbc34c64e8

docs(scheduler): 回写 M1–M7 实现状态与 5 处实现期偏差

- 里程碑表补提交号与验收结果
- 记下与设计稿的偏差：M3 拆分、a.mu 移除、interceptCh 删除、
  M0 伪时钟未做（用阻塞 provider 替代）、工具执行临界区由结构保证

2026-09-13 00:48:20 +08:00

JianFeeeee

9b762a02b4

docs(scheduler): M3 拆为 M3a（所有权重构）/M3b（抢占语义）

真正的中途挂起要求帧跨越 prepare→step…→finish 全生命周期；若只让
process() 可挂起，processInput 会在挂起返回后继续 context.Append 与
emitResponse，造成重复提交。故 M3 分为两步：M3a 行为等价的所有权重构
（含移除 process() 整轮持有的 a.mu），M3b 再引入优先级与抢占。

2026-09-12 23:51:13 +08:00

JianFeeeee

9552a87fba

docs(scheduler): 输入调度器设计稿（四级优先级/可抢占/现场保存 + 测试点与里程碑）

背景：现状排队与中断两条语义建立在串行 eventLoop 上，存在队头阻塞、
中断三条隐式降级路径、回执无任务归属、断链点静默、背压策略分裂、
假取消、不可观测七个已确认问题。

设计：四级内核预定义优先级（严格大于才抢占）、显式临界区、
单调度线程 + 单中断线程、step 化任务帧与安全点、suspendPool/pendingInterrupts/
readyQueue 三集合统一选择函数、任务级 responseCh。

含 11 组测试点（优先级/恢复/回执/队列/深度饥饿并发/端到端），
测试方式与预期结果逐条写明；M0–M7 里程碑逐步实现。
公开 SDK 在 v1 保持冻结（diff 必须为 0）。

2026-09-12 23:39:10 +08:00

3 Commits