Java内存模型学习之concurrent包的实现

线程通信的四种方式

A线程写volatile变量，随后B线程读取这个volatile变量

A线程写volatile变量，随后线程使用CAS更新这个volatile变量

A线程使用CAS更新一个volatile变量，随后B线程使用CAS更新这个volatile变量

A线程使用CAS更新一个volatile变量，随后B线程读取这个volatile变量。

concurrent包的整体实现实现

如果你看过多个这个包里面的类的话你会看过很多设计思想都是相似的。

声明共享变量为volatile

使用CAS的原子条件来实现线程之间的同步

配合volatile的读、写和CAS所具有的volatile的内存语义来实现线程之间的通信。

最后一句话解释：

从内存的角度来讲

       volatile的写-读与锁的释放-获取有相同的内存效果：volatile写和锁的释放有相同的内存语义；volatile读与锁的获取有相同的内存语义。

当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量值刷新到主内存。

当读一个volatile变量时，JMM会把该线程对应的本地内存置为无效。线程接下来将从主内存中读取共享变量。

当线程释放锁时，JMM会把该线程对应的本地内存中的共享变量刷新到主内存中。

当线程获取锁时，JMM会把该线程对应的本地内存置为无效。从而使得被监视器保护的临界区代码必须从主内存中读取共享变量

线程A释放一个锁，实质上是线程A向接下来将要获取这个锁的某个线程发出了（线程A对共享变量所做修改的）消息。

线程B获取一个锁，实质上是线程B接收了之前某个线程发出的（在释放这个锁之前对共享变量所做修改的）消息。

线程A释放锁，随后线程B获取这个锁，这个过程实质上是线程A通过主内存向线程B发送消息。

 对于获取锁释放锁前面一篇文章已经说过，加锁方法首先读volatile变量state，在释放锁的最后写volatile变量state。

参考：《java并发编程的艺术》