volatile用法详解（c语言）

volatile是易变的、不稳定的意思。或许你没见过这个关键字，但它确的的确确存在着。

保持内存可见性
volatile关键字和const 一样是一种类型修饰符,用它修饰的变量表示可以被某些编译器未知的因素更改,比如操作系统、硬件或者其他线程等。遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问。

#include 
int pass = 1;
int main()
{
	while(pass)
	{
		;
	} 	
	return 0;
}

思考一下，以上代码有哪些可优化的地方？
由于pass = 1，为真，编译器会优化此代码，将循环条件直接改为真，后续不再从内存中读取pass的值来判断循环是否停止。

汇编代码如下：

如果是多线程的程序，pass是有可能被其他进程改掉，循环条件应该重新判断。但是代码已被编译器优化，程序不会读取pass的值进行判断，也就不能达到想要的效果了。

加volatile后

#include 
volatile int pass = 1; //加上volatile
int main()
{
	while (pass) {
	;
	} 
	return 0;
}

汇编如下：

加了volatile后，每次都会将pass的值导入cpu判断是否循环了。

volatile忽略编译器的优化，保持内存可见性。