Программный счётчик¶

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

¶История

Концепция программного счётчика восходит к архитектуре, предложенной Джоном фон Нейманом в 1945 году в его докладе «First Draft of a Report on the EDVAC». В этой архитектуре, известной как гарвардская или фон-неймановская, программа и данные хранятся в общей памяти, а процессор последовательно выбирает команды, используя специальный регистр-счётчик. Первые коммерческие компьютеры, такие как UNIVAC I (1951) и IBM 701 (1952), уже имели аппаратный программный счётчик.

В ранних компьютерах программный счётчик часто был неотъемлемой частью арифметико-логического устройства (АЛУ) или управляющего устройства. С развитием микропроцессорной техники, начиная с Intel 4004 (1971), программный счётчик стал стандартным регистром, входящим в состав блока управления (control unit). В современных процессорах он может быть реализован как часть более сложной системы предсказания переходов и конвейерной обработки.

¶Устройство и принцип работы

Программный счётчик представляет собой регистр, разрядность которого определяется архитектурой процессора. Обычно его разрядность равна разрядности адресной шины, что позволяет адресовать весь объём оперативной памяти. Например, в 32-битных процессорах x86 программный счётчик (EIP) имеет 32 бита, а в 64-битных (RIP) — 64 бита.

¶Основные операции

1. Инициализация: При запуске или сбросе процессора программный счётчик устанавливается на начальный адрес, с которого начинается выполнение программы (обычно это адрес вектора сброса, хранящийся в ПЗУ или задаваемый аппаратно).
2. Выборка инструкции: Процессор считывает содержимое памяти по адресу, хранящемуся в программном счётчике, и помещает его в регистр команд (instruction register).
3. Инкремент: После выборки значение программного счётчика увеличивается на длину текущей инструкции. Длина инструкции может быть фиксированной (в RISC-архитектурах, например, ARM) или переменной (в CISC-архитектурах, например, x86).
4. Выполнение: Процессор декодирует и выполняет считанную инструкцию. В ходе выполнения может произойти изменение программного счётчика (например, при командах перехода или вызова подпрограмм).
5. Повторение: Цикл повторяется для следующей инструкции.

¶Изменение программного счётчика

Значение программного счётчика может быть изменено не только автоматическим инкрементом, но и явно — с помощью инструкций управления потоком:

• Безусловные переходы: Команды типа JMP (jump) загружают в программный счётчик новый адрес, указанный в операнде.
• Условные переходы: Команды типа JE (jump if equal) изменяют программный счётчик только при выполнении определённого условия (например, равенство флагов).
• Вызовы подпрограмм: Команды типа CALL сохраняют текущее значение программного счётчика (адрес возврата) в стеке, а затем загружают новый адрес.
• Возврат из подпрограмм: Команды типа RET извлекают адрес возврата из стека и загружают его в программный счётчик.
• Прерывания и исключения: При возникновении аппаратного прерывания или программного исключения процессор сохраняет текущее значение программного счётчика в стеке и загружает адрес обработчика прерывания.

¶Классификация

Программные счётчики можно классифицировать по нескольким признакам:

¶По архитектуре процессора

• Фиксированная длина инструкции: В RISC-процессорах (например, ARM, MIPS) все инструкции имеют одинаковую длину (обычно 4 байта). Инкремент программного счётчика всегда происходит на фиксированную величину.
• Переменная длина инструкции: В CISC-процессорах (например, x86) инструкции могут иметь длину от 1 до 15 байт. Инкремент программного счётчика зависит от длины конкретной инструкции, что усложняет аппаратную реализацию.

¶По способу адресации

• Линейный счётчик: Программный счётчик адресует память в едином линейном адресном пространстве (например, в архитектуре x86 в защищённом режиме).
• Сегментированный счётчик: В некоторых архитектурах (например, в реальном режиме x86) программный счётчик работает в паре с сегментным регистром, формируя физический адрес как сегмент * 16 + смещение.

¶По реализации в конвейере

