我有一个问题,在文章的最下方,希望大佬指教,谢谢。

volatile时轻量级的sychronize,在多处理器开发中保证了共享变量的可见性。

当一个线程修改一个共享变量时,另外一个线程能读到这个修改的值。

如果volatile使用恰当,比sychronized的使用和执行成本更低,因为它不会引起线程上下文的切换和调度。

定义

Java语言允许线程访问共享变量,为了确保共享变量能被准确和一致地更新,线程应该确保通过排他锁单独获取这个变量

线程内存模型确保所有线程看到这个变量的值是一致的

相关CPU术语

术语 英文 描述
内存屏障 memory barriers 一组处理器指令,实现对内存操作的顺序限制
缓存行 cache line CPU高速缓存中可以分配的最小存储单位。处理器填写缓存行时会加载整个缓存行,现代CPU需要执行几百次CPU指令
原子操作 atomic operations 不可中断的一个或一系列操作
缓存填充 cache line fill 当处理器识别到从内存中读取操作数是可缓存的,处理器读取整个高速缓存行到适当的缓存(L1,L2,L3或所有)
缓存命中 cache hit 如果进行高速缓存行填充操作的内存位置仍然是下次处理器访问的地址时,处理器从缓存中读取操作数,而不是从内存读取
写命中 write hit 当处理器将操作数写回道一个内存缓存的区域时,它首先会检查这个缓存的内存地址是否在缓存行中,如果存在,则处理器将这个操作数写回到缓存,而不是内存
写缺失 write misses the cache 一个有效的缓存行被写入到不存在的内存区域

实现原理

  • 处理器保证原子操作有两种机制
    • 总线锁定
    • 缓存一致性
      • 当某块CPU对缓存中的数据进行了操作之后,就通知其它CPU放弃存储在它们内部的缓存,或者从主内存中重新读取

volatile修饰的共享变量进行写操作时,JVM会向处理器发送一条Lock前缀的指令,在多处理器下,为了保证各个处理器的缓存是一致的,就会实现缓存一致性协议,每个处理器通过嗅探在总线上传播的数据来检查缓存的值是不是过期了,当处理器发现缓存行对应的内存地址被修改,就会将当前处理器的缓存行设置成无效状态,当处理器对这个数据进行修改时,会重新从系统内存中把数据读到处理器缓存里。

  • Lock前缀的指令在多核处理器下的作用

    • 将当前处理器缓存行的数据写回到系统内存
      • Intel486和Pentium处理器,处理器可以独占任何共享内存,锁住总线,导致其它CPU不能访问总线,也就不能访问系统内存
      • P6和目前的处理器中,会锁定这块内存区域的缓存并回写到内存,并使用缓存一致性机制来确保修改的原子性,此操作被称为“缓存锁定”,缓存一致性机制会阻止同时修改由两个以上处理器缓存的内存区域数据
    • 这个写回内存的操作会使在其它CPU里缓存了该内存地址的数据无效
      • IA-32和Intel 64处理器使用MESI控制协议去维护内部缓存和其它处理器缓存的一致性,能够嗅探其它处理器访问系统内存和它们的内部缓存,通过嗅探一个处理器来检测其它处理器打算写内存地址,而改地址处于共享状态,那么正在嗅探的处理器使它的缓存行无效,在下次访问相同内存地址时,强制执行缓存行填充

    MESI:也称伊利诺斯协议(伊利诺斯州立大学提出),是一种广泛使用的支持写回策略的缓存一致性协议。分别对应缓存的4种状态:Modified修改、Exclusive独占、Shared共享、Invalid无效。

优化

对于经常要写入缓存的操作,考虑到缓存锁会影响写入的效率。

对于i7,酷睿等处理器,高速缓存行是64字节,不支持部分填充缓存行,这也就意味着,当队列大小不足64字节的时候(引用结点),这个时候,有可能会把头结点和尾结点读取到同一个缓存行中,那么当一个处理器锁定缓存行之后,其他处理器进行入队和出队操作的时候,就必须排队等待,这就影响了程序的执行效率,这个时候,就有人将队列的结点增加空属性来修改成64字节。这就可以使得你在操作某个结点的时候,其他处理器不需要排队等待缓存锁的释放。

  • 以下场景不适合使用
    • 缓存行非64字节宽的处理器
      • P6系列和奔腾处理器,L1和L2高速缓存行时32字节宽
    • 共享变量不会被频繁写
      • 因为使用追加字节的方式需要处理器读取更多的字节到高速缓冲区,本身会带来性能消耗,如果共享变量不会被频繁写,锁的几率也就很小,也就没有必要通过追加字节的方式来避免相互锁定

备注

Doug lea在对LinkedTransferQueue的JSR 166 - 1.7修正中使用填充字节的方式,JSR 166 - 1.8中就取消了这种方式,目前还不敢肯定的说出变化的原因,希望大佬指教,super2bai@gmail.com