深入理解java内存模型--读书笔记

深入理解java内存模型

java内存模型的抽象

java线程之间的通信由java内存模型(JMM)控制,JMM决定一个线程对共享变量的写入何时对另一个线程可见

从抽象的角度来看,JMM决定了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(main memeory)中,每个线程都有一个私有的本地内存(local memeory),本地内存中存储了该线程以读/写共享变量的副本.本地内存是JMM的一个抽象概念,并不真实存在.

假设: 线程A与线程B之间如要通信的话,必须要经历下面2个步骤:

1. 首先,线程A把本地内存A中更新过的共享变量刷新到主内存中去
2. 然后,线程B到主内存中去读取线程A之前已更新过的共享变量

重排序

1. 编译器优化的重排序。编译器在不改变单线程予以的前提下，可以重新按排序语句的执行顺序。
2. 指令级并行的重排序。现代处理器采用了指令级并行技术来将多条指令重叠执行。如果不存在数据依赖性，处理器可以改变语句对应机器指令的执行顺序。
3. 内存系统的重排序。由于处理器使用缓存和读/写缓冲区，这使得加载和存储操作看上去可能是在乱序执行。

为了保证内存可见性，java编译器在生成指令序列的适当位置会插入内存屏障指令来进制特定类型的处理器重排序。JMM把内存屏障指令分为下列四类：

屏障类型	指令事例	说明
LoadLoad Barriesrs	Load1；LoadLoad；Load2	确保Load1数据的装载，之前于Load2及所有后续装载指令的装载
StoreStore Barriers	Store1；StoreStore；Store2	确保Store1数据对其他处理器可见（刷新到内存），之前于Store2及所有后续存储指令的储存
LoadStore Barriesrs	Load1；LoadStore；Store2	确保Load1数据装载，之前于Store2及所有后续的存储指令刷新到内存
StoreLoad Barriers	Store1；StoreLoad；Load2	确保Store1数据对其他处理器变得可见（指刷新到内存），之前于Load2及所有后续装载指令的装载。StoreLoad Barriers会使该屏障之前的所有内存访问指令（存储和装载指令）完成之后，才执行该屏障之后的内存访问指令。

StoreLoad Barriers同事具有其他三个屏障的效果。现代的多处理器大都支持该屏障（其他类型的屏障不一致被所有处理器支持）。

happens-before

从JDK5开始，java使用新的JSR-133内存模型。在JMM中，如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必须要存在happens-before关系。这里提到的两个操作既可以是在一个线程之内，也可以是在不同线程之内。

规则如下：

• 程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作。
• 监视器锁规则：对一个监视器的解锁，happens-before于随后对这个监视器的加锁
• volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的读。
• 传递性：如果A happens-before B，且B happens-before C，那么A happens-before C。

注意：两个操作之间具有happens-before关系，并不意味着前一个操作必须要在后一个操作之前执行，happens-before仅仅要求前一个操作（执行的结果）对后一个操作可见，且前一个操作按顺序排在第二操作之前。

Volatile

public class MyTest1 {

    volatile long vl = 0L; // 使用volatile声明64位的long型变量

    public void set(long l) {
        vl = l;  //单个volatile变量的写
    }

    public void getAndIncrement() {
        vl++; //复合(多个)volatile变量的读/写
    }

    public long get() {
        return vl; //单个volatile变量的读
    }
}

这个程序在语义上和下面程序等价：

public class MyTest1 {

    long vl = 0L; // 声明64位的long型变量

    public synchronized void set(long l) {
        vl = l;   
    }

    public void getAndIncrement() {
        long temp = get();
        temp+=1L;
        set(temp);
    }

    public synchronized long get() {
        return vl;  
    }
}

锁的happens-before规则保证释放锁和获取锁的两个线程之间的内存可见性，这意味着对一个volatile变量的读，总是能看到（任意线程）对这个volatile变量最后的写入。

volatile变量自身具有下列特性：

• 可见性。对一个volatile变量的读，总是能看到（任意线程）对这个volatile变量最后的写入。
• 原子性：对任意单个volatile变量的读、写具有原子性，但类似于volatile++这种复合操作不具有原子性。

volatile读的内存语义如下：

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

锁

锁释放和获取的内存语义

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

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

final

对于final域，编译器和处理器要遵守两个重排序规则：

1. 在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序
2. 初次读一个包含final域的对象的引用，与随后初次读这个final域，这两个操作之间不能重排序。