那为大侠给俺讲讲cache和volatie变量的关系

zhlyp

请问http://blog.chinaunix.net/u1/52454/showart_486989.html这个帖子中的例1

例1.


void main (void)
{
   volatile int i;
   int j;

  i = 1;  //1  不被优化 i=1
  i = 2;  //2  不被优化 i=1
  i = 3;  //3  不被优化 i=1
  
   j = 1;  //4  被优化
   j = 2;  //5  被优化
   j = 3;  //6  j = 3
}

i的最终结果是多少？1？还是3？

[ 本帖最后由 zhlyp 于 2008-3-3 15:28 编辑 ]

zhlyp

我在linux下编译的结果i=3
但是不理解楼上例子的意思

zx_wing

原帖由 zhlyp 于 2008-3-3 15:31 发表
我在linux下编译的结果i=3
但是不理解楼上例子的意思

这就是volatie的另一个功能，主要用于嵌入式（嵌入式我不懂，说错误怪）
就是体现一个时序。
这里i的变化有3个过程， i = 1, i =2, i =3 ，编译器会把这个过程体现出来，汇编指令变为如下序列：
i 赋值为1
i 赋值为2
i 赋值为3

最终结果当然是3，只是体现了i变化的一个过程。

如果没有volatie修饰，编译器会把前两次赋值忽略掉，也就是所谓的优化掉，汇编指令变成一条：
i 赋值为3

zhlyp

原帖由 zx_wing 于 2008-3-3 15:45 发表

这就是volatie的另一个功能，主要用于嵌入式（嵌入式我不懂，说错误怪）
就是体现一个时序。
这里i的变化有3个过程， i = 1, i =2, i =3 ，编译器会把这个过程体现出来，汇编指令变为如下序列：
i 赋值为1 ...

奥，谢谢
那就是说那个例子应该错了
应该改成

i = 1;  //1  不被优化 i=1   i = 2;  //2  不被优化 i=2   i = 3;  //3  不被优化 i=3

[ 本帖最后由 zhlyp 于 2008-3-3 15:57 编辑 ]

zx_wing

原帖由 zhlyp 于 2008-3-3 15:56 发表

奥，谢谢
那就是说那个例子应该错了
应该改成
  i = 1;  //1  不被优化 i=1

  i = 2;  //2  不被优化 i=2

  i = 3;  //3  不被优化 i=3

对，我估计是笔误

wangqi0021

受教了。 比原来理解的更深一些

RobinsonNie

幸好手边有keil，要不真颠覆自己对volatile的理解了，调试过程如下。
说明：mov操纵片内的256byte的RAM, Memory View中d:0x0008显示的便为片内RAM0x0008处值。

RobinsonNie

这哥们是不是调程序时看程序存储器0x0008处值了，那倒真是一直是1.

guozhan1722

一般来说，如果做device driver 的程序员，对这个问题分得很清楚。volatile 是用来防止编译器对代码进行优化的，定义成volatile的变量，不会被分配临时的寄存器来优化。所以，对外设来说，读的时候，读到的是内存的即时值。可以通过反汇编来比较一下源代码。cacha 是cpu读写时的一块缓冲区，一般对内存的操作是enable cacha的，但对外设必须对cacha进行单独的操作或关掉cacha.一般地，读的时候是invalidate cacha.写的时候是flush cacha。如果有MMU的话，可以自己配一块内存，单独对cacha 进行管理。

虎皮尖椒

mark一下，拜服各位高手。