Ввод-вывод по прерываниям

Ввод-вывод по прерываниям — это способ организации обмена данными между центральным процессором (ЦП) и периферийными устройствами, при котором инициатором передачи выступает само устройство, а не процессор. В отличие от режима программного ввода-вывода (так называемого «активного ожидания» или «поллинга»), где ЦП постоянно опрашивает состояние устройства, ввод-вывод по прерываниям позволяет процессору выполнять другие задачи до тех пор, пока устройство не сообщит о готовности к передаче данных. Этот механизм является ключевым для построения многозадачных операционных систем и повышения общей эффективности вычислительных систем.

Принцип работы

Основой механизма является система прерываний, которая включает в себя аппаратные и программные компоненты. Когда периферийное устройство (например, клавиатура, контроллер диска, сетевая карта) готово к передаче данных, оно генерирует электрический сигнал — запрос прерывания (IRQ, Interrupt Request). Этот сигнал поступает на контроллер прерываний (например, Intel 8259A или более современный Advanced Programmable Interrupt Controller, APIC), который определяет приоритет запроса и передаёт его процессору.

Процессор, получив сигнал, завершает выполнение текущей команды (или, в некоторых архитектурах, может прервать выполнение на определённом этапе) и переходит к обработке прерывания. Последовательность действий выглядит следующим образом:

1. Сохранение контекста. Процессор сохраняет на стеке или в специальных регистрах текущее состояние выполнения (счётчик команд, регистры, флаги), чтобы после обработки прерывания можно было возобновить прерванную программу.
2. Определение источника. Процессор или контроллер прерываний определяет, какое устройство вызвало прерывание. Для этого используется либо вектор прерывания (номер, указывающий на адрес обработчика), либо опрос устройств.
3. Переход к обработчику. Процессор загружает адрес соответствующей подпрограммы обработки прерывания (Interrupt Service Routine, ISR) из таблицы векторов прерываний (Interrupt Vector Table, IVT) или таблицы дескрипторов прерываний (Interrupt Descriptor Table, IDT) и начинает её выполнение.
4. Обработка данных. Внутри обработчика происходит непосредственная передача данных: чтение байта из порта устройства, копирование блока данных в память, проверка ошибок и т.д.
5. Восстановление контекста. После завершения обработки выполняется команда возврата из прерывания (например, IRET в архитектуре x86). Процессор восстанавливает сохранённое состояние и продолжает выполнение прерванной программы с того места, где она была остановлена.

Важно отметить, что во время обработки прерывания процессор, как правило, запрещает (маскирует) другие прерывания того же или более низкого уровня, чтобы избежать рекурсивных вызовов и потери данных. Высокоприоритетные прерывания (например, от таймера) могут быть разрешены и обрабатываться вложенным образом.

Классификация прерываний

Прерывания, используемые для ввода-вывода, делятся на несколько категорий:

По источнику возникновения

• Аппаратные прерывания (внешние). Генерируются физическими устройствами, подключёнными к системной шине. Примеры: нажатие клавиши на клавиатуре, приход пакета на сетевую карту, завершение операции чтения с жёсткого диска.
• Программные прерывания (внутренние). Вызываются выполнением специальной команды (например, INT в x86) в коде программы. Используются для вызова системных функций операционной системы (например, int 0x80 в Linux или syscall в Windows).
• Исключения (отказы). Возникают при возникновении ошибок в работе процессора или программы (деление на ноль, страничная ошибка, недопустимая команда). Хотя они не являются прямым следствием ввода-вывода, они используют тот же механизм прерываний.

По возможности маскирования

• Маскируемые прерывания. Могут быть временно запрещены (замаскированы) сбросом соответствующего флага в регистре процессора (например, флаг IF в x86). Большинство прерываний от периферийных устройств являются маскируемыми.
• Немаскируемые прерывания (NMI, Non-Maskable Interrupt). Не могут быть запрещены программно. Обычно используются для критических событий, таких как сбой питания, ошибка памяти или нажатие кнопки сброса.

По принципу обработки

