Sheaved memory: architectural support for state saving and restoration in pages systems
Pages 96 - 102
Abstract
The concept of read-one/write-many paged memory is introduced and given the name sheaved memory. It is shown that sheaved memory is useful for efficiently maintaining checkpoints in main memory and for providing state saving and state restoration for software that includes recovery blocks or similar control structures. The organization of sheaved memory is described in detail, and a design is presented for a prototype sheaved-memory module that can be built easily from inexpensive, off-the-shelf components. The module can be incorporated within many available computers without altering the computers' hardware design. The concept of sheaved memory is simple and appealing, and its potential for use in a number of software contexts is foreseen.
References
[1]
Anderson, T. and R. Kerr, "Recovery Blocks in Action: a System Supporting High Reliability," Proceedings of 2nd Intl. Conf. on Software Engineering, pp. 447-457, 1976
[2]
Anderson, T., P.A. Lee and S.K. Shrivastava, "A Model of Recoverability in Multilevel Systems," iEEE Transactions on Software Engineering, vol. SE-4, no. 6, pp. 486-494, Nov. 1978
[3]
Anderson, T. and P.A. Lee, Fault Tolerance: Principles and Practice, Prentice/Hall Intl., Englewood Cliffs, New Jersey, 1981
[4]
Cristian, F., "Exception Handling and Software Fault Tolerance," IEEE Transactions on Computers, vol. C- 31, no. 6, pp. 531-540, June 1982
[5]
Homing, J.l., H.C. Lauer, P.M. Melliar-Smith and B. Randell, "A Program Structure for Error Detection and Recovery," in Lecture Notes in Computer Science 16, Springer-Verlag, Berlin pp. 177-193, 1974
[6]
Lee, P.A., N. Ohani and K. Heron, "A Recovery Cache for the PDP-11," iEEE Transactions on Computers, vol C-29, no. 6, pp. 546-549, June 1980
[7]
Melliar-Smith, P.M. and B. Randell, "Software Reliability: the Role of Programmed Exception Handling," in Proc. ACM Conf. on Language Design for Reliable Software, SIC}PLAN Notices, vol. 12, no. 3, pp. 95-100, March 1977
[8]
Peterson, J.L. and A. Silberschatz, Operating System Concepts, Addison-Wesley, Reading, Massachusetts, 1985
[9]
Randell, B., "System Structure for Software Fault Tolerance,'' IEEE Transactions on Software Engineering, vol. SE-1, no. 2, pp. 220-232, June 1975
[10]
Shrivastava, S.K. and I. Banatre, "Reliable Resource Allocation Between Unreliable Processes," IEEE Transactions on Software Engineering, vol. SE4, no. 3, pp. 230-241, May 1978
[11]
Shrivastava, S.K., "Concurrent Pascal with Backward Error Recovery: Language Features and Examples," Software--practice and Experience, vol. 9, pp. 1001- 1020, 1979
[12]
Shrivastava, S.K. editor, Reliable Computer Systems, Springer-Verlag, Berlin, 1985
Index Terms
- Sheaved memory: architectural support for state saving and restoration in pages systems
Recommendations
Sheaved memory: architectural support for state saving and restoration in pages systems
ASPLOS III: Proceedings of the third international conference on Architectural support for programming languages and operating systemsThe concept of read-one/write-many paged memory is introduced and given the name sheaved memory. It is shown that sheaved memory is useful for efficiently maintaining checkpoints in main memory and for providing state saving and state restoration for ...
Checkpointing Exascale Memory Systems with Existing Memory Technologies
MEMSYS '16: Proceedings of the Second International Symposium on Memory SystemsBuilding exascale supercomputers requires resilience to failing components such as processor, memory, storage, and network devices. Checkpoint/restart is a key ingredient in attaining resilience, but providing fast and reliable checkpointing is becoming ...
Energy optimization for multi-level cell non-volatile memory using state remapping
Non-volatile Memory (NVM) is emerging as a promising technology to build future main memory or cache. Multi-level cell (MLC) NVM that stores multiple bits in a single cell has been developed in recent years. Different NVM technology has its own writing ...
Comments
Information & Contributors
Information
Published In
Copyright © 1989 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 April 1989
Published in SIGARCH Volume 17, Issue 2
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations12Total Citations
- 334Total Downloads
- Downloads (Last 12 months)23
- Downloads (Last 6 weeks)4
Reflects downloads up to 11 Aug 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in