Berkeley RISC - Berkeley RISC

Berkeley RISC является одним из двух плодотворных исследовательских проектов RISC -основан микропроцессор дизайн происходит под ARPA с Проект СБИС. RISC возглавил Дэвид Паттерсон (кто ввел термин RISC) в Калифорнийский университет в Беркли между 1980 и 1984 гг.[1] Другой проект проходил неподалеку, в Стэндфордский Университет под их MIPS усилия с 1981 года по 1984 год.

Проект Беркли был настолько успешным, что стал именем для всех подобных проектов; даже MIPS станет известен как «процессор RISC». Дизайн Berkeley RISC позже был коммерциализирован Sun Microsystems как SPARC архитектура и вдохновила ARM архитектура.[2]

Концепция RISC

Основная статья: Вычисление с сокращенным набором команд

И RISC, и MIPS были разработаны с осознанием того, что подавляющее большинство программ не используют подавляющее большинство инструкций процессора. В одном расчете[кем? ] было обнаружено, что весь Unix система, когда составлен, использовал только 30% доступных инструкций на Motorola 68000. Большая часть схем ЦП была посвящена декодированию этих инструкций, которые никогда не использовались. Идея RISC заключалась в том, чтобы включить только те инструкции, которые В самом деле использовалось, используя пространство, которое было использовано для удаленных схем для других схем, которые вместо этого могли бы ускорить работу системы.

Для этого RISC сосредоточился на добавлении многих других регистры, небольшие биты памяти, содержащие временные значения, к которым можно очень быстро получить доступ. Это контрастирует с нормальным основная память, доступ к которому может занять несколько циклов. Предоставляя больше регистров и убедившись, что компиляторы действительно их используют, программы должны работать намного быстрее. Кроме того, скорость процессора будет более точно определяться его тактовой частотой, потому что меньше времени будет тратиться на ожидание доступа к памяти. Транзистор вместо транзистора, RISC-дизайн превзойдет обычный ЦП, надеюсь, намного.

С другой стороны, удаляемые инструкции обычно выполняли несколько «подкоманд». Например, ДОБАВИТЬ Инструкция традиционного дизайна обычно бывает нескольких видов: одна, которая складывает числа в двух регистрах и помещает их в третий, другая, которая добавляет числа, найденные в основной памяти, и помещает результат в регистр, и т. д. с другой стороны, включал только один вариант любой конкретной инструкции, ДОБАВИТЬ, например, всегда использовать регистры для всех операндов. Это вынудило программиста написать дополнительные инструкции для загрузки значений из памяти, если необходимо, что сделало программу RISC «менее плотной».

В эпоху дорогой памяти это было серьезной проблемой, особенно потому, что память также была намного медленнее, чем процессор. Поскольку дизайн RISC ДОБАВИТЬ на самом деле потребовалось бы четыре инструкции (две загрузки, добавление и сохранение), машине пришлось бы делать гораздо больший доступ к памяти для чтения дополнительных инструкций, что потенциально могло бы значительно замедлить ее. Это было до некоторой степени компенсировано тем фактом, что в новых конструкциях использовалось то, что тогда было очень большим инструктивным словом 32 бита, позволяя добавлять небольшие константы прямо в инструкцию вместо того, чтобы загружать их отдельно. Кроме того, результаты одной операции часто используются вскоре после этого другой, поэтому, пропуская запись в память и сохраняя результат в регистре, программа не стала намного больше, и теоретически могла бы работать намного быстрее. Например, строка инструкций, выполняющих серию математических операций, может потребовать лишь нескольких загрузок из памяти, в то время как большинство используемых чисел будут либо константами в самих инструкциях, либо промежуточными значениями, оставшимися в регистрах после предыдущих вычислений. В некотором смысле, в этом методе некоторые регистры используются для «теневого копирования» ячеек памяти, так что регистры используются в качестве заместителей для ячеек памяти до их окончательных значений после определения группы инструкций.

Для стороннего наблюдателя не было ясно, что концепция RISC улучшит производительность, а может даже ухудшить ее. Единственный способ убедиться в этом - смоделировать это. Результаты такого моделирования были очевидны; в тесте за тестом каждое моделирование показало огромное общее улучшение производительности от этой конструкции.

