XBYTE[2]=0x55;
XBYTE[2]=0x56;
XBYTE[2]=0x57;
XBYTE[2]=0x58;
对外部硬件而言,上述四条语句分别表示不同的操作,会产生四种不同的动作,但是
编译器就不能像对待纯粹的程序那样对上述四条语句进行优化,只认为XBYTE[2]=0x58(即忽略前三条语句,只产生一条机器代码)。如果键入
volatile,则编译器会逐一的进行编译并产生相应的机器代码(四条).
编辑本段几个例子
推荐一个定义为volatile的
变量是说这变量可能会被意想不到地改变,这样,
编译器就不会去假设这个变量的值了。精确地说就是,优化器在用到这个变量时必须每次都小心地重新读取这个变量的值,而不是使用保存在
寄存器里的备份。下面是volatile变量的几个例子:
1). 并行设备的硬件寄存器(如:状态寄存器)
2). 一个中断服务子程序中会访问到的非自动变量(Non-automatic variables)
3). 多线程应用中被几个任务共享的变量
以下是我对上述三个例子的理解:
1). 如多核CPU,每个核心都有各自独立的寄存器,因此就会出现不一致的情况,而只有最后及时写到内存的值才是正确的值。
1). 如多核CPU,每个核心都有各自独立的寄存器,因此就会出现不一致的情况,而只有最后及时写到内存的值才是正确的值。
2)当中断程序修改了外部变量时,就可能会造成寄存器和内存值 的不一致。
3)当其中一个线程修改了共享变量,在其他线程中访问的可能是错误的值。
因此可以总结为为解决内存和寄存器可能不一致的情况而提出的直接存取内存中的值办法。