1、原子性 - 关键字:synchronized
原子性是指在一个操作中就是cpu不可以在中途暂停然后再调度,即不被终端操作,要不全部执行完成,要不都不执行,就好比转载,从账户A向账户B转100元,那么必然包括2个操作,从账户A减去100元,往账户B加上100元。两个操作必须全部完成。
那程序中原子性指的是最小的操作单元,比如自增操作,它本身其实并不是原子性操作,分了三部,包括读取变量的原始值、进行加1操作、写入工作内存。所以再多线程中,有可能一个线程还没自增完,可能才执行到第二步,另一个线程就已经读取了值,导致结果错误。那如果我们能保证自增操作是一个原子性的操作,那么就能保证其它线程读取到的一定是自增后的数据。
2、可见性 - 关键字:volatile、synchronized、final
多个线程访问同一个变量时,一个线程修改了这个变量的值,其它线程能够立即看得到修改的值。
若两个线程再不同的cpu,那么线程1改变了i的值还没刷新到主存,线程2又使用了i,那么这个i值肯定还是之前的,线程1对变量i的修改线程没看到这就是可见性问题。
3、有序性 - 关键字:volatile、synchronized
虚拟机再进行代码编译时,对于哪些改变顺序之后不会对最终结果造成影响的代码,虚拟机不一定会按照我们些的代码的顺序来执行,有可能将他们重排序。实际上,对于有些代码进行重排序之后,虽然对变量的值没有造成影响,但有可能会出现线程安全问题。
volatile本身包含了禁止指令重排序的语义,而synchronized关键字是由“一个变量再同一时刻只允许一条线程对其进行lock操作”这条规则明确的