信号量 - SEM_UNDO为什么避免死锁

调整数 ：

    在Linux下，每个进程都有个信号量调整数，它是int型的一个数字。它通常用来记录对信号量操作中负数的统计。通常我们进行释放资源时，sem_op为正值时，调整值就减去sem_op的绝对值，进行申请资源时sem_op为负值，调整值就加上sem_op的绝对值。所以可以看出这个调整数只是统计了该进程申请的信号量数（即对该信号量进行相对的减少该信号量值的大小）的个数。（当调用semctl执行SETVAL或SETALL命令时，在所有进程中该信号量对应的调整值被清空为0）

SEM_UNDO

    当sem_op时，把特定信号量设为sem_undo时，当该进程终止时，系统就会检测该进程中的信号量调整数，如果它大于0，系统就会对相应的信号量按信号量调整值对它进行调整，即归还该进程申请的信号量数。所以这样就避免了进程退出，信号量值还没有归造成的死锁。

附上信号量在系统中的数据结构：

struct sem{

           unsigned short  semval;   /* 该信号在中的值 */
           unsigned short  semzcnt;  /* 等待信号量值为0的进程数 */
           unsigned short  semncnt;  /* 等待信号量值大于0的进程数*/
           pid_t           sempid;   /* 上一个做op操作的进程的pid号*/
}