|
Часть 10
ГЛАВА 10
EПОДСИСТЕМА УПРАВЛЕНИЯ ВВОДОМ-ВЫВОДОМF
Подсистема управления вводом-выводом позволяет процессам поддерживать
связь с периферийными устройствами, такими как накопители на магнитных дис-
ках и лентах, терминалы, принтеры и сети, с одной стороны, и с модулями яд-
ра, которые управляют устройствами и именуются драйверами устройств, с дру-
гой. Между драйверами устройств и типами устройств обычно существует одноз-
начное соответствие: в системе может быть один дисковый драйвер для управле-
ния всеми дисководами, один терминальный драйвер для управления всеми терми-
налами и один ленточный драйвер для управления всеми ленточными накопителя-
ми. Если в системе имеются однотипные устройства, полученные от разных изго-
товителей - например, две марки ленточных накопителей, - в этом случае можно
трактовать однотипные устройства как устройства двух различных типов и иметь
для них два отдельных драйвера, поскольку таким устройствам для выполнения
одних и тех же операций могут потребоваться разные последовательности ко-
манд. Один драйвер управляет множеством физических устройств данного типа.
Например, один терминальный драйвер может управлять всеми терминалами, подк-
люченными к системе. Драйвер различает устройства, которыми управляет: вы-
ходные данные, предназначенные для одного терминала, не должны быть посланы
на другой.
Система поддерживает "программные устройства", с каждым из которых не
связано ни одно конкретное физическое устройство. Например, как устройство
трактуется физическая память, чтобы позволить процессу обращаться к ней изв-
не, пусть даже память не является периферийным устройством. Команда ps обра-
щается к информационным структурам ядра в физической памяти, чтобы сообщить
статистику процессов. Еще один пример: драйверы могут вести трассировку за-
писей в удобном для отладки виде, а драйвер трассировки дает возможность
пользователям читать эти записи. Наконец, профиль ядра, рассмотренный в гла-
ве 8, выполнен как драйвер: процесс записывает адреса программ ядра, обнару-
женных в таблице идентификаторов ядра, и читает результаты профилирования.
В этой главе рассматривается взаимодействие между процессами и подсисте-
мой управления вводом-выводом, а также между машиной и драйверами устройств.
Исследуется общая структура и функционирование драйверов и в качестве приме-
ров общего взаимодействия рассматриваются дисковые и терминальные драйверы.
Завершает главу описание нового метода реализации драйверов потоковых уст-
ройств.
E10.1 ВЗАИМОДЕЙСТВИЕ ДРАЙВЕРОВ С ПРОГРАММНОЙ И АППАРАТНОЙ СРЕДОЙF
В системе UNIX имеется два типа устройств - устройства вводавывода бло-
ками и устройства неструктурированного или посимвольного ввода-вывода. Как
уже говорилось в главе 2, устройства ввода-вывода блоками, такие как диски и
ленты, для остальной части системы выглядят как запоминающие устройства с
произвольной выборкой; к устройствам посимвольного ввода-вывода относятся
все другие устройства, в том числе терминалы и сетевое оборудование. Устрой-
ства ввода-вывода блоками могут иметь интерфейс и с устройствами посимволь-
ного ввода-вывода.
Пользователь взаимодействует с устройствами через посредничество файло-
вой системы (см. Рисунок 2.1). Каждое устройство имеет имя, похожее на имя
файла, и пользователь обращается к нему как к файлу. Специальный файл уст-
ройства имеет индекс и занимает место в иерархии каталогов файловой системы.
Файл устройства отличается от других файлов типом файла, хранящимся в его
индексе, либо "блочный", либо "символьный специальный", в зависимости от ус-
290
тройства, которое этот файл представляет. Если устройство имеет как блочный,
так и символьный интерфейс, его представляют два файла: специальный файл ус-
тройства ввода-вывода блоками и специальный файл устройства посимвольного
ввода-вывода. Системные функции для обычных файлов, такие как open, close,
read и write, имеют то же значение и для устройств, в чем мы убедимся позже.
Системная функция ioctl предоставляет процессам возможность управлять уст-
ройствами посимвольного ввода-вывода, но не применима в отношении к файлам
обычного типа (*). Тем не менее, драйверам устройств нет необходимости под-
держивать полный набор системных функций. Например, вышеупомянутый драйвер
трассировки дает процессам возможность читать записи, созданные другими
драйверами, но не позволяет создавать их.
E10.1.1 Конфигурация системыF
Задание конфигурации системы это процедура указания администраторами
значений параметров, с помощью которых производится настройка системы. Неко-
торые из параметров указывают размеры таблиц ядра, таких как таблица процес-
сов, таблица индексов и таблица файлов, а также сколько буферов помещается в
буферном пуле. С помощью других параметров указывается конфигурация устрой-
ств, то есть производятся конкретные указания ядру, какие устройства включа-
ются в данную системную реализацию и их "адрес". Например, в конфигурации
может быть указано, что терминальная плата вставлена в соответствующий разъ-
ем на аппаратной панели.
Существует три стадии, на которых может быть указана конфигурация уст-
ройств. Во-первых, администраторы могут кодировать информацию о конфигурации
в файлах, которые транслируются и компонуются во время построения ядра. Ин-
формация о конфигурации обычно указывается в простом формате, и программа
конфигурации преобразует ее в файл, готовый для трансляции. Во-вторых, адми-
нистраторы могут указывать информацию о конфигурации после того, как система
уже запущена; ядро динамически корректирует внутренние таблицы конфигурации.
Наконец, самоидентифицирующиеся устройства дают ядру возможность узнать, ка-
кие из устройств включены. Ядро считывает аппаратные ключи для самонастрой-
ки. Подробности задания системной конфигурации выходят за пределы этой кни-
ги, однако во всех случаях результатом процедуры задания конфигурации явля-
ется генерация или заполнение таблиц, составляющих основу программ ядра.
Интерфейс "ядро - драйвер" описывается в таблице ключей устройств вво-
да-вывода блоками и в таблице ключей устройств посимвольного ввода-вывода
(Рисунок 10.1). Каждый тип устройства имеет в таблице точки входа, которые
при выполнении системных функций адресуют ядро к соответствующему драйверу.
Функции open и close, вызываемые файлом устройства, "пропускаются" через
таблицы ключей устройств в соответствии с типом файла. Функции mount и
umount так же вызывают выполнение процедур открытия и закрытия устройств, но
для устройств ввода-вывода блоками. Функции read и write, вызываемые устрой-
ствами ввода-вывода блоками и файлами в смонтированных файловых системах,
запускают алгоритмы работы с буферным кешем, инициирующие реализацию страте-
гической процедуры работы с устройствами. Некоторые из драйверов запускают
эту процедуру изнутри из процедур чтения и записи. Более подробно взаимодей-
ствие с каждым драйвером рассматривается в следующем разделе.
Интерфейс "аппаратура - драйвер" состоит из машинно-зависимых управляю-
щих регистров или команд ввода-вывода для управления устройствами и вектора-
ми прерываний: когда происходит прерывание от устройства, система идентифи-
цирует устройство, вызвавшее прерывание, и запускает программу обработки со-
ДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДД
(*) И наоборот, системная функция fcntl обеспечивает контроль над действия-
ми, производимыми на уровне дескриптора файла, но не на уровне устройст-
ва. В других реализациях функция ioctl применима для файлов всех типов.
291
ответствующего прерывания. Очевидно, что "программные устройства", такие как
драйвер системы построения профиля ядра (глава 8) не имеют аппаратного ин-
терфейса, однако программы обработки других прерываний могут обращаться к
"обработчику программного прерывания" непосредственно. Например, программа
обработки прерывания по таймеру обращается к программе обработки прерывания
системы построения профиля ядра.
Администраторы устанавливают специальные файлы устройств командой mknod,
в которой указывается тип файла (блочный или символьный), старший и младший
номера устройства. Команда mknod запускает выполнение системной функции с
тем же именем, создающей файл устройства. Например, в командной строке
mknod /dev/tty13 c 2 13
"/dev/tty13" - имя файла устройства, "c" указывает, что тип файла - "сим-
вольный специальный" ("b", соответственно, блочный), "2" - старший номер ус-
тройства, "13" - младший номер устройства. Старший номер устройства показы-
вает его тип, которому соответствует точка входа в таблице ключей устройств,
младший номер устройства - это порядковый номер единицы устройства данного
типа. Если процесс открывает специальный блочный файл с именем "/dev/dsk1" и
кодом 0, ядро запускает программу gdopen в точке 0 таблицы ключей устройств
блочного ввода-вывода (Рисунок 10.2); если процесс читает специальный сим-
вольный файл с именем "/dev/mem" и кодом 3,
Подсистема управления файлами
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і open close і
і open close read write ioctl read write і
і mount umount і
АДДЕДДДДДЕДДДДЕДДДДДЕДДДДДЕДДДДДДДДДДДДЕДДДДДЕДДДДДЕДДДДДЕДДДЩ
і і і і і і і ЪДБДДДДДБДДДї
і і і і і і і і функции і
і і і і і і і і работы с і
і і і і і і і і буферным і
і і і і і і і і кешем і
і і і і і і і АДДДДДВДДДДДЩ
ЪДДБДДДДДБДДДДБДДДДДБДДДДДБДї ЪБДДДДДБДДДДДДДДДБДДДДДї
і Таблица ключей устройств і і Таблица ключей уст- і
і посимвольного ввода-выводаі і ройств ввода-вывода і
і і і блоками і
АДДВДДДДДВДДДДВДДДДДВДДДДДВДЩ АДДВДДДДДДВДДДДДДДДВДДДЩ
ЪДДЕДДДДДЕДДДДЕДДДДДЕДДДДДЕДї ЪДДЕДДДДДДЕДДДДДДДДЕДДДї
іopen close read write ioctlі Точки і open close strategyі
і і входа і і
і Драйвер і для і Драйвер і
і і драй- і і
іпрограмма обработки преры- і веров і программа обработки і
і ваний от устройства і іпрерываний от устройсті
АДДДДДДДДДДДДЕДДДДДДДДДДДДДДЩ АДДДДДДДДДДДЕДДДДДДДДДДЩ
ЪДДДДДДДДБДДДДДДДДДДї ЪДДДДДДДДДБДДДДДДДДДї
і Вектор прерывания і і Вектор прерывания і
АДДДДДДДДВДДДДДДДДДДЩ АДДДДДДДДДВДДДДДДДДДЩ
АДДДДДДДДДДДДДДДДДДДВДДДДДДДДДДДДДДДДЩ
і
Прерывания от устройств
Рисунок 10.1. Точки входа для драйверов
292
ядро запускает программу mmread в точке 3 таблицы ключей устройств посим-
вольного ввода-вывода. Программа nulldev - это "пустая" программа, использу-
емая в тех случаях, когда отсутствует необходимость в конкретной функции
драйвера. С одним старшим номером устройства может быть связано множество
периферийных устройств; младший номер устройства позволяет отличить их одно
от другого. Не нужно создавать специальные файлы устройств при каждой заг-
рузке системы; их только нужно корректировать, если изменилась конфигурация
системы, например, если к установленной конфигурации были добавлены устройс-
тва.
E10.1.2 Системные функции и взаимодействие с драйверамиF
В этом разделе рассматривается взаимодействие ядра с драйверами устрой-
ств. При выполнении тех системных функций, которые используют дескрипторы
файлов, ядро, следуя за указателями, хранящимися в пользовательском дескрип-
торе файла, обращается к таблице
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і таблица ключей устройств ввода-вывода блоками і
ГДДДДДДДВДДДДДДДДВДДДДДДДДДВДДДДДДДДДДДДДДДДДДДДґ
і вход і open і close і strategy і
ГДДДДДДДЕДДДДДДДДЕДДДДДДДДДЕДДДДДДДДДДДДДДДДДДДДґ
і 0 і gdopen і gdclose і gdstrategy і
ГДДДДДДДЕДДДДДДДДЕДДДДДДДДДЕДДДДДДДДДДДДДДДДДДДДґ
і 1 і gtopen і gtclose і gtstrategy і
АДДДДДДДБДДДДДДДДБДДДДДДДДДБДДДДДДДДДДДДДДДДДДДДЩ
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і таблица ключей устройств посимвольного ввода-вывода і
ГДДДДДДВДДДДДДДДДДДВДДДДДДДДДДДВДДДДДДДДДВДДДДДДДДДДДВДДДДДДДДДДДґ
і вход і open і close і read і write і ioctl і
ГДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДґ
і 0 і conopen і conclose і conread і conwrite і conioctl і
ГДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДґ
і 1 і dzbopen і dzbclose і dzbread і dzbwrite і dzbioctl і
ГДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДґ
і 2 і syopen і nulldev і syread і sywrite і syioctl і
ГДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДґ
і 3 і nulldev і nulldev і mmread і mmwrite і nodev і
ГДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДґ
і 4 і gdopen і gdclose і gdread і gdwrite і nodev і
ГДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДЕДДДДДДДДДДДЕДДДДДДДДДДДґ
і 5 і gtopen і gtclose і gtread і gtwrite і nodev і
АДДДДДДБДДДДДДДДДДДБДДДДДДДДДДДБДДДДДДДДДБДДДДДДДДДДДБДДДДДДДДДДДЩ
Рисунок 10.2. Пример заполнения таблиц ключей устройств ввода-
вывода блоками и символами
файлов ядра и к индексу, где оно проверяет тип файла, и переходит к таблице
ключей устройств ввода-вывода блоками или символами. Ядро извлекает из ин-
декса старший и младший номера устройства, использует старший номер в качес-
тве указателя на точку входа в соответствующей таблице и вызывает выполнение
функции драйвера в соответствии с выполняемой системной функцией, передавая
младший номер в качестве параметра. Важным различием в реализации системных
функций для файлов устройств и для файлов обычного типа является то, что ин-
декс специального файла не блокируется в то время, когда ядро выполняет
программу драйвера. Драйверы часто приостанавливают свою работу, ожидая свя-
зи с аппаратными средствами или поступления данных, поэтому ядро не в состо-
293
янии определить, на какое время процесс будет приостановлен. Если индекс
заблокирован, другие процессы, обратившиеся к индексу (например, посредством
системной функции stat), приостановятся на неопределенное время, поскольку
один процесс приостановил драйвер.
Драйвер устройства интерпретирует параметры вызова системной функции в
отношении устройства. Драйвер поддерживает структуры данных, описывающие
состояние каждой контролируемой единицы данного типа устройства; функции
драйвера и программы обработки прерываний реализуются в соответствии с сос-
тоянием драйвера и с тем, какое действие выполняется в этот момент (напри-
мер, данные вводятся или выводятся). Теперь рассмотрим каждый интерфейс бо-
лее подробно.
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і алгоритм open /* для драйверов устройств */ і
і входная информация: имя пути поиска і
і режим открытия і
і выходная информация: дескриптор файла і
і { і
і преобразовать имя пути поиска в индекс, увеличить значе-і
і ние счетчика ссылок в индексе; і
і выделить в таблице файлов место для пользовательского і
і дескриптора файла, как при открытии обычного файла; і
і і
і выбрать из индекса старший и младший номера устройства; і
і і
і сохранить контекст (алгоритм setjmp) в случае передачи і
і управления от драйвера; і
і і
і если (устройство блочного типа) і
і { і
і использовать старший номер устройства в качестве ука-і
і зателя в таблице ключей устройств ввода-вывода бло- і
і ками; і
і вызвать процедуру открытия драйвера по данному индек-і
і су: передать младший номер устройства, режимы откры-і
і тия; і
і } і
і в противном случае і
і { і
і использовать старший номер устройства в качестве ука-і
і зателя в таблице ключей устройств посимвольного вво-і
і да-вывода; і
і вызвать процедуру открытия драйвера по данному индек-і
і су: передать младший номер устройства, режимы откры-і
і тия; і
і } і
і і
і если (открытие в драйвере не выполнилось) і
і привести таблицу файлов к первоначальному виду, і
і уменьшить значение счетчика в индексе; і
і } і
АДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДЩ
Рисунок 10.3. Алгоритм открытия устройства
E10.1.2.1 OpenF
При открытии устройства ядро следует той же процедуре, что и при откры-
294
тии файлов обычного типа (см. раздел 5.1), выделяя в памяти индексы, увели-
чивая значение счетчика ссылок и присваивая значение точки входа в таблицу
файлов и пользовательского дескриптора файла. Наконец, ядро возвращает зна-
чение пользовательского дескриптора файла вызывающему процессу, так что отк-
рытие устройства выглядит так же, как и открытие файла обычного типа. Одна-
ко, перед тем, как вернуться в режим задачи, ядро запускает
зависящую от устройства процедуру open (Рисунок 10.3). Для устройства вво-
да-вывода блоками запускается процедура open, закодированная в таблице клю-
чей устройств ввода-вывода блоками, для устройств посимвольного ввода-вывода
- процедура open, закодированная в соответствующей таблице. Если устройство
имеет как блочный, так и символьный тип, ядро запускает процедуру open, со-
ответствующую типу файла устройства, открытого пользователем: обе процедуры
могут даже быть идентичны, в зависимости от конкретного драйвера.
Зависящая от типа устройства процедура open устанавливает связь между
вызывающим процессом и открываемым устройством и инициализирует информацион-
ные структуры драйвера. Например, процедура open для терминала может приос-
тановить процесс до тех пор, пока в машину не поступит сигнал (аппаратный) о
том, что пользователь предпринял попытку зарегистрироваться. После этого
инициализируются информационные структуры драйвера в соответствии с приняты-
ми установками терминала (например, скоростью передачи информации в бодах).
Для "программных устройств", таких как память системы, процедура open может
не включать в себя инициализацию.
Если во время открытия устройства процессу пришлось приостановиться по
какой-либо из внешних причин, может так случиться, что событие, которое дол-
жно было бы вызвать возобновление выполнения процесса, так никогда и не про-
изойдет. Например, если на данном терминале еще не зарегистрировался ни один
из пользователей, процесс getty, "открывший" терминал (раздел 7.9), приоста-
навливается до тех пор, пока пользователем не будет предпринята попытка ре-
гистрации, при этом может пройти достаточно большой промежуток времени. Ядро
должно иметь возможность возобновить выполнение процесса и отменить вызов
функции open по получении сигнала: ему следует сбросить индекс, отменить
точку входа в таблице файлов и пользовательский дескриптор файла, которые
были выделены перед входом в драйвер, поскольку открытие не произошло. Ядро
сохраняет контекст процесса, используя алгоритм setjmp (раздел 6.4.4), преж-
де чем запустить процедуру open; если процесс возобновляется по сигналу, яд-
ро восстанавливает контекст процесса в том состоянии, которое он имел перед
обращением к драйверу, используя алгоритм longjmp (раздел 6.4.4), и возвра-
щает системе все выделенные процедуре open структуры данных. Точно так же и
драйвер может уловить сигнал и очистить доступные ему структуры данных, если
это необходимо. Ядро также переустанавливает структуры данных файловой сис-
темы, когда драйвер сталкивается с исключительными ситуациями, такими, как
попытка пользователя обратиться к устройству, отсутствующему в данной конфи-
гурации. В подобных случаях функция open не выполняется.
Процессы могут указывать значения различных параметров, характеризующие
особенности выполнения процедуры открытия. Из них наиболее часто использует-
ся "no delay" (без задержки), означающее, что процесс не будет приостановлен
во время выполнения процедуры open, если устройство не готово. Системная
функция open возвращает управление немедленно и пользовательский процесс не
узнает, произошло ли аппаратное соединение или нет. Открытие устройства с
параметром "no delay", кроме всего прочего, затронет семантику вызова функ-
ции read, что мы увидим далее (раздел 10.3.4).
Если устройство открывается многократно, ядро обрабатывает пользователь-
ские дескрипторы файлов, индекс и записи в таблице файлов так, как это опи-
сано в главе 5, запуская определяемую типом устройства процедуру open при
каждом вызове системной функции open. Таким образом, драйвер устройства мо-
жет подсчитать, сколько раз устройство было "открыто", и прервать выполнение
функции open, если количество открытий приняло недопустимое значение. Напри-
295
мер, имеет смысл разрешить процессам многократно "открывать" терминал на за-
пись для того, чтобы пользователи могли обмениваться сообщениями. Но при
этом не следует допускать многократного "открытия" печатающего устройства
для одновременной записи, так как процессы могут затереть друг другу инфор-
мацию. Эти различия имеют смысл скорее на практике, нежели на стадии разра-
ботки: разрешение одновременной записи на терминалы способствует установле-
нию взаимодействия между пользователями; запрещение одновременной записи на
принтеры служит повышению читабельности машинограмм (**).
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і алгоритм close /* для устройств */ і
і входная информация: дескриптор файла і
і выходная информация: отсутствует і
і { і
і выполнить алгоритм стандартного закрытия (глава 5ххх); і
і если (значение счетчика ссылок в таблице файлов не 0) і
і перейти на finish; і
і если (существует еще один открытый файл, старший и млад-і
і ший номера которого совпадают с номерами закрываемого і
і устройства) і
і перейти на finish; /* не последнее закрытие */ і
і если (устройство символьного типа) і
і { і
і использовать старший номер в качестве указателя в і
і таблице ключей устройства посимвольного ввода-выво- і
і да; і
і вызвать процедуру закрытия, определяемую типом драй- і
і вера и передать ей в качестве параметра младший но- і
і мер устройства; і
і } і
і если (устройство блочного типа) і
і { і
і если (устройство монтировано) і
і перейти на finish; і
і переписать блоки устройства из буферного кеша на уст-і
і ройство; і
і использовать старший номер в качестве указателя в і
і таблице ключей устройства ввода-вывода блоками; і
і вызвать процедуру закрытия, определяемую типом драй- і
і вера и передать ей в качестве параметра младший но- і
і мер устройства; і
і сделать недействительными блоки устройства, оставшие-і
і ся в буферном кеше; і
і } і
і finish: і
і освободить индекс; і
і } і
АДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДЩ
Рисунок 10.4. Алгоритм закрытия устройства
ДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДД
(**) На практике вывод на печать обычно управляется специальными процессами
буферизации, и права доступа устанавливаются таким образом, чтобы толь-
ко система буферизации могла обращаться к принтеру.
296
E10.1.2.2 CloseF
Процесс разрывает связь с открытым устройством, закрывая его. Однако,
ядро запускает определяемую типом устройства процедуру close только в пос-
леднем вызове функции close для этого устройства, и то только если не оста-
лось процессов, которым устройство необходимо открытым, поскольку процедура
закрытия устройства завершается разрывом аппаратного соединения; отсюда яс-
но, что ядру следует подождать, пока не останется ни одного процесса, обра-
щающегося к устройству. Поскольку ядро запускает процедуру открытия устройс-
тва при каждом вызове системной функции open, а процедуру закрытия только
один раз, драйверу устройства неведомо, сколько процессов используют устрой-
ство в данный момент. Драйверы могут легко выйти из строя, если при их напи-
сании не соблюдалась осторожность: когда при выполнении процедуры close они
приостанавливают свою работу и какой-нибудь процесс открывает устройство до
того, как завершится процедура закрытия, устройство может стать недоступным
для работы, если в результате комбинации вызовов open и close сложилась не-
распознаваемая ситуация.
Алгоритм закрытия устройства похож на алгоритм закрытия файла обычного
типа (Рисунок 10.4). Однако, до того, как ядро освобождает индекс, в нем вы-
полняются действия, специфичные для файлов устройств.
1. Просматривается таблица файлов для того, чтобы убедиться в том, что ни
одному из процессов не требуется, чтобы устройство было открыто. Чтобы
установить, что вызов функции close для устройства является последним,
недостаточно положиться на значение счетчика ссылок в таблице файлов,
поскольку несколько процессов могут обращаться к одному и тому же уст-
ройству, используя различные точки входа в таблице файлов. Так же недос-
таточно положиться на значение счетчика в таблице индексов, поскольку
одному и тому же устройству могут соответствовать несколько файлов уст-
ройства. Например, команда ls -l покажет, что одному и тому же устройст-
ву символьного типа ("c" в начале строки) соответствуют два файла уст-
ройства, старший и младший номера у которых (9 и 1) совпадают. Значение
счетчика связей для каждого файла, равное 1, говорит о том, что имеется
два индекса.
crw--w--w- 1 root vis 9, 1 Aug 6 1984 /dev/tty01
crw--w--w- 1 root unix 9, 1 May 3 15:02 /dev/tty01
Если процессы открывают оба файла независимо один от другого, они обра-
тятся к разным индексам одного и того же устройства.
2. Если устройство символьного типа, ядро запускает процедуру закрытия уст-
ройства и возвращает управление в режим задачи. Если устройство блочного
типа, ядро просматривает таблицу результатов монтирования и проверяет,
не располагается ли на устройстве смонтированная файловая система. Если
такая система есть, ядро не сможет запустить процедуру закрытия устройс-
тва, поскольку не был сделан последний вызов функции close для устройст-
ва. Даже если на устройстве нет смонтированной файловой системы, в бу-
ферном кеше еще могут находиться блоки с данными, оставшиеся от смонти-
рованной ранее файловой системы и не переписанные на устройство, пос-
кольку имели пометку "отложенная запись". Поэтому ядро просматривает бу-
ферный кеш в поисках таких блоков и переписывает их на устройство перед
запуском процедуры закрытия устройства. После закрытия устройства ядро
вновь просматривает буферный кеш и делает недействительными все буферы,
которые содержат блоки для только что закрытого устройства, в то же вре-
мя позволяя буферам с актуальной информацией остаться в кеше.
3. Ядро освобождает индекс файла устройства.
Короче говоря, процедура закрытия устройства разрывает связь с устройст-
вом и инициализирует заново информационные структуры драйвера и аппаратную
часть устройства с тем, чтобы ядро могло бы позднее открыть устройство
297
вновь.
E10.1.2.3 Read и WriteF
Алгоритмы чтения и записи ядром на устройстве похожи на аналогичные ал-
горитмы для файлов обычного типа. Если процесс производит чтение или запись
на устройстве посимвольного ввода-вывода, ядро запускает процедуры read или
write, определяемые типом драйвера. Несмотря на часто встречающиеся ситуа-
ции, когда ядро осуществляет передачу данных непосредственно между адресным
пространством задачи и устройством, драйверы устройств могут буферизовать
информацию внутри себя. Например, терминальные драйверы для буферизации дан-
ных используют символьные списки (раздел 10.3.1). В таких случаях драйвер
устройства выделяет "буфер", копирует данные из пространства задачи при вы-
полнении процедуры write и выводит их из "буфера" на устройство. Процедура
записи, управляемая драйвером, регулирует объем выводимой информации (т.н.
управление потоком данных): если процессы генерируют информацию быстрее, чем
устройство выводит ее, процедура записи приостанавливает выполнение процес-
сов до тех пор, пока устройство не будет готово принять следующую порцию
данных. При чтении драйвер устройства помещает данные, полученные от устрой-
ства, в буфер и
Память
і і
ГДДДДДґ
160110і CSR і ЪДДДДДДї ЪДДДДДДДДДtty00
і RDB ГДДДДДДДДДґ dz00 ГДЕДДДДДДДДДtty01
і TDB і АДДДДДДЩ і ...
ГДДДДДґ АДДДДДДДДДtty07
160120і CSR і ЪДДДДДДї ЪДДДДДДДДДtty08
160122і RDB ГДДДДДДДДДґ dz01 ГДЕДДДДДДДДДtty09
160126і TDB і АДДДДДДЩ і ...
ГДДДДДґ АДДДДДДДДДtty15
і і
Рисунок 10.5. Отображение в памяти ввода-вывода с использова-
нием контроллера VAX DZ11
копирует их из буфера в пользовательские адреса, указанные в вызове систем-
ной функции.
Конкретный метод взаимодействия драйвера с устройством определяется осо-
бенностями аппаратуры. Некоторые из машин обеспечивают отображение ввода-вы-
вода в памяти, подразумевающее, что конкретные адреса в адресном пространст-
ве ядра являются не номерами ячеек в физической памяти, а специальными ре-
гистрами, контролирующими соответствующие устройства. Записывая в указанные
регистры управляющие параметры в соответствии со спецификациями аппаратных
средств, драйвер осуществляет управление устройством. Например, контроллер
ввода-вывода для машины VAX-11 содержит специальные регистры для записи ин-
формации о состоянии устройства (регистры контроля и состояния) и для пере-
дачи данных (буферные регистры), которые формируются по специальным адресам
в физической памяти. В частности, терминальный контроллер VAX DZ11 управляет
8 асинхронными линиями терминальной связи (см. [Levy 80], где более подробно
объясняется архитектура машин VAX). Пусть регистр контроля и состояния (CSR)
для конкретного терминала DZ11 имеет адрес 160120, передающий буферный ре-
гистр (TDB) - адрес 120126, а принимающий буферный регистр (RDB) - адрес
160122 (Рисунок 10.5). Для того, чтобы передать символ на терминал
"/dev/tty09", драйвер терминала записывает единицу (1 = 9 по модулю 8) в
298
указанный двоичный разряд регистра контроля и состояния и затем записывает
символ в передающий буферный регистр. Запись в передающий буферный регистр
является передачей данных. Контроллер DZ11 выставляет бит "выполнено" в ре-
гистре контроля и состояния, когда готов принять следующую порцию данных.
Дополнительно драйвер может выставить бит "возможно прерывание передачи" в
регистре контроля и состояния, что заставляет контроллер DZ11 прерывать ра-
боту системы, когда он готов принять следующую порцию данных. Чтение данных
из DZ11 производится аналогично.
На других машинах имеется программируемый ввод-вывод, подразумевающий,
что в машине имеются инструкции по управлению устройствами. Драйверы управ-
ляют устройствами, выполняя соответствующие инструкции. Например, в машине
IBM 370 имеется инструкция "Start I/O" (Начать ввод-вывод), которая иниции-
рует операцию ввода-вывода, связанную с устройством. Способ связи драйвера с
периферийными устройствами незаметен для пользователя.
Поскольку интерфейс между драйверами устройств и соответствующими аппа-
ратными средствами является машинно-зависимым, на этом уровне не существует
стандартных интерфейсов. Как в случае вводавывода с отображением в памяти,
так и в случае программируемого ввода-вывода драйвер может посылать на уст-
ройство управляющие последовательности с целью установления режима прямого
доступа в память (ПДП) для устройства. Система позволяет осуществлять массо-
вую передачу данных между устройством и памятью в режиме ПДП параллельно с
работой центрального процессора, при этом устройство прерывает работу систе-
мы по завершении передачи данных. Драйвер организует управление виртуальной
памятью таким образом, чтобы ячейки памяти с их действительными номерами ис-
пользовались для ПДП.
Быстродействующие устройства могут иногда передавать данные непосредст-
венно в адресное пространство задачи, без вмешательства буфера ядра. В ре-
зультате повышается скорость передачи данных, поскольку при этом производит-
ся на одну операцию копирования меньше, и, кроме того, объем данных, переда-
ваемых за одну операцию, не ограничивается размером буферов ядра. Драйверы,
осуществляющие такую передачу данных без "обработки", обычно используют
блочный интерфейс для процедур посимвольного чтения и записи, если у них
имеется двойник блочного типа.
E10.1.2.4 Стратегический интерфейсF
Ядро использует стратегический интерфейс для передачи данных между бу-
ферным кешем и устройством, хотя, как уже говорилось ранее, процедуры чтения
и записи для устройств посимвольного вводавывода иногда пользуются процеду-
рой strategy (их двойника блочного типа) для непосредственной передачи дан-
ных между устройством и адресным пространством задачи. Процедура strategy
может управлять очередностью выполнения заданий на ввод-вывод, связанный с
устройством, или выполнять более сложные действия по планированию выполнения
подобных заданий. Драйверы в состоянии привязывать передачу данных к одному
физическому адресу или ко многим. Ядро передает адрес заголовка буфера стра-
тегической процедуре драйвера; в заголовке содержится список адресов (стра-
ниц памяти) и размеры данных, передаваемых на или с устройства. Аналогичное
действие имеет место при работе механизма свопинга, описанного в главе 9.
При работе с буферным кешем ядро передает данные с одного адреса; во время
свопинга ядро передает данные, расположенные по нескольким адресам (страницы
памяти). Если данные копируются из или в адресное пространство задачи, драй-
вер должен блокировать процесс (или по крайней мере, соответствующие страни-
цы) в памяти до завершения передачи данных.
Например, после монтирования файловой системы ядро идентифицирует каждый
файл в файловой системе по номеру устройства и номеру индекса. В номере уст-
ройства закодированы его старший и младший номера. Когда ядро обращается к
блоку, который принадлежит файлу, оно копирует номер устройства и номер бло-
ка в заголовок буфера, как уже говорилось ранее в главе 3. Обращения к дис-
299
ку, использующие алгоритмы работы с буферным кешем (например, bread или
bwrite), инициируют выполнение стратегической процедуры, определяемой стар-
шим номером устройства. Стратегическая процедура использует значения полей
младшего номера и номера блока из заголовка буфера для идентификации места
расположения данных на устройстве, а адрес буфера - для идентификации места
назначения передаваемых данных. Точно так же, когда процесс обращается к ус-
тройству ввода-вывода блоками непосредственно (например, открывая устройство
и читая или записывая на него), он использует алгоритмы работы с буферным
кешем, и интерфейс при этом функционирует вышеописанным образом.
E10.1.2.5 IoctlF
Системная функция ioctl является обобщением специфичных для терминала
функций stty (задать установки терминала) и gtty (получить установки терми-
нала), имевшихся в ранних версиях системы UNIX. Она выступает в качестве об-
щей точки входа для всех связанных с типом устройства команд и позволяет
процессам задавать аппаратные параметры, ассоциированные с устройством, и
программные параметры, ассоциированные с драйвером. Специальные действия,
выполняемые функцией ioctl для разных устройств различны и определяются ти-
пом драйвера. Программы, использующие вызов ioctl, должны должны знать, с
файлом какого типа они работают, так как они являются аппаратно-зависимыми.
Исключение из общего правила сделано для системы, которая не видит различий
между файлами разных типов. Более подробно использование функции ioctl для
терминалов рассмотрено в разделе 10.3.3.
Синтаксис командной строки, содержащей вызов системной функции:
ioctl(fd,command,arg);
где fd - дескриптор файла, возвращаемый предварительно вызванной функцией
open, command - действие (команда), которое необходимо выполнить драйверу,
arg - параметр команды (может быть указателем на структуру). Команды специ-
фичны для различных драйверов; следовательно, каждый драйвер интерпретирует
команды в соответствии со своими внутренними спецификациями, от команды, в
свою очередь, зависит формат структуры данных, описываемой передаваемым па-
раметром. Драйверы могут считывать структуру данных arg из пространства за-
дачи в соответствии с предопределенным форматом или записывать установки ус-
тройства в пространство задачи по адресу указанной структуры. Например, на-
личие интерфейса, предоставляемого функцией ioctl, дает возможность пользо-
вателям устанавливать для терминала скорость передачи информации в бодах,
перематывать магнитную ленту, и, наконец, выполнять сетевые операции, зада-
вая номера виртуальных каналов и сетевые адреса.
E10.1.2.6 Другие функции, имеющие отношение к файловой системеF
Такие функции работы с файловой системой, как stat и chmod, выполняются
одинаково, как для обычных файлов, так и для устройств; они манипулируют с
индексом, не обращаясь к драйверу. Даже системная функция lseek работает для
устройств. Например, если процесс подводит головку на лентопротяжном устрой-
стве к указанному адресу смещения в байтах с помощью функции lseek, ядро
корректирует смещение в таблице файлов но не выполняет никаких действий,
специфичных для данного типа драйвера. Когда позднее процесс выполняет чте-
ние (read) или запись (write), ядро пересылает адрес смещения из таблицы
файлов в адресное пространство задачи, подобно тому, как это имеет место при
работе с файлами обычного типа, и устройство физически перемещает головку к
соответствующему смещению, указанному в пространстве задачи. Этот случай ил-
люстрируется на примере в разделе 10.3.
300
Периферийные Соединительная Вектор
устройства панель прерывания
ЪДДДДДДДДДДДДДДДДДДї
і щ і
tty00 ДДДДДДДДДДДДДї і щ і
tty01 .... і і щ і
... і ЪДДї ГДДДДДДДДДДДДДДДДДДґ
tty07 ДДДДДДДДДДДДДБДґ іщщщщщщщщщщщщі ttyintr 0 і
tty08 ДДДДДДДДДДДДДї ГДДґ ГДДДДДДДДДДДДДДДДДДґ
tty09 .... ГДґ іщщщщщщщщщщщщі ttyintr 1 і
... ЪДДДДДДДДЩ ГДДґ ГДДДДДДДДДДДДДДДДДДґ
tty15 ДДДДЩ ЪДДДДДДДДґ іщщщщщщщщщщщщі consintr і
консоль ДДДДДДЩ ГДДґ ГДДДДДДДДДДДДДДДДДДґ
принтер00 ДДДДДДДДДДДДДВДґ іщщщщщщщщщщщщі printintr 0 і
.... і ГДДґ ГДДДДДДДДДДДДДДДДДДґ
принтер03 ДДДДДДДДДДДДДЩ і і і щ і
і і і щ і
АДДЩ АДДДДДДДДДДДДДДДДДДЩ
Рисунок 10.6. Прерывания от устройств
E10.1.3 Программы обработки прерыванийF
Как уже говорилось выше (раздел 6.4.1), возникновение прерывания побуж-
дает ядро запускать программу обработки прерываний, в основе алгоритма кото-
рой лежит соотношение между устройством, вызвавшим прерывание, и смещением в
таблице векторов прерываний. Ядро запускает программу обработки прерываний
для данного типа устройства, передавая ей номер устройства или другие пара-
метры для того, чтобы идентифицировать единицу устройства, вызвавшую преры-
вание. Например, в таблице векторов прерываний на Рисунке 10.6 показаны две
точки входа для обработки прерываний от терминалов ("ttyintr"), каждая из
которых используется для обработки прерываний, поступивших от 8 терминалов.
Если устройство tty09 прервало работу системы, система вызывает программу
обработки прерывания, ассоциированную с местом аппаратного подключения уст-
ройства. Поскольку с одной записью в таблице векторов прерываний может быть
связано множество физических устройств, драйвер должен уметь распознавать
устройство, вызвавшее прерывание. На рисунке записи в таблице векторов пре-
рываний, соответствующие прерываниям от терминалов, имеют метки 0 и 1, чтобы
система различала их между собой при вызове программы обработки прерываний,
используя к примеру этот номер в качестве передаваемого программе параметра.
Программа обработки прерываний использует этот номер и другую информацию,
переданную механизмом прерывания, для того, чтобы удостовериться, что именно
устройство tty09, а не tty12, прервало работу системы. Этот пример в упро-
щенном виде показывает то, что имеет место в реальных системах, где на самом
деле существует несколько уровней контроллеров и соответствующих программ
обработки прерываний, но он иллюстрирует общие принципы.
Если подвести итог, можно сказать, что номер устройства, используемый
программой обработки прерываний, идентифицирует единицу аппаратуры, а млад-
ший номер в файле устройства идентифицирует устройство для ядра. Драйвер ус-
тройства устанавливает соответствие между младшим номером устройства и номе-
ром единицы аппаратуры.
E10.2 ДИСКОВЫЕ ДРАЙВЕРЫF
Так сложилось исторически, что дисковые устройства в системах UNIX раз-
бивались на разделы, содержащие различные файловые системы, что означало
301
"деление [дискового] пакета на несколько управляемых по-своему частей" (см.
[System V 84b]). Например, если на диске располагаются четыре файловые сис-
темы, администратор может оставить одну из них несмонтированной, одну смон-
тировать только для чтения, а две других только для записи. Несмотря на то,
что все файловые системы сосуществуют на одном физическом устройстве, поль-
зователи не могут ни обращаться к файлам немонтированной файловой системы,
используя методы доступа, описанные в главах 4 и 5, ни записывать файлы в
файловые системы, смонтированные только для чтения. Более того, так как каж-
дый раздел (и, следовательно, файловая система) занимает на диске смежные
дорожки и цилиндры, скопировать всю файловую систему легче, чем в том слу-
чае, если бы раздел занимал участки, разбросанные по всему дисковому тому.
Дисковый драйвер транслирует адрес файловой системы, состоящий из логи-
ческого номера устройства и номера блока, в точный номер дискового сектора.
Драйвер получает адрес одним из следующих путей: либо стратегическая проце-
дура использует буфер из буферного пула, заголовок которого содержит номера
устройства и блока, либо процедуры чтения и записи передают логический
(младший) номер устройства в качестве параметра; они преобразуют адрес сме-
щения в байтах, хранящийся в пространстве задачи, в адрес соответствующего
блока. Дисковый драйвер использует номер устройства для идентификации физи-
ческого устройства и указания используемого раздела, обращаясь при этом к
внутренним таблицам для поиска сектора, отмечающего начало раздела на диске.
Наконец, он добавляет номер блока в файловой системе к номеру блока, с кото-
рого начинается каждый сектор, чтобы идентифицировать сектор, используемый
для ввода-вывода.
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і Раздел Начальный блок Длина в блоках і
і і
і Размер блока = 512 байт і
і і
і 0 0 64000 і
і 1 64000 944000 і
і 2 168000 840000 і
і 3 336000 672000 і
і 4 504000 504000 і
і 5 672000 336000 і
і 6 840000 168000 і
і 7 0 1008000 і
АДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДЩ
Рисунок 10.7. Разделы на диске RP07
Исторически сложилось так, что размеры дисковых разделов устанавливаются
в зависимости от типа диска. Например, диск DEC RP07 разбит на разделы, ха-
рактеристика которых приведена на Рисунке 10.7. Предположим, что файлы
"/dev/dsk0", "/dev/dsk1", "/dev/dsk2" и "/dev/dsk3" соответствуют разделам
диска RP07, имеющим номера от 0 до 3, и имеют аналогичные младшие номера.
Пусть размер логического блока в файловой системе совпадает с размером дис-
кового блока. Если ядро пытается обратиться к блоку с номером 940 в файловой
системе, хранящейся в "/dev/dsk3", дисковый драйвер переадресует запрос к
блоку с номером 336940 (раздел 3 начинается с блока, имеющего номер 336000;
336000 + 940 = 336940) на диске.
Размеры разделов на диске варьируются и администраторы располагают фай-
ловые системы в разделах соответствующего размера: большие файловые системы
попадают в разделы большего размера и т. д. Разделы на диске могут перекры-
ваться. Например, разделы 0 и 1 на диске RP07 не пересекаются, но вместе они
занимают блоки с номерами от 0 до 1008000, то есть весь диск. Раздел 7 так
же занимает весь диск. Перекрытие разделов не имеет значения, поскольку фай-
302
ловые системы, хранящиеся в разделах, размещаются таким образом, что между
ними нет пересечений. Иметь один раздел, включающий в себя все дисковое
пространство, выгодно, поскольку весь том можно быстро скопировать.
Использование разделов фиксированного состава и размера ограничивает
гибкость дисковой конфигурации. Информацию о разделах в закодированном виде
не следует включать в дисковый драйвер, но нужно поместить в таблицу содер-
жимого дискового тома. Однако, найти общее место на всех дисках для размеще-
ния таблицы содержимого дискового тома и сохранить тем самым совместимость с
предыдущими версиями системы довольно трудно. В существующих реализациях
версии V предполагается, что блок начальной загрузки первой из файловых сис-
тем на диске занимает первый сектор тома, хотя по логике это, казалось бы,
самое подходящее место для таблицы содержимого тома. И все же дисковый драй-
вер должен иметь закодированную информацию о месте расположения таблицы со-
держимого тома для каждого диска, не препятствуя существованию дисковых раз-
делов переменного размера.
В связи с тем, что для системы UNIX является типичным высокий уровень
дискового трафика, драйвер диска должен максимизировать передачу данных с
тем, чтобы обеспечить наилучшую производительность всей системы. Новейшие
дисковые контроллеры осуществляют планирование выполнения заданий, требующих
обращения к диску, позиционируют головку диска и обеспечивают передачу дан-
ных между диском и центральным процессором; иначе это приходится делать дис-
ковому драйверу.
Сервисные программы могут непосредственно обращаться к диску в обход
стандартного метода доступа к файловой системе, рассмотренного в главах 4 и
5, как пользуясь блочным интерфейсом, так и не прибегая к структурированию
данных. Непосредственно работают с диском две важные программы - mkfs и
fsck. Программа mkfs форматирует раздел диска для файловой системы UNIX,
создавая при этом суперблок, список индексов, список свободных дисковых бло-
ков с указателями и корневой каталог новой файловой системы. Программа fsck
проверяет целостность существующей файловой системы и исправляет ошибки, как
показано в главе 5.
Рассмотрим программу, приведенную на Рисунке 10.8, в применении к файлам
"/dev/dsk15" и "/dev/rdsk15", и предположим, что команда ls выдала следующую
информацию:
ls -1 /dev/dsk15 /dev/rdsk15
br-------- 2 root root 0,21 Feb 12 15:40 /dev/dsk15
crw-rw---- 2 root root 7,21 Mar 7 09:29 /dev/rdsk15
Отсюда видно, что файл "/dev/dsk15" соответствует устройству блочного
типа, владельцем которого является пользователь под именем "root", и только
пользователь "root" может читать с него непосредственно. Его старший номер -
0, младший - 21. Файл "/dev/rdsk15" соответствует устройству посимвольного
ввода-вывода, владельцем которого является пользователь "root", однако права
доступа к которому на запись и чтение есть как у владельца, так и у группы.
Его старший номер - 7, младший - 21. Процесс, открывающий файлы, получает
доступ к устройству через таблицу клю-
чей устройств ввода-вывода блоками и таблицу ключей устройств посимвольного
ввода-вывода, соответственно, а младший номер устройства 21 информирует
драйвер о том, к какому разделу диска производится обращение, например, дис-
ковод 2, раздел 1. Поскольку младшие номера у файлов совпадают, они ссылают-
ся на один и тот же раздел диска, если предположить, что это одно устройство
(***). Таким образом, процесс, выполняющий программу, открывает один и тот
ДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДД
(***) Не существует иного способа установить, что символьный и блочный драй-
веры ссылаются на одно и то же устройство, кроме просмотра таблиц сис-
темной конфигурации и текста программ драйвера.
303
же драйвер дважды (используя различные интерфейсы), позиционирует головку к
смещению с адресом 8192 и считывает данные с этого места. Результаты выпол-
нения операций чтения должны быть идентичными при условии, что работает
только одна файловая система.
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і #include "fcntl.h" і
і main() і
і { і
і char buf1[4096], buf2[4096] і
і int fd1, fd2, i; і
і і
і if (((fd1 = open("/dev/dsk5/", O_RDONLY)) == -1) || і
і ((fd2 = open("/dev/rdsk5", O_RDONLY)) == -1))і
і { і
і printf("ошибка при открытии\n"); і
і exit(); і
і } і
і і
і lseek(fd1, 8192L, 0); і
і lseek(fd2, 8192L, 0); і
і і
і if ((read(fd1, buf1, sizeof(buf1)) == -1) || і
і (read(fd2, buf2, sizeof(buf2)) == -1)) і
і { і
і printf("ошибка при чтении\n"); і
і exit(); і
і } і
і і
і for (i = 0; i < sizeof(buf1); i++) і
і if (buf1[i] != buf2[i]) і
і { і
і printf("различие в смещении %d\n", i); і
і exit(); і
і } і
і printf("данные совпадают\n"); і
і } і
АДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДЩ
Рисунок 10.8. Чтение данных с диска с использованием блочного
интерфейса и без структурирования данных
Программы, осуществляющие чтение и запись на диск непосредственно, пред-
ставляют опасность, поскольку манипулируют с чувствительной информацией,
рискуя нарушить системную защиту. Администраторам следует защищать интерфей-
сы ввода-вывода путем установки прав доступа к файлам дисковых устройств.
Например, дисковые файлы "/dev/dsk15" и "/dev/rdsk15" должны принадлежать
пользователю с именем "root", и права доступа к ним должны быть определены
таким образом, чтобы пользователю "root" было разрешено чтение, а всем ос-
тальным пользователям и чтение, и запись должны быть запрещены.
Программы, осуществляющие чтение и запись на диск непосредственно, могут
также нарушить целостность данных в файловой системе. Алгоритмы файловой
системы, рассмотренные в главах 3, 4 и 5, координируют выполнение операций
ввода-вывода, связанных с диском, тем самым поддерживая целостность информа-
ционных структур на диске, в том числе списка свободных дисковых блоков и
указателей из индексов на информационные блоки прямой и косвенной адресации.
Процессы, обращающиеся к диску непосредственно, обходят эти алгоритмы. Пусть
даже их программы написаны с большой осторожностью, проблема целостности все
304
равно не исчезнет, если они выполняются параллельно с работой другой файло-
вой системы. По этой причине программа fsck не должна выполняться при нали-
чии активной файловой системы.
Два типа дискового интерфейса различаются между собой по использованию
буферного кеша. При работе с блочным интерфейсом ядро пользуется тем же ал-
горитмом, что и для файлов обычного типа, исключение составляет тот момент,
когда после преобразования адреса смещения логического байта в адрес смеще-
ния логического блока (см. алгоритм bmap в главе 4) оно трактует адрес сме-
щения логического блока как физический номер блока в файловой системе. За-
тем, используя буферный кеш, ядро обращается к данным, и, в конечном итоге,
к стратегическому интерфейсу драйвера. Однако, при обращении к диску через
символьный интерфейс (без структурирования данных), ядро не превращает адрес
смещения в адрес файла, а передает его немедленно драйверу, используя для
передачи рабочее пространство задачи. Процедуры чтения и записи, входящие в
состав драйвера, преобразуют смещение в байтах в смещение в блоках и копиру-
ют данные непосредственно в адресное пространство задачи, минуя буферы ядра.
Таким образом, если один процесс записывает на устройство блочного типа,
а второй процесс затем считывает с устройства символьного типа по тому же
адресу, второй процесс может не считать информацию, записанную первым про-
цессом, так как информация может еще находиться в буферном кеше, а не на
диске. Тем не менее, если второй процесс обратится к устройству блочного ти-
па, он автоматически попадет на новые данные, находящиеся в буферном кеше.
При использовании символьного интерфейса можно столкнуться со странной
ситуацией. Если процесс читает или пишет на устройство посимвольного вво-
да-вывода порциями меньшего размера, чем, к примеру, блок, результаты будут
зависеть от драйвера. Например, если производить запись на ленту по 1 байту,
каждый байт может попасть в любой из ленточных блоков.
Преимущество использования символьного интерфейса состоит в скорости,
если не возникает необходимость в кешировании данных для дальнейшей работы.
Процессы, обращающиеся к устройствам ввода -вывода блоками, передают инфор-
мацию блоками, размер каждого из которых ограничивается размером логического
блока в данной файловой системе. Например, если размер логического блока в
файловой системе 1 Кбайт, за одну операцию ввода-вывода может быть передано
не больше 1 Кбайта информации. При этом процессы, обращающиеся к диску с по-
мощью символьного интерфейса, могут передавать за одну дисковую операцию
множество дисковых блоков, в зависимости от возможностей дискового контрол-
лера. С функциональной точки зрения, процесс получает тот же самый резуль-
тат, но символьный интерфейс может работать гораздо быстрее. Если воспользо-
ваться примером, приведенным на Рисунке 10.8, можно увидеть, что когда про-
цесс считывает 4096 байт, используя блочный интерфейс для файловой системы с
размером блока 1 Кбайт, ядро производит четыре внутренние итерации, на каж-
дом шаге обращаясь к диску, прежде чем вызванная системная функция возвраща-
ет управление, но когда процесс использует символьный интерфейс, драйвер мо-
жет закончить чтение за одну дисковую операцию. Более того, использование
блочного интерфейса вызывает дополнительное копирование данных между адрес-
ным пространством задачи и буферами ядра, что отсутствует в символьном ин-
терфейсе.
E10.3 ТЕРМИНАЛЬНЫЕ ДРАЙВЕРЫF
Терминальные драйверы выполняют ту же функцию, что и остальные драйверы:
управление передачей данных от и на терминалы. Однако, терминалы имеют одну
особенность, связанную с тем, что они обеспечивают интерфейс пользователя с
системой. Обеспечивая интерактивное использование системы UNIX, терминальные
драйверы имеют свой внутренний интерфейс с модулями, интерпретирующими ввод
и вывод строк. В каноническом режиме интерпретаторы строк преобразуют нест-
руктурированные последовательности данных, введенные с клавиатуры, в канони-
ческую форму (то есть в форму, соответствующую тому, что пользователь имел в
305
виду на самом деле) прежде, чем послать эти данные принимающему процессу;
строковый интерфейс также преобразует неструктурированные последовательности
выходных данных, созданных процессом, в формат, необходимый пользователю. В
режиме без обработки строковый интерфейс передает данные между процессами и
терминалом без каких-либо преобразований.
Программисты, например, работают на клавиатуре терминала довольно быст-
ро, но с ошибками. На этот случай терминалы имеют клавишу стирания ("erase";
клавиша может быть обозначена таким образом), чтобы пользователь имел воз-
можность стирать часть введенной строки и вводить коррективы. Терминалы пе-
ресылают машине всю введенную последовательность, включая и символы стирания
(*** *). В каноническом режиме строковый интерфейс буферизует информацию в
строки (набор символов, заканчивающийся символом возврата каретки (*****)) и
процессы стирают символы у себя, прежде чем переслать исправленную последо-
вательность считывающему процессу.
В функции строкового интерфейса входят:
* построчный разбор введенных последовательностей;
* обработка символов стирания;
* обработка символов "удаления", отменяющих все остальные символы, введен-
ные до того в текущей строке;
* отображение символов, полученных терминалом;
* расширение выходных данных, например, преобразование символов табуляции
в последовательности пробелов;
* сигнализирование процессам о зависании терминалов и прерывании строк или
в ответ на нажатие пользователем клавиши удаления;
* предоставление возможности не обрабатывать специальные символы, такие
как символы стирания, удаления и возврата каретки.
Функционирование без обработки подразумевает использование асинхронного
терминала, поскольку процессы могут считывать символы в том виде, в каком
они были введены, вместо того, чтобы ждать, когда пользователь нажмет клави-
шу ввода или возврата каретки.
Ричи отметил, что первые строковые интерфейсы, используемые еще при раз-
работке системы в начале 70-х годов, работали в составе программ командного
процессора и редактора, но не в ядре (см. [Ritchie 84], стр.1580). Однако,
поскольку в их функциях нуждается множество программ, их место в составе яд-
ра. Несмотря на то, что строковый интерфейс выполняет такие функции, из ко-
торых логически вытекает его место между терминальным драйвером и остальной
частью ядра, ядро не запускает строковый интерфейс иначе, чем через терми-
нальный драйвер. На Рисунке 10.9 показаны поток данных, проходящий через
терминальный драйвер и строковый интерфейс, и соответствующие ему управляю-
щие воздействия, проходящие через терминальный драйвер. Пользователи могут
указать, какой строковый интерфейс используется посредством вызова системной
функции ioctl, но реализовать схему, по которой одно устройство использовало
бы несколько строковых интерфейсов одновременно, при чем каждый интерфейсный
модуль, в свою очередь, успешно вызывал бы следующий модуль для обработки
данных, довольно трудно.
E10.3.1 Символьные спискиF
Строковый интерфейс обрабатывает данные в символьных списках. Символьный
список (clist) представляет собой переменной длины список символьных блоков
с использованием указателей и с подсчетом количества символов в списке. Сим-
ДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДД
(****) В этом разделе рассматривается использование терминалов ввода-вывода,
которые передают все символы, введенные пользователем, без обработки.
(*****) В данной главе используется общий термин "возврат каретки" для обоз-
начения символов возврата каретки и перевода строки.
306
Поток данных Поток управляющих
воздействий
ЪДДДДДДДДДДДДДДДДДДДДДДДї ЪДДДДДДДДДДДДДДДДДДДДДДДї
і Процесс чтения/записи і і Процесс чтения/записи і
АДДДДДДДДДДДДДДДДДДДДДДДЩ АДДДДДДДДДДДДДДДДДДДДДДДЩ
щ і ^ щ і ^
щ v і щ v і
щ ЪДДДДДДДДДДДДДДДДДДДДДї щ ЪДДДДДДДДДДДДДДДДДДДДДДДї
вывод і Строковый интерфейсі ввод і Терминальный драйвер і
щ АДДДДДДДДДДДДДДДДДДДДДЩ щ АДДДДДДДДДДДДДДДДДДДДДДДЩ
щ і ^ щ і ^
щ v і щ v і
ЪДДДДДДДДДДДДДДДДДДДДДДДї ЪДДДДДДДДДДДДДДДДДДДДДї
і Терминальный драйвер і і Строковый интерфейс і
АДДДДДДДДДДДДДДДДДДДДДДДЩ АДДДДДДДДДДДДДДДДДДДДДЩ
і ^
v і
ЪДДДДДДДДДДДДДДДДДДДДДДДї
і Драйвер ввода-вывода і
АДДДДДДДДДДДДДДДДДДДДДДДЩ
і ^
v і
ЪДДДДДДДДДДДДДДДДДДДДДДДДДї
і Устройство ввода-вывода і
АДДДДДДДДДДДДДДДДДДДДДДДДДЩ
Рисунок 10.9. Последовательность обращений и поток данных че-
рез строковый интерфейс
Указатель Смещение Смещение
на до до
следующий начала конца Массив символов
блок 0 1 2 3 4 5 6 7 8 9 14
ДДДДДДДДДДВДДДДДДДДДВДДДДДДДДДВВДВДВДВДВДВДВДВДВДВДВДВДВДВДВДВДДД
і 7 і 14 ііgіaіrіbіaіgіeііі іeіqіnі ііі і...
ДДДДЕДДДДДБДДДДДДДДДБДДДДДДДДДББДБДБДБДБДБДБДБДБДБДБДБДБДБДБДБДДД
і
v
Рисунок 10.10. Символьный блок
вольный блок (cblock) содержит указатель на следующий блок в списке, неболь-
шой массив хранимой в символьном виде информации и адреса смещений, показы-
вающие место расположения внутри блока корректной информации (Рисунок
10.10). Смещение до начала показывает первую позицию расположения корректной
информации в массиве, смещение до конца показывает первую позицию расположе-
ния некорректной информации.
Ядро обеспечивает ведение списка свободных символьных блоков и выполняет
над символьными списками и символьными блоками шесть операций.
1. Ядро назначает драйверу символьный блок из списка свободных символьных
блоков.
2. Оно также возвращает символьный блок в список свободных символьных бло-
ков.
3. Ядро может выбирать первый символ из символьного списка: оно удаляет
первый символ из первого символьного блока в списке и устанавливает зна-
чения счетчика символов в списке и указателей в блоке таким образом,
чтобы последующие операции не выбирали один и тот же символ. Если в ре-
307
зультате операции выбран последний символ блока, ядро помещает в список
свободных символьных блоков пустой блок и переустанавливает указатели в
символьном списке. Если в символьном списке отсутствуют символы, ядро
возвращает пустой символ.
4. Ядро может поместить символ в конец символьного списка путем поиска пос-
леднего символьного блока в списке, включения символа в него и переуста-
новки адресов смещений. Если символьный блок заполнен, ядро выделяет но-
вый символьный блок, включает его в конец символьного списка и помещает
символ в новый блок.
5. Ядро может удалять от начала списка группу символов по одному блоку за
одну операцию, что эквивалентно удалению всех символов в блоке за один
раз.
6. Ядро может поместить блок с символами в конец символьного списка.
Символьные списки позволяют создать несложный механизм буферизации, по-
лезный при небольшом объеме передаваемых данных, типичном для медленных уст-
ройств, таких как терминалы. Они дают возможность манипулировать с данными с
каждым символом в отдельности и с группой символьных блоков. Например, Рису-
нок 10.11 иллюстрирует удаление символов из символьного списка; ядро удаляет
по одному символу из первого блока в списке (Рисунок 10.11а-в) до тех пор,
пока в блоке не останется ни одного символа (Рисунок
символьный символьные
список блоки
ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДД>і 0 8 і і p і i і c і і f і i і l і e і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДДДДДДДВДї і і 0 8 і і * і і і і і t і b і l і і
і 27 і ЕДДЩ АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і символов і ЕДДї v
АДДДДДДДДДДБДЩ і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
і і 0 8 і і і і і t і r і o і f і f і і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
АДДДДД>і 0 3 і і - і m і m і і і і і і
АДДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
(а)
ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДД>і 1 8 і і і i і c і і f і i і l і e і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДДДДДДДВДї і і 0 8 і і * і і і і і t і b і l і і
і 26 і ЕДДЩ АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і символов і ЕДДї v
АДДДДДДДДДДБДЩ і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
і і 0 8 і і і і і t і r і o і f і f і і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
АДДДДД>і 0 3 і і - і m і m і і і і і і
АДДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
(б)
308
ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДД>і 2 8 і і і і c і і f і i і l і e і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДДДДДДДВДї і і 0 8 і і * і і і і і t і b і l і і
і 25 і ЕДДЩ АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і символов і ЕДДї v
АДДДДДДДДДДБДЩ і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
і і 0 8 і і і і і t і r і o і f і f і і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
АДДДДД>і 0 3 і і - і m і m і і і і і і
АДДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
(в)
ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДД>і 0 8 і і * і і і і і t і b і l і і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
ЪДДДДДДДДДДВДї і v
і 19 і ЕДДЩ ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
і символов і ЕДДї і 0 8 і і і і і t і r і o і f і f і і
АДДДДДДДДДДБДЩ і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
АДДДДД>і 0 3 і і - і m і m і і і і і і
АДДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
(г)
Рисунок 10.11. Удаление символов из символьного списка
символьный символьные
список блоки
ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДД>і 0 8 і і p і i і c і і f і i і l і e і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
ЪДДДДДДДДДДВДї і v
і 22 і ЕДДЩ ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
і символа і ЕДДї і 0 8 і і * і і і і і t і b і l і і
АДДДДДДДДДДБДЩ і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
АДДДДД>і 0 6 і і і і і t і r і o і f і і і
АДДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
(а)
ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДД>і 0 8 і і p і i і c і і f і i і l і e і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
ЪДДДДДДДДДДВДї і v
і 23 і ЕДДЩ ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
і символа і ЕДДї і 0 8 і і * і і і і і t і b і l і і
АДДДДДДДДДДБДЩ і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
АДДДДД>і 0 7 і і і і і t і r і o і f і f і і
АДДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
309
(б)
ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДД>і 0 8 і і p і i і c і і f і i і l і e і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
ЪДДДДДДДДДДВДї і v
і 24 і ЕДДЩ ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
і символа і ЕДДї і 0 8 і і * і і і і і t і b і l і і
АДДДДДДДДДДБДЩ і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
АДДДДД>і 0 8 і і і і і t і r і o і f і f і і
АДДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
(в)
ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДД>і 0 8 і і p і i і c і і f і i і l і e і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
ЪДДДДДДДДДДВДї і і 0 8 і і * і і і і і t і b і l і і
і 25 і ЕДДЩ АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і символов і ЕДДї v
АДДДДДДДДДДБДЩ і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
і і 0 8 і і і і і t і r і o і f і f і і
і АВДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
і v
і ЪДДДДДДДї ЪДДДВДДДВДДДВДДДВДДДВДДДВДДДВДДДї
АДДДДД>і 0 1 і і - і і і і і і і і
АДДДДДДДЩ АДДДБДДДБДДДБДДДБДДДБДДДБДДДБДДДЩ
(г)
Рисунок 10.12. Включение символов в символьный список
10.11г); затем оно устанавливает указатель списка на следующий блок, который
становится первым блоком в списке. Подобно этому на Рисунке 10.12 показано,
как ядро включает символы в символьный список; при этом предполагается, что
в одном блоке помещается до 8 символов и что ядро размещает новый блок в
конце списка (Рисунок 10.12г).
E10.3.2 Терминальный драйвер в каноническом режимеF
Структуры данных, с которыми работают терминальные драйверы, связаны с
тремя символьными списками: списком для хранения данных, выводимых на терми-
нал, списком для хранения неструктурированных вводных данных, поступивших в
результате выполнения программы обработки прерывания от терминала, вызванно-
го попыткой пользователя ввести данные с клавиатуры, и списком для хранения
обработанных входных данных, поступивших в результате преобразования строко-
вым интерфейсом специальных символов (таких как символы стирания и удаления)
в неструктурированном списке.
Когда процесс ведет запись на терминал (Рисунок 10.13), терминальный
драйвер запускает строковый интерфейс. Строковый интерфейс в цикле считывает
символы из адресного пространства процесса и помещает их в символьный список
для хранения выводных данных до тех пор, пока поток данных не будет исчер-
пан. Строковый интерфейс обрабатывает выводимые символы, например, заменяя
символы табуляции на последовательности пробелов. Если количество символов в
списке для хранения выводных данных превысит верхнюю отметку, строковый ин-
терфейс вызывает процедуры драйвера, пересылающие данные из символьного
списка на терминал и после этого приостанавливающие выполнение процесса, ве-
310
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і алгоритм terminal_write і
і { і
і выполнить (пока из пространства задачи еще поступают і
і данные) і
і { і
і если (на терминал поступает информация) і
і { і
і приступить к выполнению операции записи данных і
і из списка, хранящего выводные данные; і
і приостановиться (до того момента, когда терми- і
і нал будет готов принять следующую порцию дан- і
і ных); і
і продолжить; /* возврат к началу цикла */ і
і } і
і скопировать данные в объеме символьного блока из і
і пространства задачи в список, хранящий выводные і
і данные: строковый интерфейс преобразует символы і
і табуляции и т.д.; і
і } і
і і
і приступить к выполнению операции записи данных из спис-і
і ка, хранящего выводные данные; і
і } і
АДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДЩ
Рисунок 10.13. Алгоритм переписи данных на терминал
дущего запись. Когда объем информации в списке для хранения выводных данных
падает за нижнюю отметку, программа обработки прерываний возобновляет выпол-
нение всех процессов, приостановленных до того момента, когда терминал смо-
жет принять следующую порцию данных. Строковый интерфейс завершает цикл об-
работки, скопировав всю выводимую информацию из адресного пространства зада-
чи в соответствующий символьный список, и вызывает выполнение процедур драй-
вера, пересылающих данные на терминал, о которых уже было сказано выше.
Если на терминал ведут запись несколько процессов, они независимо друг
от друга следуют указанной процедуре. Выводимая информация может быть иска-
жена; то есть на терминале данные, записываемые процессами, могут пересе-
каться. Это может произойти из-за того, что процессы ведут запись на терми-
нал, используя несколько вызовов системной функции write. Ядро может перек-
лючать контекст, пока процесс выполняется в режиме задачи, между последова-
тельными вызовами функции write, и вновь запущенные процессы могут вести за-
пись на терминал, пока первый из процессов приостановлен. Выводимые данные
могут быть также искажены и на терминале, поскольку процесс может приостано-
виться на середине выполнения системной функции write, ожидая завершения вы-
вода на терминал из системы предыдущей порции данных. Ядро может запустить
другие процессы, которые вели запись на терминал до того, как первый процесс
был повторно запущен. По этой причине, ядро не гарантирует, что содержимое
буфера данных, выводимое в результате вызова системной функции write, поя-
вится на экране терминала в непрерывном виде.
Рассмотрим программу, приведенную на Рисунке 10.14. Родительский процесс
создает до 18 порожденных процессов; каждый из порожденных процессов записы-
вает строку (с помощью библиотечной функции sprintf) в массив output, кото-
рый включает сообщение и значение счетчика i в момент выполнения функции
fork, и затем входит в цикл пошаговой переписи строки в файл стандартного
вывода. Если стандартным выводом является терминал, терминальный драйвер ре-
гулирует поток поступающих данных. Выводимая строка имеет более 64 символов
311
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і char form[]="это пример вывода строки из порожденного процесса"і і
і main() і
і { і
і char output[128]; і
і int i; і
і і
і for (i = 0; i < 18; i++) і
і { і
і switch (fork()) і
і { і
і case -1: /* ошибка --- превышено максимальное чис-і
і ло процессов */ і
і exit(); і
і і
і default: /* родительский процесс */ і
і break; і
і і
і case 0: /* порожденный процесс */ і
і /* формат вывода строки в переменной output */ і
і sprintf(output,"%%d\n%s%d\n",form,i,form,i); і
і for (;;) і
і write(1,output,sizeof(output)); і
і } і
і } і
і } і
АДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДЩ
Рисунок 10.14. Передача данных через стандартный вывод
в длину, то есть слишком велика для того, чтобы поместиться в символьном
блоке (длиной 64 байта) в версии V системы. Следовательно, терминальному
драйверу требуется более одного символьного блока для каждого вызова функции
write, иначе выводной поток может стать искаженным. Например, следующие
строки были частью выводного потока, полученного в результате выполнения
программы на машине AT&T 3B20:
this is a sample output string from child 1
this is a sample outthis is a sample output string from child 0
Чтение данных с терминала в каноническом режиме более сложная операция.
В вызове системной функции read указывается количество байт, которые процесс
хочет считать, но строковый интерфейс выполняет чтение по получении символа
перевода каретки, даже если количество символов не указано. Это удобно с
практической точки зрения, так как процесс не в состоянии предугадать,
сколько символов пользователь введет с клавиатуры, и, с другой стороны, не
имеет смысла ждать, когда пользователь введет большое число символов. Напри-
мер, пользователи вводят командные строки для командного процессора shell и
ожидают ответа shell'а на команду по получении символа возврата каретки. При
этом нет никакой разницы, являются ли введенные строки простыми командами,
такими как "date" или "who", или же это более сложные последовательности ко-
манд, подобные следующей:
pic file* і tbl і eqn і troff -mm -Taps і apsend
Терминальный драйвер и строковый интерфейс ничего не знают о синтаксисе
командного процессора shell, и это правильно, поскольку другие программы,
которые считывают информацию с терминалов (например, редакторы), имеют раз-
312
личный синтаксис команд. Поэтому строковый интерфейс выполняет чтение по по-
лучении символа возврата каретки.
На Рисунке 10.15 показан алгоритм чтения с терминала. Предположим, что
терминал работает в каноническом режиме; в разделе 10.3.3 будет рассмотрена
работа в режиме без обработки. Если в настоящий момент в любом из символьных
списков для хранения вводной информации отсутствуют данные, процесс, выпол-
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і алгоритм terminal_read і
і { і
і если (в каноническом символьном списке отсутствуют дан- і
і ные) і
і { і
і выполнить (пока в списке для неструктурированных і
і вводных данных отсутствует информация) і
і { і
і если (терминал открыт с параметром "no delay" і
і (без задержки)) і
і возвратить управление; і
і если (терминал в режиме без обработки с использо-і
і ванием таймера и таймер не активен) і
і предпринять действия к активизации таймера і
і (таблица ответных сигналов); і
і приостановиться (до поступления данных с термина-і
і ла); і
і } і
і і
і /* в списке для неструктурированных вводных данных і
і есть информация */ і
і если (терминал в режиме без обработки) і
і скопировать все данные из списка для неструктури-і
і рованных вводных данных в канонический список; і
і в противном случае /* терминал в каноническом ре- і
і жиме */ і
і { і
і выполнить (пока в списке для неструктурированных і
і вводных данных есть символы) і
і { і
і копировать по одному символу из списка для і
і неструктурированных вводных данных в кано- і
і нический список: і
і выполнить обработку символов стирания и уда-і
і ления; і
і если (символ - "возврат каретки" или "конец і
і файла") і
і прерваться; /* выход из цикла */ і
і } і
і } і
і } і
і і
і выполнить (пока в каноническом списке еще есть символы і
і и не исчерпано количество символов, указанное в вызове і
і функции read) і
і копировать символы из символьных блоков каноническогоі
і списка в адресное пространство задачи; і
і } і
АДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДЩ
Рисунок 10.15. Алгоритм чтения с терминала
313
няющий чтение, приостанавливается до поступления первой строки данных. Когда
данные поступают, программа обработки прерывания от терминала запускает
"программу обработки прерывания" строкового интерфейса, которая помещает
данные в список для хранения неструктурированных вводных данных для передачи
процессам, осуществляющим чтение, и в список для хранения выводных данных,
передаваемых в качестве эхосопровождения на терминал. Если введенная строка
содержит символ возврата каретки, программа обработки прерывания возобновля-
ет выполнение всех приостановленных процессов чтения. Когда процесс, осущес-
твляющий чтение, выполняется, драйвер выбирает символы из списка для хране-
ния неструктурированных вводных данных, обрабатывает символы стирания и уда-
ления и помещает символы в канонический символьный список. Затем он копирует
строку символов в адресное пространство задачи до символа возврата каретки
или до исчерпания числа символов, указанного в вызове системной функции
read, что встретится раньше. Однако, процесс может обнаружить, что данных,
ради которых он возобновил свое выполнение, больше не существует: другие
процессы считали данные с терминала и удалили их из списка для неструктури-
рованных вводных данных до того, как первый процесс был запущен вновь. Такая
ситуация похожа на ту, которая имеет место, когда из канала считывают данные
несколько процессов.
Обработка символов в направлении ввода и в направлении вывода асиммет-
рична, что видно из наличия двух символьных списков для ввода и одного - для
вывода. Строковый интерфейс выводит данные из пространства задачи, обрабаты-
вает их и помещает их в список для хранения выводных данных. Для симметрии
следовало бы иметь
только один список для вводных данных. Однако, в таком случае потребовалось
бы использование программы обработки прерываний для интерпретации символов
ЪДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДї
і char input[256]; і
і і
і main() і
і { і
і register int i; і
і і
і for (i = 0; i < 18; i++) і
і { і
і switch (fork()) і
і { і
і case -1: /* ошибка */ і
і printf("операция fork не выполнена из-за ошибки\n");і
і exit(); і
і і
і default: /* родительский процесс */ і
і break; і
і і
і case 0: /* порожденный процесс */ і
і for (;;) і
і { і
і read(0,input,256); /* чтение строки */ і
і printf("%d чтение %s\n",i,input); і
і } і
і } і
і } і
і } і
АДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДДЩ
Рисунок 10.16. Конкуренция за данные, вводимые с терминала
314
стирания и удаления, что сделало бы процедуру более сложной и длительной и
запретило бы возникновение других прерываний на все критическое время. Ис-
пользование двух символьных списков для ввода подразумевает, что программа
обработки прерываний может просто сбросить символы в список для неструктури-
рованных вводных данных и возобновить выполнение процесса, осуществляющего
чтение, который собственно и возьмет на себя работу по интерпретации вводных
данных. При этом программа обработки прерываний немедленно помещает введен-
ные символы в список для хранения выводных данных, так что пользователь ис-
пытывает лишь минимальную задержку при просмотре введенных символов на тер-
минале.
На Рисунке 10.16 приведена программа, в которой родительский процесс по-
рождает несколько процессов, осуществляющих чтение из файла стандартного
ввода, конкурируя за получение данных, вводимых с терминала. Ввод с термина-
ла обычно осуществляется слишком медленно для того, чтобы удовлетворить все
процессы, ведущие чтение, поэтому процессы большую часть времени находятся в
приостановленном состоянии в соответствии с алгоритмом terminal_read, ожидая
ввода данных. Когда пользователь вводит строку данных, программа обработки
прерываний от терминала возобновляет выполнение всех процессов, ведущих чте-
ние; поскольку они были приостановлены с одним и тем же уровнем приоритета,
они выбираются для запуска с одинаковым уровнем приоритета. Пользователь не
в состоянии предугадать, какой из процессов выполняется и считывает строку
данных; успешно созданный процесс печатает значение переменной i в момент
его создания. Все другие процессы в конце концов будут запущены, но вполне
возможно, что они не обнаружат введенной информации в списках для хранения
вводных данных и их выполнение снова будет приостановлено. Вся процедура
повторяется для каждой введенной строки; нельзя дать гарантию, что ни один
из процессов не захватит все введенные данные.
Одновременному чтению с терминала несколькими процессами присуща неод-
нозначность, но ядро справляется с ситуацией наилучшим образом. С другой
стороны, ядро обязано позволять процессам одновременно считывать данные с
терминала, иначе порожденные командным процессором shell процессы, читающие
из стандартного ввода, никогда не будут работать, поскольку shell тоже обра-
щается к стандартному вводу. Короче говоря, процессы должны синхронизировать
свои обращения к терминалу на пользовательском уровне.
Когда пользователь вводит символ "конец файла" (Ctrl-d в ASCII), строко-
вый интерфейс передает функции read введенную строку до символа конца файла,
но не включая его. Он не передает данные (код возврата 0) функции read, если
в символьном списке встретился только символ "конец файла"; вызывающий про-
цесс сам распознает, что обнаружен конец файла и больше не следует считывать
данные с терминала. Если еще раз обратиться к примерам программ по shell'у,
приведенным в главе 7, можно отметить, что цикл работы shell'а завершается,
когда пользователь нажимает
|