1.CPU缓存结构
JMM模型与CPU缓存架构类似。
2.JMM内存模型
JMM模型是一个抽象的概念
3.JMM中原子操作
4.原子操作执行过程
read主内存的值—>load进工作内存----->use到执行引擎---->执行操作---->assign回工作内存---->lock—>store工作内存中的值---->write回主内存---->unlock
5.可见性
6.
7.原子性问题,为什么2个都加1000加不到2000
若两个线程read到counter=0,然后load进工作内存,执行引擎use,执行+1操作,加完assign会工作内存(不是原值修改,会新开个空间),这时因为缓存一致性协议,阻止两个及以上处理器修改主内存。现假设A线程写回counter=1,那么这时,工作内存中的原先读到的值counter=0就无效了,(无效之后就要重新read)。
操作完之后,已经消耗了两次+1,然而最终主内存的值为1。
只要出现多线程下,都read到某个相同的值,某个线程已经use到执行引擎了,然而最快执行的那个线程,还没通知他原值无效,就会出现少加一次的情况。