代码的优化 （八）（小疯子）

[EnochShen]

/*
作者:
Kate Gregory
Gregory Consulting

本文是 Visual C++ Toolkit 2003 随附的代码示例的一部分，
可从以下网址下载：http://msdn.microsoft.com/visualc/vctoolkit2003。

Microsoft?Visual C++?Toolkit 2003 包含优化 C++ 编译器。大多数开关相当简明，并且已经在
Visual C++ 产品的多个版本中存在，但仍然有两个开关比较新，并且无须重写代码就能够显著提高速度。
它们是 /GL (Whole Program Optimization) 和 /G7（它能产生为 Pentium 4 或 AMD Athlon 优化的代码）。
还有一个选项 /arch:SSE2，它能产生针对 SSE2 寄存器和指令而优化的代码。

示例代码经过了三项测试：

1.
调用作为内联候选函数的函数。

2.
执行大量浮点乘法和加法运算。

3.
执行大量整数乘法和加法运算。


完整程序优化
示例代码定义了两个非常类似的函数：Add() 和 DisplayAdd()。DisplayAdd() 会显示到屏幕，因此不太可能被内联：

void DisplayAdd(int a, int b)
{
cout << a << " + " << b << " = " << a + b << endl;
cout << "Return address from " << __FUNCTION__
<< " " << _ReturnAddress() << endl;
}

_ReturnAddress 是一个内部函数，它报告控制将在何处返回。可使用它来标识内联函数。

Add() 在 gl-g7.cpp 中声明，同时还声明一个由它设置的全局变量：

void* inlineReturnAddress; // set in Add()
int Add(int a, int b); // implementation in module.cpp

实现位于 module.cpp 中：

int Add(int a, int b)
{
inlineReturnAddress = _ReturnAddress();
return a+b;
}

要编译该程序且不使用 Whole Prgram Optimization，请使用以下命令行：

cl /O2 /ML /EHsc GL-G7.cpp module.cpp

要运行测试 1，请使用以下命令：

gl-g7 1

应该看到与以下内容类似的输出（数值地址会有所不同）：

1 + 2 = 3
Return address from DisplayAdd 00401D0A
1 + 2 = 3
Return address from Add 00401D13
Return address from Test1 00402125

Add() 的返回地址与 Test1() 的返回地址不同：Add() 没有被内联。

现在，使用 /GL 重新编译：

cl /O2 /ML /EHsc /GL GL-G7.cpp module.cpp

再次运行测试 1，应该看到如下所示的输出：

1 + 2 = 3
Return address from DisplayAdd 00401242
1 + 2 = 3
Return address from Add 0040179F
Return address from Test1 0040179F

现在，Add() 和 Test1() 的返回地址相同：Add() 在 Test1() 内部内联，即使它的代码来自另一个文件。

为 Intel Pentium 4 或 AMD Athlon 优化代码
/G7 是 Microsoft?Visual Studio?.NET 2003 中的新增选项；它通过选择与其他场合不同的指令，产生为
Pentium 4 或 AMD Athlon 优化的代码。在对整数进行乘法运算（尤其是将一个整数乘以一个在编译时已知
的常数）的例程中，性能方面的改善最为明显。

测试 2 演示了可能获得的速度方面的改善：

#define INT_ARRAY_LEN 100000
int intarray[INT_ARRAY_LEN];
int intCalculate()
{
int total = 0;

for (int i = 1; i < INT_ARRAY_LEN; i++)
{
total += intarray[i-1]*7;
}

return total;
}

void Test2()
{
int var1 = 2;
int i;

for (i = 0; i < INT_ARRAY_LEN; i++)
{
intarray[i] = i*5;
var1 += 2;
}

LARGE_INTEGER start, end;
LARGE_INTEGER freq;

SetThreadAffinityMask(GetCurrentThread(), 1);
QueryPerformanceFrequency(&freq);
QueryPerformanceCounter(&start);
double total = 0;

for (i = 0; i < 100000; i++)
{
total += intCalculate();
}

QueryPerformanceCounter(&end);

cout << "Total = " << total << endl;

cout << (end.QuadPart - start.QuadPart)/(double)freq.QuadPart << " seconds" << endl;
}

上述代码使用了一些在 kernel32.dll（它是 Microsoft?Windows? 的一部分）中实现的计时函数。这些函
数以及它们使用的数据类型在 windows.h 中定义。为减小该示例中的依赖性，在 gl-g7.cpp 中提供了这些
函数的原型，并且定义了相应的数据类型。QueryPerformanceCounter 保存了起始时间或结束时间，而
QueryPerformanceFrequency 得到一个值，经过除法运算得到起始时间与结束时间的差值，从而得到以秒为
单位的运行时间。对 SetThreadAffinityMask 的调用减少了多处理器计算机上的人工作业。

该例程执行了大量整数乘法。要在不使用处理器专有指令的情况下编译它，请使用以下命令行：

cl /O2 /ML /EHsc GL-G7.cpp module.cpp

要为 Pentium 4 或 AMD Athlon 计算机编译它，请使用以下命令行：

cl /O2 /ML /EHsc /G7 GL-G7.cpp module.cpp

要运行测试 2，请使用以下命令行：

gl-g7 2

在 Pentium 4 或 AMD Athlon 计算机上，/G7 版本的运行速度提高了 10% 以上。上述代码可以在不带适当
芯片的计算机上运行，但与在编译时未使用 /G7 的版本相比，速度稍微慢一点。

Streaming SIMD Extensions 2
如果您确信在为具有 SSE2 支持的计算机（例如 Pentium 4 或 AMD Athlon 计算机）生成代码，则可以使用
/arch:SSE2 选项。这样产生的代码将不能在其他芯片上运行，但速度更快，尤其是对含有大量浮点算法的例程而言。

测试 3 执行与测试 2 极为相似的浮点计算：

#define ARRAY_LEN 10000
double array[ARRAY_LEN];

double Calculate()
{
double total = 0;

for (int i = 1; i < ARRAY_LEN; i++)
{
total += array[i-1]*array[i];
}

return total;
}

void Test2()
{
double var1 = 2;
int i;

for (i = 0; i < ARRAY_LEN; i++)
{
array[i] = var1;
var1 += .012;
}

LARGE_INTEGER start, end;
LARGE_INTEGER freq;

SetThreadAffinityMask(GetCurrentThread(), 1);
QueryPerformanceFrequency(&freq);
QueryPerformanceCounter(&start);
double total = 0;

for (i = 0; i < 100000; i++)
{
total += Calculate();
}

QueryPerformanceCounter(&end);

cout << "Total = " << total << endl;

cout << (end.QuadPart - start.QuadPart)/(double)freq.QuadPart << " seconds" << endl;
}

要在不使用处理器专有指令的情况下编译它，请使用以下命令行：

cl /O2 /ML /EHsc GL-G7.cpp module.cpp

要想仅为 Pentium 4 或 AMD Athlon 计算机编译它，请使用以下命令行：

cl /O2 /ML /EHsc /G7 /arch:SSE2 GL-G7.cpp module.cpp

要运行测试 3，请使用以下命令行：

gl-g7 3

在 Pentium 4 或 AMD Athlon 计算机上，/G7 /arch:SSE2 版本的运行速度大约提高了 10%。上述代码在不
带适当芯片的计算机上不能运行。
*/

[EnochShen]

呵呵，自己先顶一下。