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

文章首发于:clawhub.club


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

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

特性

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

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

  • 加了锁


    【JMM】内存模型之顺序一致性_第1张图片
    顺序一致性-加锁.jpg
  • 未加锁


    【JMM】内存模型之顺序一致性_第2张图片
    顺序一致性-未加锁.jpg

你可能感兴趣的:(【JMM】内存模型之顺序一致性)