Как устроено выполнение команд в процессоре

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

Роль АЛУ в архитектуре CPU

Центральный процессор (CPU) не «думает» в человеческом понимании. Он лишь последовательно обрабатывает инструкции. АЛУ отвечает за стадию Execute (Исполнение). Пока блок управления (Control Unit) декодирует команду и выбирает данные, АЛУ ожидает сигналы для проведения вычисления.

Ключевая особенность АЛУ — детерминированность. Для одних и тех же входных данных и управляющих сигналов результат всегда будет одинаковым и полученным за предсказуемое время (латентность). АЛУ не принимает решений о том, какую инструкцию выполнять следующей — этим занимается блок управления на основе флагов, которые установило само АЛУ после предыдущей операции.

Внутреннее устройство: из чего состоит блок

АЛУ не является монолитным черным ящиком. Внутри оно состоит из нескольких специализированных схем:

1. Комбинаторная логика: Набор логических вентилей, выполняющих побитовые операции (AND, OR, XOR, NOT) практически мгновенно (за время распространения сигнала).
2. Сумматоры: Схемы, реализующие сложение и вычитание. Часто используются сумматоры с предварительным просмотром переноса (carry-lookahead adders) для ускорения работы с широкими регистрами (64 бит и более).
3. Баррель-шифтер (Barrel Shifter): Устройство для быстрого сдвига битов влево или вправо. Сдвиг на $N$ позиций выполняется за один такт, а не за $N$ тактов последовательного сдвига.
4. Регистр флагов (EFLAGS/RFLAGS): Набор триггеров, фиксирующих состояние результата:
   • ZF (Zero Flag): Результат равен нулю.
   • CF (Carry Flag): Произошел перенос из старшего разряда (важно для беззнаковой арифметики).
   • SF (Sign Flag): Старший бит результата равен 1 (отрицательное число в дополнительном коде).
   • OF (Overflow Flag): Произошло знаковое переполнение.

Типы операций: от сложения до сравнения

Все инструкции процессора можно разделить по типу воздействия на данные через АЛУ.

Базовая арифметика

• Сложение (ADD) и вычитание (SUB): Самые быстрые операции. Выполняются за 1 такт (латентность) с пропускной способностью (throughput) часто менее 1 такта благодаря наличию нескольких сумматоров.
• Инкремент/Декремент (INC/DEC): Частные случаи сложения/вычитания с единицей. На современных архитектурах (x86-64, ARM) они часто имеют ту же стоимость, что и ADD/SUB, но могут иметь особенности работы с флагом переноса.

Логические операции и сдвиги

• Побитовая логика (AND, OR, XOR, NOT): Используются для маскирования битов, очистки регистров (например, XOR RAX, RAX обнуляет регистр быстрее и компактнее, чем MOV RAX, 0) и криптографии.
• Сдвиги (SHL, SHR, SAR, ROL, ROR): Арифметические сдвиги сохраняют знак числа, логические — заполняют нулями. Циклические сдвиги переносят вытесненные биты в начало.

Умножение и деление

Эти операции значительно сложнее.

• Умножение (MUL/IMUL): Требует больше транзисторов и тактов. Латентность может составлять 3–5 тактов для 64-битных чисел.
• Деление (DIV/IDIV): Самая медленная целочисленная операция. Латентность может достигать 20–90 тактов в зависимости от архитектуры и разрядности. Деление часто является «узким горлышком» в алгоритмах.

Сравнение (CMP/TEST)

Технически сравнение — это вычитание, результат которого не записывается в регистр, а только обновляет флаги.

• CMP A, B выполняет $A - B$. Если $ZF=1$, значит $A=B$. Если $SF \neq OF$, значит $A < B$ (для знаковых чисел).
• TEST A, B выполняет $A & B$ и обновляет флаги, не меняя операнды. Используется для проверки наличия установленных битов.

Жизненный цикл команды: 5 стадий выполнения

Чтобы понять, где находится АЛУ в процессе, рассмотрим классический 5-ступенчатый конвейер (RISC-архитектура, например, MIPS или ARM):

