sem_remove
(PHP 4 >= 4.1.0, PHP 5, PHP 7)
sem_remove — Remove a semaphore
说明
sem_remove (
resource
$sem_identifier
) :
bool
sem_remove() removes the given semaphore.
After removing the semaphore, it is no longer accessible.
返回值
成功时返回 TRUE
, 或者在失败时返回 FALSE
。
参见
- sem_get() - Get a semaphore id
- sem_release() - Release a semaphore
- sem_acquire() - Acquire a semaphore