操作系统：编译器的正确性和优化

Q：如何评价一个编译器的编译结果是否正确

A：源代码和编译后的外部可观测行为必须一致。说人话就是外部可以观测得到的两份代码做的事情后果是一致的

 比如spin_1函数内由于i是函数内部的局部变量且并没有返回，对函数外部人(或者调用者)来说根本看不见i或者说不知道有这么一个存在，对设计内存值也不产生影响，所以整个spin内的行为全部优化成return

而spin_2中使用关键字volatile标记i是不可优化，则循环保留