并发编程之Java内存模型的内存语义

更新时间：2021年11月04日 09:27:40 作者：李子捌

这篇文章主要介绍了并发编程之Java内存模型的内存语义，理解特性的一个好办法是把对变量的单个读/写，看成是使用同一个锁对单个读/写操作做了同步。下面我们一起进入文章看看具体例子吧,需要的小伙伴可以参考下

1、的特性

理解特性的一个好办法是把对变量的单个读/写，看成是使用同一个锁对单个读/写操作做了同步。

代码示例：

package com.lizba.p1;
/**
 * 

 *      volatile示例
 * 
 *
 * @Author: Liziba
 * @Date: 2021/6/9 21:34
 */
public class VolatileFeatureExample {
    /** 使用volatile声明64位的long型变量 */
    volatile long v1 = 0l;
    /**
     * 单个volatile写操作
     * @param l
     */
    public void set(long l) {
        v1 = l;
    }
    /**
     * 复合(多个)volatile读&写
     */
    public void getAndIncrement() {
        v1++;
    }
    /**
     * 单个volatile变量的读
     * @return
     */
    public long get() {
        return v1;
    }
}

假设有多个线程分别调用上面程序的3个方法，这个程序在语义上和下面程序等价。

package com.lizba.p1;
/**
 * 

 *      synchronized等价示例
 * 
 *
 * @Author: Liziba
 * @Date: 2021/6/9 21:46
 */
public class SynFeatureExample {
    /** 定义一个64位长度的普通变量 */
    long v1 = 0L;
    /**
     * 使用同步锁对v1变量进行写操作
     * @param l
     */
    public synchronized void set(long l) {
        v1 = l;
    }
    /**
     *  通过同步读和同步写方法对v1进行+1操作
     */
    public void getAndIncrement() {
        long temp = get();
        // v1加一
        temp += 1L;
        set(temp);
    }
    /**
     * 使用同步锁对v1进行读操作
     * @return
     */
    public synchronized long get() {
        return v1;
    }
}

如上两个程序所示，一个变量的单个读\写操作，与一个普通变量的读\写操作都是使用同一个锁来同步，它们之间的执行效果相同。

上述代码总结：

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

锁的语义决定了临界区代码的执行具有原子性。这意味着，即使是64位的long型和型变量，只要它是变量，对该变量的读/写就具有原子性。如果是多个操作或类似于++这种复合操作，这些操作整体上不具备原子性。

总结特性：

2、写-读建立的-关系

从JDK1.5（JSR-133）开始，变量的写-读可以实现线程之间的通信。从内存语义的角度来说，的写-读与锁的释放-获取有相同的内存效果。

代码示例：

package com.lizba.p1;
/**
 * 

 *
 * 
 *
 * @Author: Liziba
 * @Date: 2021/6/9 22:23
 */
public class VolatileExample {
    int a = 0;

    volatile boolean flag = false;
    public void writer() {
        a = 1;                              // 1
        flag = true;                        // 2
    }
    public void reader() {
        if (flag) {                         // 3
            int i = a;                      // 4
            System.out.println(i);
        }
    }
    
}

假设线程A执行()方法之后，线程B执行()方法。根据-规则，

这个过程建立的-关系如下：

图示上述-关系：

总结：这里A线程写一个变量后，B线程读同一个变量。A线程在写变量之前所有可见的共享变量，在B线程读同一个变量后，将立即对B线程可见。

3、写-读的内存语义

写的内存语义

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

以上面的为例，假设A线程首先执行()方法，随后线程B执行()方法，初始时两个线程的本地内存中的flag和a都是初始状态。

A执行写后，共享变量状态示意图。

线程A在写flag变量后，本地内存A中被线程A更新过的两个共享变量的值被刷新到主内存中，此时A的本地内存和主内存中的值是一致的。

读的内存语义

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

B执行读后，共享变量的状态示意图:

在读flag变量后，本地内存B包含的值已经被置为无效。此时，线程B必须从主内存中重新读取共享变量。线程B的读取操作将导致本地内存B与主内存中的共享变量的值变为一致。

总结的写和读的内存语义

4、内存语义实现

程序的重排序分为编译器重排序和处理器重排序（我的前面的博文内容有写哈）。为了实现内存语义，JMM会分别禁止这两种类型的重排序。

重排序规则表:

是否能重排序第二个操作

第一个操作

普通读/写

读

写

普通读/写

NO

读

NO

NO

NO

写

NO

NO

上图举例：第一行最后一个单元格意思是，在程序中第一个操作为普通读/写时，如果第二个操作为写，则编译器不能重排序。

总结上图：

为了实现的内存语义，编译器在生成字节码时，会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。

JMM采取的是保守策略内存屏障插入策略，如下：

保守策略可以保证在任意处理器平台上，任意程序中都能得到正确的内存语义。

保守策略下，写插入内存屏障后生成的指令序列图：

解释：

屏障可以保证在写之前，其前面所有普通写操作已经对任意处理器可见了。这是因为屏障将保障上面所有普通写在写之前刷新到主内存。

保守策略下，读插入内存屏障后生成的指令序列图：

解释：

屏障用来禁止处理器把上面的读与下面的普通读重排序。屏障用来禁止处理器把上面的读与下面的普通写重排序。

上述写和读的内存屏障插入策略非常保守。在实际执行时，只要不改变写-读的内存语义，编译器可以根据具体情况省略不必要的屏障。

代码示例：

package com.lizba.p1;
/**
 * 

 *      volatile屏障示例
 * 
 *
 * @Author: Liziba
 * @Date: 2021/6/9 23:48
 */
public class VolatileBarrierExample {
    int a;
    volatile int v1 = 1;
    volatile int v2 = 2;
    void readAndWrite() {
        // 第一个volatile读
        int i = v1;
        // 第二个volatile读
        int j = v2;
        // 普通写
        a = i + j;
        // 第一个volatile写
        v1 = i + 1;
        // 第二个volatile写
        v2 = j * 2;
    }
    // ... 其他方法
}

针对le的()，编译器生成字节码时可以做如下优化：

注意：最后的屏障无法省略。因为第二个写之后，程序。此时编译器无法准确断定后面是否会有读写操作，为了安全起见，编译器通常会在这里插入一个屏障。

上面的优化可以针对任意处理器平台，但是由于不同的处理器有不同的“松紧度”的处理器内存模型，内存屏障的插入还可以根据具体的处理器内存模型继续优化。

X86处理器平台优化

X86处理器仅会对写-读操作做重排序。X86不会对读-读、读-写和写-写重排序，因此X86处理器会省略掉这3种操作类型对应的内存屏障。在X86平台中，JMM仅需要在写后插入一个屏障即可正确实现写-读内存语义。同时这样意味着X86处理器中，写的开销会远远大于读的开销。

5、和锁的比较

功能上：

锁比更强大

可伸缩性和执行性能上：

更具有优势

到此这篇关于并发编程之Java内存模型的内存语义的文章就介绍到这了,更多相关Java内存模型的内存语义内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！