JMM即Java Memory Model,它定义了主存(多个线程之间共享的内容)、工作内存(单个线程独自占有的内容)的抽象概念,底层对应着cpu寄存器、缓存、硬件内存cpu指令优化等。
JMM体现在以下几个方面。
* 原子性:保证指令不受到线程上下文切换的影响。
* 可见性:保证指令不会受到cpu缓存的影响。
* 有序性:保证指令不会受到cpu指令并行优化的影响。

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

2.因为t线程要频繁从主存中读取run的值,JIT编译器会将run的值缓存至自己工作内存中的高速缓存中,减少对主存中run的访问,提高效率。
3.1秒之后,main线程修改了run的值,并同步至主存,而t线程是从自己工作内存中的高速缓存中读取这个变量的值,结果永远是旧值。

它可以用来修饰成员变量和静态成员变量(局部变量不存在多个变量共享的问题。)他可以避免线程从自己的工作缓存中查找变量的值,必须到主存中获取它的值,线程操作volatile变量都是直接操作主存。
- public class test {
-
- volatile static boolean run = true;
-
- public static void main(String[] args) throws InterruptedException {
-
- new Thread(() -> {
- while (run){
- // ...
- }
- }).start();
- Thread.sleep(1000);
- run = false;
- }
-
- }
- public class test {
-
- static boolean run = true;
-
- //锁对象
- final static Object lock = new Object();
-
- public static void main(String[] args) throws InterruptedException {
-
- new Thread(() -> {
- while (true){
- synchronized (lock){
- if (!run){
- break;
- }
- }
- }
- }).start();
- Thread.sleep(1000);
- synchronized (lock){
- run = false;
- }
- }
-
- }
synchronized和volatile都能保证共享变量的可见性的问题。但是在发生线程冲突的时候synchronized锁膨胀,变成重量级锁
- import java.util.concurrent.locks.ReentrantLock;
-
- public class test {
-
- static boolean run = true;
-
- static ReentrantLock reentrantLock = new ReentrantLock();
-
- public static void main(String[] args) throws InterruptedException {
-
- new Thread(() -> {
- while (true){
- reentrantLock.lock();
- try {
- if (!run){
- break;
- }
- }finally {
- reentrantLock.unlock();
- }
- }
- }).start();
- Thread.sleep(1000);
- reentrantLock.lock();
- try {
- run = false;
- }finally {
- reentrantLock.unlock();
- }
- }
-
- }