The completion time of programs on processors subject to failure and repair
- 1 January 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 42 (10) , 1184-1194
- https://doi.org/10.1109/12.257705
Abstract
The authors describe a technique for computing the distribution of the completion time of a program on a server subject to failure and repair. Several realistic aspects of the system are included in the model. The server behavior is modeled by a semi-Markov process in order to accommodate nonexponential repair-time distributions. More importantly, the effect on the job completion time of the work lost due to the occurrence of a server failure is modeled. They derive a closed-form expression for the Laplace-Stieltjes transform (LST) of the time to completion distribution of programs on such systems. They then describe an effective numerical procedure for computing the completion time distribution. They show how these results apply to the analysis of different computer system structures and organizations of fault-tolerant systems. Finally, they use numerical solution methods to find the distribution of time to completion on several systems.Keywords
This publication has 16 references indexed in Scilit:
- DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGYPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Effects of checkpointing and queuebsfg on program performanceCommunications in Statistics. Stochastic Models, 1990
- The completion time of a job on multimode systemsAdvances in Applied Probability, 1987
- A note on the effect of preemptive policies on the stability of a priority queueInformation Processing Letters, 1987
- Queueing Analysis of Fault-Tolerant Computer SystemsIEEE Transactions on Software Engineering, 1987
- The effects of checkpointing on program execution timeInformation Processing Letters, 1983
- An Inversion Technique for the Laplace TransformBell System Technical Journal, 1982
- Closed-Form Solutions of PerformabilityIEEE Transactions on Computers, 1982
- On Evaluating the Performability of Degradable Computing SystemsIEEE Transactions on Computers, 1980
- An Inversion Technique for the Laplace Transform with Application to ApproximationBell System Technical Journal, 1978