多线程（43）Java中的内存屏障和它们的用途

「爱情、让人受尽委屈。」 2024-04-24 23:12 55阅读 0赞

Java内存模型(JMM)的目的是定义线程如何以及何时可以看到其他线程写入共享变量的结果，以及如何同步对这些变量的访问。在这个模型中，内存屏障（Memory Barriers）或内存栅栏是一个关键概念，它们帮助维护不同线程间的可见性和有序性。内存屏障是底层处理器指令集提供的特性，JVM在执行volatile操作、锁的获取与释放时，会根据平台的具体实现，插入相应的内存屏障来保证内存操作的有序性和可见性。

#### volatile关键字 ####

在Java中，`volatile`是实现线程之间变量可见性的一种手段。当一个变量被声明为`volatile`，JVM将插入特定的内存屏障指令，来确保对这个变量的读/写操作都在内存中进行，而非CPU缓存。

##### 写操作 #####

对于volatile变量的写操作，JVM在写操作后会插入一个Store屏障。这个屏障确保之前的所有内存操作（包括当前的写操作）在此屏障之前完成，并且结果对后续的读取操作可见。

volatile boolean flag = false;
    
    void write() {
        
        flag = true; // 在这里插入Store屏障
    }

##### 读操作 #####

对于volatile变量的读操作，JVM在读操作前会插入一个Load屏障。这个屏障确保读取操作获取的是最新的写入值。

void read() {
        
        if (flag) {
         // 在这里插入Load屏障
            // ...
        }
    }

#### synchronized关键字 ####

`synchronized`关键字在Java中是实现线程同步的另一种机制。当一个线程进入一个synchronized块时，它会自动获取锁；当线程离开synchronized块时，它会自动释放锁。JVM会在synchronized块的入口和出口处插入相应的内存屏障，以确保块内的操作对其他线程可见，并且操作的执行顺序得到保证。

##### 进入synchronized块 #####

JVM在进入synchronized块时插入一个Load屏障，确保之前对共享变量的所有写操作对当前线程可见。

##### 离开synchronized块 #####

JVM在离开synchronized块时插入一个Store屏障，确保在当前块内对共享变量的所有写操作对其他线程可见。

#### 代码举例 ####

下面的代码展示了`volatile`和`synchronized`关键字的使用：

public class MemoryBarrierDemo {
        
        private volatile int counter = 0;
        private final Object lock = new Object();
    
        public void increment() {
        
            // volatile写操作
            counter++;
        }
    
        public void syncMethod() {
        
            // synchronized块
            synchronized(lock) {
        
                counter++;
            }
        }
    }

在这个例子中，`increment()`方法通过volatile变量`counter`实现了变量更新操作的可见性。而`syncMethod()`方法则通过synchronized块来保证对`counter`的操作在多线程环境下的安全性和可见性。

#### 深入JVM和处理器架构 ####

实际上，内存屏障的具体实现细节依赖于具体的JVM实现和底层的处理器架构。不同的处理器架构可能提供了不同的内存屏障指令。例如，x86处理器有`MFENCE`、`SFENCE`、`LFENCE`等指令来实现全屏障、存储屏障和加载屏障。而JVM则负责根据运行时的具体环境，将Java代码中的volatile和synchronized操作翻译为相应的处理器屏障指令。

#### 总结 ####

虽然Java程序员不需要直接使用内存屏障，理解它们如何工作有助于编写更高效、更可靠的多线程程序。内存屏障是JMM的核心机制之一，它们在底层确保了线程间操作的可见性和有序性，是实现volatile和synchronized关键字语义的关键技术。