PHP 进程互斥:进程结束时信号量为何未被阻塞?

php 进程互斥:进程结束时信号量为何未被阻塞?

进程互斥问题浅析

问题描述

下列 php 代码实现了进程互斥:

<?php
ini_set('display_errors',1);
ini_set('display_startup_errors',1);
error_reporting(-1);

$file = "/www/tp/signal.txt";
$key  = ftok($file, "x");
$semaphore = sem_get($file, 1, 0666, false);
sem_acquire($semaphore);
echo "hello world";
sleep(20);

问题:两个进程同时运行该代码,第一个进程结束时,为何第二个进程没有被阻塞,反而获取了信号量?进程结束时是否主动释放信号量?

问题解答

按照 php 手册中 sem_acquire() 函数的说明,该函数在默认情况下会阻塞线程,直到获取到信号量为止。然而,该文档也指出:

处理请求后,进程获取但未明确释放的任何信号量将自动释放,并会触发警告。

因此,在 php 中,进程结束时会自动释放其持有的信号量。这是因为当进程终止时,它不再需要使用这些信号量。操作系统级方法中,sem_close() 函数也有类似说明:

所有打开命名的信号量会在进程终止或执行 execve(2) 时自动关闭。

总结

在给定的 php 代码中,当第一个进程结束时,它持有的信号量会自动释放。因此,第二个进程可以获取释放的信号量,继续执行而不会被阻塞。

以上就是PHP 进程互斥:进程结束时信号量为何未被阻塞?的详细内容,更多请关注硕下网其它相关文章!