Машинный код и ассемблер: на каком языке думает процессор

Машинный код — это родной язык процессора, состоящий из чисел; ассемблер — те же команды, но записанные понятными словами.

Процессор не «понимает» Python или C. Он умеет ровно одно: брать число-команду, выполнять крошечное действие и переходить к следующей. Вся мощь компьютера собрана из миллиардов таких шажков в секунду.

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

Машинный код: команды-числа

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

Например, команда «сложи содержимое двух регистров» может выглядеть как байт 0x01, за которым идут байты, указывающие, какие именно регистры. Для человека это нечитаемый поток. Запоминать, что 0x01 — это сложение, а 0x29 — вычитание, невозможно. Поэтому придумали ассемблер.

Ассемблер: те же команды, но словами

Ассемблер — это язык, в котором каждой машинной команде соответствует короткое мнемоническое слово. Вместо 0x01 вы пишете ADD, вместо «перепиши число» — MOV, вместо «перейди» — JMP. Это почти один к одному отражает машинный код, просто в читаемом виде.

MOV  AX, 5      ; положить число 5 в регистр AX
ADD  AX, 3      ; прибавить к AX число 3
                ; теперь в AX лежит 8

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

Регистры: рабочий стол процессора

Чтобы понять ассемблер, нужно знать про регистры. Это крошечные ячейки памяти прямо внутри процессора — их единицы или десятки, и они невероятно быстрые. Процессор не умеет складывать числа «в памяти»: сначала он загружает их в регистры, выполняет операцию там, и только потом, если нужно, кладёт результат обратно в память.

Регистры — это рабочий стол. Память — это шкаф. Чтобы что-то сделать с бумагой из шкафа, вы достаёте её на стол, работаете, убираете обратно. Большая часть команд ассемблера — это как раз перекладывание данных между «столом» и «шкафом» и операции на столе.

Как это всё бежит

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

Зачем это сегодня

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

Понимание производительности. Зная, что обращение к памяти медленнее работы с регистрами, вы понимаете, почему одни алгоритмы быстрее других.
Отладка на глубоком уровне. Когда программа падает «непонятно почему», иногда нужно посмотреть, во что превратился код, — а это ассемблер.
Реверс-инжиниринг и безопасность. Анализ вирусов, поиск уязвимостей, изучение чужих программ без исходников — всё это работа с машинным кодом.

Главная мысль

Любая программа — браузер, игра, операционная система — в конечном счёте превращается в поток этих простейших команд. Высокоуровневые языки существуют не потому, что процессор стал умнее, а потому, что люди придумали слои абстракции, избавляющие нас от ручного перекладывания чисел между регистрами. Но в самой глубине по-прежнему живёт он — поток команд-чисел, который процессор выполняет одну за другой, не зная, что собирает из них целый мир.