Segmentation and the Design of Multiprogrammed Computer Systems
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Communications of the ACM
Dynamic storage allocation systems
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Capability-Based Computer Systems
Capability-Based Computer Systems
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
The Cambridge CAP computer and its operating system (Operating and programming systems series)
The Cambridge CAP computer and its operating system (Operating and programming systems series)
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
Protection: principles and practice
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
A Survey of Hardware Trojan Taxonomy and Detection
IEEE Design & Test
Hi-index | 0.00 |
Brian Randell had many early ideas on the way that virtual systems could make programming more fault tolerant and allow computing systems to be more dependable. He developed these ideas with an architecture for acceptance testing and backup to previous safe points on failure of a test. The architecture provided for multiple versions of methods to pass a test, and it extended to multithreaded programs and atomic transactions. We will review the principles of these systems and then comment on how they apply in today's systems. We suggest that capability architecture, an important offshoot of virtual systems, could usefully be combined with Randell's architecture. The combination could offer a means to reduce the modern anxiety over Trojan Horse attacks against hardware and software.