• Векторные прерывания. Каждому устройству или группе устройств присвоен уникальный номер (вектор). При возникновении прерывания устройство передаёт этот номер контроллеру, который по нему находит адрес обработчика в таблице. Это самый быстрый и распространённый метод.
• Опросные прерывания (polled interrupts). При возникновении прерывания процессор последовательно опрашивает все устройства, чтобы определить, какое из них его вызвало. Используется в простых системах с малым числом устройств, где скорость не критична.

Сравнение с другими методами

Ввод-вывод по прерываниям занимает промежуточное положение между двумя другими основными методами:

• Программный ввод-вывод (поллинг). Процессор постоянно циклически опрашивает регистр состояния устройства. Простота реализации, но крайне неэффективно — процессор тратит почти всё время на ожидание, а не на вычисления.
• Прямой доступ к памяти (DMA, Direct Memory Access). Специализированный контроллер (DMA-контроллер) самостоятельно управляет передачей данных между устройством и памятью без участия процессора. Процессор лишь инициирует передачу и получает одно прерывание по её завершении. Это наиболее эффективный метод для передачи больших блоков данных (например, дисковые операции, видеопоток).

Преимущества ввода-вывода по прерываниям:

• Эффективнее поллинга: процессор не тратит время на ожидание, а занимается другими задачами.
• Проще и дешевле в реализации, чем DMA (не требует сложного контроллера).
• Хорошо подходит для устройств с низкой или средней скоростью передачи данных (клавиатура, мышь, принтер, модем).

Недостатки:

• Каждое прерывание требует сохранения и восстановления контекста, что создаёт накладные расходы (overhead). При большом количестве частых прерываний (например, от высокоскоростной сети) процессор может тратить больше времени на обработку прерываний, чем на полезную работу.
• Возможна потеря данных, если прерывание не будет обработано достаточно быстро (например, при переполнении буфера устройства).
• Сложность синхронизации в многопроцессорных системах.

Применение

Ввод-вывод по прерываниям является основой для работы большинства современных операционных систем. Он используется для:

• Обработки ввода с клавиатуры и мыши. Каждое нажатие клавиши или движение мыши генерирует прерывание, которое передаёт данные драйверу.
• Управления таймерами. Прерывания от системного таймера (например, с частотой 100 или 1000 Гц) используются для переключения задач в многозадачных ОС.
• Работы с сетевыми интерфейсами. При получении пакета сетевая карта генерирует прерывание, чтобы процессор мог его обработать.
• Взаимодействия с контроллерами накопителей (IDE, SATA, NVMe). Хотя для передачи данных часто используется DMA, прерывания используются для уведомления о завершении операции.

Историческая справка

Концепция прерываний была впервые реализована в компьютере UNIVAC I (1951 год) и в дальнейшем развита в машинах серии IBM System/360 (1964 год). В ранних микропроцессорах (например, Intel 8080) использовались простые контроллеры прерываний. В процессорах Intel 8086/8088 была введена таблица векторов прерываний, фиксированно расположенная в начале памяти. С появлением многопроцессорных систем и архитектуры SMP (Symmetric Multiprocessing) были разработаны более сложные контроллеры, такие как APIC, позволяющие распределять прерывания между процессорами.

Критика и ограничения

Основная критика ввода-вывода по прерываниям связана с его эффективностью при работе с высокоскоростными устройствами. В современных системах, где скорость передачи данных может достигать десятков гигабит в секунду, каждое прерывание приводит к значительным задержкам. Для решения этой проблемы были разработаны механизмы объединения прерываний (interrupt coalescing), когда несколько событий накапливаются в буфере устройства, и генерируется одно прерывание. Также широко используется DMA, который полностью устраняет необходимость в прерываниях на каждую передачу данных.

Источники

1. Таненбаум Э., Бос Х. «Современные операционные системы». 4-е издание. — СПб.: Питер, 2015.
2. Intel Corporation. «Intel 64 and IA-32 Architectures Software Developer’s Manual. Volume 3A: System Programming Guide». — 2023.
3. Столлингс У. «Операционные системы: внутренняя структура и принципы проектирования». 6-е издание. — М.: Вильямс, 2011.
4. Patterson D. A., Hennessy J. L. «Computer Organization and Design: The Hardware/Software Interface». 5th Edition. — Morgan Kaufmann, 2014.