缓存结构
各个缓存,内存到CPU的时间比较
由于从CPU到内存比较耗时,所以现在的数据都会尽量的存在缓存中。
但是存在缓存中,就需要保证数据一致性。
缓存行
缓存以缓存行为基本单位,对应着一个内存中的数据。
伪共享
当内存中有一个数组Cell[2] = {6000, 6001}
,由于数组在内存是连续存储的,而一个Cell对象 = 24字节(16字节头 + 8字节的value)
而 24+24 = 48 < 64, 所以会占用在一个缓存行中。
那么问题来了。
- Cpu1对Cell[0]做修改
- Cpu2对Cell[1]做查询
为了保证数据的一致性,修改操作后,会让当前的缓存行失效,所以Cpu2查询Cell[1]数据时,明明没对Cell[1]做什么操作,却发现cache miss, 从而只能回到内存去查,导致大大降低了效率。
解决方法
一个比较典型的方法是,内容填充。
一个缓存行的大小是64byte,可以在变量的前后增加内存填充,占满这64byte,从而让两个数据分别错位在不同的缓存行上,这样就避免了对一个数据的操作,而让另一个数据的缓存行也跟着失效。
这也是一种利用空间换取时间的思想。
@sun.misc.Contended
注解就是基于以上的原理。