Кіріспе
Plessey System 250, сонымен қатар PP250 деп те аталатын, мүмкіндіктерге негізделген адрестеуді іске асырған және есептеуді таза Church–Turing машинасы ретінде тексеруге және бақылауға мүмкіндік берген алғашқы операциялық компьютер болды. Plessey бұл жүйелерді Ұлыбритания армиясының хабар алмасу маршрутын жобалау үшін құрастырды.
Сипаттама
Church-Turing машинасы – Алонзо Черчтың лямбда-есептеуінің динамикалық байланыс заңдарын қолдану арқылы есептеу тізбегіндегі символдарды қорғалған абстракциялар тізбегі ретінде капсулалайтын цифрлық компьютер. CHERI және CAP компьютерлерін қамтитын, мүмкіндіктерге негізделген басқа компьютерлер гибридті болып табылады. Олар физикалық немесе логикалық (беттік) жадтың кез келген сөзіне қол жеткізе алатын әдепкі нұсқауларды сақтайды. Бұл, ортақ кездейсоқ сұраныс жадына және ортақ әдепкі қол жеткізу құқықтарына сенімге негізделген фон Нейман архитектурасының қажетті ерекшелігі. Мысалы, операциялық жүйедегі жад басқару блогы (MMU) басқаратын жадтың әрбір бетіндегі әрбір сөз сенімді болуы керек. Көптеген компиляцияланған бағдарламалар арасында әдепкі артықшылықты пайдалану, қателерді анықтау мүмкіндігі болмай, зақымданудың өсуіне әкеледі. Дегенмен, MMU-ға берілген виртуалды мекенжайлар диапазоны немесе MMU шығаратын физикалық мекенжайлар диапазоны ортақ жад кеңістігінде бір бағдарламалық функциядан екіншісіне байқалмайтын зақымдану ағыны арқылы бөліседі. PP250 виртуалды жадты ғана емес, жадқа қол жеткізетін нұсқаулардың опкодын, деректер тіркелгісі операторын, сегментке смещеніені қамтитын индекс тіркелгісі ретінде қолданылатын деректер тіркелгісін, жад орнын қамтитын сегментке сілтеме жасайтын мүмкіндік тіркелгісін және сегментке базалық смещеніені анықтайтын өрісті де алып тастады. Сегментке смещені – базалық смещені мен индекс тіркелгісінің мазмұнының қосындысы. PP250 Бірінші шығанақ соғысында тактикалық мобильді байланыс желісінің коммутаторы ретінде қызмет етті. 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.