Mutex
PHP Manual

Mutex::destroy

(PECL pthreads < 3.0.0)

Mutex::destroyDétruit un Mutex

Avertissement

La classe Mutex a été supprimée dans pthreads v3.

Description

final public static bool Mutex::destroy ( int $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éthodeMutex::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.

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