为何该内存映射接口程序中必须使用volatile关键字？

你提到的这段代码是内存映射键盘与显示器的轮询处理逻辑，核心疑问是：如果不给KBD_STATUS和DISP_STATUS加volatile，编译器会做什么优化？为什么编译器会认为可以修改这些读取语句的行为？

示例代码 #

/* Define register addresses. */
#define KBD_DATA (volatile char *) 0x4000
#define KBD_STATUS (volatile char *) 0x4004
#define DISP_DATA (volatile char *) 0x4008
#define DISP_STATUS (volatile char *) 0x4012

void main() {
  char ch;
  /* Transfer the characters. */ 
  while (1) {
    while ((*KBD_STATUS & 0x2) == 0); 
    ch = *KBD_DATA;
    while ((*DISP_STATUS & 0x4) == 0); 
    *DISP_DATA = ch;
  } 
}

书中相关说明 #

请注意，KBD_STATUS和DISP_STATUS指针被声明为volatile。这是必要的，因为程序仅读取对应位置的内容，不会向这些位置写入数据。优化编译器可能会移除看似无影响的语句，包括引用仅被读取但从未写入的内存位置的语句。由于内存映射的KBD_STATUS和DISP_STATUS寄存器的内容会受程序外部因素影响而变化，因此必须告知编译器这一事实。编译器不会移除涉及被声明为volatile的指针或其他变量的语句。

核心疑问解答 #

你困惑的点本质是编译器的默认优化逻辑与硬件寄存器特性的冲突，具体有两种关键优化行为：

• 缓存读取值，不再重复访问内存
  编译器默认逻辑是：如果程序只读取某个内存地址，且自身不对该地址做写入操作，那么这个地址的值是固定不变的。对于while ((*KBD_STATUS & 0x2) == 0);这类循环，编译器会在第一次读取KBD_STATUS后，直接缓存这个值——如果第一次读出来是0，循环会无限卡死；如果是非0，循环直接跳过。但实际KBD_STATUS是硬件寄存器，键盘输入会随时改变它的值，编译器不知道这个外部变化，就会导致程序逻辑完全失效。

• 移除“无意义”的读取操作
  极端情况下，编译器会认为反复读取一个程序自身不修改的内存地址是无用操作。比如它判断这个读取的值仅用于循环条件，且值不会变化，可能直接把整个轮询循环删掉——这会导致程序不等键盘输入就直接执行后续代码，完全违背设计意图。

volatile的核心作用 #

volatile就是明确告诉编译器：这个内存地址的内容随时可能被程序外部因素修改，每次用到它时必须重新去内存（硬件寄存器）读取，不能缓存值，也不能随意移除相关读取语句，以此保证轮询硬件状态的逻辑正常运行。

内容的提问来源于stack exchange，提问作者EE18