竞态条件与sigsuspend函数(四)

*******************************************************************************************************************************************************
一、可重入函数:
拿单链表的insert函数来举例(不带头结点的),单链表的insert完成需要两步完成:
(1)插入结点;  (2)更新头结点。
情景:定义一个信号处理函数(内部调用insert函数),在main函数中调用insert函数,当执行完insert函数的第一步,进程接收到一个信号,内核要处理该信号,切入到信号处理函数中,又再次调用insert函数,执行完后,又要从内核切入到main函数中,继续执行上次的第二步...;这样一来,实际上在链表中只插入了一个人结点。

insert函数被不同的控制流程调用,有可能在第一次调用还没返回时就再次进入该函 数 ,这称为重入
insert函数访问一个全局链表,有可能因为重入而造成错乱,像这样的函数称为不可重入函数
反之,如果一个函数只访问自己的局部变量或参数,则称为可重入函数。

如果一个函数符合以下条件之一则是不可重入:
(1)调用了mallocfree,因为malloc也是用全局链表来管理堆的。
(2)调用了标准I/O库函数。标准I/O库的很多实现都以不可重入的方式使用全局数据结构。
*******************************************************************************************************************************************************
二、sig_atomic_t类型与volatile限定符
sig_atomic_t为了解决这些平台相关的问,C标准定义了一个类型 sig_atomic_t, 在不同平台的C语言库中取不同的类型,例如在32位机 上定义sig_atomic_tint类型。
volatile:防止编译器做优化。
编译器的四种优化方式:
o0--->不优化     o1--->缺省     o3--->优化级别最高

*******************************************************************************************************************************************************
三、竞态条件与sigsuspend函数
    由于时序问题而导致错误,这叫做竞态条件。(以mysleep函数为例)
   sigsuspend函数:sigsuspend包含了pause的挂起等待功能 ,同时解决了竞态条件的问题
    竞态条件与sigsuspend函数(四)_第1张图片

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

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

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


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

你可能感兴趣的:(sig_atomic_t,可重入函数,volatile限定符,SIGCHLD信号)