Stability in a Persistent Store Based on a Large Virtual Memory

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.

[1]  James Leslie Keedy,et al.  Paging and Small Segments: A Memory Management Model , 1980, IFIP Congress.

[2]  J. V. Woods,et al.  MU6-G. a new design to achieve mainframe performance from a mini-sized computer , 1980, ISCA '80.

[3]  Tom Kilburn,et al.  One-Level Storage System , 1962, IRE Trans. Electron. Comput..

[4]  Malcolm P. Atkinson,et al.  CMS—A chunk management system , 1983, Softw. Pract. Exp..

[5]  James Leslie Keedy,et al.  A massive memory supercomputer , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track.

[6]  Irving L. Traiger,et al.  System R: relational approach to database management , 1976, TODS.

[7]  Malcolm P. Atkinson,et al.  Algorithms for a persistent heap , 1983, Softw. Pract. Exp..

[8]  George D. M. Ross.  Virtual files : a framework for experimental design , 1983 .

[9]  Michael F. Challis.  Database Consistency and Integrity in a Multi-User Environment , 1978, JCDKB.

[10]  James Leslie Keedy,et al.  Object Management and Addressing in the MONADS Architecture , 1987, POS.

[11]  Richard C. H. Connor,et al.  The Napier Type System , 1989, POS.

[12]  David Abramson,et al.  Implementing a large virtual memory in a Distributed Computing , 1985 .

[13]  John Rosenberg,et al.  MONADS-PC - a capability-based workstation to support software engineering , 1985 .

[14]  Irving L. Traiger.  Virtual memory management for database systems , 1982, OPSR.

[15]  Ronald Morrison,et al.  An Approach to Persistent Programming , 1989, Comput. J..

[16]  Ben Shneiderman,et al.  Databases, improving usability and responsiveness , 1978 .

[17]  Alfred L. Brown,et al.  Persistent object stores , 1988 .

[18]  David Abramson,et al.  Addressing Mechanisms for Large Virtual Memories , 1992, Comput. J..

[19]  Ronald Morrison,et al.  Persistent object management system , 1984, Softw. Pract. Exp..

[20]  Malcolm P. Atkinson,et al.  PS-algol: an algol with a persistent heap , 1982, SIGP.

[21]  David M. Harland,et al.  Rekursiv: Object-Oriented Computer Architecture , 1988 .

[22]  Raymond A. Lorie,et al.  Physical integrity in a large segmented database , 1977, TODS.

[23]  Ravi Krishnamurthy,et al.  The Case For Safe RAM , 1989, VLDB.