- Title
- Hardware support for stability in a persistent architecture
- Creator
- Henskens, F. A.; Koch, D. M.; Jalili, R.; Rosenberg, J.
- Relation
- Sixth International Workshop on Persistent Operating Systems. Workshops in Computing: Proceedings of the Sixth International Workshop on Persistent Operating Systems (Tarascon, France 5-9 September, 1994) p. 387-399
- Relation
- http://www.bcs.org
- Publisher
- Springer-Verlag / British Computer Society
- Resource Type
- conference paper
- Date
- 1995
- Description
- Persistent stores support uniform management of data objects regardless of their lifetimes and locations. Such stores typically maintain a self-consistent state even after failure of the host computer system. This property is termed stability, and may be achieved using operations called checkpoints. When objects in the store are modified, or modified objects are accessed, dependencies are created between the modifying processes and the objects. Directed graphs may be used to describe such dependencies. For the persistent store to maintain a consistent state, all dependent entities must be checkpointed together. In this paper we show that hardware support can assist in the construction of stable stores for which stability is based on dependency graphs. We then describe an implementation of such support in the Monads-MM computer.
- Identifier
- uon:2635
- Identifier
- http://hdl.handle.net/1959.13/29939
- Identifier
- ISBN:3540199128
- Language
- eng
- Full Text
- Reviewed
- Hits: 2520
- Visitors: 2837
- Downloads: 336
| Thumbnail | File | Description | Size | Format | |||
|---|---|---|---|---|---|---|---|
| View Details Download | ATTACHMENT01 | Author final version | 155 KB | Adobe Acrobat PDF | View Details Download |