Основы программирования в Linux - Мэтью Нейл

select

Очень часто при разработке приложений Linux вам может понадобиться проверка состояния ряда вводов для того, чтобы определить следующее предпринимаемое действие. Например, программа обмена данными, такая как эмулятор терминала, нуждается в эффективном способе одновременного чтения с клавиатуры и с последовательного порта. В однопользовательской системе подойдет цикл "активного ожидания", многократно просматривающий ввод в поиске данных и читающий их, как только они появятся. Такое поведение очень расточительно в отношении времени ЦП.

Системный вызов select позволяет программе ждать прибытия данных (или завершения вывода) одновременно на нескольких низкоуровневых файловых дескрипторах. Это означает, что программа эмулятора терминала может блокироваться до тех пор, пока у нее не появится работа. Аналогичным образом сервер может иметь дело с многочисленными клиентами, ожидая запросы одновременно на многих открытых сокетах.

Функция select оперирует структурами данных fd_set, представляющими собой множества открытых файловых дескрипторов. Для обработки этих множеств определен набор макросов:

<b>#include &lt;sys/types.h&gt; #include &lt;sys/time.h&gt;</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 &lt;sys/types.h&gt;</b>

<b>#include &lt;sys/time.h&gt;</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.

Далее для демонстрации применения функции select приведена программа select.c. Более сложный пример вы увидите чуть позже. Программа читает данные с клавиатуры (стандартный ввод — дескриптор 0) со временем ожидания 2,5 секунды. Данные читаются только тогда, когда ввод готов. Естественно расширить программу, включив в зависимости от характера приложения другие дескрипторы, такие как последовательные каналы (serial lines) и сокеты.