플레시 시스템 250

Plessey System 250

PP250으로도 알려진 플레시 시스템 250은 순수한 Church-Turing 기계로서 연산 상태를 점검하고 균형을 맞춘 최초의 작동 컴퓨터였다.

설명

Church-Turing machine은 알론조교회의 람다[1] 미적분학의 동적 결합법을 시행하여 보호 추상화의 연쇄로서 계산의 실에 기호를 캡슐화하는 디지털 컴퓨터. CHRI와 CAP 컴퓨터가 포함된 기타 능력 기반 컴퓨터는 하이브리드다.액세스 가능한 물리적 또는 논리적(페이징된) 메모리의 모든 단어에 액세스할 수 있는 기본 지시사항을 유지한다.[citation needed]

공유된 랜덤 액세스 메모리와 공유 기본 액세스 권한에 대한 신뢰에 기초하여 설립된 폰 노이만 아키텍처의[citation needed] 피할 수 없는 특성이다.예를 들어 MMU(메모리 관리 장치)를 사용하여 운영 체제에서 가상 메모리 관리자가 관리하는 모든 페이지의 모든 단어를 신뢰할 수 있어야 한다.[citation needed]컴파일된 많은 프로그램 중에서 기본 권한을 사용하면 오류 감지 방법 없이 손상이 증가할 수 있다.그러나 MMU에 주어지는 가상 주소의 범위나 MMU에 의해 생성되는 물리적 주소의 범위는 탐지되지 않은 공유 메모리 공간을 통해 소프트웨어 기능 간에 흐른다.[citation needed]PP250은 가상 메모리나[1] 사전 컴파일된 중앙 집중식 운영 체제뿐만 아니라 슈퍼 유저도 제거하여 모든 기본 시스템 권한을 제거하였다.

탐지되지 않은 악성코드와 컴퓨터 해킹에 권한을 부여하는 것은 기본 특권이다.그 대신 PP250의 순수 객체 능력 모델은 운용 권한을 정의하기 위해 항상 제한된 기능 키가 필요하다.PP250은 접근 권한을 보호하고 컴퓨터를 단순화하며 가비지 수집 속도를 높이기 위해 기능 데이터와 이진 데이터를 분리했다.Church 기계는 람다 미적분의 법칙을 적용하여 Turing 기계를 캡슐화하고 문맥을 제한한다.입력된 디지털 미디어는 분명히 다른 기계 지침에 의해 제어되는 프로그램이다.

변이 가능한 이진 데이터는 명령 프로그래밍 및 절차적 프로그래밍을 위해 28 RISC 명령 집합에 의해 프로그래밍되며, 기능 제한 메모리 세그먼트에 제한된 이진 데이터 레지스터를 사용하여 이진 데이터를 사용한다.6개의 Church 지침에만 국한된 불변의 기능 키는 튜링 기계의 계산 컨텍스트를 객체-능력 모델의 별도로 프로그래밍된 구조를 통해 탐색한다.

불변성 공정 능력 키는 이름이 지정된 람다 미적분 변수를 나타낸다.이 교회 쪽은 람다 미적분 메타머신이다.다른 한 쪽은 이진 객체, 프로그래밍된 기능, 기능 목록, 기능 추상화 정의 기능, 계산 스레드의 저장장치(람바 미적분 응용 프로그램) 또는 네임스페이스의 기능 키 목록을 저장한 객체 지향 기계다.람다 미적분학의 법칙은 교회 지침에서 예비(숨겨진) 역량 레지스터에 대한 마이크로프로그래밍된 접근으로 구현된다.소프트웨어는 기능 키로 연결된 객체 지향 기계 코드로 점진적으로 조립된다.메모리 관리, 입력 및 출력, 스케줄링, 통신 서비스를 포함한 기능 추상화의 구조는 스레드의 프라이빗 프레임으로 보호된다.프로그램을 제어하는 Church 지침에 의해 활성화된 병렬 연산 또는 인라인으로 컴퓨터를 스레드한다.

개념적으로 PP250은 신뢰할 수 있는 소프트웨어를 위한 디지털 보안 기능인 Church-Turing Machine으로서 Church-Turing States의 죽은 중심에서 작동한다.실시간 제어기로서, PP250은 수십 년의 소프트웨어와 하드웨어의 신뢰성으로 컴퓨터화된 전화 및 군사 통신 시스템에 페일 세이프 소프트웨어 응용 프로그램을 제공했다.기능 제한 어드레싱은 유해한 부패나 정보 도난 없이 접촉 시 오류를 감지하고 복구한다.또한 운영 체제나 슈퍼 유저에 대한 불공평하고 디폴트한 특권이 없으므로 모든 해킹과 악성코드를 차단한다.다중 처리 하드웨어 아키텍처와 동적 바인딩 유형 제한 메모리(기능 제한 어드레싱을 통해 독점 액세스)는 정적으로 바인딩된 페이지 기반 선형 컴파일을 동적으로 바인딩된 명령으로 대체하고 런타임에 상호 확인 및 승인된다.

