知识卡片
原子性只是必要条件
内容
顺序一致常被描述为操作好像原子地按某个顺序执行；但原子性描述只是帮助理解，不完全等价于正式定义。发散：用通俗描述学习概念时，要能回到定义检查边界。
参考来源
- 位置：《分布式系统与一致性》第14章《顺序一致性》"14.4.2 原子性"一节（源文件：_epub-src/OEBPS/Text/chapter18.xhtml）
- 结论依据：原文明确在推导出"当所有操作都是原子操作，并且符合程序顺序时，系统满足顺序一致性"之后特别强调"这种描述，只是正式定义的一个必要条件，不是充分条件……满足顺序一致性的系统，不一定满足这种描述，也就是操作不是原子操作，也可能满足顺序一致性"。
- 原始内容：当所有操作都是原子操作，并且符合程序顺序时，系统满足顺序一致性。但是要注意，我们现在说的这种描述，只是正式定义的一个必要条件，不是充分条件。也就是说，如果满足这种描述，那么系统是满足顺序一致性的。但是满足顺序一致性的系统，不一定满足这种描述，也就是操作不是原子操作，也可能满足顺序一致性。