循环展开技术

   循环一直令我们头疼，因为循环体内总是隐藏着热点！看一段示例代码：

1. for (i = 0; i < 10; i++){  
2.         temp = temp * (array[i]);  
3. } 

    观察循环体汇编代码，我们很容易发现，由于循环体的内容相对简单，以至于这个循环实际执行过程中差不多一半的指令都在为检查循环执行的条件而服务。如果计算循环索引和测试循环条件的循环开销部分所占比重过大，这时就可以考虑使用一种被称作"循环展开"的方式来优化代码。所谓循环展开就是通过在每次迭代中执行更多的数据操作来减小循环开销的影响。其基本思想是设法把操作对象线性化，并且在一次迭代中访问线性数据中的一小组而非单独的某个。这样得到的程序将执行更少的迭代次数，于是循环开销就被有效地降低了。

    如果这时还是希望能够对循环进行3次展开，那么该如何处理呢。可以从两个方面来解决这个需求。首先，要确保第一次循环不会超过数组的界限。这并不难做到，对于长度为n的数组，可以将循环限制设为n-2。然后，保证只有当循环索引i<n-2时才会执行这个循环，那样即使在循环体内使用的数组的最大索引也不会超过数组的长度n。下面这段代码演示了这种解决方案，它是在上一小节中的示例代码的基础上改写而成的。

2. #include <stdio.h>  
3.  
4. void  function( int  array[],  int  *dest)  
5. {  
6.          int  i;  
7.  
8.          int  temp = 1;  
9.          int  limit = 10 -2;  
10.  
11.          for (i = 0; i < limit; i+=3){  
12.             temp = temp * (array[i])* (array[i+1])* (array[i+2]);  
13.         }  
14.  
15.          for (; i < 10; i++){  
16.             temp = temp * array[i];  
17.         }  
18.         *dest = temp;  
19. }  
20.  
21. void  main()  
22. {  
23.          int  array[10] = {1, 1, 1, 2, 2, 3, 3, 3, 4, 1};  
24.       
25.          int  number = 1;  
26.          int  * dest = &number;  
27.  
28.         function(array, dest);  
29.  
30.         printf( "%d/n" , *dest);  
31. } 

      将这种方法推广到更加通用的层面上，如果循环展开k次，就可以把上限设为n-k+1，那么最大循环索引i+k-1将会比n小。然后，再加上第二个循环，以每次处理一个元素的方式处理数组的最后几个元素。

 

 

 

 

      循环展开技术的好处在于它能减小循环开销的影响。但它也不是没有缺点的，天下没有免费的午餐！首先，循环展开增加了生成的目标代码的数量，这很容易理解，因为循环体在源代码级别就已经变得庞大。读者可以试想它们被翻译成目标代码时的情况。为了验证这一点，读者可以使用Visual C++来对比使用循环展开前后循环体的汇编代码的长度，验证结果将表明循环展开对目标代码的长度的确有很大的影响。当然，在我们所举的例子中，循环展开所要付出的代价都是比较小的。当然这并不能概括其他所有的情况，因此这个空间换时间的折中最优位置还需要针对具体问题来做具体的分析。

      使用循环展开时一方面要考虑实际待处理数组的长度，并由此选择一个较好的展开度；另一方面要综合考虑这个展开度对时空开销比例的影响，在尽量不会使目标代码空间消耗激增的前提下获得最高的时间收益。另外，也可以让编译器为我们完成这些工作。通常，编译器可以很容易地执行循环展开，但这需要设定其优化级别足够高，所以程序员也可以选择让编译器来完成这个工作。当然，我们曾经提醒过读者，在开发阶段并不适合将优化级别设置得过高，因此如果你希望让编译器执行循环展开，那么最好等到软件开发完成之后。