Разница между двумя проектами, RISC и MIPS, заключалась в обработке регистров. MIPS просто добавил множество регистров и предоставил компиляторам (или программистам на ассемблере) использовать их. RISC, с другой стороны, добавил схемы к процессору, чтобы «помочь» компилятору. RISC использовал концепцию зарегистрировать окна, в котором весь «регистровый файл» был разбит на блоки, позволяя компилятору «видеть» один блок для глобальных переменных, а другой - для локальных переменных.

Идея заключалась в том, чтобы сделать одну особенно распространенную инструкцию: вызов процедуры, очень легко реализовать. Почти все компьютерные языки использовать систему, известную как запись активации или же кадр стека для каждой процедуры, который содержит адрес, с которого была вызвана процедура, данные (параметры), которые были переданы, и пространство для любых значений результатов, которые необходимо вернуть. В подавляющем большинстве случаев эти кадры небольшие, обычно с тремя или менее входами и одним выходом или без него (а иногда вход повторно используется как выход). Таким образом, в проекте Беркли регистровое окно представляло собой набор из нескольких регистров, достаточное количество, чтобы весь фрейм стека процедур, скорее всего, полностью поместился бы в окно регистров.

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

С другой стороны, такой подход означает, что процедуры с большим количеством локальных переменных проблематичны, а процедуры с меньшим количеством регистров - дорогостоящий ресурс - тратятся впустую. В проекте есть конечное количество окон регистров, например восемь, поэтому процедуры могут быть вложены только на много уровней, прежде чем механизм управления окнами регистров достигнет своего предела; после достижения последнего окна новое окно не может быть настроено для другого вложенного вызова. И если процедуры вложены только на несколько уровней в глубину, регистры в окнах выше самого глубокого уровня вложенности вызовов вообще не могут быть доступны, поэтому они полностью напрасны. Именно работа Стэнфорда над компиляторами заставила их игнорировать концепцию окна регистров, полагая, что эффективный компилятор может лучше использовать регистры, чем фиксированная аппаратная система. (То же самое относится и к умному программисту на ассемблере.)

RISC I

Первая попытка реализовать концепцию RISC изначально была известна как Золото. Работа над дизайном началась в 1980 году как часть курса проектирования СБИС, но тогда сложная конструкция разрушила почти все существующие инструменты проектирования. Команде пришлось потратить значительное количество времени на улучшение или переписывание инструментов, и даже с этими новыми инструментами потребовалось чуть меньше часа, чтобы извлечь дизайн на VAX-11/780.

Окончательный дизайн, известный как RISC I, был опубликован в ACM ISCA в 1981 году. В нем было 44 500 транзисторов, реализующих 31 инструкцию, и регистровый файл, содержащий 78 32-битных регистров. Это позволило иметь шесть регистровых окон, содержащих 14 регистров. Из этих 14 регистров 4 были перекрыты по сравнению с предыдущим окном. Итого получается: 10 * 6 регистров в окнах + 18 глобальных переменных = всего 78 регистров. Секция управления и декодирования команд занимала только 6% кристалла, тогда как в типичном дизайне той эпохи на ту же роль использовалось около 50%. Регистровый файл занимал большую часть этого места.[3]

RISC I также имел двухступенчатую конвейер команд для дополнительной скорости, но без сложной инструкции повторный заказ более современных конструкций. Это создает проблемы с условными переходами, поскольку компилятор должен заполнить инструкцию, следующую за условным переходом (так называемый "слот задержки перехода ") с чем-то, выбранным как" безопасный "(т. е. не зависящим от результата условия). Иногда единственной подходящей инструкцией в этом случае является NOP. Заметное количество более поздних проектов в стиле RISC все еще требует учета задержки перехода.

