Editer un article - Informaticien.be

Editer un article

Titre
Mots Clés
Texte	[size=18] [b]Nom[/b] [/size] select, pselect, FD_CLR, FD_ISSET, FD_SET, FD_ZERO - Multiplexage d'entrées/sorties synchrones. [size=18] [b]Résumé[/b] [/size] /* D'après Posix 1003.1-2001 / [b][/b] [b]#include <sys/select.h>[/b] / D'après les standards précédents / [b][/b] [b]#include <sys/time.h>[/b] [b][/b] [b]#include <sys/types.h>[/b] [b][/b] [b]#include <unistd.h>[/b] [b]int[/b] select(int [i]n[/i][b],[/b] fd_set [i]readfds[/i][b],[/b] fd_set [i]writefds[/i][b],[/b] fd_set [i]exceptfds[/i][b],[/b] struct timeval [i]timeout[/i][b]);[/b] [b]int[/b] pselect(int [i]n[/i][b],[/b] fd_set [i]readfds[/i][b],[/b] fd_set [i]writefds[/i][b],[/b] fd_set [i]exceptfds[/i][b],[/b] const struct timespec [i]timeout[/i][b],[/b] const sigset_t [i]sigmask[/i][b]);[/b] [b][i]FD_CLR(int fd , fd_set * set );[/i][/b] [b][/b] [b][i]FD_ISSET(int fd , fd_set * set );[/i][/b] [b][/b] [b][i]FD_SET(int fd , fd_set * set );[/i][/b] [b][/b] [b][i]FD_ZERO(fd_set * set );[/i][/b] .fi [size=18] [b]Description[/b] [/size] Les fonctions [b]select[/b] et [b]pselect[/b] attendent des changements d'état sur plusieurs descripteurs de fichiers. Elles ont un comportement identique, avec trois différences : [table][row][col]    [/col][col](i) La fonction [b]select[/b] utilise un délai exprimé avec une [i]struct timeval[/i] (secondes et microsecondes), alors que [b]pselect[/b] utilise une [i]struct timespec[/i] (secondes et nanosecondes).[/col][/row][/table] [table][row][col]    [/col][col](ii) La fonction [b]select[/b] peut modifier le paramètre [i]timeout[/i] pour indiquer le temps restant. La fonction [b]pselect[/b] ne change pas ce paramètre.[/col][/row][/table] [table][row][col]    [/col][col](iii) La fonction [b]select[/b] n'a pas de paramètre [i]sigmask[/i] et se comporte comme [b]pselect[/b] avec une valeur NULL pour [b]sigmask[/b][/col][/row][/table] Il y a trois ensembles indépendants de descripteurs surveillés simultanément. Ceux de l'ensemble [i]readfds[/i] seront surveillés pour vérifier si des caractères deviennent disponibles en lecture. Plus précisément, on vérifie si un appel-système de lecture ne bloquera pas - en particulier un descripteur en fin-de-fichier sera considéré comme prêt. Les descripteurs de l'ensemble [i]writefds[/i] seront surveillés pour vérifier si une écriture ne bloquera pas. Ceux de [i]exceptfds[/i] seront surveillés pour l'occurrence de conditions exceptionnelles. En sortie, les ensembles sont modifiés pour indiquer les descripteurs qui ont changé de statut. Quatre macros sont disponibles pour la manipulation des ensembles [b]FD_ZERO[/b] efface un ensemble. [b]FD_SET[/b] et [b]FD_CLR[/b] ajoutent et suppriment un descripteur dans un ensemble. [b]FD_ISSET[/b] vérifie si un descripteur est contenu dans un ensemble, principalement utile après le retour de [b]select.[/b] [i]n[/i] est le numéro du plus grand descripteur des 3 ensembles, plus 1. [i]timeout[/i] est une limite supérieure au temps passé dans [b]select[/b] avant son retour. Elle peut être nulle, ce qui conduit [b]select [/b] à revenir immédiatement. (Ce qui sert pour des surveillance en [b]polling ).[/b] Si le timeout est NULL (aucun), [b]select[/b] peut bloquer indéfiniment. [i]sigmask[/i] est un pointeur sur un masque de signaux (voir [b]sigprocmask (2)).[/b] S'il n'est pas NULL, alors [b]pselect[/b] remplace d'abord le masque de signaux en cours par celui indiqué dans [b]sigmask ,[/b] puis invoque la fonction `select', et enfin restaure le masque de signaux à nouveau. L'idée derrière [b]pselect[/b] est que pour l'attente d'un évènement, que ce soit un signal ou une condition sur un descripteur, un test atomique est nécessaire pour éviter les situations de concurrence. (Supposons que le gestionnaire de signaux active un drapeau global et revienne. Alors un test de ce drapeaux, suivi d'un appel [b]select ()[/b] peut bloquer indéfiniment si le signal arrive juste après le test mais avant l'appel. A l'inverse, [b]pselect[/b] permet de bloquer le signal d'abord, traiter les signaux déjà reçus, puis invoquer [b]pselect ()[/b] avec le [b]sigmask ,[/b] désiré, en évitant la situation de blocage). Comme Linux n'a pas encore d'appel-système [b]pselect (),[/b] la routine de la bibliothèque GlibC 2 contient encore le défaut. [b]Délai maximal[/b] Les structures temporelles concernées sont définies dans [i]<sys/time.h>[/i] comme ceci :[table][row][col]    [/col][col] .nf struct timeval { long tv_sec; /* secondes / long tv_usec; / microsecondes / }; .fi[/col][/row][/table] et [table][row][col]    [/col][col] .nf struct timespec { long tv_sec; / secondes / long tv_nsec; / nanosecondes / }; .fi[/col][/row][/table] (However, see below on the POSIX 1003.1-2001 versions.) Certaines applications appellent [b]select[/b] nul, et un délai [i]timeout[/i] non nul, afin d'endormir, de manière portable, le processus avec une précision plus fine que la seconde. Sous Linux, la fonction [b]select[/b] modifie [i]timeout[/i] pour indiquer le temps restant mais la plupart des autres implémentations ne le font pas. Ceci pose des problèmes à la fois pour porter sur d'autres systèmes du code développé sous Linux qui utilise cette valeur de [i]timeout[/i] modifiée, et pour porter sous Linux du code qui réutilise plusieurs fois la structure timeval sans la réinitialiser. La meilleure attitude à adopter est de considérer [i]timeout[/i] comme indéfini après le retour de [b]select.[/b] [size=18] [b]Valeur renvoyée[/b] [/size] En cas de réussite [b]select[/b] et [b]pselect[/b] renvoient le nombre de descripteurs dans les ensembles, qui peut être nul si le délai de timeout a expiré avant que quoi que ce soit d'intéressant ne se produise. Ils retournent -1 s'ils échouent, auquel cas [i]errno[/i] contient le code d'erreur. [size=18] [b]Erreurs[/b] [/size] [b]EBADF[/b] [table][row][col]    [/col][col]Un descripteur de fichier (dans l'un des ensembles) est invalide.[/col][/row][/table] [b]EINTR [/b] [table][row][col]    [/col][col]Un signal a été intercepté.[/col][/row][/table] [b]EINVAL [/b] [i]n[/i] [table][row][col]    [/col][col]est négatif[/col][/row][/table] [b]ENOMEM[/b] [table][row][col]    [/col][col]Pas assez de mémoire pour le noyau.[/col][/row][/table] [size=18] [b]Notes[/b] [/size] avec les trois ensembles vides, [b]n[/b] [size=18] [b]Exemple[/b] [/size] .nf #include <stdio.h> #include <sys/time.h> #include <sys/types.h> #include <unistd.h> int main(void) { fd_set rfds; struct timeval tv; int retval; / Surveiller stdin (fd 0) en attente d'entrées / FD_ZERO(&rfds); FD_SET(0, &rfds); / Pendant 5 secondes maxi / tv.tv_sec = 5; tv.tv_usec = 0; retval = select(1, &rfds, NULL, NULL, &tv); / Considérer tv comme indéfini maintenant ! / if (retval) printf("Données disponibles maintenant "); / FD_ISSET(0, &rfds) est vrai / else printf("Pas de données depuis 5 secondes "); return (0); } .fi [size=18] [b]Conformité[/b] [/size] BSD 4.4 (la fonction [b]select[/b] est apparue dans BSD 4.2). Généralement portable depuis ou vers des systèmes non-BSD supportant des clones de la couche sockets BSD (y compris les variantes du Système V). Néanmoins, sachez que les variantes du système V fixent une variable de timeout avant le retour alors que les variantes BSD ne le font pas. La fonction [b]pselect[/b] est définie dans IEEE Std 1003.1g-2000 (POSIX.1g) et pour partie dans POSIX 1003.1-2001. On la trouve dans GlibC 2.1 et ultérieure. Glibc2.0 a une fonction de ce nom, mais sans le paramètre [b]sigmask .[/b] [size=18] [b]Notes[/b] [/size] Un ensemble fd_set est un buffer de taille fixe. Exécuter FD_CLR ou FD_SET avec [i]fd[/i] négatif ou supérieur ou égal à FD_SETSIZE résultera en un comportement indéfini. Plus encore, POSIX demande que [i]fd[/i] soit un descripteur de fichier valide. En ce qui concerne les types impliqués, la situation classique est que les deux champs de la structure timeval soient des "long" (comme ci-dessous), et que la structure soit définie dans [b]<sys/time.h> .[/b] La situation avec POSIX 1003.1-2001 est [table][row][col]    [/col][col] .nf struct timeval { time_t tv_sec; / seconds / suseconds_t tv_usec; / microseconds */ }; .fi[/col][/row][/table] avec la structure définie dans [i]<sys/select.h>[/i] et les types de données time_t et suseconds_t définis dans [b]<sys/types.h> .[/b]     Concernant les prototypes, on demande classiquement l'inclusion de [i]<time.h>[/i] pour [b]select .[/b] Avec POSIX 1003.1-2001, on préfère inclure [i]<sys/select.h>[/i] pour [b]select[/b] et [b]pselect .[/b] Les bibliothèques libc4 et libc5 n'avaient pas d'en-tête [b]<sys/select.h> ,[/b] mais avec les GlibC 2.0 et suivantes le fichier existe. Pour la GlibC 2.0, le prototype de [b]pselect[/b] est toujours erroné. Avec la GlibC 2.1-2.2.1 le prototype de [b]pselect[/b] est fourni si la constante [b]_GNU_SOURCE[/b] est définie avant l'inclusion. Avec GlibC 2.2.2-2.2.4, il faut que la constante [b]_XOPEN_SOURCE[/b] soit définie avec une valeur supérieure ou égale à 600. Quoiqu'il en soit, depuis POSIX 1003.1-2001, le bon prototype devrait être défini par défaut. [size=18] [b]Voir aussi[/b] [/size] Pour un tutoriel avec des exemples, voir [b]select_tut (2).[/b]     D'autres pages ayant un vague rapport : [b]accept (2),[/b] [b]connect (2),[/b] [b]poll (2),[/b] [b]read (2),[/b] [b]recv (2),[/b] [b]send (2),[/b] [b]sigprocmask (2),[/b] [b]write (2)[/b] [size=18] [b]Traduction[/b] [/size] Christophe Blaess, 1996-2003.
Fichier