Система Plessey 250 - Plessey System 250

Система Plessey 250, также известный как PP250, был первым действующим компьютер реализовать адресация на основе возможностей, чтобы проверить и сбалансировать вычисление как чистый Машина Черча-Тьюринга. Машина Чёрча-Тьюринга - это цифровой компьютер, который инкапсулирует символы в вычислительном потоке как цепочку защищенных абстракций, применяя законы динамической привязки Алонзо Чёрча. Лямбда-исчисление[1] Другие компьютеры на базе возможностей, включая ЧЕРИ и Компьютер CAP гибриды. Они сохраняют инструкции по умолчанию, которые могут обращаться к каждому слову доступной физической или логической (страничной) памяти.[нужна цитата ] Это неизбежная характеристика фон Неймана Архитектура[нужна цитата ] который основан на разделяемой памяти с произвольным доступом и слепом доверии к правам доступа по умолчанию. Например, каждое слово на каждой странице, управляемой диспетчером виртуальной памяти в операционной системе, использующей Блок управления памятью нужно слепо доверять.[нужна цитата ] Использование привилегий по умолчанию среди многих скомпилированных программ позволяет разрастаться коррупции без каких-либо методов обнаружения ошибок. Однако диапазон виртуальных адресов, предоставленных MMU, или диапазон физических адресов, созданных MMU, является совместно используемыми потоками необнаруженных повреждений в пространстве общей памяти от одной программной функции к другой.[нужна цитата ] PP250 снят не только виртуальная память[1] или любой централизованный, предварительно скомпилированный Операционная система но также суперпользователь, удалив все привилегии компьютера по умолчанию. Это привилегии по умолчанию, которые расширяют возможности необнаруженного вредоносного ПО и взлома компьютера. Вместо этого чистый Модель возможностей объекта PP250 всегда требует ключа с ограниченными возможностями для определения полномочий для работы. PP250 отделил двоичные данные от данных возможностей, чтобы защитить права доступа, упростить компьютер и ускорить работу. вывоз мусора. Машина Чёрча инкапсулирует и ограничивает в контексте машину Тьюринга, обеспечивая соблюдение законов Лямбда-исчисление. Типизированные цифровые носители программно управляются совершенно разными машинные инструкции. Изменяемые двоичные данные запрограммированы 28 Набор инструкций RISC за Императивное программирование и Процедурное программирование двоичные данные с использованием регистров двоичных данных ограничены сегментом памяти с ограниченными возможностями. Неизменяемые ключи возможностей, эксклюзивные для шести церковных инструкций, позволяют управлять вычислительным контекстом машины Тьюринга через отдельно запрограммированную структуру Модель возможностей объекта. PP250 был продан коммерчески примерно в 1972 году.

Неизменяемый ключ возможностей представляет именованные переменные лямбда-исчисления. Эта церковная сторона - это Лямбда-исчисление Мета-машина. Другая сторона - это объектно-ориентированная машина, состоящая из двоичных объектов, запрограммированных функций, списков возможностей, определяющих абстракции функций, хранилища для потоков вычислений (приложения лямбда-исчисления) или хранилища списка ключей возможностей в пространстве имен. Законы лямбда-исчисления реализуются церковными инструкциями с микропрограммным доступом к зарезервированным (скрытым) регистрам возможностей. Программное обеспечение постепенно собирается в виде объектно-ориентированного машинного кода, связанного с помощью ключей возможностей. Структура абстракций функций, в том числе для управления памятью, ввода и вывода, планирования и коммуникационных служб, защищена как частные кадры в потоке. Потоки в компьютере встроены или в виде параллельных вычислений, активируемых программно управляемой церковной инструкцией.

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

Проверяя все ссылки на память как смещение в пределах указанного типа base, limit и access, ошибки, ошибки и атаки обнаруживаются регистром ограниченных возможностей типа. Обязательные команды Тьюринга должны связываться с объектами двоичных данных, как определено выбранным регистром возможностей. Права доступа выбранного регистра возможностей должны подтверждать права доступа к данным (чтение двоичных данных, запись двоичных данных или выполнение машинного кода). С другой стороны, функциональные церковные инструкции динамически связаны с ключом возможности в списке возможностей, хранящемся в реестре возможностей с правами доступа (загрузить ключ возможностей, сохранить ключ возможности или ввести список возможностей). Таким образом, объектно-ориентированный машинный код инкапсулируется как абстракция функции в частном пространстве выполнения. Этот PP250 отличается от растянутой архитектуры фон Неймана. Вместо этого, мета-машина лямбда-исчисления масштабирует машину Тьюринга с одной лентой через сеть ДНК, состоящую из ключей возможностей Enter, представляющих функциональные узлы в пространстве имен лямбда-исчисления.

Это регистровая архитектура, с 8 регистрами данных, доступными для программы, и 8 регистрами, доступными для программ. Регистры данных 24-битные; Регистры возможностей являются 48-битными и содержат базовый адрес сегмента, к которому относится возможность, размер сегмента и права доступа, предоставляемые возможностью. Возможности в памяти являются 24-битными и содержат права доступа и индекс в таблице возможностей системы для сегмента, к которому относится возможность; записи в этой таблице содержат базовый адрес и длину сегмента, к которому относится запись.[2]

Инструкции, обращающиеся к памяти, имеют код операции, поле, определяющее операнд регистра данных, поле, определяющее регистр данных, используемый как индексный регистр содержащее смещение в сегменте, поле, определяющее регистр возможностей, относящийся к сегменту, содержащему ячейку памяти, и поле, содержащее базовое смещение в сегменте. Смещение в сегменте - это сумма базового смещения и содержимого индексного регистра.[2]

Программное обеспечение было модульным на основе универсальной модели вычислений и Лямбда-исчисление. Шесть церковных наставлений скрывают детали именованного приложение-функция использование ключей возможностей для типизированных концепций переменных, функций, абстракций, приложений и пространства имен. Вместо привязки инструкций к статической линейной памяти в качестве общей привилегии по умолчанию, используемой вредоносными программами и хакерами, инструкции привязываются к типизированным и защищенным частным цифровым объектам с использованием ключей возможностей в Безопасность на основе возможностей система неизменных математических символов. Результирующий Объектно-ориентированный машинный код достигли многих десятилетий надежного программного обеспечения как математически чистого, промышленного уровня компьютерных наук[1].

История

Изготовлены по Plessey Company plc в объединенное Королевство в 1970 году он был успешно развернут Министерство обороны для Британский армейский проект куропаток[3] и служил в первом Война в Персидском заливе как тактический мобильная связь Сетевой коммутатор.

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

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

  1. ^ а б c Хамер-Ходжес, Кеннет (1 января 2020 г.). Цивилизация киберпространства: борьба за цифровую демократию. п. 256. ISBN  978-1-95-163044-7. Получено 25 февраля 2020.
  2. ^ а б Генри М. Леви (1984). "Система Плесси 250" (PDF). Компьютерные системы на основе возможностей. Цифровая пресса.
  3. ^ «Проект куропатки». Британская армия, Министерство обороны, ВЕЛИКОБРИТАНИЯ. Архивировано из оригинал 28 июля 2006 г.

внешняя ссылка