进程互斥与信号量操作
在探讨进程互斥时,经常会使用信号量来实现。信号量是一种同步机制,它允许进程之间进行通信,避免同时对共享资源进行访问。
在本例中,你创建了一个信号量,并使用 sem_acquire 函数来获得信号量。当一个进程执行 sem_acquire 时,如果信号量已经被另一个进程获取,它将一直阻塞,直到信号量被释放。
然而,在你提供的代码中,在你结束一个进程之前并没有主动释放信号量。根据你所引用的文档,sem_acquire 函数有一个默认行为,即在必要的条件下,会阻塞当前进程直到信号量可被获取。
此外,该文档还指出,在请求处理完成后,进程获取的所有信号量(但未明确释放)都将在进程退出时自动释放,并且会生成一个警告。
因此,在你的情况下,当你结束一个进程时,你获取的信号量会被自动释放。另一个进程可以获取该信号量并继续执行。这就是为什么两个进程都能正常运行的原因。