中文

为何 iCloud 失败:云同步的类别错误

分布式、并行与集群计算 2026-03-10 v3 操作系统

摘要

iCloud Drive 提供文件系统接口,但实现的云同步语义与 POSIX 在根本方面存在差异。这种差异不是实现错误;它是一种 Category Mistake——在分布式计算中,无论是哪里,只要将 Forward-In-Time-Only(FITO)假设嵌入协议设计,都会出现这种 Category Mistake。Parker 等人于 1983 年指出,网络分区会破坏互惠一致性;iCloud 在其 seamlessness 幻象之后,添加了一个用户界面来掩盖这种不可能性。这份文件提出了一套统一的分析,说明 iCloud 在与 Time Machine、git、自动化工具链和通用开发者工作流程组合时为何失败,依据包括已记录的腐败事件以及涉及 366 GB 差异状态的案例研究,后者通过正常使用累积。我们表明,失败源于五个相互交织的不兼容性,这些不兼容性根植于单一结构性错误:将分布式因果图投影到线性时间链上。我们随后展示了相同 Category Mistake 当它发生在网络布线中导致链路跳变时,如何通过 epistemic collapse 破坏拓扑知识。最后,我们认为 Open Atomic Ethernet(OAE)事务语义——双向、可逆、且保守——为解决这些失败提供了结构性基础,方法不是通过击败物理学,而是通过与物理现实保持一致来实现协议行为。

关键词

引用

@article{arxiv.2602.19433,
  title  = {Why iCloud Fails: The Category Mistake of Cloud Synchronization},
  author = {Paul Borrill},
  journal= {arXiv preprint arXiv:2602.19433},
  year   = {2026}
}

备注

28 pages, 7 figures, 36 references