1. IF (Instruction Fetch): Выборка инструкции из памяти (кэша L1).
2. ID (Instruction Decode): Декодирование команды. Блок управления определяет, какая операция нужна, и считывает операнды из регистрового файла.
3. EX (Execute): Здесь работает АЛУ. Выполняется арифметическая или логическая операция, вычисляется адрес памяти для загрузки/сохранения.
4. MEM (Memory Access): Если инструкция требует обращения к памяти (LOAD/STORE), происходит чтение или запись. Для арифметических инструкций эта стадия часто простаивает.
5. WB (Write Back): Результат из АЛУ записывается обратно в регистр назначения.

Влияние операций на производительность

Не все операции «весят» одинаково. При оптимизации критических участков кода (hot paths) важно учитывать:

Примечание: цифры усреднены для современных x86-64 (Intel Core / AMD Ryzen) и ARM (Apple M-series / Cortex).

Проблема ветвлений

АЛУ устанавливает флаги для условных переходов (JE, JNE, B.EQ). Если предсказатель ветвлений (Branch Predictor) ошибается, конвейер сбрасывается, и теряются десятки тактов. Поэтому код с линейным выполнением (без зависимых от данных переходов) всегда выполняется быстрее.

Советы по оптимизации кода

1. Заменяйте деление на умножение и сдвиг. Деление на степень двойки ($x / 8$) эквивалентно сдвигу вправо ($x >> 3$). Компиляторы делают это автоматически для констант, но для переменных стоит помнить о стоимости операции.
2. Используйте битовые маски вместо условий. Вместо:

    if (x > 0) y = a; else y = b;
    ```
    Можно использовать безветвительную логику (branchless), основанную на арифметике флагов или побитовых операциях, что предотвращает сброс конвейера.
3.  **Группируйте независимые операции.**
    Если вам нужно выполнить два сложных вычисления, которые не зависят друг от друга, расположите их так, чтобы компилятор мог распараллелить их на разные исполнительные блоки АЛУ.
4.  **Избегайте ложных зависимостей.**
    В x86 частая ошибка — использование одного регистра для разных целей подряд. Используйте `XOR REG, REG` для обнуления, чтобы разорвать зависимость от предыдущего значения регистра.

## Частые ошибки при низкоуровневой оптимизации

*   **Микрооптимизация там, где она не нужна.** Замена `i++` на `++i` или ручная раскрутка циклов часто не дает прироста на современных компиляторах (GCC, Clang, MSVC), которые выполняют эти оптимизации лучше человека. Фокусируйтесь на алгоритмической сложности и доступе к памяти.
*   **Игнорирование кэша.** Экономия 1 такта на арифметике бессмысленна, если из-за плохой локальности данных процессор ждет 200 тактов получения данных из оперативной памяти.
*   **Неучет латентности деления.** Использование оператора `%` (остаток от деления) или `/` внутри плотного цикла по большим массивам может замедлить программу в разы по сравнению с использованием битовых масок (`& (N-1)` для степеней двойки).

## FAQ

**В чем разница между АЛУ и FPU?**
АЛУ работает с целыми числами (integer) и адресами. FPU (Floating Point Unit) или векторные блоки (SIMD/AVX) работают с числами с плавающей запятой. В современных процессорах эти блоки физически разделены и имеют разные наборы инструкций и регистров.

**Почему `XOR RAX, RAX` лучше, чем `MOV RAX, 0`?**
На архитектуре x86 инструкция `XOR` короче (меньше байт в коде) и, что важнее, она разрывает зависимость от предыдущего значения регистра `RAX`. Процессор понимает, что старое значение больше не нужно, и может освободить физический регистр раньше, улучшая параллелизм.

**Может ли АЛУ выполнять операции с плавающей запятой?**
Нет, классическое целочисленное АЛУ не умеет работать с форматом IEEE 754. Для этого существуют отдельные исполнительные блоки (FP ALU), которые также находятся в составе процессора, но архитектурно отделены от целочисленного тракта.

**Что такое SIMD и как это связано с АЛУ?**
SIMD (Single Instruction, Multiple Data) — это расширение возможностей АЛУ. Вместо одного скалярного АЛУ, обрабатывающего одно число, используется векторное АЛУ, которое применяет одну операцию (например, сложение) сразу к пакету данных (например, к четырем 32-битным числам одновременно). Это кратно увеличивает пропускную способность для задач обработки графики, звука и научных вычислений.