分析师：589~38~226 注册码 ：111~11~159 王 ｌ 子ｈｃｔ９７点ｃ０ｍ
执行过程说明：
- 假设线程A和线程B两个线程同时执行 getAndAddInt操作(分别跑在不同CPU上):
- AtomicInteger里面的value原始值为3,即主内存中 AtomicInteger的value为3,根据JMM模型,线程A和线程B各自持有一
份值为3的value的副本分别到各自的工作内存。 - 线程A通过 getIntVolatile(var1,var2)拿到value值3,这时线程A被挂起。
- 线程B也通过 getIntVolatile(var1,var2)方法获取到value值3,此时刚好线程B没有被挂起并执行 compareAndSwapInt方法
比较内存值也为3,成功修改内存值为4,线程B改完收工,一切OK。 - 这时线程A恢复,执行 compareAndSwapInt方法比较,发现自己手里的值数字3和主内存的值数字4不一致,说明该值已
经被其它线程抢先一步修改过了,那A线程本次修改失败,只能重新读取重新来一遍了。 - 线程A重新获取 value值,因为变量value被 volatile修饰,所以其它线程对它的修改,线程A总是能够看到,线程A继续执
了 compareAndSwapInt进行比较替换,直到成功。
volatile简单说明：
volatile是一个轻量级的同步机制, 三大特性: 保证可见性, 不保证原子性, 禁止指令重排。
- 可见性: 多个线程从主内存中copy一份数据,修改后,需要将自己的数据重新写入主内存,并通知其他线程数据已更新,保证数据可见性,和多线程数据一致性。
- 禁止指令重排: 由于指令重排,会对代码的执行顺序进行优化,可能会导致最后的结果和期望的结果不一致,所以需要禁止重排。