Mutex
PHP Manual

Mutex::destroy

(PECL pthreads >= 0.34)

Mutex::destroyDétruit un Mutex

Description

final public static boolean Mutex::destroy ( long $mutex )

La destruction des gestionnaires Mutex doit être effectuée explicitement par le programmeur, lorsqu'il a terminé de l'utiliser.

Liste de paramètres

mutex

Un gestionnaire retourné par un appel à la méthode Mutex::create(). Le gestionnaire ne doit pas être verrouillé par un autre Thread lorsque la méthode Mutex::destroy() est appelée.

Valeurs de retour

Un booléen indiquant le statut de l'opération.

Valeurs de retour

Le gestionnaire de Mutex nouvellement créé et, optionnellement, verrouillé.

Exemples

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)


Mutex
PHP Manual