DSH 学习 · 设置与缝

另一个进程改了 settings.yaml,这一进程不用重启。

全部命名空间段落共用一份 YAML/JSON 文档;任何写入都经过缝,落盘即热发布给订阅者。外部编辑也不走旁路——fs 监听器把它变成同一次热发布。同一文档同时只有一个写者:写入锁让第二个写者排队等第一个释放。两个进程共享 harness home 时,「对方的保存」就是「本进程的外部编辑」。

阅读配套课程 打开凭据解析实验

先押一个注:外部进程直接改了 settings.yaml——本进程怎么感知到变化?

当前选择写在地址栏 #state= 后面:刷新不丢,发给别人打开的是同一份输入。
动作
写入锁
热发布
重读结果
独立校验

三条泳道上的一次变更

步骤 × 参与方

读取、写入、热发布三条泳道。外部编辑跳过写入锁直接落在文件上,但仍然汇入同一条热发布泳道——这就是两条路径等价的证据。悬停圆点看每步说明。

两条规则逐条重算

流程校验

独立校验把同一输入整体重建一遍再逐字节比较时间线,并核对热发布必然出现;它不读渲染层的任何中间量。

    哪些结论可以带走

    能证明什么

      不能证明什么

        完整步骤表

        不用脚本也能读

        图里的每一步,这张表都逐行给出:属于哪条泳道、处于哪个阶段、做了什么。

        当前输入的全部步骤
        #泳道阶段说明