MSSPLANET的博客

本文主要列出Happens-Before规则，介绍Happens-Before的作用以及JMM中为什么要有Happens-Before规则的存在。 Happens-Before规则主要有两个作用，一个是解决数据竞争问题，另一个是为开发人员提供足够强的内存可见性。 数据竞争 数据竞争就是指并发条件下的状态属性不同步而引发的读写不一致问题。 现假设有两个线程A、B要对内存中的同一个变量进行访问，线程A要对这个变量执行写操作，线程B要对这个变量执行读操作，两个操作是同时进行的，此时若不加以限制，线程B读操作所得到

**本文将主要围绕内存可见性展开讨论**，并横向对比其与顺序一致性内存模型的异同，探究Java内存模型在可见性问题上是如何规范的。其中在Java内存模型中内存可见性部分，主要涉及指令重排序相关的可见性问题，数据缓存相关的可见性问题不重点介绍。

双重检查锁定 双重检查锁定，即Double-Checked Lock问题，是并发编程中由于指令重排和不正确同步导致的经典并发问题 延迟初始化 在介绍本文重点双重检查锁定前，必须要先了解双重检查锁定问题是由何而来的。 学习过Spring的同学一定都听过懒加载(lazy-init)，延迟初始化与懒加载是同类型的思想，都是为了避免、推迟不必要的高性能开销操作或降低程序的启动时间。而本文要讨论的双重检查锁定就是为了延迟初始化服务的，详见下文。 单线程环境下的延迟初始化 在假定的单线程环境下，下列代码就可以很好的实现