Détruit un Mutex

# Mutex::destroy

(PECL pthreads < 3.0.0)

Mutex::destroy — Détruit un Mutex

Avertissement

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

### Description

final public static Mutex::destroy ( int `$mutex` ) : bool

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)