进程结束时信号量自动释放，为何另一个进程不会阻塞？

信号量互斥问题

在基于进程的系统中，共享资源的互斥访问是一个常见问题。信号量是一种同步机制，用于确保进程对共享资源的独占访问。

您提供了一个使用信号量实现互斥的示例代码，但遇到这样的疑惑：为什么一个进程结束时会释放信号量，而另一个进程不会被阻塞？

要回答这个问题，需要了解 sem_acquire 函数的运作方式：

代码中没有显式释放信号量，但根据sem_acquire 的文档：

这意味着当一个进程（比如第一个进程）结束时，它持有的信号量（即示例代码中的信号量）将自动释放。因此，第二个进程可以立即获取信号量，而不必等待第一个进程手动释放。

需要注意的是，这种自动释放行为仅在进程正常退出时发生。如果进程异常终止或被终止，则信号量可能不会被释放，从而导致第二个进程陷入死锁。为了防止这种情况，可以考虑在进程结束前明确释放信号量。