竞态条件与sigsuspend函数（四）

*******************************************************************************************************************************************************

一、可重入函数：

拿单链表的insert函数来举例（不带头结点的），单链表的insert完成需要两步完成：

（1）插入结点；  （2）更新头结点。

情景：定义一个信号处理函数（内部调用insert函数），在main函数中调用insert函数，当执行完insert函数的第一步，进程接收到一个信号，内核要处理该信号，切入到信号处理函数中，又再次调用insert函数，执行完后，又要从内核切入到main函数中，继续执行上次的第二步...；这样一来，实际上在链表中只插入了一个人结点。

insert函数被不同的控制流程调用,有可能在第一次调用还没返回时就再次进入该函 数 ,这称为重入。

insert函数访问一个全局链表,有可能因为重入而造成错乱,像这样的函数称为不可重入函数 。

反之,如果一个函数只访问自己的局部变量或参数,则称为可重入函数。

如果一个函数符合以下条件之一则是不可重入的:

（1）调用了malloc或free,因为malloc也是用全局链表来管理堆的。

（2）调用了标准I/O库函数。标准I/O库的很多实现都以不可重入的方式使用全局数据结构。

*******************************************************************************************************************************************************

二、sig_atomic_t类型与volatile限定符

sig_atomic_t：为了解决这些平台相关的问题,C标准定义了一个类型 sig_atomic_t, 在不同平台的C语言库中取不同的类型,例如在32位机 上定义sig_atomic_t为int类型。

volatile：防止编译器做优化。

编译器的四种优化方式：

o0--->不优化     o1--->缺省     o3--->优化级别最高

*******************************************************************************************************************************************************

三、竞态条件与sigsuspend函数

    由于时序问题而导致错误，这叫做竞态条件。(以mysleep函数为例）

   sigsuspend函数：sigsuspend包含了pause的挂起等待功能 ,同时解决了竞态条件的问题

    

*******************************************************************************************************************************************************

四、SIGCHLD信号（#17）

子进程在终止时会给父进程发SIGCHLD信号,该信号的默认处理动作是忽略 ,父进程可以自 定义SIGCHLD信号的处理函数,这样父进程只需专心处理自己的工作,不必关心子进程了,子进程 终止时会通知父进程,父进程在信号处理函数中调用wait清理子进程即可。

由于UNIX的历史原因 ,要想不产生僵尸进程还有另外一种办法:父进程调 用sigaction将SIGCHLD的处理动作置为 SIG_IGN, 这样fork出来的子进程在终止时会自动清理掉,不 会产生僵尸进程,也不会通知父进程。系统默认的忽略动作和用户用sigaction函数自定义的忽略 通常是没有区别的 ,但这是一个特例。

此方法对于Linux可用,但不保证在其它UNIX系统上都可用。

*******************************************************************************************************************************************************

*******************************************************************************************************************************************************