Editer un article - Informaticien.be

Editer un article

Titre
Mots Clés
Texte	[size=18] [b]Nom[/b] [/size] pthread_cleanup_push, pthread_cleanup_pop, pthread_cleanup_push_defer_np, pthread_cleanup_pop_restore_np - Installer et enlever des gestionnaires de nettoyage. [size=18] [b]Résumé[/b] [/size] [b]#include <pthread.h>[/b] [b][i]void pthread_cleanup_push(void (* routine ) (void ), void arg );[/i][/b] [b][i]void pthread_cleanup_pop(int execute );[/i][/b] [b][i]void pthread_cleanup_push_defer_np(void (* routine ) (void ), void arg );[/i][/b] [b][i]void pthread_cleanup_pop_restore_np(int execute );[/i][/b] [size=18] [b]Description[/b] [/size] Les gestionnaires de nettoyage sont des fonctions qui sont appelées lorsqu'un thread se termine, soit en appelant [b]pthread_exit (3)[/b] soit parce qu'il a été annulé. Les gestionnaires de nettoyage sont installés et enlevés à la manière d'une pile. Le rôle d'un gestionnaire de nettoyage est de libérer les ressources acquises par un thread lorsque son exécution s'achève. En particulier, si un thread se termine ou est annulé alors qu'il verrouille un mutex, ce dernier restera verrouillé pour toujours, empêchant d'autre threads de s'exécuter normalement. La meilleure manière d'empêcher cela est d'installer un gestionnaire de nettoyage dont la fonction sera de déverrouiller le mutex. Les gestionnaires de nettoyage peuvent également être utilisés pour libérer des blocs de mémoire alloués par [b]malloc (3)[/b] ou fermer des descripteurs de fichiers lorsque le thread se termine. [b]pthread_cleanup_push[/b] installe la fonction [i]routine[/i] avec l'argument [i]arg[/i] en tant que gestionnaire de nettoyage. A partir de ce point jusqu'à ce qu'un appel à la fonction [b]pthread_cleanup_pop ,[/b] la fonction [i]routine[/i] sera appelée avec l'argument [i]arg[/i] quand le thread se terminera, soit par [b]pthread_exit (3)[/b] soit à la suite d'une annulation. Si plusieurs gestionnaire de nettoyage ont été enregistrés, ils seront exécutés dans l'ordre LIFO (Last In, First Out : ordre inverse de l'enregistrement). [b]pthread_cleanup_pop[/b] désactive le dernier gestionnaire de nettoyage installé. Si l'argument [i]execute[/i] ne vaut pas 0, ce gestionnaire est exécuté en appelant la fonction [i]routine[/i] avec les arguments [b]arg .[/b] Si l'argument [i]execute[/i] vaut 0, le gestionnaire est seulement désactivé mais pas exécuté. Les paires de [b]pthread_cleanup_push[/b] et [b]pthread_cleanup_pop[/b] doivent être exécutées dans le même bloc lexical, au même niveau et ne peuvent pas être entrelacées avec une autre paire. En fait, [b]pthread_cleanup_push[/b] et [b]pthread_cleanup_pop[/b] sont des macros, et l'expansion de [b]pthread_cleanup_push[/b] introduit une accolade ouvrante [b]{[/b] que ferme l'accolade [b]}[/b] introduite par l'expansion de la macro correspondante [b]pthread_cleanup_pop .[/b] [b]pthread_cleanup_push_defer_np[/b] est une extension non portable qui combine [b]pthread_cleanup_push[/b] et [b]pthread_setcanceltype (3).[/b] Elle enregistre le gestionnaires de nettoyage comme le fait [b]pthread_cleanup_push[/b], mais sauvegarde également le mode d'annulation courant et le passe en mode d'annulation retardée. Cela permet d'assurer que le mécanisme de nettoyage est efficace même si le thread fonctionne en mode d'annulation asynchrone. [b]pthread_cleanup_pop_restore_np[/b] dépile le dernier gestionnaire de nettoyage enregistré par [b]pthread_cleanup_push_defer_np ,[/b] et restaure le mode d'annulation à sa valeur lorsque [b]pthread_cleanup_push_defer_np[/b] a été appelée. [b]pthread_cleanup_push_defer_np[/b] et [b]pthread_cleanup_pop_restore_np[/b] doivent être exécutée en paire, dans le même bloc, au même niveau et ne peuvent pas être entrelacés avec une autre paire. La séquence suivante [table][row][col]    [/col][col] .ft 3 .nf pthread_cleanup_push_defer_np(routine, arg); ... pthread_cleanup_pop_defer_np(execute); .ft    [/col][/row][/table] .fi est fonctionnellement équivalente (mais plus compacte et plus efficace) à [table][row][col]    [/col][col] .ft 3 .nf { int oldtype; pthread_setcanceltype(PTHREAD_CANCEL_DEFERRED, &oldtype); pthread_cleanup_push(routine, arg); ... pthread_cleanup_pop(execute); pthread_setcanceltype(oldtype, NULL); } .ft    [/col][/row][/table] .fi [size=18] [b]Valeur renvoyée[/b] [/size] Aucune. [size=18] [b]Erreurs[/b] [/size] Aucune. [size=18] [b]Auteur[/b] [/size] Xavier Leroy <Xavier.Leroy@inria.fr> [size=18] [b]Voir aussi[/b] [/size] [b]pthread_exit (3),[/b] [b]pthread_cancel (3),[/b] [b]pthread_setcanceltype (3).[/b] [size=18] [b]Exemple[/b] [/size] Voici comment verrouiller un mutex [i]mut[/i] de telle manière qu'il sera déverrouillé si le thread est annulé alors que [i]mut[/i] est verrouillé : [table][row][col]    [/col][col] .ft 3 .nf pthread_cleanup_push(pthread_mutex_unlock, (void ) &mut); pthread_mutex_lock(&mut); / Faire quelque chose d'utile / pthread_mutex_unlock(&mut); pthread_cleanup_pop(0); .ft    [/col][/row][/table] .fi Les deux dernières lignes peuvent être remplacées par : [table][row][col]    [/col][col] .ft 3 .nf pthread_cleanup_pop(1); .ft    [/col][/row][/table] .fi Remarquez que le code ci-dessus n'est fiable qu'en mode d'annulation retardée (voir [b]pthread_setcanceltype (3)).[/b] En mode d'annulation asynchrone, une annulation peut intervenir entre [b]pthread_cleanup_push[/b] et [b]pthread_mutex_lock ,[/b] ou entre [b]pthread_mutex_unlock[/b] et [b]pthread_cleanup_pop ,[/b] résultant dans les deux cas en un thread tentant de déverrouiller un mutex non verrouillé par le thread courant. C'est la principale raison pour laquelle le mode d'annulation asynchrone est si problématique à utiliser. Afin que ce code fonctionne aussi en mode d'annulation asynchrone, il doit passer en mode d'annulation retardée pour verrouiller et déverrouiller le mutex: [table][row][col]    [/col][col] .ft 3 .nf pthread_setcanceltype(PTHREAD_CANCEL_DEFERRED, &oldtype); pthread_cleanup_push(pthread_mutex_unlock, (void ) &mut); pthread_mutex_lock(&mut); /* faire quelque chose / pthread_cleanup_pop(1); pthread_setcanceltype(oldtype, NULL); .ft    [/col][/row][/table] .fi Le code ci-dessus peut être ré-écrit de manière plus compacte et plus efficace en utilisant les extensions non portables [b]pthread_cleanup_push_defer_np[/b] et [b]pthread_cleanup_pop_restore_np :[/b] [table][row][col]    [/col][col] .ft 3 .nf pthread_cleanup_push_restore_np(pthread_mutex_unlock, (void ) &mut); pthread_mutex_lock(&mut); /* faire quelque chose */ pthread_cleanup_pop_restore_np(1); .ft    [/col][/row][/table] .fi [size=18] [b]Traduction[/b] [/size] [i]Thierry Vignaud < tvignaud@mandrakesoft.com >, 2000[/i] [b][/b] Christophe Blaess, 2003.
Fichier