1 并发编程三要素
首要要从并发编程的三要素说起,既:原子性(指之一个操作执行完下一个操作才可以进行,如一个运算从加载变量,到计算,到给结果赋值这一完整操作执行完,在进行下一个操作)、可见性(指共享内存的变化对所有共享该内存的所有线程是可见的)、有序性(指程序执行的顺序按照代码的先后顺序执行)。
2 volatile关键字
volatile关键字用来确保将变量的更新操作通知到其他线程,既保证可见性,同时也可以保证有序性,但是不能保证原子性。
首先说下有序性,volatile关键字禁止将对volatile修饰的变量访问的语句放到该变量后边执行,反之也不能将后边的语句放到前边执行。所以可以保证有序性。
其次是可见性,这个是volatile最核心的作用。首先要说下主内存的嗅探机制,cpu会通过嗅探技术来检查自己的缓存是否过期,如果发现缓存中的地址修改过就会使缓存失效,volatile关键字会触发嗅探。volatile关键字修饰的变量编译后会多一个lock标志,该lock标志会执行lock原子操作,在总线上加锁(所有线程都通过总线与主存交互),总结来说volatile关键字会强制吧变量的修改刷新到主存中,并使其他缓存失效,cpu重新读取共享变量。
可以看出,volatile关键字做的事情全部只针对其被修饰的变量本身,而不能保证整个操作的原子性,所以不能保证原子性。同时满足三要素的需要用到synchronize关键字。
后续学习的synchronize关键字的相关知识,另外不知道什么是cpu嗅探机制什么原理。