• Простые процессоры: Программный счётчик обновляется после каждой выборки инструкции.
• Конвейерные процессоры: В современных процессорах с конвейером (например, в архитектуре x86-64) программный счётчик может указывать не на текущую выполняемую инструкцию, а на инструкцию, которая будет выбрана следующей. Это связано с тем, что на разных стадиях конвейера могут находиться разные инструкции. Для корректной обработки прерываний и исключений процессор сохраняет «логический» программный счётчик, соответствующий текущей инструкции.

¶Применение и значение

Программный счётчик является фундаментальным элементом, обеспечивающим выполнение любой программы. Его основные функции включают:

• Последовательное выполнение: Обеспечивает автоматический переход к следующей инструкции после завершения текущей.
• Управление потоком: Позволяет реализовывать циклы, условные операторы, вызовы функций и обработку прерываний.
• Многозадачность: В операционных системах при переключении контекста (context switch) значение программного счётчика сохраняется в памяти (например, в стеке задачи) и восстанавливается при возврате к задаче, что позволяет возобновить выполнение с прерванного места.
• Отладка: Отладчики используют программный счётчик для отслеживания текущей точки выполнения программы, установки точек останова (breakpoints) и пошагового выполнения.

¶Примеры реализации

¶Архитектура x86

В процессорах x86 программный счётчик называется EIP (Extended Instruction Pointer) в 32-битном режиме и RIP (64-bit Instruction Pointer) в 64-битном режиме. В реальном режиме используется 16-битный регистр IP, который вместе с сегментным регистром CS (Code Segment) формирует 20-битный физический адрес.

¶Архитектура ARM

В процессорах ARM программный счётчик называется PC (Program Counter) и является одним из 16 регистров общего назначения (R15). В отличие от x86, в ARM программный счётчик может быть непосредственно изменён программно, что позволяет использовать его как операнд в арифметических операциях. В архитектуре ARMv7 и старше программный счётчик имеет 32 бита, а в ARMv8 (AArch64) — 64 бита.

¶Архитектура MIPS

В процессорах MIPS программный счётчик называется PC и имеет 32 бита. В MIPS все инструкции имеют фиксированную длину (4 байта), поэтому инкремент происходит на 4. Для реализации переходов используется специальный регистр Branch Target Address (BTA), который вычисляется на основе смещения.

¶Интересные факты

• В некоторых архитектурах (например, в Motorola 68000) программный счётчик может быть использован как индексный регистр для адресации данных, что позволяет реализовывать позиционно-независимый код (position-independent code, PIC).
• В процессорах с архитектурой Itanium (Intel) программный счётчик заменён на Instruction Pointer (IP), который указывает на пакет из нескольких инструкций, выполняемых параллельно.
• В некоторых встраиваемых системах (например, на базе микроконтроллеров PIC) программный счётчик может быть реализован не как отдельный регистр, а как часть счётчика команд, встроенного в память программ (например, в гарвардской архитектуре).

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

• Уязвимость к атакам: Программный счётчик является целью для многих видов атак, таких как переполнение буфера (buffer overflow) и возвратно-ориентированное программирование (ROP). Злоумышленники могут изменить значение программного счётчика, чтобы перенаправить выполнение на вредоносный код.
• Сложность в конвейерных процессорах: В современных процессорах с глубоким конвейером и спекулятивным выполнением (speculative execution) программный счётчик может не соответствовать фактически выполняемой инструкции, что усложняет обработку прерываний и исключений.
• Ограничения адресации: Разрядность программного счётчика ограничивает максимальный объём адресуемой памяти. Например, 32-битный программный счётчик может адресовать не более 4 ГБ памяти, что стало проблемой для современных вычислительных систем.

¶Источники

• Таненбаум Э., Остин Т. «Архитектура компьютера». 6-е издание. — СПб.: Питер, 2013.
• Харрис Д., Харрис С. «Цифровая схемотехника и архитектура компьютера». — М.: ДМК Пресс, 2018.
• Patterson D., Hennessy J. «Computer Organization and Design: The Hardware/Software Interface». 5th edition. — Morgan Kaufmann, 2013.
• Intel Corporation. «Intel 64 and IA-32 Architectures Software Developer’s Manual». Volume 1: Basic Architecture. — 2023.
• ARM Limited. «ARM Architecture Reference Manual». ARMv7-A and ARMv8-A editions. — 2022.