原⼦性
原⼦性是指在⼀个操作中cpu不可以在中途暂停然后再调度,即不被中断操作,要不全部执⾏完成,要不都不执⾏。就好⽐转账,从账户A向账户B转1000
元,那么必然包括
2
个操作:从账户A减去
1000
元,往账户B加上1000
元。
2
个操作必须全部完成。
案例:
private long count = 0;
public void calc() {
count++;
}
- 将 count 从主存读到⼯作内存中的副本中
- +1的运算
-
将结果写⼊⼯作内存
-
将⼯作内存的值刷回主存(什么时候刷⼊由操作系统决定,不确定的)
那程序中原⼦性指的是最⼩的操作单元,⽐如⾃增操作,它本身其实并不是原⼦性操作,分了
3
步的,包括读取变量的原始值、进⾏加1
操作、写⼊⼯作内存。
所以在多线程中,有可能⼀个线程还没⾃增完,可能才执⾏到第⼆部,另⼀个线程就已经读取了值,导致结果错误。
那如果我们能保证⾃增操作是⼀个原⼦性的操作,那么就能保证其他线程读取到的⼀定是⾃增后的数据。
关键字:synchronized
可⻅性
当多个线程访问同⼀个变量时,⼀个线程修改了这个变量的值,其他线程能够⽴即看得到修改的值。
若两个线程在不同的cpu,那么线程
1
改变了i的值还没刷新到主存,线程2⼜使⽤了i,那么这个i值肯定还是之前的,线程1
对变量的修改线程没看到这就是可⻅性问题。
//线程1
boolean stop = false;
while (!stop){
doSomething();
}
//线程2
stop = true;
如果线程
2
改变了stop的值,线程
1
⼀定会停⽌吗?不⼀定。当线程
2
更改了stop变量的值之后,但是还没来得及写⼊主存当中,线程2
转去做其他事情了,那么线程
1
由于不知道线程
2
对stop变量的更改,因此还会⼀直循环下去。
关键字:volatile、synchronized、final
有序性
虚拟机在进⾏代码编译时,对于那些改变顺序之后不会对最终结果造成影响的代码,虚拟机不⼀定会按照我们写的代码的顺序来执⾏,有可能将他们重排序。实际上,对于有些代码进⾏重排序之后,虽然对变量的值没有造成影响,但有可能会出现线程安全问题。
int a = 0;
boolean falg = false;
public void write () {
a = 2; //1
falg = true; //2
}
public void mulitiply () {
if (falg) { //3
int ret = a * a;//4
}
}
write⽅法⾥的
1
和
2
做了重排序,线程
1
先对flag赋值为true,随后执⾏到线程
2
,ret直接计算出结果,再到线程1
,这时候a才赋值为
2
,很明显迟了⼀步
关键字:volatile、synchronized
volatile本身就包含了禁⽌指令重排序的语义,⽽synchronized关键字是由“⼀个变量在同⼀时刻只允许⼀条线程对其进⾏lock操作”这条规则明确的。
synchronized关键字同时满⾜以上三种特性,但是volatile关键字不满⾜原⼦性。
在某些情况下,volatile的同步机制的性能确实要优于锁(使⽤synchronized关键字或 java.util.concurrent包⾥⾯的锁),因为volatile的总开销要⽐锁低。
我们判断使⽤volatile还是加锁的唯⼀依据就是
volatile的语义能否满⾜使⽤的场景(原⼦性)