Java JUC编程基本内容总结

JUC全称Java.util.current，是Java5.0提供的并发编程工具包，用于定义类似于线程的自定义子系统,包括线程池,异步 IO 和轻量级任务框架;还提供了设计用于多线程上下文中
的 Collection 实现等

1.volitale

1.1 Java内存的可见性

Java内存可以分为主内存和线程工作内存
主内存：保存了程序的所有变量。
工作内存: 每个线程都有自己的独立工作内存，里面保存了该线程使用的变量的副本（主内存对该变量的一份拷贝）

主内存被三个线程共享，每个线程都有自己的工作内存，多个线程负责与自己工作内存交互也负责与主内存交互，线程不能与主内存直接进行交互，共享变量x都被3个线程使用，所以在3个线程中都使用了这个变量。

Java中规定了以下两点
1.线程对共享变量的所有操作都必须从自己的工作内存中读写不能直接从主内存中读写
2.不同线程之间不能直接访问其他线程工作内存中的变量，线程间变量值的传递需要通过主内存来完成。

可见性：可见性，是指线程之间的可见性，一个线程修改的状态对另一个线程是可见的。也就是一个线程修改的结果。另一个线程马上就能看到。

怎么实现线程的可见性？

若线程1对共享变量的修改需要被线程2看到，那么就需要将：
1.把工作内存1中更新过的变量刷新到主内存中去
2.将主内存中最新的变量更新到工作内存2中。

实现内存可见的三种方式：

1. Sychronized关键字
2. volatile关键字
3. final关键字

sychronized：
1.线程解锁前（退出synchronized代码块前），必须将共享变量的最新值刷到主内存中。
2.线程加锁时，将清空工作内存中共享变量的值，以便及时从主内存读取最新的值（解锁和和加锁是相同的一把锁）。
线程解锁前对共享变量的修改在下次加锁时对其他线程可见。

volatile原理：
1.改变线程工作内存中volatile修饰的变量副本的值
2.将工作内存中改变的值刷到主内存

1.2 volatile关键字

Java语言提供了一种稍弱的同步机制，即volatile变量，用来确保将变量的更新操作通知到其他线程。当把变量声明为volatile类型后，编译器与运行时都会注意到这个变量是共享的，因此不会将该变量上的操作与其他内存操作一起重排序。volatile变量不会被缓存在寄存器或者对其他处理器不可见的地方，因此在读取volatile类型的变量时总会返回最新写入的值。

在访问volatile变量时不会执行加锁操作，因此也就不会使执行线程阻塞，因此volatile变量是一种比sychronized关键字更轻量级的同步机制。

当对非 volatile 变量进行读写的时候，每个线程先从内存拷贝变量到CPU缓存中。如果计算机有多个CPU，每个线程可能在不同的CPU上被处理，这意味着每个线程可以拷贝到不同的 CPU cache 中。

而声明变量是 volatile 的，JVM 保证了每次读变量都从内存中读，跳过 CPU cache 这一步。
　　
volatile修饰的变量特性：

1.保证此变量对所有的线程的可见性，这里的“可见性”，如本文开头所述，当一个线程修改了这个变量的值，volatile 保证了新值能立即同步到主内存，以及每次使用前立即从主内存刷新。但普通变量做不到这点，普通变量的值在线程间传递均需要通过主内存来完成。

2.禁止指令重排序优化。有volatile修饰的变量，赋值后多执行了一个“load addl $0x0, (%esp)”操作，这个操作相当于一个内存屏障（指令重排序时不能把后面的指令重排序到内存屏障之前的位置），只有一个CPU访问内存时，并不需要内存屏障；（什么是指令重排序：是指CPU采用了允许将多条指令不按程序规定的顺序分开发送给各相应电路单元处理）。

volatile的性能
volatile 的读性能消耗与普通变量几乎相同，但是写操作稍慢，因为它需要在本地代码中插入许多内存屏障指令来保证处理器不发生乱序执行。

2.原子变量与CAS算法

2.1 原子性

原子性：即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。

2.2 volatile为什么不保证原子性？

volatile的作用可以简单分为两点：

1. volatile维护了内存的可见性，线程对volatile操作的变量会立即更行到主存中，并且使得其他线程的缓存无效
2. volatile维护了程序的有序性，不进行指令重排序。

那么volatile为什么不保证原子性呢，比如i ++操作，i ++ 操作其实可以分为三步：

1. 线程读取 i 的值
2. temp = i + 1
3. i = temp

现在有 A , B 两个线程进行 i ++操作，假设 i 的初始值为10
A线程首先进行读取 i 的值，此时A线程阻塞了，B线程进行了 i++操作然后将值写入主存中，此时 i 变成了 11 ，然后切换回 A 线程 ,A 根据原有读取的值进行自增 temp变为11然后重新写入主存中，因此尽管进行了两次自增操作，i 的值只自增了一次。（注意volatile作用一的粗体字，为什么 B 线程修改i后A线程原来读取的值没有失效，因为此时A线程读取的 i 并不是存放在缓存中，而是在寄存器里，所以原来A读取的值不会失效，具体的原因可以看看MESI缓存一致性协议）

根据上面的例子我们可以看出 volatile不能保证原子性，那么怎么才能保证原子性呢？

1. synchronized
2. lock
3. 原子变量

2.3 CAS算法

Atomic的核心操作就是CAS（compare and set,利用CMPXCHG指令实现，它是一个原子指令）,该指令有三个操作数，变量的内存值V（value的缩写），变量的当前预期值E（exception的缩写），变量想要更新的值U（update的缩写），当内存值和当前预期值相同时，将变量的更新值覆盖内存值。
我们依旧用上述例子来解释CAS算法：

1. A线程首先读取内存中的 i 值为 10
2. B线程对 i 进行自增
3. A线程现在要对 i 进行操作 预期值 E 为10 ，内存值为 11 所以两值不同之前的操作失败，重新进行此次操作，一直循环到操作成功为止。

2.4 API提供的原子变量

java.util.concurrent.atomic包下提供了很多基于CAS算法的原子变量，如AtomicInteger、AtomicInteger等等里面的核心方法为CompareAndSet 、 CompareAndSwap以及一些常见的操作
getAndIncrement （相当于 i ++ ） 、incrementAndGet（++ i）。

AtomicIntger的简单使用

public class CasTest {
    public static void main(String[] args) {
        CAS cas = new CAS();
        for (int i = 0; i < 10 ; i++) {
            new Thread(cas).start();

        }
    }
}
class CAS implements Runnable{
    AtomicInteger atomicInteger = new AtomicInteger();

    @Override
    public void run() {
        System.out.println(getAtomicInteger());
    }

    public int getAtomicInteger() {
        return atomicInteger.getAndIncrement();
    }

    public void setAtomicInteger(AtomicInteger atomicInteger) {
        this.atomicInteger = atomicInteger;
    }
}