Кратко

  • До изготовления Acorn проверяла архитектуру на поведенческой модели, тестах команд, более быстрых симуляторах, интерпретаторах, портированном BBC BASIC и системе второго процессора Tube.
  • Sophie Wilson спроектировала систему команд и руководила проверкой; Steve Furber написал первую модель на BBC BASIC и разработал микроархитектуру; другие инженеры отвечали за верификацию, компиляторы, физический проект и изготовление.
  • Первый запуск подтвердил согласие наблюдаемого пути от ISA до платы и программы. Он не подтвердил полное покрытие, энергопотребление, временные запасы, выход годных, квалификацию, массовое производство, экосистему или рынок.

У кристалла уже был эталон

В устной истории Computer History Museum Wilson описывает момент без мифологии. Образцы вернулись от VLSI Technology, их вставили в подготовленную плату второго процессора, Tube OS загрузилась, BBC BASIC выполнился. Простая команда дала ожидаемый результат, и команда открыла шампанское.

Фраза «заработал с первого раза» скрывает все, что сделало наблюдение читаемым. ARM уже существовал в исполняемых представлениях. Тесты знали ожидаемые состояния. ПО писали для еще не изготовленного процессора. Плата была готова. Физический образец встретился не с догадкой, а с набором сравнимых ожиданий.

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

Точная атрибуция разделяет уровни

Wilson сама говорит, что первую поведенческую модель ARM на BBC BASIC написал Steve Furber. Она работала всего со скоростью нескольких тактов в секунду. Wilson разработала систему команд и руководила большой группой, писавшей тестовые программы, проверочное ПО и интерпретаторы. Royal Society также выделяет ее работу над ISA и совместный вклад Wilson и Furber.

ISA, модель и кристалл — не одно и то же. ISA задает видимый программам контракт. Модель делает этот контракт исполняемым. Микроархитектура и блочные спецификации Furber описывают способ реализации. Схемотехника и физический дизайн превращают этот способ в производимый объект.

Wilson называет Hugo Tyson, Jez Wills, Jon Thackray и David Seal среди авторов верификационного и проверочного ПО и интерпретаторов. Arm позднее назвала проверку и подтверждение ISA главным вкладом Seal в Project A. Lee Smith и Harry Meekings руководили работой над компиляторами. Карта авторства одновременно показывает, на каких границах искали несоответствия.

От медленного оракула к реальным программам

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

Затем появились быстрые симуляторы команд. По воспоминаниям Wilson, на втором процессоре 6502 они выполняли сотни тысяч моделируемых команд ARM в секунду. Это позволило перейти от коротких случаев к BBC BASIC, Tube OS, интерпретаторам и большему объему программ. Компиляторы создавали комбинации команд, которые один автор тестов не обязан был предвидеть.

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

Граница физического проекта

Furber описывает короткие спецификации блоков ALU, файла регистров и других узлов. VLSI-группа Acorn превращала их в схемы и физическую топологию. По его памяти, непосредственно над ARM сначала работали около трех человек; затем группа выросла для четырехкристального набора будущей системы.

VLSI Technology предоставляла инструменты и производство. Устная история компании различает Wilson и Furber как архитекторов, группу физической реализации и фабрику. Между описанием блока и пластиной лежат схемы, размещение, трассировка, маски и технологический процесс. Первый запуск показал, что на наблюдаемом пути эти переводы не разрушили смысл.

Hermann Hauser дал организационную поддержку, позволив исследовательской идее стать формальным проектом. Поздняя история о нехватке денег и людей объясняет давление в сторону компактности, но не доказывает правильность. Доказательство создали инженеры и сравнимые артефакты.

Что именно подтвердил запуск

Загрузка Tube показала, что процессор выполняет значительную часть ожидаемого поведения и взаимодействует со средой второго процессора. BBC BASIC добавил сложный и хорошо известный программный путь. ISA, модель, симуляторы, портированное ПО, микроархитектура, физический проект, фабрика и плата сошлись в видимом исполнении программы.

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

Wilson отдельно говорит о последующей квалификации, полной машине Acorn и развитии ОС. Официальная история Arm отделяет ARM2, Archimedes, учреждение компании в 1990 году и модель лицензирования. Мировой рынок был более поздним результатом, а не скрытым содержанием первой команды BASIC.

Простота снижает риск, но не отменяет проверку

ARM1 содержал около 25 тысяч транзисторов. Малый проект уменьшает число взаимодействий и делает устройство понятнее. Это преимущество, но не гарантия первого прохода. Простые RISC-проекты тоже ошибаются, а последующие поколения создают новые риски.

Главное в том, что команда не использовала простоту как повод проверять меньше. Она переносила неопределенность в период, когда модель, тест или спецификацию исправить дешевле, чем маски и пластины. Успешный первый кристалл не доказал легкость процессорного проектирования. Он доказал, что множество неясных ожиданий уже стали исполняемыми сравнениями до того, как исправление стало физическим и дорогим.

Источники