原子性
原子性:一个操作或多个操作要么都不执行,要么全部执行并且执行的过程中不被任何因素打断。
简单的例子就是银行卡转账,A往B转账,那么从A扣钱以及B加钱这个过程必须是原子的,如果不是原子那就会出现问题。
有序性
有序性:即程序执行的顺序按照代码的先后顺序执行。
JVM为了提高程序运行效率,可能会对输入的代码发生指令重排,也就是说,虚拟机运行的顺序不一定是你写的代码的顺序。虽然会指令重排,但是他会保证你的程序运行结果和代码顺序执行的结果一样。但是指令重排只能保证单个线程运行结果一样,一旦涉及到多线程就不行了。
可见性
可见性:多个线程访问同一个变量时,只要一个线程修改了这个变量的值,那么其他线程应该立马能看到。
如何保证上面三个特性
原子性
想要保证更大范围的原子性,可以通过锁(synchronized和lock)
可见性
volatile关键字。修饰变量时,能保证变量修改的值能立马被更新到主存,供其他线程读取。
synchronized和lock也可以保证,原理是同一时刻只有一个线程能访问代码块以及变量。
有序性
volatile能保证一定的有序性,synchronized和lock能保证有序性,他们锁住的代码同一时刻只能有一个线程访问,其他线程访问不了,某一意义也保证了有序性。