CSAPP-程序优化
代码移动：
如果一个表达式总是得到同样的结果，最好把它移动到循环外面，这样只需要计算一次。编译器有时候可以自动完成，比如说使用 -O1 优化。一个例子：
void set_row(double *a, double *b, long i, long n){
long j;
for (j = 0; j < n; j++){
a[n*i + j] = b[j];
}
}
这里n*i是重复被计算的，可以放到循环外面
long j;
int ni = n * i;
for (j = 0; j < n; j++){
a[ni + j] = b[j];
}
消除不必要的内存引用：
for(int i = 0;i < n;i++)
{
*p = *p OP data[i];
}
//new
int t = *p;
for()
{
t = t OP data[i];
}
*p = t;
上面的过程中，每次循环要经历2次读1次写：
从p读取值 -> 读取data[i]进行计算 -> 写到p
但该进之后，每次循环只需要一次读
vmovesd (%rbx),%xmm(); //read from p
vmulsd (%rdx),%xmm(),%xmm(); //mul by data[]
vmovesd %xmm(),(%rbx); //store
vmulsd (%rdx),%xmm(),%xmm(); //mul by data[]
处理条件分支
现代处理器普遍采用超标量设计，也就是基于流水线来进行指令的处理，也就是说，当执行当前指令时，接下来要执行的几条指令已经进入流水线的处理流程了。
对于顺序执行来说，不会有任何问题，但是对于条件分支来说，在跳转指令时可能会改变程序的走向，也就是说，之前载入的指令可能是无效的。这个时候就只能清空流水线，然后重新进行载入。为了减少清空流水线所带来的性能损失，处理器内部会采用称分支预测』的技术。
例：
当遇到if语句的时候，你事先完全不知道应该往哪边走。你可以暂停，等待直到之前的指令执行完成，然后比较结果，然后往正确的那个方向走。
但是现代计算机有很长的流水线，等待结果必定会浪费很多时间。于是有了分支预测，先假设分支方向，加入流水线，如果对了就可以继续执行下去。否则清空流水线再向正确的地方前进。
条件转移：
在有的情况下，书写合适的条件转移可以实现分支。
if(a > b)
{
int t = a;
a = b;
b = a;
}
上面的代码会进行分支预测，改：
if(a > b)
{
int tmax = a < b? b:a;
int tmin = a > b? b:a;
a = tmin;
b = tmax;
}
// a < b ? b:a;可以等效于：
tmax = b;
tmp = a;
t = a < b;
if(!t) tmax=tmp;
循环展开：
通过增加每次迭代的计算量，减少循环次数。
1.减少了循环索引计数和条件分支
2.提供了进一步利用机器特性进行的优化的机会
int ans = 0;
for(int i = 0;i < n;i += 2)
{
ans = ans OP data[i] OP data[i+1];
}
提高并行化：
1.多个累积变量
在加法和乘法功能的时候，功能单元是完全流水线化的。使其能更高效的执行
for(int i = 0;i < n;i+=2)
{
ans0 = ans0 OP data[i];
ans1 = ans1 OP data[i+1];
}
与上面相比关键路径上面的操作由 n->n/2。而且结果ans0 和 ans1不相关，流水线性能应该会提升。
2.重新结合变化
ans = ans OP data[i] OP data[i+1];
ans = ans OP (data[i] OP data[i+1]);
可能看着没什么区别，但是data[i]*data[i+1]的计算完全不用考虑上一次循环的结果，流水线能得到充分利用 。
参考资料：
不周山之读薄CSAPP：http://wdxtub.com/2016/04/16/thin-csapp-0/
浅谈分支预测、流水线和条件转移：http://www.cnblogs.com/yangecnu/p/4196026.html#undefined
《深入理解计算机系统 》
