各位大神好:
主线程与分线程共享一个成员变量count(不用volatile修饰的),那么在分线程中循环执行一百次count++
,什么时间分线的count值与主线程同步呀!
也就说分线程执行read and load 从主存复制count变量到自己的工作内存中,然后use and assign 是执行一百次count++之后才执行store and write 把工作内存数据刷新主存,还是中中间每一次count++都会呀
个人感觉绝对不是执行完一百次count++才执行store and write,根据java 内存模型规则:
1、不允许read和load、store和write操作之一单独出现,以上两个操作必须按顺序执行,但没有保证必须连续执行,也就是说,read与load之间、store与write之间是可插入其他指令的。
2、不允许一个线程丢弃它的最近的assign操作,即变量在工作内存中改变了之后必须把该变化同步回主内存。
可以推断出count++,就是一次assign,根据第二条规则,不允许丢弃最近的assign,所以必定有一次store and write,又根据第一条read and load 和store and write 不能单一出现,所以有一次store and write 必定有一次 read and load,因此推断出,每一次count++都会执行 read 、 load 、use 、assign、store、write
欢迎加入我的QQ讨论群:180075424
那样的话,加volatile不就没有任何作用了吗,本身加volatile不就是为了在use与assign之前强制执行 read and load