《unix环境高级编程》中 竞争条件 的解决（setjmp longjmp)

前言：

  在《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（）语句，从而避免程序永远被挂起的情况。