Hardware support for memory protection: Capability implementations
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Capability Based Tagged Architectures
IEEE Transactions on Computers
Hi-index | 0.00 |
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.