从汇编角度理解volatile

一般对于volatile的解释是这样的：将变量定义为volatile可以防止编译器对变量进行优化，每次均从内存中访问变量，而不是寄存器。既然让编译器优化可以提高访问速度，那为什么又要不用它以及什么时候不用它？其实主要是配合的问题，一个变量可能在寄存器中，也可能在内存中，如果程序只有一个执行流且没有跳转，那么变量不管放到内存还是寄存器，理论上在编译阶段编译器是能够知道变量的具体位置的，使用时就不会出现问题。事实上编译器是通过一个简单的规则来保证的：局部变量一般会放到寄存器中，全局变量在函数开始时必然是操作内存，之后可能是放入寄存器，到函数结束时必然将全局变量的值再写入内存(如果有写的话)，这样每次函数调用时全局变量的最新值都在内存中，且都从内存中访问，保证了数据的一致性。但这种一致性在多执行流或有跳转的情况下就有问题了