256 КБ кода, чтобы обнулить 64 КБ памяти — починили прямо в эмуляции

Когда эмулятор решает, что ваш код слишком позорный, чтобы его исполнять

Обычная работа бинарного транслятора состоит в точном воспроизведении: исполнить чужие инструкции ровно как написано, просто на другом процессоре. Свежий Old New Thing Рэймонда Чена описывает редкий момент, когда команда нарушила это правило, потому что код был слишком ужасен, чтобы его терпеть.

Арифметика, от которой передёргивает

Программе нужно было выделить на стеке около 64 КБ и обнулить их. Стандартный рецепт такой: проба стека, одно вычитание из указателя стека, затем плотный цикл инициализации. Этот компилятор вместо этого полностью развернул цикл в 65 536 отдельных инструкций записи байта. По 4 байта каждая — это 256 килобайт машинного кода ради инициализации 64 килобайт данных. Чен, который признаёт: «Я не знаю, к какому именно процессору относилась эта история», рассказывает, что команда эмулятора добавила логику распознавания: когда транслятор узнавал эту чудовищную функцию, он заменял последовательность на 256 КБ компактным циклом, который и должен был написать компилятор, сворачивая цикл обратно прямо при трансляции.

Инсайдеры подтверждают: это не единичный случай

Практика, когда слои совместимости тихо латают кривой софт, уходит глубоко, и человек, который это застал, написал об этом в обсуждении:

«Люди из Transmeta рассказывали мне, как их трансляторы были набиты оптимизациями под частные случаи, чтобы чинить ужасы, обнаруженные в самой Microsoft Windows.» — комментатор с 24 тыс. кармы, пересказывающий инженеров Transmeta

Второй инженер привёл пример того же класса бедствий: игра вызывала fread(data, 1, 65536, fptr) вместо fread(data, 65536, 1, fptr), превращая одно чтение в 65 000 однобайтовых и растягивая 15-секундную загрузку до минут, как только его слой подмены перехватывал вызовы ОС.

Может, уродливый код и был быстрым кодом

Самое полезное возражение поставило под сомнение саму идею «плохо». Развёртывание циклов и существует, чтобы убрать накладные расходы на ветвление и счётчик:

«На первый взгляд 256 КБ ради инициализации меньшего объёма кажется глупостью, но что, если так было быстрее?» — комментатор, бросающий вызов недостающему „зачем“ в статье

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