@huiliyi37/dsh-subprocess-local
v0.4.0
Published
Local-subprocess implementation of the Tianshu Harness subprocess seam
Readme
@huiliyi37/dsh-subprocess-local
English | 中文
@huiliyi37/dsh-subprocess seam 的本地 Service provider。LocalSubprocessService 解析本地可执行文件,以显式 stdio spawn 普通 detached 进程树,并通过 node-pty 加平台进程检查实现终端进程。该实现没有任何配置:每项处置方式、限制、终端尺寸、宽限期与目录都来自调用方能力 seam(dsh-bash-local、dsh-lsp-local 和 dsh-pty-local)。
行为(以及设计来源)
- 以适合平台的方式发送信号的 detached 进程树:POSIX 子进程使用
detachedspawn(拥有独立进程组),信号以负 pgid 发送并以直接子进程作为回退;Windows 通过taskkill /PID <pid> /T /F终止进程树。terminate()(句柄唯一的终止操作)先发送 SIGTERM,经过 spec 的宽限期后再发送 SIGKILL(沿用 OpenCode 的升级策略;流水线与子 shell 会随父进程一起结束),进程树消亡后为空操作;waitForExit()轮询整棵进程树的存活状态,使消费方的拆卸能确认真正的完全停稳。组长进程退出后,仍然打开的管道也只获得同样有界的排空宽限期,因此存活的后代进程无法无限期地拖住结果不结算。系统会容忍 ESRCH;重新指定父进程并脱离该组的 daemon 仍可能存活,这与所调研工具的局限相同。 - 按流划分的处置方式:
'pipe'把原始流原样交给调用方(协议分帧仍归消费方所有);'inherit'直通父进程的描述符;收集模式(collect)在输出超过上限后于内存中保留尾部(错误与结果通常聚集在末尾,沿用 pi/OpenCode 的理由),并在配置了 spill 上限时把完整流追加到一个私有临时文件;省略spill则只保留用于诊断的尾部。某条流大于 spill 上限时,会丢弃已不完整的 spill,仅返回带截断标记的尾部;spill 文件描述符在结算时封存,最终关闭失败时则不公布路径,以免声称存在不完整的文件。spill 文件权限为0600、名称随机,位于按需创建、权限为0700的每进程目录之下。 - 凭据清除 + 显式合并:以
process.env为基础,移除形似凭据的变量(*KEY*/*PASSWORD*/*SECRET*/*TOKEN*)和所有环境中已有的DSH_*名称;spec 的显式env在该清除之后合并且不做命名空间校验,因此有意提供的凭据或当前DSH_*事实会胜出,而陈旧的嵌套 harness 身份无法从环境中隐式漏入。提供的 stdin 会被写入后关闭;否则 fd 0 指向/dev/null。参见 stdin/env Agent Note与受管环境 Agent Note。 - 基于偏移量的读取:收集模式的读取器按完整流的字节坐标返回增量;服务自身从不持有游标,因此消费方自有的游标(bash 的后台读取路径)与完整流重读可以共存,结算前后皆然。
- 可执行文件查找:
resolveExecutable检查绝对文件,或根据平台可执行文件扩展名在清理后的有效 PATH 中搜索;含分隔符的相对路径在该能力入口被拒绝,相对 PATH 条目从宿主进程 cwd 解析。 - 终端进程所有权:
spawnTerminal分配node-pty,桥接 UTF-8 终端文本,检查当前前台进程组并向其发送信号,还会公开一项须等待的终止操作,在终止顶层 shell 前后清理后代进程。每次前台检查都会保留根进程树中的精确身份;Linux 还会在 POSIX 会话 leader 退出后枚举该会话。因此,之前观察到的 macOS 后代以及同会话 Linux 成员在重新设定父进程后仍受围栏保护,pid/start 身份则防止清理跟随 PID 复用。在 Windows 上,基于 koffi 的检查器通过 Toolhelp32 枚举进程表,把 GetProcessTimes 启动身份与进程句柄零时等待结合起来判断存活状态,并把 shell pid 作为伪前台进程组(Windows 没有 POSIX 进程组)。拆卸会验证 shell 已终止,因为被外部 taskkill 的 shell 可能永远不会触发 node-pty 的退出通知。上层 PTY 后端负责提示符就绪、缓冲区与面向模型的操作。 - 先终止再等待退出的 dispose(资源释放):服务保留存活句柄,只为让自身的 dispose 能对每个仍在运行的进程树执行升级并等待其退出;已结算与 spawn 失败的句柄在结算时即离开存活集合。
模型体验
通过 Consumer 间接影响(目前是 dsh-tool-bash 背后的 bash 执行器家族);进程输出与生命周期面向模型的全部渲染归 Consumer 所有。
KV Cache 影响
不会直接导致 KV Cache 失效;请求前缀变更由上述消费方负责。
已知限制与暂缓事项
- Windows 进程树支持仅为尽力而为:终止经由
taskkill /PID <pid> /T /F完成,所有结果都被就地吸收,不向外抛出(进程树已不存在、竞态、二进制缺失),存活探测则回退到直接子进程边界。 - Windows 终端信号是控制台级的:SIGINT 以
\x03Ctrl-C 输入写入投递,由 conhost 转为控制台级 CTRL_C 事件;SIGTSTP 与 SIGHUP 被拒绝(不可用);不带/F的taskkill无法终止控制台进程,因此拆卸的 TERM 档是/F升级前的宽限等待。Windows 就绪没有精确的 stdin-wait 档:prompt-marker 快路径把 shell pid 作为伪前台进程组比较,其余由静默/计时档覆盖。 - 守护化的终端后代仍可能逃出可观察边界:在 macOS 上,子进程如果在任何前台检查快照之前重新设定父进程,将无法再从
node-pty根进程发现;在 Linux 上,调用setsid的子进程会同时离开进程树与自有终端会话。本地提供方不会新增持续进程表监视器。 - 凭据清除依赖名称启发式规则:只匹配
*KEY*/*PASSWORD*/*SECRET*/*TOKEN*;名称不同的 secret(例如*PASSPHRASE*)会继续传递,对误删变量引入白名单属于已记录的后续工作。 - 不会删除已完成的 spill 文件:有界的完整输出恢复文件(以及每个进程的私有 spill 目录)会在 OS tmpdir 下累积,直到外部机制进行清理;超大的不完整 spill 会被丢弃并立即尝试删除,但清理失败可能留下一个有界文件。
原始进程处理位于 src/spawn.ts;src/index.ts 负责服务接线。
