沙箱与运行时dsh-plugin
Stars
0
Forks
0
Open Issues
0
最近 Push
2026年8月16日
最新版本
—
24h Growth
+0
7d Growth
+0
安装
dsh plugin --profile <profile> add dsh-single-instance-guard概览
一个零依赖的 DeepSeek Harness 插件,在启动时对 DSH_HOME 数据目录获取独占锁,如果另一个正在运行的 dsh 服务器已经使用该目录,则大声中止启动,以防止并发写入导致会话日志损坏。
- 启动时使用原子 O_EXCL 锁文件创建,对 DSH_HOME 数据目录获取独占锁。
- 如果另一个活动的 dsh 服务器已使用同一数据目录,则大声中止启动并提供清晰的双语错误。
- 防止由带有过期序列游标的并发写入者导致的 JSONL 会话持久化损坏。
- 冲突时检查持有者进程存活状态;移除过期锁并重试获取。
- 仅当进程仍拥有锁时,在退出时移除锁文件。
- 与 dsh 本身一样解析 DSH_HOME:$DSH_HOME 或 ~/.dsh,因此不同数据根不会冲突。
- 零运行时依赖,可通过 dsh plugin CLI 或手动 cordis.patch.yml 插入轻松安装。
- 包含关于陈旧锁重试微小竞争的已知限制说明,仍通过原子 O_EXCL 保证恰好一个赢家。