1  for(i=0;i<n;++i)
2     for(j=0;j<n;++j)
3     {
4         double sum=0;
5         for(k=0;k<n;++k)
6             sum+=a[i][k]*b[k][j];
7         c[i][j]+=sum;
8     }

1 for(i=0;i<n;++i)
2     for(k=0;k<n;++k)
3     {
4         r=a[i][k];
5         for(j=0;j<n;++j)
6             c[i][j]+=r*b[k][j];
7     }

　　细看一番就会发现这两种实现语义是等价的，但是后者的实际运行效率却比前者高。

　　那为什么会如此呢？

　　那是因为CPU读数据时，并不是直接访问内存，而是先查看缓存中是否有数据，有的话直接从缓存读取。而从缓存读取数据比从内存读数据快很多。

　　当数据不在缓存中时，CPU会将包含数据在内的一个数据块读到缓存，如果程序具有良好空间局部性，那么第一次cache miss后，之后的几次数据访问就可以直接在缓存中完成。除了空间局部性（程序倾向于引用与当前数据邻近的数据）之外，还有时间局部性（程序倾向于引用最近被引用过的数据）。

回到矩阵乘法。（我们只考虑内循环）

　　前者对矩阵A，有良好的空间局部性，假设一次能缓存四个元素，则每次迭代对于A只有0.25次miss，但是对于B，则不然，因此B是按列访问的，每次访问都会miss，因此每次迭代总的miss数是1.25。后者对于矩阵C和矩阵B都有良好的局部性，每次迭代都只有0.25词miss，因此总的miss数是0.5。后者每次迭代多了一次存储（对C[i][j]写入），但是即便如此，后者的运行效率也比前者高。 

　　总而言之，要想程序跑得快，就要在程序中多利用局部性，让缓存hold住你的数据，减少访存次数。要知道CPU可以在3个时钟周期内访问到L1 cache，10个时钟周期左右的时间访问到L2 cache。访问内存却要上百个时钟周期，孰快孰慢，很清楚了吧？

原文地址：http://www.cnblogs.com/lisperl/archive/2012/11/17/2774782.html