并发编程之JUC包--06

  现在CPU内部已经执行原子的CAS操作,CAS通过调用JNI的代码实现的。JNI:Java Native Interface为JAVA本地调用，允许java调用其他语言。​而compareAndSwapInt就是借助C++语言来调用CPU底层指令实现原子操作的。

1.Java具有原子性，可见性和有序性的线程通信

  由于java的CAS具有 volatile 读和volatile写的内存语义，因此Java线程之间的通信现在有了下面四种方式：

• 1>.A线程写volatile变量，随后B线程读这个volatile变量。

• 2>:A线程写volatile变量，随后B线程用CAS更新这个volatile变量。

• 3>:A线程用CAS更新一个volatile变量，随后B线程用CAS更新这个volatile变量。

• 4>:A线程用CAS更新一个volatile变量，随后B线程读这个volatile变量。

2.concurrent包的实现

  volatile变量的可见性和CAS的乐观锁可以实现线程之间的通信。把这些特性整合在一起，就形成了整个concurrent包得以实现的基石。如果我们仔细分析concurrent包的源代码实现，会发现一个通用化的实现模式：

• 首先，声明共享变量为volatile；然后使用CAS更新来实现线程之间的同步；

• 同时，配合以volatile的可见性和CAS来实现线程之间的通信。

  AQS，非阻塞数据结构和原子变量类（java.util.concurrent.atomic包中的类）等，这些concurrent包中的基础类都是使用这种模式来实现的，而concurrent包中的高层类又是依赖于这些基础类来实现的。从整体来看，concurrent包的实现示意图如下：