Abstract
In existing capability machines, such as the CAP and the Plessey 250, the programmer recognises two types of segment, one in which he keeps capabilities and one in which he keeps data words and instructions. The hardware provides two kinds of access, C-type and D-type; generally speaking, C-type access is used for capability segments and D-type access for segments containing data and instructions but, exceptionally, a highly privileged routine within the operating system may have a D-type capability for a segment containing capabilities.

This publication has 0 references indexed in Scilit: