Abstract
The MONADS project has as its principle aim the investigation of techniques for the development of secure and reliable computer systems. However, unlike many other comparable projects we have not limited our investigations to software, but have sought solutions in terms of an integrated architecture involving both hardware and software. We begin by describing the MONADS architecture and show how it supports protected information-hiding modules and persistence in an in-process environment. From this discussion we derive four requirements of a physical implementation of the architecture. We then describe the MONADS-MM implementation and demonstrate how a conventional RISC processor can be used as the basic processing element of a system meeting these requirements. The resulting system provides fine-grain control over access to data and inherent support for persistence. An additional feature of the MONADS-MM design is support for a main memory of up to 64 gigabytes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Atkinson, M.P., Bailey, P.J., Cockshott, W.P. and Morrison, R. “PS-Algol Reference Manual”, Universities of Glasgow and St Andrews, PPRR-12-88, 1988.
Abramson, D.A. and Keedy, J.L. “Implementing a Large Virtual Memory in a Distributed Computing System”, Proceedings of 18th Annual Hawaii International Conference on System Sciences, 1985, pp. 515–522.
Abramson, D.A. “Hardware Management of a Large Virtual Memory”, Proceedings 4th Australia Computer Conference, Brisbane 1981, pp. 1–13
SPARC RISC User’s Guide, Cypress Semiconductor Corporation — Ross Technology Subsidiary, February 1990.
Fabry, R.S. “Capability-Based Addressing”, Comm. ACM, 17, 7, 1974, pp. 403–412.
Garcia-Molina, H., Park, A. and Rogers, L.R. “Performance Through Memory”, Proc. ACM SIGMETRICS Conference, May 1987, pp. 122–131.
Henskens, F.A., Rosenberg, J. and Keedy, J.L. “A Capability-Based Fully Transparent Network”, Technical Report 89/7, Department of Electrical Engineering and Computer Science, University of Newcastle, Australia, 1989.
IMS T400 Transputer — Advanced Data, Pub. No. 42145200, INMOS, November 1989.
Keedy, J.L. “A Comparison of Two Process Structuring Models”, MONADS Report 4, Monash University, Australia, 1980.
Keedy, J.L. “Paging and Small Segments: A Memory Management Model”, Proceedings 8th World Computer Congress (IFIP-80), Melbourne 1980, pp. 337–342.
Keedy, J.L. and Rosenberg, J. “Support for Objects in the MONADS Architecture”, Proc. 3rd International Workshop on Persistent Object Systems, Newcastle, Australia, 1989, to be published by Springer-Verlag.
The L64815 Memory Management, Cache Control, and Cache Tags Unit Technical Manual, Part No. MD70-000101-99-A-Preliminary, LSI Logic Corporation, 1990.
The L64811 IU Technical Manual, Part No. MD70-000102-99-05-Preliminary, LSI Logic Corporation, 1990.
Morrison, R., Brown, A.L., Connor, R.C.H. and Dearie, A. “The Napier88 Reference Manual”, Universities of Glasgow and St Andrews, PPRR-77-89, 1989.
Parnas, D.L. “On the Criteria to be Used in Decomposing Systems into Modules”, Comm. ACM, 15, 12, 1971, pp. 1053–1058.
Pose, R.D. “Capability Based, Tightly Coupled Multiprocessor Hardware to Support a Persistent Global Virtual Memory”, Proceedings of 22nd Annual Hawaii International Conference on System Sciences, 1989, pp. 36–45.
Rosenberg, J. and Abramson, D.A. “A Capability-Based Workstation to Support Software Engineering”, Proceedings of 18th Annual Hawaii International Conference on System Sciences, 1985, pp. 222–230.
Rosenberg, J.L. and Keedy, J.L. “Object Management and Addressing in the MONADS Architecture”, Proceedings 2nd International Workshop on Persistent Object Systems, Appin Scotland, 1987, available as PPRR-44, Universities of Glasgow and St. Andrews.
Rosenberg, J., Keedy, J.L. and Abramson, D.A. “Addressing Mechanisms for Large Virtual Memories”, Research Report CS/90/2, University of St. Andrews, 1990.
Rosenberg, J., Koch, D.M. and Keedy, J.L. “A Massive Memory Supercomputer”, Proceedings of 22nd Annual Hawaii International Conference on System Sciences, 1989, pp. 338–345.
The SPARC Architecture Manual — Version 7, Part No. 800-1399-08 Rev A 22/Oct/87, SUN Microsystems Inc., 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 British Computer Society
About this paper
Cite this paper
Koch, D., Rosenberg, J. (1990). A Secure RISC-based Architecture Supporting Data Persistence. In: Rosenberg, J., Keedy, J.L. (eds) Security and Persistence. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3178-6_13
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3178-6_13
Publisher Name: Springer, London
Print ISBN: 978-3-540-19646-4
Online ISBN: 978-1-4471-3178-6
eBook Packages: Springer Book Archive