Intel 8087: как FXCH из одной строки ассемблера превращается в 14 шагов микрокода

Что произошло, почему это важно и что взять в работу.

Ретро-разбор микрокода 8087 наглядно показывает цену «тривиальных» абстракций — полезный аргумент для разработчиков и техлидов, объясняющих сложность простых операций.

Связанные услуги: каталог, AI Boost Team, стать клиентом.

Одна строка в ассемблере, четырнадцать шагов внутри кристалла

Есть операции, которые программист пишет не задумываясь. Обменять значения двух регистров — из этой категории. В ассемблере x87 это буквально FXCH и номер регистра. Секунда набора, ноль размышлений. Команда Opcode Collective вскрыла корпус сопроцессора Intel 8087, сняла кристалл под микроскопом и вытащила содержимое ПЗУ микрокода. Оказалось, что та же самая FXCH внутри чипа разложена на 14 шагов микрокода.

Чип 1980 года. Сорок с лишним лет он лежит в музеях, на полках коллекционеров и в старых платах, которые кто-то до сих пор чинит. И вот его внутренности вытащили на свет: 1648 микроинструкций по 16 бит каждая. Это не абстрактная цифра из даташита, а физически считанное содержимое ПЗУ.

Автор с командой Opcode Collective вскрыл корпус 8087, снял кристалл под микроскопом и вытащил содержимое ПЗУ микрокода — 1648 микроинструкций по 16 бит каждая.

Дальше начинается самое интересное для тех, кто сегодня пишет код и объясняет заказчику, почему «простая» доработка занимает неделю.

Что вообще такое микрокод и почему он тут решает

Процессор не исполняет инструкции ассемблера напрямую. Между вашей строкой и транзисторами стоит слой — микрокод. Это набор примитивных операций, из которых собирается каждая команда. Для простых вещей вроде сложения целых чисел слой тонкий. Для операций с плавающей точкой — толстый, потому что там свои правила: нормализация, обработка особых случаев, флаги.

8087 — первый массовый сопроцессор для x86. Он появился, когда математика с плавающей точкой на основной машине была болью: либо программная эмуляция, либо дорогие специализированные решения. 8087 дал стандарт, который потом унаследовал x87 и дожил до сегодняшних процессоров в виде legacy-режима.

Внутри этого чипа регистры организованы как стек. Не восемь независимых ячеек, а структура, где верхушка меняется, а порядок имеет значение. И вот тут FXCH перестаёт быть «поменять два числа местами».

Почему swap двух регистров — это не swap двух регистров

Вот как выглядит наивная картина: есть регистр A, есть регистр B, берём и меняем содержимое. Две операции чтения, две записи, готово. В реальном 8087 всё иначе, и причин минимум три.

Первая — стековая организация. Регистры не адресуются напрямую по фиксированным номерам. FXCH работает с относительными позициями в стеке. Значит, нужно пересчитать, что где лежит, и не сломать указатель вершины.

Вторая — теги и пустые регистры. У каждого регистра есть тег состояния: занят, пуст, содержит особое значение. Если один из обмениваемых регистров пуст, обмен не должен молча выдать мусор. В микрокоде FXCH есть подмена пустых регистров на NaN — то есть чип честно помечает результат как «не число», а не отдаёт случайные биты.

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

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

Что это меняет для тех, кто пишет код сегодня

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

Смотрите на аналогии из сегодняшнего дня. Один вызов API в коде — за ним балансировщик, ретраи, таймауты, деградация, логирование. Одна строка SQL — за ней планировщик, индексы, блокировки, изоляция транзакций. Одна функция в вашем сервисе — за ней миграции, обратная совместимость, флаги, мониторинг. Снаружи «просто поменять местами», внутри — четырнадцать шагов, половина из которых про то, что будет, когда что-то пойдёт не так.

Это не оправдание медленной разработки. Это инструмент разговора. Когда техлид объясняет, почему задача на день растянулась на три, у него теперь есть предметный пример: swap двух чисел в железе 1980 года потребовал 14 шагов микрокода, потому что кто-то заранее подумал про пустые регистры и исключения. Ваш сервис тоже кому-то придётся поддерживать, и эти проверки — не бюрократия, а страховка.

Где проходит граница разумного

Обратная сторона тоже есть, и её стоит проговорить. Микрокод 8087 писали под конкретную архитектуру, где лишний шаг стоил такта, а такт — денег. 1648 микроинструкций по 16 бит — это компромисс между полнотой обработки и объёмом ПЗУ, который в 1980 году был дорогим. Инженеры не добавляли шаги ради красоты, они закрывали реальные дыры.

В софте соблазн другой: навесить проверок «на всякий случай», потому что добавить строку дешевле, чем подумать. Разница принципиальная. В железе каждый шаг микрокода обоснован физикой и стандартом. В сервисе каждая проверка должна обосновываться сценарием, который действительно случается. Иначе получается не 8087, а слоёный пирог, который никто не может прочитать.

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

Что сделать на этой неделе

1. Возьмите одну задачу из бэклога, которую все считают «тривиальной», и распишите её внутренние шаги: что за абстракцией, какие состояния, какие сценарии отказа.
2. Найдите в своём коде место, где «простой» вызов прячет цепочку из пяти и более операций. Проверьте, все ли они действительно нужны.
3. Если объясняете заказчику сроки — покажите ему эту аналогию. Swap двух чисел, 14 шагов микрокода. Работает лучше, чем «сложная архитектура».
4. Проверьте, нет ли у вас проверок «на всякий случай», под которые нет сценария. Удалите хотя бы одну.
5. Заведите привычку: перед оценкой задачи спрашивать «что внутри у этой простоты». Пять минут разговора экономят три дня переделок.

8087 сорок с лишним лет пролежал в железе, и только сейчас его микрокод вытащили под микроскоп. Урок не в том, что всё сложно. Урок в том, что сложность почти всегда спрятана, и хороший инженер отличается от посредственного тем, что лезет смотреть, а не верит обёртке.