Java回顾---原子性、可见性、有序性

原子性

原子性:一个操作或多个操作要么都不执行,要么全部执行并且执行的过程中不被任何因素打断。

简单的例子就是银行卡转账,A往B转账,那么从A扣钱以及B加钱这个过程必须是原子的,如果不是原子那就会出现问题。

可见性

可见性:多个线程访问同一个变量时,只要一个线程修改了这个变量的值,那么其他线程应该立马能看到。

有序性

有序性:即程序执行的顺序按照代码的先后顺序执行。

JVM为了提高程序运行效率,可能会对输入的代码发生指令重排,也就是说,虚拟机运行的顺序不一定是你写的代码的顺序。虽然会指令重排,但是他会保证你的程序运行结果和代码顺序执行的结果一样。但是指令重排只能保证单个线程运行结果一样,一旦涉及到多线程就不行了。

//线程1:
context = loadContext();   //语句1
inited = true;             //语句2
 
//线程2:
while(!inited ){
    
    
  sleep()
}
doSomethingwithconfig(context);

如果线程1先执行了语句2,这时线程2会跳出循环,但是这时的context可能为null。

如何保证上面三个特性

原子性

对于简单的操作能保证原子性:

x = 10;         //语句1,原子性,直接赋值
y = x;         //语句2,无原子性,先取出x的值,再赋给y
x++;           //语句3,无原子性,与上同理
x = x + 1;     //语句4,无原子性,与上同理

想要保证更大范围的原子性,可以通过锁(synchronized和lock)

可见性

volatile关键字。修饰变量时,能保证变量修改的值能立马被更新到主存,供其他线程读取。

synchronized和lock也可以保证,原理是同一时刻只有一个线程能访问代码块以及变量。

有序性

volatile能保证一定的有序性,synchronized和lock能保证有序性,他们锁住的代码同一时刻只能有一个线程访问,其他线程访问不了,某一意义也保证了有序性。

猜你喜欢

转载自blog.csdn.net/why1092576787/article/details/114702965