上次我们说到现代编译器已经非常聪明,为了保证程序的执行效率,会在编译时对代码做优化。水平较低的程序员写出的代码比较臃肿,编译器的优化确能够增加程序的执行效率。但是,编译器有时“聪明过了头”,自以为是的把有用的语句优化掉了,反而导致程序不能正常工作。
例如下面这几句代码,
int a;
a = 0x10; // 10000
a = 0x08; // 01000
编译器很聪明,会认为 “a = 0x10” 这句没有意义,因为我们并没有使用 a 的 0x10 这个值,在下一句就被 0x08 覆盖了。所以在编译时,编译器直接就忽略了 “a = 0x10” 这句,这样的确会增加效率,但是在某些情况下,即使只是赋值,也是有意义的。
还记得我们在《程序员编写的代码为什么可以控制计算机硬件工作?》一节中提到的电灯开关的例子吗?我们用 0 表示灭灯,用 1 表示开灯。
上图的电灯状态显然可以用 01000 表示。
现在假设我们用变量 a 表示电灯的状态,那么“a = 0x10” 这句就表示开最左边的灯,它是有意义的。
本来电灯管理员想先开一下最左边的灯,看看它亮不亮,有没有坏掉,那现在编译器把这句忽略了,最左边的灯即使没坏也不亮,会害的电灯管理员花很多时间检查电路。
这就是编译器“自作聪明”带来的问题。那我只能不让编译器做优化了吗?答案是没有必要因为这点小问题,就全盘否定编译器优化带来的效率提升。C99 提供了
"volatile"
关键字,就是专门用来解决这样的问题的。"volatile"
的字面意思是“不稳定的,易变的”,它可以用来修饰变量,以此来告诉编译器,别优化我。编译器看到以后,就知道下面这几行代码不需要优化,不管自己看着多么不爽,也照样执行,不做任何优化:volatile int a;
a = 0x10; // 10000
a = 0x08; // 01000
使用了 volatile 关键字修饰代表电灯开关的变量 a,编译后,会发现最左边的电灯也亮了一下。电灯管理员知道它没坏,可以安心了。
你可能会说,我编程不涉及硬件,这个关键字用不到。可是,即使如此,编译器的优化,有时候也会让人觉得很困惑。
请看下面这段代码:main 函数一直在判断变量
is_continue
的值是否变为 0,如果变了,就在终端打印出 “hello world”,否则就一直等下去。thread
函数在一秒后,将is_continue
的值修改为 0。#include <stdio.h>
#include <pthread.h>
#include <unistd.h>
int is_continue = 1;
void* thread(void* p)
{
sleep(1);
is_continue = 0;
return NULL;
}
int main()
{
pthread_t ppid;
pthread_create(&ppid, NULL, thread, NULL);
while(is_continue);
printf("hello world\n");
return 0;
}
可以看出,原本程序员的意图是通过变量
is_continue
控制 main 打印出 "hello world" 的时机(这里是1秒后打印)。我们编译它,执行会发现,程序一直不打印“hello world”,这很奇怪。我们一起来看看编译后,程序的汇编代码:$ gcc t.c -lpthread -O2 -g
$ objdump -dS a.out
a.out: file format elf64-x86-64
...
这就明白了,编译器“自作聪明”的优化了代码,导致程序没有按照程序员的意图运行。
编译器认为:在 main 函数中,没有任何对的修改,while() 也是什么都没做,所以只需要判断is_continue
最开始的值即可,不需要再从内存重新读取is_continue
。is_continue
接下来,我们在“int is_continue = 1;”前加上 “volatile”关键字,其他的代码都不变,再编译执行,发现 1 秒后,终端有“hello world”打印。查看相应的汇编代码:
编译器见到“volatile”关键字后,不再自作主张,每次都从内存读取
is_continue
再做判断,程序终于与预期一致了。