【JMM】内存模型之顺序一致性

引言

顺序一致性是多线程环境下的理论参考模型，为程序提供了极强的内存可见性保证，在顺序一致性执行过程中，所有动作之间的先后关系与程序代码的顺序一致。

JMM对正确同步的多线程程序的内存一致性做出的保证：
如果程序是正确同步的，程序的执行将具有顺序一致性（sequentially consistent）。

特性

• 一个线程中的所有操作必定按照程序的顺序来执行。
• 所有的线程都只能看到一个单一的执行顺序，不管是否同步。
• 每个操作都必须原子执行且立即对所有程序可见。

盗用两张图：内存模型之顺序一致性

• 加了锁
  
• 未加锁