(PHP 4 >= 4.1.0, PHP 5, PHP 7)
sem_remove — セマフォを削除する
$sem_identifier
sem_remove() は、指定したセマフォを削除します。
セマフォを削除した後、そのセマフォにはもうアクセスできません。
sem_identifier
sem_get() が返すセマフォリソース ID。
成功した場合に TRUE を、失敗した場合に FALSE を返します。
TRUE
FALSE