[转]Restrict关键字
0 定义
C99中新增加的用于修饰指针的关键字，用于表示该指针所指向的内存，只有通过该指针访问得到（如下ptr指向的内存单元只能通过ptr访问得到）。从而可以让编译器对代码进行优化，生成更有效率的汇编代码。
char *restrict ptr;
1 优化举例
举例1，如下代码（引自参考1），以及翻译成汇编之后的代码。
#include <stdio.h>
#ifdefRES
void multi_add(int* restrict p1, int* restrict p2, int* restrict pi)
#else
void multi_add(int* p1, int* p2, int* pi)
#endif
{
*p1+= *pi;
*p2+= *pi;
}
int main()
{
int a =1, b = 2;
int inc =1;
// increase both aand b by 1
multi_add(&a,&b, &inc);
// print the result
printf("a= %d, b = %d\n", a, b);
}
调用mulit_add函数时，翻译成汇编后的代码，如果是没有RES，则是
mov(%rdx),%eax add%eax, (%rdi) mov(%rdx),%eax add%eax, (%rsi)
相反如果有RES定义，则是
mov(%rdx),%eax add %eax,(%rdi) add %eax,(%rsi)
因为pi是由restrict关键字修饰的，所以认为pi所指向的内存只可能通过pi访问，不可能其它 alias能访问到。所以没有必要每次都mov操作。
举例2
int ar[10];
int *restrict restar =(int *)malloc(10* sizeof(int));
int *par =ar;
for (n =0; n< 10; n++)
{
par[n]+= 5;
restar[n]+= 5;
ar[n]*= 2;
par[n]+= 3;
restar[n]+= 3;
}
同样由于restar 是用restrict修饰的，所以编译器会优化成restar[n] += 8;
其实优化的本质上就是使用了一系列这寄存器，而传统架构上的使用Cache(可以参见https://www.zhihu.com/question/41653775)。
2 使用举例
用restrict修饰的指针，最多的是用来作为参数、memcpy中的src和dst就是使用restrict修改的，所以个人总结出来的用途主要在于copy操作过程中，不用每个字节每个字节去取址计算操作，而是直接page操作的可能。大大提升了性能。
3 注意点
首先，有可能反汇编后的代码，并不能达到遇期的优化效果，这是因为gcc中指定的优化等级不对，或者根本没有指定优化等级。所以为了让编译器识别并优化restrict关键字，必须编译时指定优化等级。如在1中的举例，如果multi_add(&a,&b,&a);调用，那么在不同等级优化下的效果，如下表所示。
| 优化等级 | 最终值 | 原因 |
| 不优化 | a = 2; b = 4; | Gcc在没有开-O优化时是不会对restrict关键字优化 |
| -O1 | A=2;b=3; | restrict关键字的优化 |
| -O2及以上 | a=2;b=4; | Multi_add函数不再被main调用 |
然后，restrict关键字，不仅是告诉编译器优化代码，而且还对使用者（程序员）提出了要求，即必须保证restrict指针指向的内存，只能通过该指针访问。（记住这点是要求程序员的，编译器无法识别出报warning之类的信息）。因此，如下的代码，都可能是有问题的。
float x[100]; float *c;
void f(int n, float *restrict a, float *const b){ int i; for (i =0; i < n; i++) a[i]= b[i]+ c[i]; } void g3(void){ float d[100],e[100]; c =x; f(100,d, e);// OK f(50,d, d +50); // OK f(99,d + 1, d);// undefined behavior c =d; f(99,d + 1, e);// undefined behavior f(99,e, d +1); //
最后，restrict的指针不能赋值给另一个restrict的指针，如下。但是，restrict的指针可以赋值给一个非restrict的指针。
int* restrict p1 =&a;
int* restrict p2 =&b;
p1 =p2; //undefined behavio
void f(int n, float *restrict r, float *restrict s){
float *p = r,*q = s; //OK
while (n--> 0) *p++ = *q++;// almost certainly optimized just like *r++= *s++
}
4 参考文献
[0] http://blog.csdn.net/nathan_wz/article/details/8274451
[1] http://en.cppreference.com/w/c/language/restrict