После месяца проверки и отладки дизайн был отправлен в инновационную МОСИС сервис для производства 22 июня 1981 г., с использованием процесса 2 мкм (2000 нм). Разнообразные задержки вынудили их четыре раза отказаться от масок, и пластины с работающими образцами не были доставлены обратно в Беркли до мая 1982 года. Первый рабочий «компьютер» RISC I (фактически контрольная плата) заработал 11 июня. , чипы показали меньшую производительность, чем ожидалось. Как правило, выполнение инструкции занимает 2 мкс, тогда как в исходной конструкции отводилось около 0,4 мкс (в пять раз быстрее). Точные причины этой проблемы так и не были полностью объяснены. Однако в ходе тестирования было ясно, что некоторые инструкции выполняются с ожидаемой скоростью, что свидетельствует о физической, а не логической проблеме.

Если бы конструкция работала на полной скорости, производительность была бы превосходной. Моделирование с использованием множества небольших программ сравнивало RISC I с частотой 4 МГц и частотой 5 МГц. 32-битный VAX 11/780 и 5 МГц 16 бит Зилог Z8000 это ясно показал. Размер программы был примерно на 30% больше, чем у VAX, но очень близок к размеру Z8000, подтверждая аргумент, что чем выше плотность кода Дизайн CISC на самом деле не был таким впечатляющим. Что касается общей производительности, RISC I был вдвое быстрее VAX и примерно в четыре раза быстрее Z8000. В итоге программы выполняли примерно такой же общий объем доступа к памяти, потому что большой регистровый файл значительно увеличивал вероятность того, что необходимый операнд уже был на кристалле.

Важно поместить это выступление в контекст. Несмотря на то, что дизайн RISC работал медленнее, чем VAX, это не повлияло на важность дизайна. RISC позволил создать настоящий 32-битный процессор на реальном кристалле чипа, используя то, что уже было старой фабрикой. Традиционные конструкции просто не могли этого сделать; с такой большой частью поверхности чипа, предназначенной для логики декодера, настоящий 32-битный дизайн, такой как Motorola 68020 потребовались новые фабрики, прежде чем стать практичным. Используя те же фабрики, RISC I мог бы значительно превзойти конкурентов.

12 февраля 2015 года IEEE установил мемориальную доску в Калифорнийском университете в Беркли в ознаменование вклада RISC-I.[4] Мемориальная доска гласит:

  • Студенты Калифорнийского университета в Беркли спроектировали и построили первый компьютер с сокращенным набором команд СБИС в 1981 году. Упрощенные инструкции RISC-I уменьшили количество оборудования для декодирования команд и управления ими, что позволило получить плоское 32-битное адресное пространство, большой набор регистров и конвейерное исполнение. RISC-I, хорошо сочетающийся с программами C и операционной системой Unix, повлиял на широко используемые сегодня наборы инструкций, в том числе для игровых консолей, смартфонов и планшетов.

RISC II

Хотя разработка RISC I столкнулась с задержками, работа в Беркли уже перешла на новые Синий дизайн. Работа над Blue продвигалась медленнее, чем Gold, как из-за отсутствия насущной потребности сейчас, когда Gold собирался производить, так и из-за изменений в классах и учениках, укомплектовывающих усилия. Такой темп также позволил им добавить несколько новых функций, которые в конечном итоге значительно улучшили дизайн.

Ключевым отличием была более простая схема кеширования, которая устраняла одну строку на бит (с трех до двух), что резко уменьшало размер файла регистров. Это изменение также потребовало гораздо более строгого расписания автобусов, но это была небольшая цена, и для удовлетворения потребностей были ускорены несколько других частей дизайна.

Экономия благодаря новому дизайну была огромной. В то время как Gold содержал всего 78 регистров в 6 окнах, Blue содержал 138 регистров, разбитых на 8 окон по 16 регистров в каждом, с еще 10 глобальными объектами. Такое расширение файла регистров увеличивает вероятность того, что данная процедура может уместить все свое локальное хранилище в регистры, а также увеличивает глубину вложенности. Тем не менее, для большего размера регистрового файла требовалось меньше транзисторов, и окончательный дизайн Blue, представленный как RISC II, реализовал весь набор команд RISC всего с 39 000 транзисторов.

