Mechanisms for application-level recoverable-persistence in a single address space

Abstract In this paper we consider mechanisms for supporting recoverable-persistence in a single address space memory model. In particular, we consider a memory management system, MMS , for a persistent single address space and show how the operations MMS supplies can be exploited by applications to make their state recoverable-persistent. To this end, we present detailed examples of application-level management of recoverable-persistence. The resulting scenario appears to be particularly attractive because of its modularity. Moreover, additional complexity is not introduced at the lower layers of the system and applications that do not need recoverable-persistence need not be penalised.

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

[2]  Lanfranco Lopriore,et al.  An implementation of storage management in capability environments , 1995, Softw. Pract. Exp..

[3]  David L. Black,et al.  The duality of memory and communication in the implementation of a multiprocessor operating system , 1987, SOSP '87.

[4]  Vivek Singhal,et al.  Texas: An Efficient, Portable Persistent Store , 1992, POS.

[5]  Gianluca Dini,et al.  Single address space implementation in distributed systems , 2000, Concurr. Pract. Exp..

[6]  Vivek Singhal,et al.  Texas: good, fast, cheap persistence for C++ , 1992, OOPSLA '92.

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

[8]  Edgar Nett,et al.  SpeedLog: a generic log service supporting efficient node-crash recovery , 1994, IEEE Micro.

[9]  John Rosenberg,et al.  Operating system support for persistent and recoverable computations , 1996, CACM.

[10]  Michael J. Carey,et al.  Implementing Persistence in E , 1989, POS.

[11]  Richard C. H. Connor,et al.  The DataSafe Failure Recovery Mechanism in the Flask Architecture , 1996 .

[12]  Abraham Silberschatz,et al.  Database System Concepts , 1980 .

[13]  John Rosenberg,et al.  The MONADS Architecture - A Layered View , 1990, Workshop on Persistent Objects.

[14]  Avi Silberschatz,et al.  The Recoverable-Persistent Virtual Memory Paradigm , 1993 .

[15]  L. Amsaleg,et al.  Eos, an environment for object-based systems , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[16]  Abraham Silberschatz,et al.  Kernel Support for Recoverable-Persistent Virtual Memory , 1993, USENIX MACH Symposium.

[17]  David R. Cheriton,et al.  Application-controlled physical memory using external page-cache management , 1992, ASPLOS V.

[18]  Mahadev Satyanarayanan,et al.  Lightweight Recoverable Virtual Memory , 1993, SOSP.

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

[20]  Amin Vahdat,et al.  Tools for the development of application-specific virtual memory management , 1993, OOPSLA '93.

[21]  William E. Weihl.  Transaction-processing techniques , 1993 .