严格一致性模型-CSDN博客

SC 的第二点约束 :store 必须被 所有(包括自身)执行流 同时看到 ,但是
	不要求写操作“立即”对其他处理器可见；允许写操作延迟一会儿被其他核观察到。
而 严格一致性模型,包括
	1. store 必须被 所有(包括自身)执行流 同时看到
	2. 看到的时间 必须是 某个处理器完成写操作的时间 // 即  一旦某个处理器完成写操作, 所有其他处理器立即能观察到它的结果。

特性	顺序一致性（SC）	严格一致性（Strict Consistency）
是否按真实时间顺序执行	❌ 不是，允许只要逻辑上可解释的全局顺序就行	✅ 是，必须和真实时间顺序完全一致
写是否要立刻对所有线程可见	❌ 不需要，可以晚一点	✅ 需要立即对所有线程可见（同步广播）
是否可构造交错序列解释执行结果	✅ 是的，只要能构造即可	✅ 同时必须与真实时间顺序一致
是否能有缓存写延迟、store buffer	✅ 可以	❌ 不行，所有写立即全系统同步
现代 CPU 是否支持	❌ 需要 barrier/fence 才能模拟	❌ 几乎无现实实现（代价太高）