Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing /

As modern society relies on the fault-free operation of complex computing systems, system fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms that guarantee correct service in cases where system components fail, be they software or hardware elements. Redundancy pat...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Wolter, Katinka (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03684nam a22005295i 4500
001 978-3-642-11257-7
003 DE-He213
005 20151204153906.0
007 cr nn 008mamaa
008 100623s2010 gw | s |||| 0|eng d
020 |a 9783642112577  |9 978-3-642-11257-7 
024 7 |a 10.1007/978-3-642-11257-7  |2 doi 
040 |d GrThAP 
050 4 |a QA75.5-76.95 
072 7 |a UY  |2 bicssc 
072 7 |a UYA  |2 bicssc 
072 7 |a COM014000  |2 bisacsh 
072 7 |a COM031000  |2 bisacsh 
082 0 4 |a 004.0151  |2 23 
100 1 |a Wolter, Katinka.  |e author. 
245 1 0 |a Stochastic Models for Fault Tolerance  |h [electronic resource] :  |b Restart, Rejuvenation and Checkpointing /  |c by Katinka Wolter. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2010. 
300 |a XVI, 269 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Basic Concepts and Problems -- Task Completion Time -- Restart -- Applicability Analysis of Restart -- Moments of Completion Time Under Restart -- Meeting Deadlines Through Restart -- Software Rejuvenation -- Practical Aspects of Preventive Maintenance and Software Rejuvenation -- Stochastic Models for Preventive Maintenance and Software Rejuvenation -- Checkpointing -- Checkpointing Systems -- Stochastic Models for Checkpointing -- Summary, Conclusion and Outlook. 
520 |a As modern society relies on the fault-free operation of complex computing systems, system fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms that guarantee correct service in cases where system components fail, be they software or hardware elements. Redundancy patterns are commonly used, for either redundancy in space or redundancy in time. Wolter’s book details methods of redundancy in time that need to be issued at the right moment. In particular, she addresses the so-called "timeout selection problem", i.e., the question of choosing the right time for different fault-tolerance mechanisms like restart, rejuvenation and checkpointing. Restart indicates the pure system restart, rejuvenation denotes the restart of the operating environment of a task, and checkpointing includes saving the system state periodically and reinitializing the system at the most recent checkpoint upon failure of the system. Her presentation includes a brief introduction to the methods, their detailed stochastic description, and also aspects of their efficient implementation in real-world systems. The book is targeted at researchers and graduate students in system dependability, stochastic modeling and software reliability. Readers will find here an up-to-date overview of the key theoretical results, making this the only comprehensive text on stochastic models for restart-related problems. 
650 0 |a Computer science. 
650 0 |a Computer system failures. 
650 0 |a Computers. 
650 0 |a Computer science  |x Mathematics. 
650 0 |a Mathematical statistics. 
650 0 |a Computer simulation. 
650 1 4 |a Computer Science. 
650 2 4 |a Theory of Computation. 
650 2 4 |a Mathematics of Computing. 
650 2 4 |a Simulation and Modeling. 
650 2 4 |a System Performance and Evaluation. 
650 2 4 |a Probability and Statistics in Computer Science. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642112560 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-11257-7  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
950 |a Computer Science (Springer-11645)