Stability in a Persistent Store Based on a Large Virtual Memory

  • John Rosenberg
  • Frans Henskens
  • Fred Brown
  • Ron Morrison
  • David Munro
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


Persistent systems support mechanisms which allow programs to create and manipulate arbitrary data structures which outlive the execution of the program which created them. A persistent store supports mechanisms for the storage and retrieval of objects in a uniform manner regardless of their lifetime. Since all data of the system is in this repository it is important that it always be in a consistent state. This property is called integrity. The integrity of the persistent store depends in part on the store being resilient to failures. That is, when an error occurs the store can recover to a previously recorded consistent state. The mechanism for recording this state and performing recovery is called stability. This paper considers an implementation of a persistent store based on a large virtual memory and shows how stability is achieved.


Lost Truxal 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abramson, D.A. “Hardware Management of a Large Virtual Memory”, Proceedings 4th Australian Computer Science Conference, Brisbane 1981, pp. 1–13.Google Scholar
  2. 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. 3.
    Astrahan, M.M. et al “System R: Relational Approach to Database Management”, ACM Transactions on Database Systems, 1, 2, June 1976, pp. 97–137.CrossRefGoogle Scholar
  4. 4.
    Atkinson, M.P., Chisholm, K.J. and Cockshott, W.P. “PS-algol: An Algol with a Persistent Heap”, ACM S/GPLAN Notices, 17, 7, July 1981, pp. 24–31.CrossRefGoogle Scholar
  5. 5.
    Atkinson, M.P., Chisholm, K.J. and Cockshott, W.P. “CMS - A Chunk Management System”, Software Practice and Experience, 13, 3, 1983, pp. 259–272.CrossRefMATHGoogle Scholar
  6. 6.
    Atkinson, M.P., Bailey, P., Chisholm, K.J., Cockshott, W.P. and Morrison, R. “An Approach to Persistent Programming”, The Computer Journal, 26, 4, Nov. 1983, pp 360–365.MATHGoogle Scholar
  7. 7.
    Atkinson, M.P., Bailey, P.J., Cockshott, W.P., Chisholm, K.J. and Morrison, R. “POMS: A Persistent Object Management System”, Software Practice and Experience, 14, 1, January 1984, pp. 49–71.CrossRefGoogle Scholar
  8. 8.
    Berstis, V., Truxal, C.D. and Ranweiler, J.G. “System/38 Addressing and Authorization”, IBM System/38 Technical Developments, 1978, pp. 51–54.Google Scholar
  9. 9.
    Brown, A.L. and Cockshott, W.P. “The CPOMS Persistent Object Management System”, Universities of Glasgow and St Andrews PPRR-13, Scotland 1985.Google Scholar
  10. 10.
    Brown, A.L. “Persistent Object Stores”, Ph.D. thesis, available as Persistent Programming Report 71, 1989, Universities of St. Andrews and Glasgow.Google Scholar
  11. 11.
    Challis, M.F. “Database Consistency and Integrity in a Multi-user Environment”, in Databases: Improving Usability and Responsiveness, B. Schneiderman (editor), Academic Press 1978, pp. 245–270.Google Scholar
  12. 12.
    Copeland, G., Keller, T., Krishnamurthy, R. and Smith. M. “The Case for Safe RAM”, Proceedings of the 15th International Conference on Very Large Databases, Amsterdam 1989, pp. 327–335.Google Scholar
  13. 13.
    Edwards, D.B.E., Knowles, A.E. and Woods, J.V. “MU6-G: A New Design to Achieve Mainframe Performance from a Mini-sized Computer”, Proceedings of the 7th Annual Symposium on Computer Architecture, Computer Architecture News, 8, 3, May 1980, pp. 161–167.Google Scholar
  14. 14.
    Harland, D.M. “REKURSIV: Object-oriented Computer Architecture”, Ellis-Horwood Limited, 1988.Google Scholar
  15. 15.
    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
  16. 16.
    Kilburn, T., Edwards, D., Lanigan, M. and Sumner, F. “One Level Storage System”, IEEE Transactions, EC-11, 2, 1962.Google Scholar
  17. 17.
    Lorie, R.A. “Physical Integrity in a Large Segmented Database”, ACM Transactions on Database Systems, 2, 1, March 1977, pp. 91–104.CrossRefGoogle Scholar
  18. 18.
    Morrison, R., Brown, A.L., Carrick, R., Connor, R., Dearie, A. and Atkinson, M.P. “The Napier Type System”, Proceedings of the 3rd International Workshop on Persistent Object Systems, Newcastle, 1989.Google Scholar
  19. 19.
    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
  20. 20.
    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
  21. 21.
    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
  22. 22.
    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
  23. 23.
    Ross, D.M. “Virtual Files: A Framework for Experimental Design”, Department of Computer Science, University of Edinburgh, CST-26-83, October 1983.Google Scholar
  24. 24.
    Thatte, S.M. “Persistent Memory”, Proceedings of IEEE Workshop on Object-Oriented DBMS, 1986, pp. 148–159.Google Scholar
  25. 25.
    Traiger, I.L. “Virtual Memory Management for Database Systems”, Operating Systems Review, 16, 4, October 1982, pp. 26–48.CrossRefGoogle Scholar

Copyright information

© British Computer Society 1990

Authors and Affiliations

  • John Rosenberg
    • 1
  • Frans Henskens
    • 1
  • Fred Brown
    • 2
  • Ron Morrison
    • 2
  • David Munro
    • 2
  1. 1.University of NewcastleAustralia
  2. 2.University of St AndrewsUK

Personalised recommendations