모든 메모리 참조를 베이스, 한계, 액세스 유형 지정 버그 내의 오프셋으로 확인함으로써, 타입 제한 기능 레지스터에 의해 오류와 공격이 감지된다.명령 튜링 명령은 선택한 기능 레지스터에 의해 정의된 이진 데이터 객체에 바인딩되어야 한다.선택한 기능 레지스터의 액세스 권한은 데이터 액세스 권한(이진 데이터 읽기, 이진 데이터 쓰기 또는 컴퓨터 코드 실행)을 승인해야 한다.한편, 기능적 교회 지침은 기능적 접근 권한이 있는 기능 레지스터(하중 기능 키, 기능 키 저장 또는 기능 목록 입력)에 있는 기능적 목록의 기능적 키와 동적으로 결합된다.이와 같이 객체 지향 머신 코드는 프라이빗 실행 공간에서 함수 추상화로서 캡슐화된다.이 PP250은 늘어난 폰 노이만 건축과는 다르다.대신 람다 미적분 메타 머신은 람다 미적분 네임스페이스에서 기능 노드를 나타내는 'Enter' 기능 키의 DNA 네트워크를 통해 '단일 테이프' 튜링 머신을 스케일링한다.

레지스터 지향 아키텍처로, 8개의 프로그램 액세스 가능 데이터 레지스터와 8개의 프로그램 액세스 가능 역량 레지스터가 있다.데이터 레지스터는 24비트, 기능 레지스터는 48비트, 기능이 언급하는 세그먼트의 기본 주소, 세그먼트의 크기 및 기능에 의해 부여된 액세스 권한을 포함한다.메모리의 기능은 24비트이며, 기능이 참조하는 세그먼트에 대한 시스템 기능 표의 액세스 권한과 인덱스를 포함하고, 해당 표의 항목은 항목이 참조하는 세그먼트의 세그먼트 기준 주소와 길이를 포함한다.[2]

액세스 메모리에 opcode, 데이터 레지스터 피연산자를 지정하는 필드, 세그먼트에 오프셋을 포함하는 인덱스 레지스터로 사용되는 데이터 레지스터를 지정하는 필드, 메모리 위치를 포함하는 세그먼트를 참조하는 기능 레지스터를 지정하는 필드, 세그먼트에 기본 오프셋을 포함하는 필드.세그먼트로의 오프셋은 기본 오프셋과 인덱스 레지스터의 콘텐츠의 합이다.[2]

소프트웨어는 보편적인 연산 모델과 람다 미적분학을 기반으로 모듈화되었다.6 Church 지침은 변수, 함수, 추상화, 응용 프로그램 및 네임스페이스의 유형화된 개념에 대한 기능 키를 사용하여 명명된 함수 응용 프로그램의 세부사항을 숨긴다.맬웨어와 해커가 사용하는 기본 공유 권한으로 정적 선형 메모리에 명령을 바인딩하는 대신, 명령어는 불변의 수학 기호의 기능 기반 보안 시스템에서 기능 키를 사용하여 타이핑되고 보호되는 개인 디지털 객체에 연결된다.결과적으로 객체 지향적인 기계 코드는 수학적으로 순수한 산업용 컴퓨터 과학으로서 신뢰할 수 있는 수십 년의 신뢰할 수 있는 소프트웨어를 달성했다.[1]

역사

1970년 영국 플레시사 plc에서 제조한 이 회사는 영국 국방부 Ptarmigan[3] 프로젝트에 성공적으로 배치되었고 전술적 이동 통신망 스위치로 제1차 걸프전에 참전했다.

PP250은 1972년경 상업적으로 판매되었다.

참고 항목

참조

  1. ^ a b c Hamer-Hodges, kenneth (1 January 2020). Civilizing Cyberspace: The Fight for Digital Democracy. p. 256. ISBN 978-1-95-163044-7. Retrieved 25 February 2020.
  2. ^ a b Henry M. Levy (1984). "The Plessey System 250" (PDF). Capability-Based Computer Systems. Digital Press.
  3. ^ "Ptarmigan project". British Army, Ministry of Defence, UK. Archived from the original on 28 July 2006.

외부 링크