Mutex::create
Mutex::lock
Mutex
PHP Manual

# Mutex::destroy

(PECL pthreads >= 0.34)

Mutex::destroy — Dé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::create
Mutex::lock
Mutex
PHP Manual