volatile、ReentrantLock和synchronized保证线程可见性原理

原创

已于 2023-10-13 08:30:36 修改 · 640 阅读

5 ·

CC 4.0 BY-SA版权

文章标签：

#java

于 2023-09-11 13:45:28 首次发布

本文介绍了Java内存模型中的主存和工作内存概念，通过实例阐述了线程可见性问题及其原因，重点讲解了volatile、Synchronized和ReentrantLock如何保证可见性，以及它们的原理和用法。

主存、工作内存

在了解什么是线程可见性前，我们先来简单了解下 Java内存模型 的主存、工作内存抽象概念

主存： 存储的是一些共享资源的存储位置（例如静态变量等）

工作内存： 每个线程对应的栈内存对应的私有局部资源的存储位置

我们来分析一个小案例：

static boolean run = true;
 public static void main(String[] args) throws InterruptedException {
     Thread t = new Thread(()->{
         while(run){
             // 。。。
         }
     });
     t.start();

     sleep(1);
     run = false; // 线程t不会如预想的停下来
}

为什么会有这种情况呢？让我们结合 Java内存模型 来分析下底层的原理：

1. 初始状态， t 线程刚开始从主内存读取了 run 的值到工作内存。