NOMBRE¶
select, pselect, FD_CLR, FD_ISSET, FD_SET, FD_ZERO - multiplexación de E/S
síncrona
SINOPSIS¶
/* Según POSIX 1003.1-2001 */
#include <sys/select.h>
/* Según estándares anteriores */
#include <sys/time.h>
#include <sys/types.h>
#include <unistd.h>
int select(int n, fd_set *readfds, fd_set
* writefds, fd_set *exceptfds, struct
timeval * timeout);
int pselect(int n, fd_set *readfds, fd_set
* writefds, fd_set *exceptfds, const struct
timespec * timeout, const sigset_t *sigmask);
FD_CLR(int fd, fd_set *set);
FD_ISSET(int fd, fd_set *set);
FD_SET(int fd, fd_set *set);
FD_ZERO(fd_set *set);
DESCRIPCIÓN¶
Las funciones
select y
pselect esperan a que un número de
descriptores de fichero cambien de estado.
Su función es idéntica, con tres diferencias:
- (i)
- La función select usa un plazo de espera
(timeout) que es de tipo struct timeval (con segundos y
microsegundos), mientras pselect usa el tipo struct timespec
(con segundos y nanosegundos).
- (ii)
- La función select puede actualizar el
parámetro timeout para indicar el tiempo sobrante. La
función pselect no modifica este parámetro.
- (iii)
- La función select no tiene parámetro
sigmask , y se comporta como pselect llamada con el
argumento sigmask a NULL.
Se miran tres conjuntos independientes de descriptores. Aquéllos listados
en
readfds serán observados para ver si hay caracteres que llegan
a estar disponibles para lectura (más concretamente, para ver si una
operación de lectura no se bloqueará - en particular, un descriptor
de fichero está también preparado en fin-de-fichero), aquéllos
en
writefds serán observados para ver si una operación de
escritura no se bloqueará, y aquéllos en
exceptfds serán
observados para ver si ocurren excepciones. En caso de éxito, los
conjuntos se modifican en marcha para indicar qué descriptores cambiaron
realmente su estado.
Se proporcionan cuatro macros para manipular los conjuntos.
FD_ZERO
limpiará un conjunto.
FD_SET y
FD_CLR añaden o borran
un descriptor dado a o de un conjunto.
FD_ISSET mira a ver si un
descriptor es parte del conjunto; esto es útil después de que
select regrese.
n es el descriptor con el número más alto en cualquiera de los
tres conjuntos, más 1.
timeout es un límite superior de la cantidad de tiempo transcurrida
antes de que
select regrese. Puede ser cero, causando que
select
regrese inmediatamente. Si
timeout es NULL (no hay tiempo de espera),
select puede bloquear indefinidamente.
sigmask es un puntero a una máscara de señales (vea
sigprocmask(2)); si es distinto de NULL,
pselect reemplaza en
primer lugar la máscara de señales actual por aquella a la que
apunta
sigmask, luego hace la funcion `select', y por último
restablece la máscara de señales original de nuevo.
La idea de
pselect es que si alguien quiere esperar un evento, bien una
señal o cualquier otra cosa sobre un descriptor de fichero, se necesita
una comprobación atómica para evitar condiciones de carrera.
(Suponga que el manejador de señales fija una opción global y
regresa. Después una comprobación de esta opción seguida de una
llamada a
select() podría colgarse indefinidamente si la
señal llegó justo después de la comprobación pero justo
antes de la llamada. Por otra parte,
pselect le permite bloquear
señales en primer lugar, manejar las señales que hayan llegado, y
después llamar a
pselect() con la máscara
sigmask
deseada, evitando la condición de carrera.) Puesto que en la actualidad
Linux no cuenta con una llamada al sistema
pselect() , la rutina actual
de glibc2 todavía tiene este defecto.
El plazo de espera o timeout¶
Las estructuras de tiempo involucradas están definidas en
<sys/time.h> y tienen el siguiente aspecto
struct timeval {
long tv_sec; /* segundos */
long tv_usec; /* microsegundos */
};
and
struct timespec {
long tv_sec; /* segundo */
long tv_nsec; /* nanosegundos */
};
(Sin embargo, lea más abajo sobre las versiones de POSIX 1003.1-2001.)
Hay algún código por ahí que llama a
select con los tres
conjuntos vacíos,
n cero, y un
timeout distinto de cero
como una forma transportable y curiosa de dormir con una precisión por
debajo del segundo.
En Linux,
timeout se modifica para reflejar la cantidad de tiempo no
dormido; la mayoría de otras implementaciones no hacen esto. Esto produce
problemas cuando el código de Linux que lee
timeout se transporta
a otros sistemas operativos, y cuando se transporta a Linux código que
reutiliza una struct timeval para varias
selects en un bucle sin
reinicializarla. Considere que
timeout está indefinido
después de que
select regrese.
VALOR DEVUELTO¶
En caso de éxito,
select y
pselect devuelven el número
de descriptores contenidos en los conjuntos de descriptores, que puede ser
cero si el tiempo de espera expira antes de que ocurra algo interesante. En
caso de error, se devuelve -1, y se pone un valor apropiado en
errno;
los conjuntos y
timeout estarán indefinidos, así que no
confíe en sus contenidos tras un error.
ERRORES¶
- EBADF
- Se ha dado un descriptor de fichero inválido en uno de
los conjuntos.
- EINTR
- Se ha capturado una señal no bloqueante.
- EINVAL
- n es negativo o el valor contenido en timeout
no es válido.
- ENOMEM
- select no ha sido capaz de reservar memoria para las
tablas internas.
EJEMPLO¶
#include <stdio.h>
#include <sys/time.h>
#include <sys/types.h>
#include <unistd.h>
int
main(void) {
fd_set rfds;
struct timeval tv;
int valret;
/* Mirar stdin (df 0) para ver si tiene entrada */
FD_ZERO(&rfds);
FD_SET(0, &rfds);
/* Esperar hasta 5 s */
tv.tv_sec = 5;
tv.tv_usec = 0;
valret = select(1, &rfds, NULL, NULL, &tv);
/* ¡No confiar ahora en el valor de tv! */
if (valret)
printf("Los datos ya están disponibles.\n");
/* FD_ISSET(0, &rfds) será verdadero */
else
printf("Ningún dato en 5 segundos.\n");
return 0;
}
4.4BSD (la función
select apareció por primera vez en 4.2BSD).
Generalmente es transportable a o desde sistemas no-BSD que admitan clones de
la capa de zócalos de BSD (incluyendo variantes System V). Sin embargo,
observe que la variante System V normalmente pone la variable de espera antes
de salir, pero la variante BSD no.
La función
pselect está definida en IEEE Std 1003.1g-2000
(POSIX.1g), y parte de POSIX 1003.1-2001. Se encuentra en glibc2.1 y
posteriores. Glibc2.0 posee una función con este nombre, que sin embargo
no acepta un parámetro
sigmask.
OBSERVACIONES¶
fd_set es un buffer de tamaño fijo. Ejecutar FD_CLR o FD_SET con un valor
de
fd que sea negativo o igual o mayor que FD_SETSIZE tendrá un
comportamiento indefinido. Además, POSIX requiere que
fd sea un
descriptor de fichero válido.
En lo que se refiere a los tipos involucrados, lo habitual es que los dos campos
de una estructura timeval sean de tipo long (como se muestra abajo), y la
estructura esté definida en
<sys/time.h>. La postura de
POSIX 1003.1-2001 es
struct timeval {
time_t tv_sec; /* segundos */
suseconds_t tv_usec; /* microsegundos */
};
donde la estructura está definida en
<sys/select.h> y los
tipos de datos time_t y suseconds_t están definidos en
<sys/types.h>.
En lo que se refiere a prototipos, lo habitual es incluir el fichero de cabecera
<time.h> para
select. La postura de POSIX 1003.1-2001 es
incluir el fichero
<sys/select.h> para
select y
pselect. Libc4 y libc5 no poseen una cabecera
<sys/select.h> ; bajo glibc 2.0 y posteriores esta cabecera
sí existe. Bajo glibc 2.0, proporciona incondicionalemente el prototipo
incorrecto para
pselect, bajo glibc 2.1-2.2.1 proporciona
pselect cuando
_GNU_SOURCE está definido, bajo glibc
2.2.2-2.2.4 lo proporciona cuando
_XOPEN_SOURCE está definido y
tiene un valor de 600 o mayor. Sin duda, desde POSIX 1003.1-2001, debería
dar el prototipo por defecto.
VÉASE TAMBIÉN¶
Para un tutorial detallado con ejemplos, vea
select_tut(2).
Para una mera descripción, vea
accept(2),
connect(2),
poll(2),
read(2),
recv(2),
send(2),
sigprocmask(2),
write(2)