Что обнаружила Silica

Эти результаты получены с использованием ISA_A64_xml_A_profile-2026-06_mc (Armv9.6-A). Перебор был разбит на 256 независимо проверенных фрагментов, охватывающих все 2³² кодировок.

Согласие со спецификацией в вопросе о том, является ли кодировка валидной:

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

Текст инструкций

Сравнение отрендеренных мнемоник и операндов обходится гораздо дороже, чем запись бита валидности. Поэтому Silica оценивает текст на детерминированной выборке из 1 000 000 слов, взятых из 1 266 064 016 кандидатов, где все четыре оракула считают кодировку валидной. Это выборочный результат, и он намеренно держится отдельно от исчерпывающих данных по валидности.

Выборка полезна для выявления работы по нормализации и представлению; она не претендует на исчерпывающий охват всех текстовых отрисовок.

Изучите результаты

Движок перебора создаёт большой исследовательский набор данных. silica-scope — это сопутствующее терминальное приложение, делающее этот набор данных доступным. Оно открывает готовый каталог артефактов Silica и позволяет просматривать ключевые метрики, изучать карту кодировок из 256 фрагментов, фильтровать расхождения, искать любое 32-битное слово и читать готовые к отправке воспроизводимые примеры.

Установите его из PyPI с Python 3.11 или новее:

Затем запустите его из рабочей копии Silica или укажите каталог артефактов:

silica-scope — это чистый Python-ридер без зависимостей от нативных декодеров. Он не запускает исчерпывающий перебор и корректно обрабатывает меньший опубликованный набор артефактов репозитория. См. руководство по терминальному ридеру для описания панелей, управления с клавиатуры и параметров обнаружения артефактов.

Как это работает

Высоконагруженный путь написан на Rust и вызывает каждый декодер в своём процессе. Он хранит один бит на кодировку для каждого оракула, что делает исчерпывающее сравнение компактным, а расхождение — прямой операцией над битовой картой. Падения бисекцируются до точного слова инструкции.

Python отвечает за компиляцию спецификации, нормализацию, отчётность и независимый слой верификации. Схемы артефактов, правила выборки и известные ограничения описаны в docs/formats.md.

Воспроизведение работы

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

XML-спецификация Arm не включена в репозиторий из-за её лицензии. silica doctor сообщает, где Silica ожидает её найти, и о любых других отсутствующих предварительных требованиях.

Чтобы запустить полный конвейер из подготовленной рабочей копии:

Это полный перебор 2³², а не быстрый дымовой тест. Он создаёт скомпилированный оракул, записи фрагментов, битовые карты валидности, корпус расхождений, опубликованные метрики, воспроизводимые примеры и стабильный хеш результата SHA-256.

Доверяй, но проверяй

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

Зафиксированные версии декодеров и заново вычисленный хеш результата делают отдельные запуски сравнимыми. Цели верификации и их текущий статус записаны в GOALS.yml.

Область охвата

В настоящее время Silica охватывает декодирование базового A64 и Advanced SIMD. SVE, SVE2, SME, A32/T32, RISC-V, круговые проверки ассемблера и общее тестирование выполнения находятся за пределами исследования v1.

Ближайший источник вдохновения — Sandsifter, который исследует пространство инструкций переменной длины x86. Silica применяет тот же дух систематического скептицизма к AArch64, где кодировки фиксированной ширины и независимая спецификация позволяют провести полное, выверенное сравнение.