信号量操作函数中的SEM_UNDO

每一个独立的信号灯操作可能都需要维护一个调整动作。 Linux 至少为每一个进程

的每一个信号灯数组都维护一个 sem_undo 的数据结构。如果请求的进程没有，就在需

要的时候为它创建一个。这个新的 sem_undo 数据结构同时在进程的 task_struct 数据

结构和信号灯队列的 semid_ds 数据结构的队列中排队。对信号灯队列中的信号灯执行

操作的时候，和这个操作值相抵消的值加到这个进程的 sem_undo 数据结构的调整队列

这个信号灯的条目上。所以，如果操作值为 2 ，那么这个就在这个信号灯的调整条目上

增加 -2 。 

　　

　　当进程被删除，比如退出的时候， Linux 遍历它的 sem_undo 数据结构组，并

实施对于信号灯数组的调整。如果删除信号灯，它的 sem_undo 数据结构仍旧停留在进

程的 task_struct 队列中，但是相应的信号灯数组标识符标记为无效。这种情况下，清除

信号灯的代码只是简单地废弃这个 sem_undo 数据结构。