Другим важным изменением было включение «расширителя формата инструкций», который невидимо «преобразовывал с повышением частоты» 16-битные инструкции в 32-битный формат. Это позволяло выполнять инструкции меньшего размера, обычно с одним операндом или без него, например NOPдля хранения в памяти в меньшем 16-битном формате и для упаковки двух таких инструкций в одно машинное слово. Инструкции будут незримо расширены до 32-битных версий, прежде чем они достигнут ALU, что означает, что никаких изменений в основной логике не требовалось. Этот простой метод привел к удивительному увеличению плотности кода на 30%, благодаря чему идентичная в остальном программа на Blue работала быстрее, чем на Gold, из-за меньшего количества обращений к памяти.

RISC II оказался намного более успешным в кремнии и при тестировании превзошел почти все миникомпьютеры почти по всем задачам. Например, производительность варьировалась от 85% скорости VAX до 256% при различных нагрузках. RISC II также оказался в запасе против знаменитого Motorola 68000, тогда считалась лучшей коммерческой реализацией микросхемы и превосходила ее на 140–420%.

Последующие

Работа над оригинальным дизайном RISC закончилась с RISC II, но сама концепция жила в Беркли. Базовое ядро ​​было повторно использовано в SOAR в 1984 году в основном RISC преобразовали для работы Болтовня (точно так же, как можно было бы заявить, что RISC запускает C), а позже в аналогичном СБИС-БАМ это побежало ПРОЛОГ вместо Smalltalk. Еще одно усилие было Шпора, представлявший собой полный набор микросхем, необходимых для создания полного 32-разрядного рабочая станция.

RISC менее известен, но более влиятелен, поскольку является основой для коммерческих SPARC дизайн процессора от Sun Microsystems. Именно SPARC первым ясно продемонстрировал мощь концепции RISC; когда они были отправлены в первый Солнце-4с они превзошли все на рынке. Это привело практически к каждому Unix продавец торопится создать собственный RISC-дизайн, что приводит к созданию таких дизайнов, как DEC Alpha и PA-RISC, пока SGI куплен Компьютерные системы MIPS. К 1986 году большинство крупных производителей микросхем последовали за ними, работая над такими усилиями, как Motorola 88000, Фэйрчайлд Клипер, 29000 драм и PowerPC. 13 февраля 2015 года IEEE установил мемориальную доску в корпорации Oracle в Санта-Кларе.[5] Он читает

  • Sun Microsystems представила SPARC (Scalable Processor Architecture) RISC (Reduced Instruction-Set Computing) в 1987 году. Основываясь на разработках компиляторов и операционных систем UC Berkeley RISC и Sun, архитектура SPARC была легко адаптирована к развивающимся полупроводниковым, программным и системным технологиям и потребностям пользователей. . Архитектура обеспечивала высочайшую производительность, масштабируемость рабочих станций и серверов для инженерных, бизнес-приложений, приложений для Интернета и облачных вычислений.

Методы, разработанные для идеи сокращенного набора инструкций и наряду с ней, также были приняты в последовательно более мощных реализациях и расширениях традиционного "комплекса" архитектура x86. Большая часть транзисторов современного микропроцессора отведена большим кэшам, многие трубопровод этапы суперскалярный отправка инструкций, предсказание ветвления и другие современные методы, которые применимы независимо от архитектуры команд. Количество микросхемы, выделенной для декодирования инструкций в современной реализации x86, довольно невелико, поэтому различие между «сложными» реализациями процессоров и RISC-процессорами стало размытым.

Смотрите также

Примечания

  1. ^ Рейли, Эдвин Д. (2003). Вехи компьютерных наук и информационных технологий. п.50. ISBN  1573565210.
  2. ^ Чиснал, Дэвид (23.08.2010). «Понимание архитектур ARM». Информит. Получено 13 октября 2015.
  3. ^ Джеймс Б. Пик (1983-06-02). "Схема СБИС RISC I" (pdf). Калифорнийский университет в Беркли Беркли, Калифорния, США. С. 13/59.
  4. ^ "памятные вещи [воссоединение RISC-I]". risc.berkeley.edu. Получено 2020-03-19.
  5. ^ Боже, Кельвин. «Oracle получит награду IEEE Milestone Award за архитектуру SPARC RISC». blogs.oracle.com. Получено 2020-03-19.

Рекомендации