Как устроен язык машинного кода: классификация инструкций ЦПУ

Иван Корнев·04.05.2026·⏱6 мин

Команды процессора (инструкции) — это элементарные операции, которые центральный процессор выполняет напрямую. Все программы, от текстового редактора до сложных игр, в конечном итоге сводятся к последовательности этих простых действий. Основные типы инструкций делятся на пять групп: арифметико-логические (вычисления), пересылки данных (копирование), управления потоком (ветвление и циклы), работы с памятью (загрузка/сохранение) и системные (управление режимом работы). Понимание этой структуры помогает оптимизировать код и глубже понимать работу компьютера.

Архитектура набора инструкций (ISA)

Набор инструкций (Instruction Set Architecture, ISA) — это интерфейс между программным обеспечением и аппаратной частью. Это «словарь», который понимает конкретный процессор. Существует два основных подхода к проектированию ISA:

CISC (Complex Instruction Set Computer) — сложный набор команд. Характерен для архитектуры x86 (Intel, AMD). Команды могут выполнять несколько действий за один такт (например, считать из памяти, сложить и записать результат).
RISC (Reduced Instruction Set Computer) — сокращенный набор команд. Характерен для ARM (смартфоны, Apple Silicon) и RISC-V. Команды максимально просты и выполняются за один такт, что упрощает конвейеризацию и повышает энергоэффективность.

Важно: Современная граница между CISC и RISC размыта. Процессоры x86 внутри транслируют сложные команды в простые микрооперации (uOps), работая подобно RISC-машинам на низком уровне.

Основные типы инструкций процессора

Независимо от архитектуры, все инструкции можно разделить на функциональные группы. Каждая группа отвечает за свой этап обработки информации.

1. Арифметико-логические инструкции (ALU Operations)

Эти команды выполняют вычисления. Они обрабатывают данные, находящиеся в регистрах процессора.

Арифметические: ADD (сложение), SUB (вычитание), MUL (умножение), DIV (деление), INC (инкремент), DEC (декремент).
Логические: AND, OR, XOR (исключающее ИЛИ), NOT (отрицание). Используются для побитовой обработки данных, масок и флагов.
Сдвиги: SHL/SAL (сдвиг влево), SHR (логический сдвиг вправо), SAR (арифметический сдвиг вправо). Эффективно заменяют умножение или деление на степени двойки.

Результат этих операций часто влияет на регистр флагов (EFLAGS/RFLAGS в x86), устанавливая биты «нулевой результат», «переполнение» или «отрицательное значение».

2. Инструкции пересылки данных (Data Movement)

Самая частая группа команд. Она не изменяет данные, а перемещает их между регистрами, памятью и портами ввода-вывода.

MOV / LDR / STR: Копирование значения из источника в приемник.
PUSH / POP: Работа со стеком. PUSH помещает данные в вершину стека, POP извлекает их. Критически важны для вызова функций и сохранения контекста.
LEA (Load Effective Address): Вычисление адреса памяти без фактического обращения к ней. Часто используется для быстрой арифметики указателей.

Частая ошибка новичков: Путать операцию присваивания в языках высокого уровня с пересылкой. В ассемблере MOV A, B копирует значение из B в A, но не связывает их навсегда. Изменение A впоследствии не затронет B.

3. Инструкции управления потоком (Control Flow)

Без этих команд программа выполнялась бы строго линейно, сверху вниз. Они позволяют создавать условия, циклы и вызывать функции.

Безусловные переходы: JMP (Jump) или B (Branch). Процессор просто переходит к указанному адресу памяти.
Условные переходы: JE (Jump if Equal), JNE (Jump if Not Equal), JG (Jump if Greater). Выполняются только если определенные флаги в регистре состояния установлены предыдущей арифметической операцией (например, CMP).
Вызов процедур: CALL и RET. CALL сохраняет адрес возврата в стек и переходит к подпрограмме. RET восстанавливает адрес из стека и возвращает управление.

