(PECL pthreads >= 2.0.0)
Mutex::destroy — Détruit un Mutex
$mutex
)La destruction des gestionnaires Mutex doit être effectuée explicitement par le programmeur, lorsqu'il a terminé de l'utiliser.
mutex
Un gestionnaire retourné par un appel à la méthodeMutex::create(). Le gestionnaire ne doit pas être verrouillé par un autre Thread lorsque la méthode Mutex::destroy() est appelée.
Un booléen indiquant le statut de l'opération.
Exemple #1 Création et destruction d'un Mutex
<?php
/** Vous ne pouvez pas utiliser le mot clé "new", un Mutex n'est pas un objet PHP **/
$mutex = Mutex::create();
/** Vous avez l'adresse physique du Mutex **/
var_dump($mutex);
/** Toujours détruire un Mutex que vous avez créé **/
Mutex::destroy($mutex);
?>
L'exemple ci-dessus va afficher :
int(40096976)