为了进一步提高效率，你还可以采取什么办法？
A段代码：
- int matrix[1023][15];
- const char *str = "this is a str" ;
- int i, j, tmp, sum = 0;
- tmp = strlen(str);
- for (i = 0; i < 1023; i++) {
- for (j = 0; j < 15; j++) {
- sum += matrix[i][j] + tmp;
- }
- }
B段代码
- int matrix[1025][17];
- const char *str = "this is a str" ;
- int i, j, sum = 0;
- for (i = 0; i < 17; i++) {
- for (j = 0; j < 1025; j++) {
- sum += matrix[j][i] + strlen(str);
- }
- }
这条问题和大家分享下，希望大家一起讨论。呵呵。
这个问题的主要关注点很明显是关于存储器层次（memory hierarchy）与缓存（caching）的。先看看相关背景。
存储技术在几个不同层次上发展，其中存储密度高、单价便宜的存储器速度比较慢，速度快的存储器的存储密度则相对较低且价格昂贵。为了在性能与价格间找到好的平衡点，现代计算机系统大量采用了缓存机制，使用小容量的高速存储器为大容量的低速存储器提供缓存。
最快的存储器是CPU里的各种寄存器，其次是在CPU芯片内的L1缓存，再次是在CPU芯片内或者离CPU很近的L2缓存，然后可能还有L3缓存，接着到主内存，后面就是各种外部存储设备如磁盘之类，最后还有诸如网络存储器之类的更慢的存储器。
L1缓存可能会成对出现，一个用于指令，另一个用于数据。L2缓存和后面的缓存则设计得更通用些。由于主内存比磁盘快很多但相对来说价格昂贵许 多，而同时运行多个程序所需要的存储空间通常不能直接被主内存满足，所以现代操作系统一般还有虚拟内存，使用磁盘作为主内存的扩充。虚拟内存也可以反过来 看作“所有虚拟内存都是在磁盘上的，将其中活跃的一些放在物理内存里是一种优化”（Eric Lippert如是说 ）。
如果要访问的数据位于存储器层次的较低层，则数据是逐层传递到CPU的。例如，程序要访问某个地址的数据，在L1缓存里没有发现（称为L1缓存不 命中，L1 cache miss），则跑到L2缓存找；找到的话，会先把这一数据及邻近的一块数据复制到L1缓存里，然后再从L1缓存把需要的数据传给CPU。
为了充分利用缓存机制，程序应该有良好的局部性 （locality）。局部性指的是程序行为的一种规律性：在 程序运行中的短时间内，程序访问数据位置的集合限于局部范围。局部性有两种基本形式：时间局部性（temporal locality）与空间局部性（spatial locality）。由于指令也可以看作数据的一种特殊形式，因而局部性对指令来说也有效。
时间局部性 指的是反复访问同一个位置的数据：如果程序在某时刻访问了存储器的某个地址，则程序很可能会在短时间内再次访问同一地址。例如，在执行一个循环，则循环的代码就有好的时间局部性；又例如在循环里访问同一个变量，则对该变量的访问也有好的时间局部性。
空间局部性 指的是反复访问相邻的数据：如果程序在某时刻访问了存储器的某个地址，则程序很可能会在短时间内访问该地址附近的存储器空间。例如按顺序执行的指令就有良好的空间局部性；又例如按存储顺序挨个遍历数组，也有良好的空间局部性。
还有很多很重要的背景信息，这里就不详细写了。我主要是读《Computer Organization and Architechture: Designing for Performance, 5th Edition》和《Computer Systems: A Programmer's Perspective》学习的。大一的时候也好好上了计算机组成与结构的课，用的课本就是前一本书，还能记得一些。
那么回到开头的题目。两段代码有一些特征是相同的，包括：
(1) 它们都使用了一个int矩阵，而且行的宽度比列的长度要短。
(2) 它们都含有一个char指针，指向的是一个字符串字面量。这意味着对该字符串调用strlen()总是会得到同一个值，而且该值在编译时可计算。
(3) 它们都遍历了整个矩阵，并且对矩阵中每个元素的值求和。
两段代码主要的差异是：
(1) 遍历顺序不同。A按行遍历，B按列遍历。
(2) 内外循环的分布不同。使用两层的嵌套循环来遍历这个数组，则：按行遍历的话，外层循环次数等于行数，内层循环次数等于列数；按列遍历则正好相反。A的外层循环比内层循环次数多很多；而B的内层循环次数比外层多。
(3) 循环中是否重复求值。A在遍历矩阵前预先对字符串调用了strlen()，将结果保存在一个临时变量里；遍历矩阵时访问临时变量来获取该值；B在遍历矩阵时每轮都调用strlen()。
(4) A与B的矩阵大小不同，A较小而B较大。
========================================================================
《Computer Systems: A Programmer's Perspective》的6.2.1小节，Locality of References to Program Data介绍了程序数据的局部性。其中提到一个概念：访问连续存储空间中每隔k个的元素，称为stride-k reference pattern。连续访问相邻的元素就是stride-1访问模式，是程序中空间局部性的重要来源。一般来说，随着stride的增大，空间局部性也随之 降低。
C的二维数组在内存中是按行优先的顺序储存的。许多其它编程语言也是如此，但并非全部；FORTRAN就是一种典型的例外，采用列优先的存储顺 序。在C中，按行遍历二维数组，遍历顺序就与存储顺序一致，因而是stride-1访问模式。如果按列访问一个int matrix[M][N]，则是stride-(N*sizeof(int))访问模式。
由此可知，差异(1)使得A段代码比B段代码有更好的空间局部性，因而应该能更好的利用缓存层次。
结合两段代码中矩阵的大小来看看缓存不命中的状况。题目没有提到“某型CPU”上int的长度是多少，也没有提到内存的寻址空间有多大。这里把两者都假设是32位的来分析。
32位的int意味着sizeof(int)等于4B。则A段代码的matrix大小为sizeof(int)*15*1023 == 61380B，小于128KB；matrix的每行大小为sizeof(int)*15 == 60B，小于64B。B段代码的matrix大小为sizeof(int)*17*1025 == 69700B，也小于128KB；每行大小为sizeof(int)*17 == 68B，大于64B。
题中L1缓存大小是16KB，每条cache line大小是64B，也就是说一共有256条cache line。没有说明L1与L2缓存的映射方式，假设是直接映射。
L2缓存大小是256KB，每条cache line大小4KB，也就是说一共有64条cache line。因为L2缓存是二路组相联，所以这些cache line被分为每两条cache line一组，也就是分为32组。同样因为是二路组相联，所以主内存中地址连续的数据在把L2缓存的一半填满之后，要继续填就要开始出现冲突了。幸好L2 缓存有256KB，两段代码中都能顺利装下各自的matrix。假设两层缓存都采用LRU（least recently used）算法来替换缓存内容。
A段代码中，matrix的一行可以完整的放在一条L1 cache line里，一条L2 cache line可以装下68行多一些。观察其遍历的方式。假设两层缓存刚开始都是“冷的”，访问matrix[0][0]时它尚未被加载到L2缓存，并且假设 matrix[0][0]被映射到一条L2 cache line的起始位置（意味着matrix在4KB对齐的地址上）。
这样，在第一轮内层循环时访问matrix[0][0]，会发生一次L1缓存不命中和一次L2缓存不命中，需要从主内存读4KB到L2缓存，再将 其中64字节读到L1缓存。第二轮内层循环时，访问matrix[0][1]在L1缓存命中。第三轮也是L1缓存命中。直到读到matrix[1][1] 的时候才会再发生一次L1缓存不命中，此时L2缓存命中，又从L2缓存读出64字节复制到L1缓存。重复这个过程，直到遍历了68行多一些的时候，又会发 生一次L2缓存不命中，需要从主内存读数据。tmp与sum变量有良好的时间局部性，应该能一直在寄存器或者L1缓存中。以此类推，可以算出：每轮外层循 环都执行15轮内层循环，遍历了matrix的一整行；每遍历16行会发生大约15次L1缓存不命中（如果matrix[0][0]不是被映射到 cache line的开头的话，会发生16次）；每遍历1023行会发生大约15次L2缓存不命中。加起来，A段代码在循环中大概会遇到15次L2缓存不命 中，960次L1缓存不命中。
B段代码中，matrix的一行无法完整的放在一条L1 cache line里，一条L2 cache line可以装下60行多一些。遍历的元素相隔一行。同样假设两层缓存刚开始都是“冷的”，则遍历过程中刚开始每访问matrix的一个元素都会发生1次 L1缓存不命中，每访问60行多一些就会发生1次L2缓存不命中。等遍历完了matrix的第一列之后，经过了1轮外层循环（1025轮内层循环）；此时 两层缓存都已经热起来，整个matrix都被缓存到L2中；根据LRU算法，matrix[0][0]已经不在L1缓存中。照此观察，后续的遍历过程中都 不会再出现L2缓存不命中，但每访问一个元素仍然会发生一次L1缓存不命中。加起来，B段代码在循环中大概会遇到18次L2缓存不命中，17425次L1 缓存不命中。
遍历顺序与矩阵大小结合起来，使A段代码发生L1缓存不命中的次数远小于B段代码的，而两者的L2缓存不命中次数差不多。因此，从缓存的角度看，A段代码会比B段代码执行得更有效率。
========================================================================
然后再看看在循环中调用strlen()的问题。从源码表面上看，B段代码的每轮内层循环中都要调用一次strlen()，其中要遍历一次str 字符串。strlen()本身的时间开销是O(L)的（L为字符串长度），放在M×N的嵌套循环里调用，会带来O（L×M×N）的时间开销，相当可观。
但前面也分析过，题中两段代码都是对字符串字面量调用strlen()，是编译时可以计算的量，所以会被编译器优化为常量。事实上VC和GCC都 会将这种情况下的strlen()的调用优化为常量。所以这题里在循环中调用strlen()并不会带来额外的开销——因为编译出来的代码里就不会在循环 里调用strlen()了。
即使不是对字符串字面量调用strlen()，如果str在循环中没有改变，那么strlen(str)的结果也应该是循环不变量，理论上B段代 码可以被编译器自动优化为A段代码的形式，将strlen()的调用外提。不过在许多例子里，VC与GCC似乎都没能成功的进行这种优化。以后会找个实际 例子来看看。
========================================================================
这个题目里的代码还不仅涉及缓存层次的问题，还涉及到指令执行的问题。现代CPU一般都支持指令流水线（instruction pipelining）和预测性执行(speculative execution)。通过将一条指令拆分为多个可以并行执行的阶段，CPU的一个执行核心可以在一个时钟周期内处理多条指令；通过预先将后面的指令读进 CPU执行，CPU可以预测将来的执行结果。为了能尽可能多的预测执行结果，CPU会对分支指令也做预测，猜测其会进行跳转（branch taken）还是不跳转（branch not-taken）。实际执行到跳转指令的时候，并不是“发现需要跳转到某地址”，而是“印证先前就发现的跳转的猜测”。如果猜中了，则执行结果就会从 一个缓存写到寄存器中；如果猜错了，就只能刷掉之前猜测的执行结果，重新读取指令，重新开始流水线的执行，从而带来相当的开销。对分支的预测称为 branch prediction，猜错的情况称为branch misprediction。分支预测有许多算法，多数都会考虑某条分支指令上一次或多次的跳转情况。
为了让循环能正常结束，循环一般都有循环条件。这样就至少有一个条件跳转。可以想象，重复多次的循环，控制其结束的条件分支，除了最后一次都应该 是向同一个目标跳转的。这样，每个循环至少会导致一次分支预测错误。计算循环条件本身也有一定开销，与分支预测错误一起，都是循环的固有开销。
在嵌套循环中，无论是内层循环还是外层循环，都是循环，固有开销是避免不了的。把重复次数多的循环放在内层与外层会导致总的循环次数的不同。开头 的题目中，如果A与B的matrix都统一为1024*16的大小，则A总共要执行1024+1024*16 = 17408次循环，而B总共要执行16 + 16*1024 = 16400次循环。显然，把重复次数多的循环放在内层比放在外层需要执行的循环次数少，相应需要付出的循环固有开销也小。
题目问到要进一步提高效率应该采用什么办法。从前面的分析看，A在缓存方面有优势但在指令执行方面有劣势。如果要改进，可以把A中的matrix 转置为int matrix[15][1023]，使行的宽度比列的长度长。这样在按行遍历时重复次数较多的就从外层循环移到了内层，扭转了A段代码在指令执行方面的劣 势。
========================================================================
前面的分析都属于“理想分析”，现实中我们写的程序在实际机器上到底是怎么执行的，那简直就是magic。虽然Eric说别把东西想象成magic ，但这里我没办法……
例如说，我们不知道题目中的程序一共开了多少个线程。既然题目没说“某型CPU”是多核的，假设它是单核的，那么多个线程都要共享同一个L1和 L2缓存，留给A段代码用的缓存到底有多少呢？就算不考虑线程的多少，操作系统也有些核心数据会尽量一直待在高速缓存里，留给应用程序的缓存有多少呢？
既然我们知道要遍历连续的数据，那与其让它逐渐进入缓存，还不如先一口气都放进缓存，后面实际访问数据的时候就不会遇到缓存不命中。这叫做预取 （prefetch）。在x86上有专门的指令prefetch-*来满足预取的需求，如非时间性的prefetchnta与时间性的 prefetcht0、prefetcht1等等。编译器有没有为代码生成预取指令？使用预取之后缓存不命中的状况能减少多少？不针对具体情况都没办法回 答。毕竟有些CPU实现的时候干脆就忽略指令中的预取，又或者编译器生成了很糟糕的预取指令反而降低了程序性能，这些极端的可能性都存在。
另外一个要考虑的因素是，应用程序构建在操作系统之上，而操作系统一般有采用分页的虚拟内存。像32位Windows的页大小就是4KB。 matrix有60KB左右，无法完整放在一页里。页在映射到物理内存的时候，并不保证在matrix跨越不同页仍然保持在物理内存中地址的连续性。所以 matrix是否能理想的缓存到L2缓存而不发生冲突，其实不好说。
CPU支持的指令集与其实际执行的方式也不完全一致。像x86这样的指令集早就成为“遗留接口”了，实际硬件用类似RISC的方式去实现了 CISC的x86指令集，通过指令级并行执行（instruction-level parallelism，ILP）来提高CPU的吞吐量。
x86一个很讨厌的地方就是它可用的通用寄存器（general purpose register）的数量太少了，32位GPR只有8个。那么少的寄存器，指令是怎么并行起来的呢？其实那8个GPR也是假象，CPU可以通过寄存器重命 名（register renaming）的方式让一些指令可以直接把计算结果传给下一条指令而不需要实际经过寄存器。预测性执行的结果也不是直接写到寄存器，而是等分支预测被 确认正确后才写进去。这样就能够预测性执行多条指令而不破坏“当前”的CPU状态。
It's magic...应用程序员一般也不会需要关心这种magic般的细节。在合适的抽象层次上选用合适的算法，用清晰的方式把代码组织起来，远比关心这种细 节要重要得多。不过如果要写编译器的话，这些细节就是恶魔了。Devil is in the details……
扫一扫
2035
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
