Skip to main content

A Secure RISC-based Architecture Supporting Data Persistence

  • Conference paper

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. Abramson, D.A. “Hardware Management of a Large Virtual Memory”, Proceedings 4th Australia Computer Conference, Brisbane 1981, pp. 1–13

    Google Scholar 

  4. SPARC RISC User’s Guide, Cypress Semiconductor Corporation — Ross Technology Subsidiary, February 1990.

    Google Scholar 

  5. Fabry, R.S. “Capability-Based Addressing”, Comm. ACM, 17, 7, 1974, pp. 403–412.

    Article  Google Scholar 

  6. Garcia-Molina, H., Park, A. and Rogers, L.R. “Performance Through Memory”, Proc. ACM SIGMETRICS Conference, May 1987, pp. 122–131.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. IMS T400 Transputer — Advanced Data, Pub. No. 42145200, INMOS, November 1989.

    Google Scholar 

  9. Keedy, J.L. “A Comparison of Two Process Structuring Models”, MONADS Report 4, Monash University, Australia, 1980.

    Google Scholar 

  10. Keedy, J.L. “Paging and Small Segments: A Memory Management Model”, Proceedings 8th World Computer Congress (IFIP-80), Melbourne 1980, pp. 337–342.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. The L64815 Memory Management, Cache Control, and Cache Tags Unit Technical Manual, Part No. MD70-000101-99-A-Preliminary, LSI Logic Corporation, 1990.

    Google Scholar 

  13. The L64811 IU Technical Manual, Part No. MD70-000102-99-05-Preliminary, LSI Logic Corporation, 1990.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. Parnas, D.L. “On the Criteria to be Used in Decomposing Systems into Modules”, Comm. ACM, 15, 12, 1971, pp. 1053–1058.

    Article  Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. The SPARC Architecture Manual — Version 7, Part No. 800-1399-08 Rev A 22/Oct/87, SUN Microsystems Inc., 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics