The Library
Modelling checkpointing and recovery within UNITY
Tools
Tools
Tools
Liu, Zhiming (1989) Modelling checkpointing and recovery within UNITY. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)
|
PDF
WRAP_cs-rr-145.pdf - Other - Requires a PDF viewer. Download (253Kb) | Preview |
Abstract
Following the method for developing programs proposed in UNITY [CM88], this paper presents a general model for checkpointing and recovery within which the consistency of checkpoints, error propagation and the domino-effect of recovery from faults are formally characterized. Based on this model and UNITY, a solution is developed for checkpointing and recovery which describes what should be done for checkpointing and recovery but imposes no restrictions on when it should, where it should be done (e.g. on which processors), or how it should be done. This supports the idea that the introduction of checkpointing and recovery can be treated systematically as transformations which convert a program into a fault-tolerant program. Such fault-tolerant transformations and their correctness are defined in this paper.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Computers -- Reliability | ||||
| Series Name: | Department of Computer Science Research Report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Place of Publication: | Coventry, UK | ||||
| Official Date: | 1989 | ||||
| Dates: |
|
||||
| Number: | Number 145 | ||||
| Number of Pages: | 29 | ||||
| DOI: | CS-RR-145 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Funder: | Science and Engineering Research Council (Great Britain) (SERC) | ||||
| Grant number: | GR/D 11521 (SERC) | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