4. Инструкции работы с памятью (Memory Access)

В архитектурах типа RISC (ARM) доступ к оперативной памяти возможен только через специальные команды загрузки и сохранения. В x86 многие арифметические команды могут работать с памятью напрямую, но это замедляет выполнение.

LOAD (Загрузка): Чтение данных из ячейки памяти в регистр.
STORE (Сохранение): Запись данных из регистра в ячейку памяти.

Скорость этих операций сильно зависит от кэша процессора (L1, L2, L3). Попадание в кэш (Cache Hit) происходит за наносекунды, промах (Cache Miss) может стоить сотен тактов.

5. Системные и привилегированные инструкции

Обычные приложения не могут использовать эти команды напрямую. Они доступны только ядру операционной системы или драйверам.

Прерывания: INT, SYSCALL. Передача управления операционной системе для выполнения защищенных операций (чтение файла, выделение памяти).
Управление режимами: Переключение между пользовательским режимом (Ring 3) и режимом ядра (Ring 0).
Работа с TLB и кэшем: Инвалидация таблиц трансляции адресов, очистка кэша.

Сравнение инструкций в x86-64 и ARMv8

Чтобы увидеть разницу подходов, сравним, как одна и та же логика реализуется в разных архитектурах.

Действие	x86-64 (CISC)	ARMv8-A (RISC)	Комментарий
Сложение	`ADD RAX, RBX`	`ADD X0, X0, X1`	В ARM нужно явно указать три регистра (результат, операнд1, операнд2).
Загрузка из памяти	`MOV RAX, [addr]`	`LDR X0, [X1]`	x86 позволяет обращаться к памяти внутри арифметики, ARM требует отдельной загрузки.
Сравнение	`CMP RAX, RBX`	`CMP X0, X1`	Обе архитектуры используют вычитание для установки флагов, не сохраняя результат.
Условный переход	`JE label`	`B.EQ label`	Синтаксис различается, но логика проверки флагов идентична.

Как инструкции влияют на производительность

Современные процессоры не выполняют инструкции по одной. Они используют конвейер (pipeline) и внеочередное исполнение (out-of-order execution).

Выборка (Fetch): Процессор считывает несколько инструкций вперед.
Декодирование (Decode): Сложные команды x86 разбиваются на микрооперации.
Исполнение (Execute): Микрооперации распределяются по свободным исполнительным устройствам (портам).
Запись (Write-back): Результаты сохраняются в регистры.

Оптимизация: Чтобы код работал быстро, избегайте зависимостей по данным (data hazards). Например, если следующая команда использует результат предыдущей, процессору придется ждать. Группируйте независимые инструкции вместе, чтобы загрузить все исполнительные блоки.

Частые ошибки при изучении ассемблера

Игнорирование выравнивания памяти: Обращение к данным по адресам, не кратным размеру слова (например, чтение 4 байт по нечетному адресу), может вызвать исключение или резкое падение производительности.
Непонимание энданесса: Порядок байтов в памяти (Little Endian в x86/ARM против Big Endian в сетевых протоколах) приводит к ошибкам интерпретации многобайтовых чисел.
Переполнение стека: Бесконечная рекурсия или слишком большие локальные массивы могут исчерпать память стека, что приведет к краху программы (Stack Overflow).

FAQ

В чем разница между командой и микрооперацией? Команда — это то, что написано в коде программы (инструкция ISA). Микрооперация (µop) — это внутреннее представление этой команды, на которое процессор разбивает её для исполнения. Одна сложная команда x86 может превратиться в 3–4 микрооперации.

Почему нельзя просто писать программы на ассемблере? Это возможно, но непрактично для больших проектов. Ассемблер требует ручного управления регистрами и памятью, он непереносим между архитектурами (код для Intel не пойдет на ARM) и крайне трудоемок в поддержке. Компиляторы современных языков (C++, Rust) часто генерируют более оптимальный код, чем человек.

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