(PHP 4 >= 4.1.0, PHP 5, PHP 7)
sem_remove — Eliminar un semáforo
$sem_identifier
)sem_remove() elimina el semáforo dado.
Después de eliminar el semáforo, éste ya no está accesible.
Devuelve TRUE en caso de éxito o FALSE en caso de error.