1

我有这个学校项目,它是关于使用 setjmp 和 longjmp 进行不精确的计算。该程序启动一个计时器,该计时器将向信号处理程序发出信号。

在计时器到期之前,有一些迭代计算(出于演示目的,只是一个没有用处的循环)。在这个循环的开始有一个 setjmp 调用,在信号处理程序中有一个 longjmp 调用。这基本上迫使循环停止中间计算并运行它调用longjmp的信号处理程序。

我遇到的问题是,每当计算部分很短时,我似乎相当一致地段错误,但是当计算部分很长(内部循环有很多迭代)时,它运行得很好(还没有遇到段错误) . 显然,段错误必须发生在该计算部分周围的区域,但我无法弄清楚它来自哪里,因为调试会像使用 print 语句一样改变事情。

这是我的代码:

#include <iostream>
#include <signal.h>
#include <sys/time.h>
#include <setjmp.h>
#include <errno.h>
#include <stdlib.h>

jmp_buf env;


static void usr_timer_tick(int signal)
{
    if(signal == SIGALRM)
    {
        longjmp(env, 1);
    }
}


/*Program Description
 * This program first sets up the timer to signal usr_timer_tick
 * every 1 second on the SIGALRM signal. It then proceeds to do an iterated calculation three times.
 * An infinite loop calls setjmp and when 0 is returned, continues doing
 * a calculation on temp. After an iteration is complete, the result of
 * the iteration is saved into finalResult after blocking SIGALRM to
 * make the saving of the result atomic.
 *
 * Once the signal handler(usr_timer_tick) is triggered, it calls longjmp which forces
 * setjmp to return a non-zero value, which causes the main function to break out
 * of the infinite loop and start a new calculation...this is done a total of 3
 * times for demonstration purposes.
 */
int main(int argc, char **argv)
{

    //init timer using setitimer..real mode
    int which = ITIMER_REAL;
    struct itimerval value;
    struct sigaction sact;
    sigset_t newmask, oldmask;
    sigemptyset( &newmask );
    sigemptyset( &oldmask );
    sigaddset(&newmask, SIGALRM);

    sact.sa_flags = 0;
    sact.sa_handler = usr_timer_tick;
    sigaction( SIGALRM, &sact, NULL );
//    value.it_interval.tv_sec = 0;        /* One second */
//    value.it_interval.tv_usec = 0;
//    value.it_value.tv_sec = 1;           /* One second */
//    value.it_value.tv_usec = 0;
//
//    setitimer(which, &value, NULL);



    double finalResult = 0;
    int loopcount = 0;
    double tempResult = 0;
    for(int j = 0; j < 10; j++)
    {
        loopcount = 0;


            std::cout << "Run " << j << " begin loop "
            << loopcount << "\n";


            if(setjmp(env) == 0)
            {   //timer not hit yet

                //sigprocmask(SIG_BLOCK, &newmask, NULL);
                value.it_interval.tv_sec = 0;        /* One second */
                value.it_interval.tv_usec = 0;
                value.it_value.tv_sec = 1;           /* One second */
                value.it_value.tv_usec = 0;

                setitimer(which, &value, NULL);

                //sigprocmask(SIG_SETMASK, &oldmask, NULL);
                for(;;)
                {
                    //Do some random calculations
                    for(int i = 0; i < 1; i++)
                    {
                        tempResult = tempResult + .001;
                    }

                    //block signal from arriving and save to finalResult
                    if(sigprocmask(SIG_BLOCK, &newmask, NULL) < 0) exit(-1);
                    finalResult = tempResult;
                    std::cout << "Run " << j << " complete loop "
                        << loopcount << " result = " << finalResult<< "\n";
                    loopcount++;
                    if(sigprocmask(SIG_SETMASK, &oldmask, NULL)< 0) exit(errno);
                }
            }
            else
            {
                //timer signal arrived, print the final result and get out of loop
                std::cout << "***Run " << j << " killed on loop "
                        << loopcount << " result = "<< finalResult << "\n";
                sigprocmask(SIG_SETMASK, &oldmask, NULL);
                //break;
            }



    }
    return 0;
}

我知道你们中的一些人可能不同意 longjmp 应该在信号处理程序中使用,但这是我的教授所说的这样做的方式。另外,应该注意的是,在调用 longjmp 之后我会解除阻塞 SIGALRM(参见 main 的 else 语句)。

看着 dmesg 我得到:

 [121395.233842] cppapplication_[17397]: 
segfault at 2 ip b74656f6 sp bfbb5abc 
error 6 in libc-2.12.1.so[b743b000+157000

]

4

2 回答 2

1

您不能使用“longjmp”退出异步事件,如计时器。它仅用于保存和恢复正常调用约定保存的寄存器和堆栈指针。

旁注:考虑volatile在局部变量上使用关键字,如 7.13.2.1 中所述:

所有可访问对象都有值,并且抽象机器的所有其他组件都有状态,截至longjmp调用函数时,除了自动存储持续时间的对象的值,这些对象的值对于包含调用相应setjmp宏的函数来说是本地的没有volatilesetjmp限定类型并且在 调用和调用之间已更改longjmp是不确定的。

于 2011-03-30T19:35:28.067 回答
0

您的信号处理程序将调用longjmp,因此跳转目标最好是有效的。这意味着,setjmp先调用,然后调用sigactionand setitimer

于 2011-03-30T17:50:19.723 回答