前言:
在《unix环境高级编程》中第十章信号中 ,对于程序中一般会存在时间窗口,这样照成竞争条件的存在,我将在下面重点讨论下如何避免竞争条件!
竞争条件:
当由于事件次序异常造成对同一资源的竞争,从而导致程序无法正常运行时,就会出现 竞争条件。
下面这段用来实现sleep的简单而不完整的功能代码就存在竞争条件:
#include <signal.h>
#include <unistd.h>
static void sig_alrm(int signo)
{
/*nothing to do ,just to return to wake up the pause
}
unsigned int sleep1(unsigned in nsecs)
{
if(signal(SIGALRM,sig_alrm) == SIGERR)
return(nsecs);
alarm(nsecs);
pause();
return(alarm(0));
}
上面这段代码主要为实现sleep函数的功能,及本程序通过alarm和pause实现使程序休眠一段时间,但是在alarm(nsecs)和pause()之间存在着因执行次序问题而造成的竞争条件,如果alarm在调用pause之前已经超时,并调用了信号处理程序,过过发生这种情况,则调用pause()之后,如果没有能捕捉到其他的信号,则调用者可能永远的被挂起。
我们利用setjmp、longjmp解决alarm、pause()之间的竞争问题:
#include <signal.h>
#include <setjmp.h>
#include <unistd.h>
static jmp_buf env_alrm;
static void sig_alrm(int signo)
{
longjmp(env_alrm, 1);
}
unsigned int sleep2(unsigned int nsecs)
{
if(signal(SIGALRM, sig_alrm) ==SIGERR)
return(nsecs);
if(setjmp(env_alrm) == 0)
{
alarm(nsecs);
pause();
}
return (alarm(0));
}
在上面程序中增加了setjmp 和 longjmp函数,当出现alarm(nsecs)超时,调用信号处理函数sig_alrm(),继而调用longjmp实现跳转直接执行returned()语句,从而避免程序永远被挂起的情况。