An implementation of capabilities on the PDP-11/45

@article{Hoch1980AnIO,
  title={An implementation of capabilities on the PDP-11/45},
  author={Charles G. Hoch and James C. Browne},
  journal={ACM SIGOPS Oper. Syst. Rev.},
  year={1980},
  volume={14},
  pages={22-32}
}
This paper defines a capability implementation which uses the memory management hardware and the TRAP instruction of the higher members of the Digital Equipment Corporation PDP-11/XX (XX = 34, 45, 55, 70) to create a capability architecture processor. No modifications to hardware are necessary. The architecture created has a strong similarity to that of the Plessey 250. An operating system based on this architecture could provide a basis for implementation of highly reliable and secure software… Expand
A proposal for an architectural approach which apparently solves all known software-based internal computer security problems
TLDR
This solution proposes and develops an architectural approach which manages a sophisticated capability based addressing system entirely in hardware and tends to be somewhat hardware intensive in that they require unusual amounts of control and memory not available to any user. Expand
Software-Aspekte sicherer Datenkommunikation
Historisch gesehen lassen sich folgende Aktivitäten zur Entwicklung sicherer Betriebssysteme bzw. sicherer Software nennen, vgl. Bild 7, nach [17], Seit 1965 Massachusetts Institute of TechnologyExpand

References

SHOWING 1-4 OF 4 REFERENCES
An experimental implementation of the kernel/domain architecture
TLDR
The techniques used in mapping a conceptual model onto commercially available hardware, the domain's memory mapping properties, and their impact on programming language storage-class semantics, and the promise this architecture holds in terms of increased functional flexibility for future-generation geodesic operating systems are reported. Expand
The design of a pascal compiler
  • N. Wirth
  • Computer Science
  • Softw. Pract. Exp.
  • 1971
The development of a compiler for the programming language PASCAL1 is described in some detail. Design decisions concerning the layout of program and data, the organization of the compiler includingExpand
Policy/mechanism separation in Hydra
TLDR
This paper presents three such mechanisms (scheduling, paging, protection) and examines how external policies which manipulate them may be constructed and shows that the policy decisions which remain embedded in the kernel exist for the sole purpose of arbitrating conflicting requests for physical resources. Expand
Reliability Assurance for System 250 . A Reliable , Real - time Control System " , Intern
  • 1975