进程互斥问题:结束进程释放信号量
问题描述
编写了一个互斥信号量的程序,在两个终端中同时运行。当其中一个进程结束时,另一个进程却没有被阻塞,反而拿到了信号量。这是为什么?进程结束是否会主动释放信号量?
问题解答
根据 sem_acquire 函数的说明:
- sem_acquire 默认情况下会在必要时阻塞,直到可以获取信号量。
- 如果进程尝试获取自己已经获取的信号量,并且获取信号量将导致其信号量数量超出最大值,则进程将永远阻塞。
此外,该函数还提到:
- 在处理完请求后,进程获取但未显式释放的任何信号量都会自动释放,并生成警告。
也就是说,在 php 进程结束时,所有获取但未显式释放的信号量都会自动释放。因此,当一个进程结束时,另一个进程不会被阻塞,而是可以获取信号量。
操作系统层面
在操作系统层面,根据 sem_close 函数的说明:
- 所有打开的命名信号量在进程终止或调用 execve(2) 时会自动关闭。
因此,也可以从操作系统层面确认,进程结束时会释放打开的信号量。