Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Avizienis, A., Laprie, J.-C., Randell, B., Landweber, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. on Dependable and Secure Computing 1(1), 11–33 (2004)
Denning, P.J.: Virtual memory. Computing Surveys 2(3), 153–189 (1970)
Denning, P.J., Graham, G.S.: Protection: Principles and Practice. In: Proc. AFIPS Spring Joint Computer Conf., vol. 40, pp. 417–429 (1972)
Denning, P.J.: Fault Tolerant Operating Systems. Computing Surveys 8(4), 359–389 (1976)
Dennis, J.B.: Segmentation and the Design of Multi-programmed Computer Systems. J. of the ACM 12(4), 589–602 (1965)
Dennis, J.B., van Horn, E.C.: Programming Semantics for Multiprogrammed Computations. ACM Communications 9(3), 143–155 (1966)
Kuehner, C.J., Randell, B.: Demand Paging in Perspective. In: Proc. AFIPS Fall Joint Computer Conf., pp. 1011–1018 (1968)
Levy, H.M.: Capability-Based Computer Systems. Digital Press (1984)
Randell, B.: System Structure for Software Fault Tolerance. IEEE Trans. Software Engineering SE SE-1(2), 1–18 (1975)
Randell, B.: Facing Up to Faults. The Computer J. 43(2), 95–106 (2000)
Randell, B.: Fault Tolerance in Decentralized Systems. IEICE Trans. B: on Communications E83-B(5), 903–908 (2000)
Randell, B., Kuehner, C.J.: Dynamic Storage Allocation Systems. ACM Communications 11(5), 297–306 (1968)
Tehranipoor, M., Koushanfar, F.: A Survey of Hardware Trojan Horse Taxonomy and Detection. In: IEEE Design and Test of Computers, pp. 10–16 (January-February 2010)
Thompson, K.: Reflections on Trusting Trust. ACM Communications 27(8), 761–763 (1984)
Wilkes, M.V., Needham, R.: The Cambridge CAP Computer and Its Operating System. Elsevier, North Holland (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Denning, P.J. (2011). Virtual Fault Tolerance. In: Jones, C.B., Lloyd, J.L. (eds) Dependable and Historic Computing. Lecture Notes in Computer Science, vol 6875. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24541-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-24541-1_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24540-4
Online ISBN: 978-3-642-24541-1
eBook Packages: Computer ScienceComputer Science (R0)