Войти
Plessey System 250, также известный как PP250, был первым операционным компьютером, реализовавшим адресацию на основе возможностей, чтобы проверять и балансировать вычисления как чистый Машина Чёрча-Тьюринга . Машина Чёрча-Тьюринга - это цифровой компьютер, который инкапсулирует символы в вычислительном потоке в виде цепочки защищенных абстракций, применяя законы динамической привязки лямбда-исчисления Алонзо Чёрча. и CAP computer - это гибриды. Они сохраняют инструкции по умолчанию, которые могут обращаться к каждому слову доступной физической или логической (выгружаемой) памяти. Это неизбежная характеристика архитектуры фон Неймана, которая основана на разделяемой памяти с произвольным доступом и слепом доверии к общим правам доступа по умолчанию. Например, каждому слову на каждой странице, управляемой диспетчером виртуальной памяти в операционной системе, использующей блок управления памятью, следует слепо доверять. Использование привилегий по умолчанию среди многих скомпилированных программ позволяет разрастаться коррупции без каких-либо методов обнаружения ошибок. Однако диапазон виртуальных адресов, предоставленных MMU, или диапазон физических адресов, созданных MMU, является совместно используемыми потоками необнаруженных повреждений в пространстве общей памяти от одной программной функции к другой. PP250 удалил не только виртуальную память или любую централизованную, предварительно скомпилированную операционную систему, но и суперпользователя, удалив все привилегии компьютера по умолчанию. Это привилегии по умолчанию, которые расширяют возможности необнаруженного вредоносного ПО и взлома компьютера. Вместо этого чистая модель объектных возможностей PP250 всегда требует ключа с ограниченными возможностями для определения полномочий для работы. PP250 отделил двоичные данные от данных возможностей, чтобы защитить права доступа, упростить компьютер и ускорить сборку мусора. Машина Чёрча инкапсулирует и ограничивает в контексте Машину Тьюринга, применяя законы лямбда-исчисления. Типизированный цифровой носитель программно управляется совершенно разными машинными инструкциями. Изменяемые двоичные данные программируются 28 набором инструкций RISC для императивного программирования и процедурного программирования двоичных данных с использованием регистров двоичных данных, ограниченных сегментом памяти с ограниченными возможностями. Неизменяемые ключи возможностей, эксклюзивные для шести церковных инструкций, перемещают вычислительный контекст машины Тьюринга через отдельно запрограммированную структуру модели объектных возможностей. PP250 был продан коммерчески примерно в 1972 году.
Ключ неизменяемых возможностей представляет именованные переменные лямбда-исчисления. Эта сторона Церкви - это мета-машина по лямбда-исчислению. Другая сторона - это объектно-ориентированная машина, состоящая из двоичных объектов, запрограммированных функций, списков возможностей, определяющих абстракции функций, хранилища для потоков вычислений (приложения лямбда-исчисления) или хранилища списка ключей возможностей в пространстве имен. Законы лямбда-исчисления реализуются церковными инструкциями с микропрограммным доступом к зарезервированным (скрытым) регистрам возможностей. Программное обеспечение постепенно собирается в виде объектно-ориентированного машинного кода, связанного с помощью ключей возможностей. Структура абстракций функций, в том числе для управления памятью, ввода и вывода, планирования и коммуникационных служб, защищена как частные кадры в потоке. Потоки компьютера встроены или как параллельные вычисления, активируемые программой церковной инструкции.
Концептуально PP250 работает в мертвой точке Тезиса Чёрча-Тьюринга как функциональная машина Чёрча-Тьюринга с цифровой защитой для надежного программного обеспечения. В качестве контроллера реального времени PP250 предоставил отказоустойчивые программные приложения для компьютеризированных телефонных и военных систем связи с десятилетиями надежности программного и аппаратного обеспечения. Адресация с ограниченными возможностями обнаруживает и устраняет ошибки при контакте без какого-либо вредного повреждения или кражи информации. Более того, для операционной системы или суперпользователя не существует несправедливых привилегий по умолчанию, которые блокируют все взломы и вредоносное ПО. Аппаратная архитектура multiprocessing и динамически привязанная, ограниченная по типу память, доступ к которой осуществляется исключительно через ограниченную адресацию, заменяют статически привязанные линейные компиляции на основе страниц динамически связанными инструкциями, перекрестно проверяемыми и авторизованными во время выполнения.
Путем проверки всех ссылок на память как смещения в пределах указанного типа base, limit и access ошибки, ошибки и атаки обнаруживаются регистром ограниченных возможностей типа. Обязательные команды Тьюринга должны связываться с объектами двоичных данных, как определено выбранным регистром возможностей. Права доступа выбранного регистра возможностей должны подтверждать права доступа к данным (чтение двоичных данных, запись двоичных данных или выполнение машинного кода). С другой стороны, функциональные церковные инструкции динамически связаны с ключом возможности в списке возможностей, хранящемся в реестре возможностей с правами доступа (загрузить ключ возможностей, сохранить ключ возможности или ввести список возможностей). Таким образом, объектно-ориентированный машинный код инкапсулируется как абстракция функции в частном пространстве выполнения. Этот PP250 отличается от растянутой архитектуры фон Неймана. Вместо этого мета-машина лямбда-исчисления масштабирует машину Тьюринга на «одной ленте» через сеть ключей возможностей «Enter», представляющих функциональные узлы в пространстве имен лямбда-исчисления.
Это архитектура, ориентированная на регистры., с 8 регистрами данных, доступными для программы, и 8 регистрами, доступными для программ. Регистры данных 24-битные; Регистры возможностей являются 48-битными и содержат базовый адрес сегмента, к которому относится возможность, размер сегмента и права доступа, предоставляемые возможностью. Возможности в памяти являются 24-битными и содержат права доступа и индекс в таблице возможностей системы для сегмента, к которому относится возможность; записи в этой таблице содержат базовый адрес сегмента и длину для сегмента, к которому относится запись.
Инструкции, обращающиеся к памяти, имеют код операции , поле, определяющее операнд регистра данных, поле указание регистра данных, используемого как индексный регистр , содержащего смещение в сегменте, поля, определяющего регистр возможностей, относящегося к сегменту, содержащему ячейку памяти, и поля, содержащего базовое смещение в сегменте. Смещение в сегменте представляет собой сумму базового смещения и содержимого индексного регистра.
Программное обеспечение было модульным на основе универсальной модели вычислений и лямбда-исчисления. Шесть церковных инструкций скрывают детали именованного функционального приложения, используя ключи возможностей для типизированных концепций переменных, функций, абстракций, приложений и пространства имен. Вместо привязки инструкций к статической линейной памяти в качестве общей привилегии по умолчанию, используемой вредоносными программами и хакерами, инструкции привязываются к типизированным и защищенным частным цифровым объектам с помощью ключей возможностей в системе неизменяемых математических символов безопасности на основе возможностей. В результате получился объектно-ориентированный машинный код, который на протяжении многих десятилетий является надежным и математически чистым программным обеспечением промышленного уровня в области компьютерных наук.
Изготовлено Plessey company plc в Соединенное Королевство в 1970 г. он был успешно развернут Министерством обороны для проекта британской армии «Куропатка» и участвовал в первой войне в Персидском заливе в качестве тактического мобильной связи сетевой коммутатор.
