被volatile 搞晕了

anank

刚才搜索出来一个关于setjmp和longjmp的小程序如下：
#include<setjmp.h>
#include <stdio.h>

static jmp_buf  buf;

int main()
{
    // volatile int b;      // 1
    int b ;

    b =3;

    if(setjmp(buf)!=0)
    {
        printf("%d ", b);
        exit(0);
    }

    b=5;
    longjmp(buf , 1);

}

我的平台是：fc4，大家按照下面几种编译方式，分别看看运行结果，我被搞晕了。

（1）使用volatile，编译时不管优化参数（-O1, -O2..），结果都是5
（2）不使用volatile
             gcc 1.c           // 执行结果：5
             gcc -O1          // 执行结果：3
             gcc -O2          // 执行结果：3


为什么？？

5毛党党员

volatile 不就是为了防止被优化吗？

nicozhou

volatile在嵌入式里很重要，防止被优化。

cjaizss

volatile只是为了防止被优化，如果compiler本来就没打算在这里优化，结果自然一样

huangwei0413

原帖由 anank 于 2008-8-22 15:05 发表
刚才搜索出来一个关于setjmp和longjmp的小程序如下：
#include
#include

static jmp_buf  buf;

int main()
{
    // volatile int b;      // 1
    int b ;

    b =3;

    if(setjmp(buf)!= ...

结果应该是正常的,volatile的被放在内存中,那么值将改变为5;
优化的被放在寄存器中,因为longjmp将恢复寄存器的值,那么仍然为3.

熏红猴

不同线程之间共用的变量是不是要加volatile？
谢谢。

Visame

保证局部变量在longjmp中值不变的方式是将其声明为volatile

lgfang

还是那句话，引自APUE2：

Unfortunately, the answer is "it depends." Most implementations do not try to roll back these automatic variables and register variables, but the standards say only that their values are indeterminate. If you have an automatic variable that you don't want rolled back, define it with the volatile attribute. Variables that are declared global or static are left alone when longjmp is executed.

anank

非常谢谢大家的讲解，我明白了，是我对 longjmp函数 产生误解。

原来我认为：
--------------
       当发生错误时，longjmp会恢复“内存”到原来的模样

正确的应该是：
       longjmp只会恢复“寄存器”到原来的模样，内存的改变已经不能恢复

要是这样的话，似乎longjmp没有啥用处啊，内存都发生改变了，状态还是变了啊？？？？

freearth

仔细看看8楼贴出来的那段话，嗯，不过他贴得少了些，去看一个完整点的版本。

longjmp不只是恢复寄存器的。

另外，这个东西主要用于出错处理的，不是一般的用于控制流转移的。

原帖由 anank 于 2008-8-25 13:34 发表
非常谢谢大家的讲解，我明白了，是我对 longjmp函数 产生误解。

原来我认为：
--------------
       当发生错误时，longjmp会恢复“内存”到原来的模样

正确的应该是：
       longjmp只会恢复“寄存 ...