双向对称同步文件时同时编辑产生随机结果的原因及并发一致性探讨

问题诱因 #

你观察到的异常本质是无同步保护的竞态条件，由多个并行执行的读写流程没有做原子性保证导致，具体可拆解为三点：

• 读写操作非原子
  不管是你用echo "xxx" > file的shell命令，还是Python里open(file, "w")的写入逻辑，都会先把目标文件截断为0字节，再写入新内容，「截断+写入」两个动作不是原子操作。如果在截断后、写入完成前，另一个线程刚好读取该文件，就会读到空内容，后续同步到另一个文件就会触发文件变空的问题。
  同时link函数「读取源文件→写入目标文件」的整个流程也没有加锁，两个反向同步的线程执行顺序完全由操作系统调度决定，时序是完全随机的，没有任何先后保证。
• 无冲突解决机制
  当你手动写入新内容、两个线程同时读写两个文件时，没有规则判断哪份内容是最新的，只会按照线程调度的先后随机覆盖。比如你刚写入x的新内容可能还没被同步到y，就被另一个线程从y读来的旧内容覆盖回x，这就是你看到「内容有时是你写入的、有时不是」的原因。
• 内容拼接异常
  你观察到的多出换行、内容拆分的现象，是因为读操作刚好发生在写操作的中途：写入方还没把完整内容写完，读方已经读取了部分内容，后续同步时就会把不完整的内容和旧内容拼接，出现多行、内容断裂的情况。

关于Shell历史同步的测试初衷 #

你当前的测试脚本逻辑和真实的Shell历史同步场景差异很大：

• 真实的Shell历史默认是追加写入，而非你测试用的覆盖写入，不会直接清空原有内容
• 成熟的文件同步方案都会有冲突解决机制，比如通过文件修改时间、版本号、矢量时钟判断内容新旧，或者用分布式锁保证同一时间只有一个节点写入，不会出现无规则覆盖的问题
• 如果你要模拟多用户同时写Shell历史的场景，应该改用追加写逻辑，同时给每个写入的历史行加时间戳、节点标识做冲突合并，才能得到符合预期的同步结果。

内容的提问来源于stack exchange，提问作者Rastefan