Java内存模型
JMM即Java Memory Model,它定义了主存(多个线程之间共享的内容)、工作内存(单个线程独自占有的内容)的抽象概念,底层对应着cpu寄存器、缓存、硬件内存cpu指令优化等。
JMM体现在以下几个方面。
* 原子性:保证指令不受到线程上下文切换的影响。
* 可见性:保证指令不会受到cpu缓存的影响。
* 有序性:保证指令不会受到cpu指令并行优化的影响。
退不出的循环
为什么呢?
1.初始状态,t线程刚开始从主存读取了run的值到工作内存
2.因为t线程要频繁从主存中读取run的值,JIT编译器会将run的值缓存至自己工作内存中的高速缓存中,减少对主存中run的访问,提高效率。
3.1秒之后,main线程修改了run的值,并同步至主存,而t线程是从自己工作内存中的高速缓存中读取这个变量的值,结果永远是旧值。
解决办法
volatile(易变关键字:不可解决原子性问题)
它可以用来修饰成员变量和静态成员变量(局部变量不存在多个变量共享的问题。)他可以避免线程从自己的工作缓存中查找变量的值,必须到主存中获取它的值,线程操作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;
}
}
synchronized解决可见性问题
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锁膨胀,变成重量级锁
ReentratLock也可以解决可见性
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();
}
}
}