谁无风暴劲雨时,守得云开见月明
JMM(内存模型)
JMM:是java的内内存模型,不存在的东西,是一种概念和约定。
关于JMM的的同步约定:
线程解锁前:必须把工作内存立刻刷回主存
线程加锁前:必须把工作主存立刻刷进工作内存
JMM内存模型图
JMM都是由共享内存拷贝到内核内存当中。内核中的操作相互之间是不可见的。
虚拟机实现必须保证每一个操作都是原子的,不可在分的,内存交互操作有8种:
lock (锁定):作用于主内存的变量,把一个变量标识为线程独占状态
unlock (解锁):作用于主内存的变量,它把一个处于锁定状态的变量释放出来,释放后的变量才可以被其他线程锁定
read (读取):作用于主内存变量,它把一个变量的值从主内存传输到线程的工作内存中,以便随后的load动作使用
load (载入):作用于工作内存的变量,它把read操作从主存中变量放入工作内存中
use (使用):作用于工作内存中的变量,它把工作内存中的变量传输给执行引擎,每当虚拟机遇到一个需要使用到变量的值,就会使用到这个指令
assign (赋值):作用于工作内存中的变量,它把一个从执行引擎中接受到的值放入工作内存的变量副本中
store (存储):作用于主内存中的变量,它把一个从工作内存中一个变量的值传送到主内存中,以便后续的write使用
write (写入):作用于主内存中的变量,它把store操作从工作内存中得到的变量的值放入主内存的变量中
JMM对这八种指令的使用,制定了如下规则:
不允许read和load、store和write操作之一单独出现。即使用了read必须load,使用了store必须write
不允许线程丢弃他最近的assign操作,即工作变量的数据改变了之后,必须告知主存
不允许一个线程将没有assign的数据从工作内存同步回主内存
一个新的变量必须在主内存中诞生,不允许工作内存直接使用一个未被初始化的变量。就是怼变量实施use、store操作之前,必须经过assign和load操作
一个变量同一时间只有一个线程能对其进行lock。多次lock后,必须执行相同次数的unlock才能解锁
如果对一个变量进行lock操作,会清空所有工作内存中此变量的值,在执行引擎使用这个变量前,必须重新load或assign操作初始化变量的值
如果一个变量没有被lock,就不能对其进行unlock操作。也不能unlock一个被其他线程锁住的变量
对一个变量进行unlock操作之前,必须把此变量同步回主内存。
这样就产生了一个问题,即是我在线程A将数据修改了线程B并不知道,unlock的时候线程B会将工作内存的数据刷回共享内存。
即ABA问题,将数据存储后,被修改了,后面却又变回了本来的值。表面上我们好像没有修改这个值,正确的,其实在另一个线程中数据可能就发生了改变,就好比从银行借了10W,你拿着这10w创造了100w后,还回10W,本质上是营销了其他的问题。
举例:
public class TestVolatile {
/
private static int num = 0;
public static void main(String[] args) { // main线程
// 开启一个线程
new Thread(()->{
while (num==0){
System.out.println("线程A中的num="+num);
}
System.out.println("线程A中的num="+num);
num = 2;
}).start();
try {
TimeUnit.SECONDS.sleep(2);
} catch (InterruptedException e) {
e.printStackTrace();
}
num = 1;
System.out.println(num);
}
}
我们在主线程中对值num进行了修改等于1,这个时候我们启动的A线程并不会停止会一直运行。
Volatile 线程可见性
为了解决这个问题,java提供了Volatile关键字。
```java
public class TestVolatile {
/
private volatile static int num = 0;
public static void main(String[] args) { // main线程
// 开启一个线程
new Thread(()->{
while (num==0){
System.out.println("线程A中的num="+num);
}
System.out.println("线程A中的num="+num);
num = 2;
}).start();
try {
TimeUnit.SECONDS.sleep(2);
} catch (InterruptedException e) {
e.printStackTrace();
}
num = 1;
System.out.println(num);
}
}
我们添加volatile关键值后,线程就可以正常检测到输出的值了。
Volatile 指令重排
Volatile除了避免ABA问题外,还可以解决指令重排。
你写的代表并不是你想的顺序进行的:
源代码——>编译器优化的重排——>指令并行也可能会重排——>内存系统也会重排——>执行
处理器在进行指令重排的时候会考虑数据之间的依赖性问题!
int x = 1; // 1
int y = 2; //2
x = x + 5; //3
y = x * y; //4
我们所期望的是 「1234」,但是可能执行的时候会编程「2134」、「1324」
我们将上述步骤放进多线程当中。
线程A | 线程B |
---|---|
x = 1 | y = x * y |
y = 2 | x = x + 5 |
上述结果应该是x=6,y=2。执行顺序为:
x = 1
y = 2
y = x * y
x = x + 5
但是由于指令重排可能造成一下结果:
x = 1
x = x + 5
y = 2
y = x * y
造成值为:x=6,y=12
在Volatile当中有个东西叫做内存屏障:
内存屏障,是一个CPU指令,作用:
保证特定的操作的执行顺序 保证某些变量的内存可见性(利用这些特性,volatile实现了可见性)
Atomic原子类
但是volatile并不会保证线程的安全。
有人说可以使用lock和synchronized来解决,但是我不想加关键字怎么办?
使用原子类,原子类的每个操作都是原子性的:
private volatile static AtomicInteger num =new AtomicInteger();
public static void add(){
num.getAndIncrement(); // AtomicInteger + 1 CAS
}
这些类的底层都是和操作系统挂钩。在内存中修改值。Unsafe类是一个很特殊的存在。