JVM——内存模型

1.java内存模型

java内存模型是Java Memory Model的意思。简单的说，JMM定义了一套在多线程读写共享数据（成员变量、数组）时，对数据的可见性、有序性和原子性的规则和保障。

1.1 原子性

Java 内存模型保证了 read、load、use、assign、store、write、lock 和 unlock 操作具有原子性，例如对一个 int 类型的变量执行 assign 赋值操作，这个操作就是原子性的。

1.2实例

synchronized(同步关键字)
语法：

synchronized(对象){
 要作为操作代码
}

用synchronized解决并发问题：

主要：上例中t1和t2线程必须用synchronized锁住同一个obj对象，如果t1锁住的是m1对象，t2锁住的是m2对象。就好比两个人分别进入两个不同的房间，没法起到同步的效果。

2.可见性

2.1退不出的循环

2.2解决方法

volatile(易变关键字)
它可以用来修饰成员变量和静态变量，他可以避免线程从自己的工作缓冲中查找变量的值，必须到主存中获取它的值，线程操作volatile变量都是直接操主存。

2.3 可见性

所谓可见性，就是指一个线程改变了共享变量之后，其他线程能够立即知道这个变量被修改。我们知道在Java内存模型中，不同线程拥有自己的本地内存，而本地内存是主内存的副本。如果线程修改了本地内存而没有去更新主内存，那么就无法保证可见性。
前面例子提案的实际就是可见性，它保证的是在多个线程之间，一个线程对volatile变量的修改对另一个线程可见，不能保证原子性，仅用在一个写线程，多个读线程的情况。
注意
synchronized语句块既可以保证代码块的原子性，也同时保证代码块内变量的可见性。但缺点是synchronized是属于重量级操作，性能相对更低

如果在前面实例的死循环中加入System.out.println()会发现即使不加volatile修饰符，线程t也能正确看到对run变量的修改了，为什么？

通过看System.out.println();的源码不难发现：

    public void println(String x) {
        synchronized (this) {
            print(x);
            newLine();
        }
    }

println方法内部实际上也是加了synchronized关键字的,因此可以保证可见性和原子性

3.有序性

3.1有序性理解

同一个线程内，JVM会在不影响正确性的前提下，可以调整语句的执行顺序。

3.2怎么实现有序性

（1）volatile关键字通过添加内存屏障的方式来禁止指令重排，即重排序时不能把后面的指令放到内存屏障之前。
（2）也可以通过 synchronized 来保证有序性，它保证每个时刻只有一个线程执行同步代码，相当于是让线程顺序执行同步代码。

happens-before

happens-before规定了那些写操作对其他线程的读操作可见，它是可见性与有序性的一套规则总结：
（1）线程解锁m之前对变量的写，对于接下来对m加锁的其它线程对该变量大的读可见。

（2）线程对volatile变量的写，对接下来其它线程对该变量的读可见

（3）线程结束前对变量的写，对其它线程得知它结束后的读可见（比如其他线程调用t1,isAlive()或t1,join()等待它结束）

（4）线程t1打断t2（interrupt）前对变量的写，对于其他线程得知t2被打断后对变量的读可见（通过t2.interrupted或t2.isInterrupt）

(5)对变量默认值（0，false,null）的写，对其他线程对该变量的读可见
（6）具有传递性，如果x hb->并且y hb->z那么x hb->z
变量都是指成员或静态成员变量

CAS与原子类

CAS

CAS即Compare and Swap，它体现的一种乐观锁的思想，比如多个线程要对一个共享的整形变量执行+1操作：

获取共享变量时，为了保证该变量的可见性，需要使用volatile修饰。结合CAS和volatile可以实现无锁并发，使用于竞争不激烈、多核CPU的场景下。
（1）因为没有使用synchronized,所以线程不会陷入阻塞，这是效率提升的因素之一
（2）但如果竞争激烈，可以想到重试必然频繁发生，反而效率会受影响
CAS底层依赖于一个Unsafe类来直接调用操作系统底层的CAS指令

4.2乐观锁与悲观锁

• CAS是基于乐观锁的思想：最乐观的估计，不怕别的线程来修改共享变量，就算改了也没关系，我吃亏点再重试呗。
• synchronized是基于悲观锁的思想：最悲观的估计，得防着其他线程来修改共享变量，我上了锁你们都别想改，我们改完了解开锁，你们才有机会。

4.3原子操作类

juc（java.util.concurrent)中提供了原子操作类，可以提供线程安全的操作，例如：AtomicInteger、AtomicBoolean等，它们底层就是采用CAS技术+volatile来实现的。
可以使用AtomicInteger改写之前的例子：

5synchronized优化

Java HotSpot虚拟机中，每个对象都有对象头（包括class指针和Mark）。Mark Word平时存储这个对象的哈希码、分代年龄，当加锁时，这些信息就根据情况被替换为标记位、线程锁记录指针、重量级锁指针、线程ID等内容。

5.1轻量级锁

如果一个对象虽然有多线成访问，但多线程访问的时间时错开的（也就是没有竞争），那么可以使用轻量级锁来优化。

5.2锁膨胀

如果在尝试加轻量级锁的过程，CAS操作无法成功，这时一种情况就是有其它线程为此对象加上了轻量级锁（有竞争），这时需要进行锁膨胀，将轻量级锁变为重量级锁。

重量级锁

重量级锁竞争的时候，还可以使用自旋来进行优化，如果当前线程自选成功（即这时候持锁线程已经退出了同步块，释放了锁），这时当前线程就可以避免阻塞。

在Java6之后自选锁时自适应的，比如对象刚刚的一次自选操作成功过，那么认为这次自旋成功的可能性会高，就多自旋几次；反之，就少自选甚至不自旋，总之，比较智能。

• 自选会占用CPU时间，单核CPU自旋就是浪费，多核CPU自旋才能发挥优势。
• 好比等红绿灯时汽车是不是熄火，不熄火相当于自旋（等待时间短了划算），熄火了相当于阻塞
• java7之后不能控制是否开启自旋功能

偏向锁

轻量级锁在没有竞争时（就自己这个线程），每次重入仍然需要执行CAS操作。Java6中引入了偏向锁来做进一步优化：只有第一次使用CAS将线程ID设置到对象的Mark Word头，之后发现这个线程ID是自己的就表示没有竞争，不用重新CAS。

• 撤销偏向需要将持锁线程升级为轻量级锁，这个过程中所有线程需要暂停。
• 访问对象的hashCode也会撤销偏向锁
• 如果对象被多个线程访问，但没有竞争，这是偏向了线程T1的对象仍有机会重新偏向T2，重偏向会重置对象的Thread ID
• 撤销偏向到达某个阈值，整个类的所有对象都会变为不可偏向的
• 可以主动使用-XX:-UseBiasedLocking禁用偏向锁