缓存cache用到的是程序局部性原理,缓存块多大合适呢?目前工业界界定的64字节,所以常见缓存行64字节。
存储的金字塔register > L1 cache > L2 cache > L3 cache > main memory > 硬盘 > 远程。其中1级2级cache在cpu内部,3级cache在主板上,所以多核cpu执行多个线程时共用3级缓存,如果2个线程在同一个cache line,其中一个线程数据缓存失效了,相应L1cache-L2cache-L3cache-memory会改,再读到另一个线程的L2cache-L1cache中,会耗费同步过程的时间。
类1中的两个线程:
public static void main(string[] args) throws Exception{
Thread t1 = new Thread(() ->{
for(long i =0; i<10_0000_0000L;i++){
arr[0] = i
}
});
public static void main(string[] args) throws Exception{
Thread t1 = new Thread(() ->{
for(long i =0; i<10_0000_0000L;i++){
arr[1] = i
}
});
类2中的两个线程:
public static void main(string[] args) throws Exception{
Thread t1 = new Thread(() ->{
for(long i =0; i<10_0000_0000L;i++){
arr[0] = i
}
});
public static void main(string[] args) throws Exception{
Thread t1 = new Thread(() ->{
for(long i =0; i<10_0000_0000L;i++){
arr[8] = i
}
});
执行时间类1比类2的时间长,因为类1中arr[0]与arr[1]应该在一个cache line上,线程1缓存失效了还要通知线程2再从内存到L1 Cache再读一遍。而类2中arr[0]与arr[8]不可能在同一个cache line上,arr[0]与arr[8]之间相隔7*8=56byte,56+8+8>64,所以两个线程缓存失效相互不打扰,效率更高。
这一点在Disruptor这个RingBuffer上有体现,一个缓存环预设7个变量填充(cache line padding)解决false sharing。
public long p1, p2, p3, p4, p5, p6, p7;
private volatile long cursor = INITIAL_CURSOR_VALUE;
public long p8, p9, p10, p11, p12, p13, p14;