ГЭ 645
Мейнфрейм 645 GE был развитием GE 635 для использования в проекте Multics . Это был первый компьютер, в котором реализована настраиваемая аппаратно защищенная система памяти. Он был разработан для удовлетворения требований Project MAC по разработке платформы, на которой будет размещена предлагаемая ими разделения времени операционная система следующего поколения ( Multics ), а также для удовлетворения требований теоретической компьютерной утилиты . [1] Эта система была первой по-настоящему симметричной многопроцессорной машиной, использовавшей виртуальную память , а также одной из первых машин, реализовавших то, что теперь известно как резервный буфер трансляции . [2] [3] [4] основополагающий патент на который был выдан Джону Кулеру и Эдварду Глейзеру. [5]
General Electric первоначально публично анонсировала GE 645 на осенней совместной компьютерной конференции. [1] [3] в ноябре 1965 года. На последующей пресс-конференции в декабре [6] [7] в том же году было объявлено, что они будут работать над «широкой коммерческой доступностью». [8] системы. Однако впоследствии в конце 1966 года они сняли его с активного маркетинга. [8] Всего в период с 1967 по 1975 год как минимум на 6 объектах использовались системы GE 645. [9]
Конфигурация системы
[ редактировать ]Базовая конфигурация системы состояла из комбинации 4 базовых модулей. [4] [10] это были:
- Процессор
- Системный контроллер
- Универсальный контроллер ввода-вывода (GIOC)
- Блок расширенной памяти (EMU)
Модули системного контроллера (SCM) фактически выступали в качестве сердца системы. Это были пассивные устройства, которые подключались к каждому активному устройству (процессору, GIOC, EMU) и обеспечивали следующее: [4] [11]
- Базовая память — память емкостью 1 микросекунды и емкостью 32 КБ, 64 КБ или 128 КБ 36-битных слов.
- Централизованная точка пересылки сигналов управления от одного активного модуля к другому.
- Системные часы и возможность выдавать прерывания процессорам.
По сравнению с остальной частью серии 600, в 645 не использовались стандартные IOC (контроллеры ввода-вывода) для ввода-вывода. Для связи он также не использовал DATANET-30 внешний процессор . Вместо этого оба набора функций были объединены в один блок, называемый GIOC (универсальный контроллер ввода-вывода), который предоставлял выделенные каналы как для периферийных устройств (дисков/лент), так и для терминального ввода-вывода. [4] [12] GIOC действовал как активное устройство и был напрямую подключен к памяти через выделенные каналы к каждому системному контроллеру, который присутствовал в определенной конфигурации.
Блок расширенной памяти, хотя и назывался барабаном , на самом деле представлял собой большой жесткий диск с фиксированной головкой, по одной головке на дорожку. [13] это был OEM-продукт от Librascope . [13] [14] EMU состоял из 4096 дорожек, обеспечивающих память емкостью 4 МВт (мегаслова) (что эквивалентно 16 МБ). Каждая дорожка имела отдельную головку чтения/записи, они были организованы в группы по 16 «наборов дорожек», которые используются для чтения/записи сектора. Сектор является единицей распределения данных по умолчанию в EMU и состоит из 80 слов, из которых 64 слова являются данными, а остальные 16 используются в качестве защитной полосы. [4] Средняя скорость передачи данных между EMU и памятью составила 470 000 слов в секунду, все передачи имели ширину 72 бита (два слова), при этом для передачи 4 слов требовалось 6,7 мкс. [4] Устройство имело скорость вращения 1725 об/мин, что обеспечивало среднюю задержку 17,4 миллисекунды. [4]
Компонент | Маленький | Типичный | Большой |
---|---|---|---|
Консоль конфигурации системы | 1 | 1 | 2 |
Процессор | 1 | 2 | 4 |
ГИОК | 1 | 2 | 3 |
Системные контроллеры
Общая емкость (слов) |
2
128 тыс. |
4
256 тыс. |
8
1024К |
Блок расширенной памяти
Общая емкость (слов) |
1
4096К |
1
4096К |
1
4096К |
Фиксированный диск (Слова) | 33М | 67М | 134М |
Магнитные карты (слова) | -- | 113М | 226М |
Манипуляторы для магнитной ленты | 4 | 16 | 32 |
Принтеры | 2 | 4 | 6 |
Кардридеры | 1 | 2 | 3 |
Карточные пробойники | 1 | 2 | 2 |
Перфорированная лента | -- | 1 | 2 |
Каналы для TTY | 64 | 192 | 384 |
Каналы для линий голосовой связи
для удаленных терминалов, таких как такие как ДАТАНЕТ-760/GE-115 |
-- | 12 | 18 |
Архитектура
[ редактировать ]Режимы процессора
[ редактировать ]GE-645 имеет два режима выполнения инструкций (главный и подчиненный), унаследованные от GE-635, однако он также добавляет еще одно измерение, имея два режима адресации памяти (абсолютный и добавляющий). Когда процесс выполняется в абсолютном режиме, адресация ограничена двумя 18 слова памяти и любые инструкции выполняются в режиме Master. Для сравнения, режим добавления вычисляет адрес, используя «Добавление слов» с адресным пространством 2. 24 слов, а выполнение инструкций происходит либо в режиме Master, либо в режиме подчиненного устройства. [15]
Ведомый режим
[ редактировать ]По умолчанию это обычный режим, в котором процессор должен работать в любой момент времени. Почти все инструкции будут выполняться в этом режиме, за исключением небольшого набора привилегированных инструкций, которые не могут выполняться в этом режиме. Выполнение таких инструкций вызовет недопустимую ошибку процедуры, а также запрещена возможность запрета прерываний (бит 28 командного слова). Формат адресов команд осуществляется посредством процесса добавления.
Мастер-режим
[ редактировать ]В этом режиме процессор может выполнять все инструкции и при этом блокировать прерывания. Как и в режиме подчиненного устройства, форма формирования адреса по умолчанию осуществляется через процесс добавления.
Абсолютный режим
[ редактировать ]В этом режиме могут выполняться все инструкции и предоставляется полный доступ к любым привилегированным функциям оборудования. Прерывания могут быть запрещены, а выборка инструкций ограничена двумя 18 (18-битный) абсолютный адрес, что ограничивает процессор возможностью доступа только к нижним 256 КВт физической памяти ядра. Процессор перейдет в этот режим в случае неисправности или прерывания и останется в нем до тех пор, пока не выполнит команду передачи, адрес операнда которой был получен в процессе добавления.
Режим добавления
[ редактировать ]По умолчанию это обычный режим адресации памяти, в этом режиме обычно работают как главный, так и подчиненный режимы. Доступ к косвенным словам и операндам осуществляется через механизм добавления посредством помещения 1 в бит 29 исполняемой инструкции. Таким образом, эффективные адреса либо добавляются к базовому адресу, либо смещение привязывается к базовому адресу.
Функции | Режим | ||
---|---|---|---|
Раб | Владелец | Абсолютный | |
Привилегированные инструкции | Нет | Да | Да |
Запрет прерывания (бит 28 командного слова) | Нет | Да | Да |
Адрес для получения инструкций | Добавление | Добавление | Абсолютный |
Адрес для выборки операнда | Добавление | Добавление | Управляется битом 29 командного слова |
Ограничение доступа к другим сегментам или страницам | Некоторый | Некоторые (менее ограничительные, чем подчиненные) | Н/Д |
Функциональные единицы
[ редактировать ]Процессор 645 был разделен на четыре основных функциональных блока: [15]
- Добавляемый блок:
- Управляет вводом-выводом данных из памяти
- Управляет выбором памяти и чередованием
- Выполняет добавление в память
- Распознавание неисправностей управления
- Есть ли последовательность включения/выключения питания
- Блок ассоциативной памяти:
- Состоит из ассоциативной памяти, состоящей из 16 60-битных регистров. [16]
- Регистры указывают на последний использованный сегмент (слово дескриптора сегмента) или на последнюю использованную страницу (таблица страниц).
- Выполняет функцию того, что теперь будет классифицироваться как TLB.
- Блок управления:
- Выполняет все функции управления
- Выполняет модификацию адреса
- Управляет режимом процессора (главный, подчиненный, абсолютный)
- Распознавание/обработка прерываний
- Декодирование опкода
- Оперативное подразделение:
- Выполняет дробное и целочисленное деление и умножение.
- Выполняет автоматическое выравнивание чисел с плавающей запятой для сложения и вычитания.
- Выполняет инвертированное деление чисел с плавающей запятой.
- Выполняет автоматическую нормализацию результатов с плавающей запятой.
- Выполняет смены.
- Выполняет загрузку и сохранение регистра индикатора.
- Выполняет загрузку и уменьшение регистра таймера.
Одним из ключевых отличий от GE 635 было добавление «добавляющего блока» (APU), который использовался для реализации гибридной модели виртуальной памяти «Постраничная сегментация» . APU также использовался для реализации одноуровневого хранилища , которое является одной из фундаментальных абстракций, вокруг которых построен Multics. Формат команды также был расширен за счет ранее не использовавшегося бита 29, определяющего, использует ли адрес операнда инструкции 18-битный формат (бит 29 = 0) или формат, состоящий из 3-битного адреса базового регистра с 15-битным адресом. битовое смещение (бит 29 = 1). [4] : 18, 22 [15]
Формат инструкции с битом 29, установленным в 1:
1 1 2 2 2 2 3 3 0 2 3 7 8 6 7 8 9 0 5 +---+---------------+---------+-+-+-+------+ |BR | Y | OP |0|I|1| Tag | +---+---------------+---------+-+-+-+------+
- B — поле базового регистра
- Y — поле адреса (15 бит), адресация 32 КВт.
- OP — код операции (9 бит), дополнительный бит 27 — бит расширения кода операции .
- I — бит запрета прерывания.
- Тег указывает тип изменения адреса, который необходимо выполнить; GE 645 поддерживает некоторые дополнительные теги. [4] : 19–20
Базовые регистры адресов
[ редактировать ]У GE 645 было 8 базовых регистров адреса (abr). [17] они могли работать как в «парном», так и в «неспаренном» режимах. [18] Более поздний Honeywell 6180 изменил их на 8 регистров-указателей. Каждый abr имел ширину 24 бита и состоял из 18 бит для адреса и 6 бит для функций управления. [19]
Один бит поля функций управления указывает, где abr является «внутренним» или «внешним». Если abr является внутренним, другое 3-битное подполе поля функций управления указывает другое abr, с которым это abr связано; этот другой abr является внешним: внешний abr содержит номер сегмента в поле адреса, а внутренний abr содержит смещение внутри сегмента, указанного внешним abr. [15] : 4–4 Если инструкция или косвенное слово ссылается на внешний abr, поле адреса в инструкции или косвенном слове используется как смещение в сегменте, указанном внешним abr. Если оно ссылается на внутренний abr, поле адреса в инструкции или косвенном слове добавляется к смещению в abr, и полученное значение используется как смещение в сегменте, указанном внешним abr, с которым соединено внутреннее abr. . [15] : 6–26
Регистры имеют следующие форматы в зависимости от того, как установлен бит 21. [19]
Форматировать как «внешнюю» базу с установленным битом 21:
1 1 2 2 22 0 7 8 0 1 23 +------------------+---+-+--+ | PDW |\\\|1|\\| +------------------+---+-+--+
Форматировать как компонент эффективного «внутреннего» адреса с указателем на «внешнюю» базу, с очищенным битом 21:
1 1 2 2 22 0 7 8 0 1 23 +------------------+---+-+--+ | PY |PB |0|\\| +------------------+---+-+--+
- PDW — это указатель на слово-дескриптор.
- PY — это компонент P эффективного внутреннего адреса «Y».
- PB — указатель на другой базовый регистр, бит 21 = 1.
В Multics abr с четным номером и следующий за ним abr с нечетным номером были объединены в пары. При записи на ассемблере (EPLBSA/ALM) [Примечание 1] стандартная практика Multics заключалась в том, чтобы маркировать эти регистры следующим образом: [20]
- ап на 0 апреля
- аб за 1 апреля
- срок на 2 апр.
- BB за 3 апреля
- LP за 4 апреля
- фунт за 5 апреля
- сп за 6 апр.
- сб за 7 апр.
Схема именования основана на следующем: [21]
- аргументов указатель на список
- b для общей базы
- l для указателя сегмента связи
- s для указателя сегмента стека
8 регистров-указателей в Honeywell 6180 и его преемниках служили той же цели, что и 4 парных базовых регистра в GE-645, ссылаясь на смещение внутри сегмента.
История
[ редактировать ]CTSS был разработан в Вычислительном центре Массачусетского технологического института на базе IBM 709 и впервые был продемонстрирован в ноябре 1961 года. [22] он был модернизирован до 7090 , Впоследствии в 1962 году [23] и, наконец, до 7094 в 1963 году. [24] Это потребовало модификации этих стандартных систем путем добавления ряда RPQ , которые, среди прочего, добавили два банка памяти и переключение банков между режимом пользователя и режимом супервизора, то есть программы, работающие в банке памяти ядра A, имели доступ к инструкциям, которые программы, работающие в B-core-банке этого не произошло. [25]
Формально проект MAC начался с подписания контракта с ARPA 1 июля 1963 года. К октябрю 1963 года они получили специальный 7094 для работы под управлением CTSS, который получил название «Красная машина» из-за наличия красных боковых панелей. [24] Это обеспечит среду разделения времени для Project MAC и впоследствии будет активно использоваться для разработки Multics. В течение этого периода проводилась исследовательская работа над тем, как будет выглядеть замена CTSS и какой тип оборудования потребуется для ее работы. Был сформирован комитет в составе Фернандо Дж. Корбато , Теда Глейзера, Джека Денниса и Роберта Грэма , которому было поручено посетить производителей компьютеров, чтобы оценить уровень интереса к отрасли к участию в тендерах на аппаратную платформу. [26] [27] Было ясно, что Project MAC ищет партнера по разработке, учитывая значительные модификации оборудования, которые потребуются для удовлетворения их требований, которые были указаны как: [28]
- Пользовательские программы, имеющие защиту от чтения/записи.
- Эти привилегированные инструкции не будут доступны программам конечного пользователя.
- По крайней мере, возможность напрямую обращаться к 256кВт памяти.
- Встроенные возможности многопроцессорной обработки, при которых все процессоры имеют эквивалентный функциональный уровень.
- Эффективная поддержка телекоммуникаций, которые могут обрабатывать как обычные телефонные линии, так и высокоскоростные каналы передачи данных, на которых могут работать терминалы с графическим дисплеем, такие как разработанный Массачусетским технологическим институтом Kludge. [29] графический терминал.
- Накопители большой емкости, включая быстрый барабан, который можно использовать в качестве пейджингового устройства.
- Аппаратная поддержка как сегментации, так и подкачки с поддержкой памяти, адресуемой к содержимому (CAM), чтобы уменьшить накладные расходы на виртуальную память.
Они посетили, в частности, компании Burroughs , CDC , DEC , General Electric , IBM и Sperry Univac . Из них наибольший интерес проявили GE и IBM. [26] К лету 1964 года были получены предложения от DEC, IBM и GE, после оценок Технического комитета было принято единогласное решение принять предложение GE по GE 645, которое представляло собой конструкцию, основанную на GE 635, но модифицированную для удовлетворения требований. изложено выше. [28]
Пока оборудование GE 645 проектировалось и отлаживалось в Финиксе, была создана система, позволяющая использовать GE 635 для запуска симулятора, известного как 6.36. [30] чтобы разработка и тестирование Multics могли происходить параллельно. Этот процесс включал создание ленты в системе CTSS, которая будет вводиться в GECOS в системе 635 в Массачусетском технологическом институте, чтобы она могла работать под управлением симулятора 6.36; результирующий вывод будет передан на ленте в CTSS для отладки/анализа. [31] Эта моделируемая среда была заменена первым оборудованием 645 в 1967 году. Операционная система GECOS была полностью заменена Multics в 1969 году с супервизором Multics. [3] разделены защитными кольцами с «воротами», обеспечивающими доступ из пользовательского режима. [32]
Более позднее поколение в виде 645F (F для последующего) не было завершено к моменту продажи подразделения Honeywell и стало известно как Honeywell 6180 . Первоначальный механизм контроля доступа GE/Honeywell 645 оказался неадекватным для высокоскоростного перехвата инструкций доступа, и повторная реализация в 6180 решила эти проблемы. [33] Большая часть этих компьютеров с разделением времени на Multics была установлена на АНБ и аналогичных правительственных объектах. Их использование было ограничено крайними мерами безопасности и имело ограниченное влияние на последующие системы, за исключением защитного кольца. [34]
Аппаратная защита, представленная на этом компьютере и модифицированная на 6180, позже была реализована в компьютерном процессоре Intel 286 в виде четырехуровневого защитного кольца, но четыре кольца оказались слишком громоздкими для программирования и слишком медленными в работе. Архитектура защитного кольца теперь используется только для защиты режима ядра от кода пользовательского режима, как это было при первоначальном использовании 645. [3]
См. также
[ редактировать ]- Серия GE-600
- Honeywell серии 6000
- Мультикс
- Главный компьютер
- Разделение времени
- IBM System/360 Модель 67
Дальнейшее чтение
[ редактировать ]- Органик, Эллиот Ирвинг (1972). Система Мультикс; исследование его структуры . Кембридж, MIT Press. ISBN 978-0-262-15012-5 . Проверено 22 октября 2023 г.
- Уотсон, Ричард В. (1970). Концепции проектирования системы разделения времени . Нью-Йорк [usw], Дюссельдорф: McGraw-Hill. ISBN 978-0070684652 . Проверено 22 октября 2023 г.
- Донован, Джон Дж. (1972). Системное программирование . МакГроу-Хилл. ISBN 978-0-07-017603-4 . Проверено 22 октября 2023 г.
- Фано, Роберт М. (1979). «Проект Мак». В Белзере, Джек; Хольцман, Альберт Г.; Кент, Аллен (ред.). Энциклопедия компьютерных наук и технологий: Том 12 - Распознавание образов: языки структурного описания для надежности компьютерных систем . Нью-Йорк: CRC Press. стр. 339–360. ISBN 978-0-8247-2262-3 . Проверено 2 ноября 2023 г.
- Пью, Эмерсон В.; Джонсон, Лайл Р.; Палмер, Джон Х. (1991). Системы IBM 360 и ранние версии 370 . Кембридж, Массачусетс: MIT Press. ISBN 9780262161237 . Проверено 31 октября 2023 г.
- Олдфилд, Гомер Р. (1996). Король семи гномов: неоднозначный вызов General Electric компьютерной индустрии . Лос-Аламитос, Калифорния: Лос-Аламитос, Калифорния: Издательство IEEE Computer Society. ISBN 978-0-8186-7383-2 . Проверено 5 ноября 2023 г.
- МакГи, Рассел К. (2002). «Мои приключения с гномами: личная история работы с мейнфреймами» . Гугл Документы . Проверено 5 ноября 2023 г.
- Кайслер, Стивен Х. (2020). Компьютерные системы мейнфреймов: General Electric Corporation . Издательство Кембриджских ученых. ISBN 978-1-5275-6116-8 . Проверено 22 октября 2023 г.
Примечания
[ редактировать ]- ^ EPL BootStrap Ассемблер / Язык ассемблера для Multics
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Корбато, Ф.Дж.; Высоцкий, В.А. (30 ноября 1965 г.). «Введение и обзор системы multics» . Материалы осенней совместной компьютерной конференции, состоявшейся 30 ноября — 1 декабря 1965 г., Часть I по XX — AFIPS '65 (Осень, часть I) . Ассоциация вычислительной техники. стр. 185–196. дои : 10.1145/1463891.1463912 . ISBN 9781450378857 . S2CID 11197018 .
- ^ Джон Кулер (зима 1995 г.). «Ядро компьютерной корпорации Black Canyon» (PDF) . IEEE Анналы истории вычислений . 17 (4): 56–60. дои : 10.1109/85.477436 .
- ^ Перейти обратно: а б с д Глейзер, Эл.; Кулер, Дж. Ф.; Оливер, Джорджия (30 ноября 1965 г.). «Системное проектирование компьютера для приложений с разделением времени» . Материалы осенней совместной компьютерной конференции, состоявшейся 30 ноября — 1 декабря 1965 г., Часть I по XX — AFIPS '65 (Осень, часть I) . Ассоциация вычислительной техники. стр. 197–202. дои : 10.1145/1463891.1463913 . ISBN 9781450378857 . S2CID 15819355 .
- ^ Перейти обратно: а б с д и ж г час я дж «Системное руководство GE-645» (PDF) . Дженерал Электрик. Январь 1968 года . Проверено 26 сентября 2023 г.
- ^ Патент США 3412382 , COULEUR JOHN F & GLASER EDWARD L, «Система обработки данных с общим доступом», передан Массачусетскому технологическому институту.
- ^ Смит, Уильям Д. (2 декабря 1965 г.). «Новый компьютер, разработанный в GE», The New York Times . Проверено 20 октября 2023 г.
- ^ «Система разделения времени GE-645» . Цифровой компьютерный журнал . 18 (2). Управление военно-морских исследований - Отдел математических наук: 5–6. 1966.
- ^ Перейти обратно: а б «США против IBM_Exhibit 14971 — Историческое повествование 1960-х годов» (PDF) . стр. 434, 510 . Проверено 21 октября 2023 г.
- ^ «Хронология мультисайта» . multicians.org . Проверено 21 октября 2023 г.
- ^ Кайслер (2020), соч. цит., с. 274
- ^ Кайслер (2020), соч. цит., с. 275
- ^ Оссанна, JF ; Микус, Л.Э.; Дунтен, SD (30 ноября 1965 г.). «Связь и коммутация ввода/вывода в мультиплексной вычислительной системе» . Материалы осенней совместной компьютерной конференции, состоявшейся 30 ноября — 1 декабря 1965 г., Часть I по XX — AFIPS '65 (Осень, часть I) . Ассоциация вычислительной техники. стр. 231–241. дои : 10.1145/1463891.1463916 . S2CID 15847853 .
- ^ Перейти обратно: а б Ван Флек, Том. «Низкое давление в баллоне» . multicians.org . Проверено 29 октября 2023 г.
- ^ «Либразетта, том 10, № 9» (PDF) . Архивировано из оригинала (PDF) 19 мая 2022 года.
- ^ Перейти обратно: а б с д и «СПРАВОЧНОЕ РУКОВОДСТВО ПО ПРОЦЕССОРУ МОДЕЛИ 645» (PDF) . Honeywell Information Systems Inc., май 1972 г. Проверено 26 сентября 2023 г.
- ^ Шредер, Майкл Д. (1971). «Производительность ассоциативной памяти GE-645 во время работы Multics» . Материалы семинара SIGOPS по оценке производительности системы . Ассоциация вычислительной техники. стр. 227–245. дои : 10.1145/800024.808361 . ISBN 9781450373821 . S2CID 44850627 .
- ^ Органик (1972), соч. цит., с. 18
- ^ Грин, Пол. «Multics Virtual Memory — Учебное пособие и размышления» . multicians.org . Проверено 20 декабря 2023 г.
- ^ Перейти обратно: а б Органик (1972), соч. цит., с. 19
- ^ Органик (1972), соч. цит., с. 20-21
- ^ Органик (1972), соч. цит., с. 22-23
- ^ Пью (1991), соч. цит., с. 356
- ^ Корбато, Фернандо Х.; Мервин Даггетт, Марджори; Дейли, Роберт К. (3 мая 1962 г.). «Экспериментальная система разделения времени». состоявшейся 1–3 мая 1962 г. Материалы весенней совместной компьютерной конференции (AIEE-IRE '62 (весна)) , Ассоциация вычислительной техники. стр. 335–344. дои : 10.1145/1460833.1460871 . ISBN 9781450378758 . S2CID 234039583 .
- ^ Перейти обратно: а б Ван Флек, Том. «IBM 7094 и CTSS» . www.multicians.org . Проверено 30 октября 2023 г.
- ^ Крисман, Пенсильвания, изд. (31 декабря 1969 г.). «Совместимая система разделения времени, Руководство программиста» (PDF) . Вычислительный центр Массачусетского технологического института . Проверено 10 марта 2022 г.
- ^ Перейти обратно: а б Деннис, Джек Б. (Джек Боннелл); О'Нил, Джуди Э. (31 октября 1989 г.). «Устное историческое интервью с Джеком Боннеллом Деннисом» . hdl : 11299/107244 . Проверено 31 октября 2023 г.
- ^ Корбато, Ф.Дж. (14 ноября 1990 г.). «Устное историческое интервью с Фернандо Х. Корбато» . hdl : 11299/107230 . Проверено 31 октября 2023 г.
- ^ Перейти обратно: а б Фано (1979), соч. цит., с. 348
- ^ «Коллекция: Массачусетский технологический институт, Лаборатория компьютерных исследований, записи исследований | MIT ArchivesSpace» . archivesspace.mit.edu .
- ^ «GE-635 в проектах MAC и BTL» . multicians.org . Проверено 19 октября 2023 г.
- ^ «Отчет о ходе реализации проекта MAC III, 1966–67» (PDF) . Архивировано из оригинала (PDF) 4 июня 2016 г.
- ^ «Отчет о ходе проекта MAC V, 1966–68» (PDF) . Архивировано из оригинала (PDF) 4 июня 2016 г.
- ^ Майкл Д. Шредер и Джером Х. Зальцер. «Аппаратная архитектура для реализации защитных колец» . Проверено 27 сентября 2012 г.
- ^ Дональд А. Маккензи (2001). Механизация доказательства: вычисления, риск и доверие . Массачусетский технологический институт Пресс. ISBN 0-262-13393-8 .