Mutex::unlock
(PECL pthreads < 3.0.0)
Mutex::unlock — Libère un Mutex
La classe Mutex a été supprimée dans pthreads v3.
Description
$mutex
[,
bool
$destroy
] ) : boolTente de déverrouiller le Mutex de l'appelant, et optionnellement, détruit le gestionnaire Mutex. Le Thread appelant doit être le propriétaire du Mutex au moment de l'appel.
Liste de paramètres
-
mutex -
Un gestionnaire retourné par un appel à la méthode Mutex::create().
-
destroy -
Lorsque vaut
TRUE, pthreads va détruire le Mutex après un déverrouillage réussi.
Exemples
Exemple #1 Verrouillage et déverrouillage du Mutex
<?php
/** Vous ne pouvez pas utiliser le mot clé "new", un Mutex n'est pas un objet PHP **/
$mutex = Mutex::create();
/** Vous pouvez maintenant verrouiller le Mutex dans n'importe quel contexte **/
var_dump(Mutex::lock($mutex));
/** C'est invalide que de tenter de détruire un Mutex verrouillé **/
var_dump(Mutex::unlock($mutex));
/** Toujours détruire un Mutex que vous avez créé **/
Mutex::destroy($mutex);
?>
L'exemple ci-dessus va afficher :
bool(true) bool(true)
Version en cache
24/12/2024 14:48:56 Cette version de la page est en cache (à la date du 24/12/2024 14:48:56) afin d'accélérer le traitement. Vous pouvez activer le mode utilisateur dans le menu en haut pour afficher la dernère version de la page.Document créé le 30/01/2003, dernière modification le 26/10/2018
Source du document imprimé : https://www.gaudry.be/php-rf-mutex.unlock.html
L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.
Références
Ces références et liens indiquent des documents consultés lors de la rédaction de cette page, ou qui peuvent apporter un complément d'information, mais les auteurs de ces sources ne peuvent être tenus responsables du contenu de cette page.
L'auteur de ce site est seul responsable de la manière dont sont présentés ici les différents concepts, et des libertés qui sont prises avec les ouvrages de référence. N'oubliez pas que vous devez croiser les informations de sources multiples afin de diminuer les risques d'erreurs.
