Плесси СИСТЕМА 250: Первый компьютер с возможностной адресацией и безопасной архитектурой.
Plessey System 250
Плесси СИСТЕМА 250: первый компьютер с адресностью на основе возможностей, реализованный как машина Чёрча-Тьюринга. Безопасность вычислений и архитектура.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Plessey System 250, также известный как PP250, был первым действующим компьютером, реализовавшим адресацию на основе возможностей, для проверки и контроля вычислений в соответствии с принципами машины Чёрча-Тьюринга. Plessey разработал эти системы для проекта маршрутизации сообщений британской армии.
Plessey System 250, also known as PP250, was the first operational computer to implement capability based addressing, to check and balance the computation as a pure Church–Turing machine. Plessey built the systems for a British Army message routing project.
Описание
Машина Чёрча–Тьюринга — это цифровой компьютер, который заключает символы в поток вычислений в цепочку защищённых абстракций, обеспечивая соблюдение законов динамической связи ламбда-исчисления Алонзо Чёрча. Другие компьютеры, основанные на возможностях, такие как CHERI и CAP, являются гибридами. Они сохраняют инструкции по умолчанию, которые могут обращаться к любому слову доступной физической или логической (страничной) памяти. Это неизбежная характеристика архитектуры фон Неймана, основанной на совместно используемой памяти с произвольным доступом и доверии к правам доступа по умолчанию. Например, каждому слову на каждой странице, управляемой менеджером виртуальной памяти в операционной системе, использующей блок управления памятью (MMU), необходимо доверять. Использование привилегий по умолчанию для множества скомпилированных программ позволяет коррупции распространяться без какого-либо механизма обнаружения ошибок. Однако диапазон виртуальных адресов, предоставляемых MMU, или диапазон физических адресов, генерируемых MMU, является общим, и незамеченная коррупция распространяется через общее адресное пространство от одной программной функции к другой. PP250 устраняет не только виртуальную память.
A Church–Turing machine is a digital computer that encapsulates the symbols in a thread of computation as a chain of protected abstractions by enforcing the dynamic binding laws of Alonzo Church's lambda calculus Other capability based computers, which include CHERI and CAP computers, are hybrids. They retain default instructions that can access every word of accessible physical or logical (paged) memory. It is an unavoidable characteristic of the von Neumann architecture that is founded on shared random access memory and trust in the sharing default access rights. For example, every word in every page managed by the virtual memory manager in an operating system using a memory management unit (MMU) must be trusted. Using a default privilege among many compiled programs allows corruption to grow without any method of error detection. However, the range of virtual addresses given to the MMU or the range of physical addresses produced by the MMU is shared undetected corruption flows across the shared memory space from one software function to another. PP250 removed not only virtual memory
Инструкции, обращающиеся к памяти, имеют код операции (opcode), поле, определяющее операнд регистра данных, поле, определяющее регистр данных, используемый в качестве индексного регистра, содержащего смещение в сегмент, поле, определяющее регистр возможностей, ссылающийся на сегмент, содержащий местоположение памяти, и поле, содержащее базовое смещение в сегмент. Смещение в сегмент является суммой базового смещения и содержимого индексного регистра. PP250 также использовался в качестве тактического мобильного коммутатора связи во время первой войны в Персидском заливе и поступил в коммерческую продажу около 1972 года.
Instructions that access memory have an opcode, a field specifying a data register operand, a field specifying a data register used as an index register containing an offset into a segment, a field specifying a capability register referring to the segment containing the memory location, and a field containing a base offset into the segment. The offset into the segment is the sum of the base offset and the contents of the index register. and served in the first Gulf War as a tactical mobile communication network switch. The PP250 was sold commercially circa 1972.