select
Очень часто при разработке приложений Linux вам может понадобиться проверка состояния ряда вводов для того, чтобы определить следующее предпринимаемое действие. Например, программа обмена данными, такая как эмулятор терминала, нуждается в эффективном способе одновременного чтения с клавиатуры и с последовательного порта. В однопользовательской системе подойдет цикл "активного ожидания", многократно просматривающий ввод в поиске данных и читающий их, как только они появятся. Такое поведение очень расточительно в отношении времени ЦП.
Системный вызов
select
позволяет программе ждать прибытия данных (или завершения вывода) одновременно на нескольких низкоуровневых файловых дескрипторах. Это означает, что программа эмулятора терминала может блокироваться до тех пор, пока у нее не появится работа. Аналогичным образом сервер может иметь дело с многочисленными клиентами, ожидая запросы одновременно на многих открытых сокетах.
Функция
select
оперирует структурами данных
fd_set
, представляющими собой множества открытых файловых дескрипторов. Для обработки этих множеств определен набор макросов:
<b>#include <sys/types.h> #include <sys/time.h></b>
<b>void FD_ZERO(fd_set *fdset);</b>
<b>void FD_CLR(int fd, fd_set *fdset);</b>
<b>void FD_SET(int fd, fd_set *fdset);</b>
<b>int FD_ISSET(int fd, fd_set *fdset);</b>
Как и предполагается в соответствии с их именами, макрос
FD_ZERO
инициализирует структуру
fd_set
пустым множеством,
FD_SET
и
FD_CLR
задают и очищают элементы множества, соответствующего файловому дескриптору, переданному как параметр
fd
, а макрос
FD_ISSET
возвращает ненулевое значение, если файловый дескриптор, на который ссылается
fd
, является элементом структуры
fd_set
, на которую указывает параметр
fdset
. Максимальное количество файловых дескрипторов в структуре типа
fd_set
задается константой
FD_SETDIZE
.
Функция
select
может также использовать значение для времени ожидания, чтобы помешать бесконечной блокировке. Это значение задается с помощью структуры
struct timeval
. Она определена в файле sys/time.h и содержит следующие элементы:
<b>struct timeval {</b>
<b> time_t tv_sec; /* Секунды */</b>
<b> long tv_usec; /* Микросекунды */</b>
<b>}</b>
Тип
time_t
, определенный в файле sys/types.h, — целочисленный. Системный вызов
select
объявляется следующим образом:
<b>#include <sys/types.h></b>
<b>#include <sys/time.h></b>
<b>int select(int nfds, fd_set *readfds, fd_set *writefds,</b>
<b> fd_set *errorfds, struct timeval *timeout);</b>
Вызов
select
позволяет проверить, не готов ли хотя бы один из множества файловых дескрипторов к чтению или записи, или находится ли в ожидании из-за состояния ошибки и может быть заблокирован до момента готовности одного из дескрипторов.
Аргумент
nfds
задает количество проверяемых файловых дескрипторов, имеются в виду дескрипторы от 0 до
nfds-1
. Каждое из трех множеств дескрипторов может оказаться пустым указателем, тогда связанный с ним тест не выполняется.
Функция
select
вернет управление, если какой-либо из дескрипторов в множестве
readfds
готов к чтению, какой-нибудь дескриптор из множества
writefds
готов к записи или у одного из дескрипторов множества
errorfd
есть состояние ошибки. Если ни одно из условий не соблюдается,
select
вернет управление после промежутка времени, заданного
timeout
. Если параметр
timeout
— пустой указатель и нет активности на сокетах, вызов может быть заблокирован на неопределенное время.
Когда
select
возвращает управление программе, множества дескрипторов будут модифицированы для того, чтобы указать на готовые к чтению или записи или имеющие ошибки дескрипторы. Для их проверки следует использовать макрос
FD_ISSET
, позволяющий определить, какие дескрипторы требуют внимания. Можно изменить значение timeout для того, чтобы показать время, остающееся до следующего превышения времени ожидания, но такое поведение не задано стандартом X/Open. При превышении времени ожидания все множества дескрипторов будут очищены.
Вызов select возвращает общее количество дескрипторов в модифицированных множествах. В случае сбоя он вернет -1 и установит значение переменной
errno
, описывающее ошибку. Возможные ошибки —
EBADF
для неверных дескрипторов,
EINTR
для возврата из-за прерывания и
EINVAL
для некорректных значений параметров
nfds
или
timeout
.
Примечание
Несмотря на то, что Linux модифицирует структуру, на которую указывает
timeout
, фиксируя оставшееся неиспользованное время, большинство версий UNIX этого не делают. Большая часть существующего программного кода, применяющего функцию
select
, инициализирует структуру типа
timeval
и затем продолжает использовать ее без обновления содержимого. В системе Linux этот код может выполняться некорректно, поскольку ОС Linux изменяет структуру
timeval
при каждом истечении отведенного времени ожидания. Если вы пишете или переносите программный код, использующий функцию
select
, следует учитывать эту разницу и всегда повторно инициализировать время ожидания. Имейте в виду, что оба подхода корректны, они просто разные!
Выполните упражнение 15.8.
Упражнение 15.8. Функция
select
Далее для демонстрации применения функции select приведена программа select.c. Более сложный пример вы увидите чуть позже. Программа читает данные с клавиатуры (стандартный ввод — дескриптор 0) со временем ожидания 2,5 секунды. Данные читаются только тогда, когда ввод готов. Естественно расширить программу, включив в зависимости от характера приложения другие дескрипторы, такие как последовательные каналы (serial lines) и сокеты.
