知识卡片
顺序一致性很严苛
内容
顺序一致性会限制并发执行、缓存优化和指令重排，因为任何优化后的结果都必须能还原成合法顺序执行。发散：越强的心智模型越容易编程，越可能把复杂性转移给硬件或存储系统。
参考来源
- 位置：《分布式系统与一致性》第14章《顺序一致性》"14.2 理解顺序一致性"一节（源文件：_epub-src/OEBPS/Text/chapter18.xhtml）
- 结论依据：原文明确"顺序一致性并没有规定多处理器计算机如何实现并发机制，但是要求这种并发机制能够达到顺序执行的效果。此外，顺序一致性也大大限制了编译器指令重排和高速缓存优化"，并举例说明不满足要求的高速缓存优化会使系统不再是顺序一致性的。
- 原始内容：从前面的分析可以看出，顺序一致性是非常严苛的……顺序一致性并没有规定多处理器计算机如何实现并发机制，但是要求这种并发机制能够达到顺序执行的效果。此外，顺序一致性也大大限制了编译器指令重排和高速缓存优化。