![Self-stabilizing Autonomic Recoverers: Self-stabilizing Autonomic Recoverer for Eventual Byzantine Software, Recovery Oriented Programming, Self-* Programming - Shlomi Dolev - Książki - LAP LAMBERT Academic Publishing - 9783845473031 - 7 września 2011](https://imusic.b-cdn.net/images/item/original/031/9783845473031.jpg?shlomi-dolev-2011-self-stabilizing-autonomic-recoverers-self-stabilizing-autonomic-recoverer-for-eventual-byzantine-software-recovery-oriented-programming-self-programming-paperback-book&class=scaled&v=1409972803)
Powiedz znajomym o tym przedmiocie:
Self-stabilizing Autonomic Recoverers: Self-stabilizing Autonomic Recoverer for Eventual Byzantine Software, Recovery Oriented Programming, Self-* Programming
Shlomi Dolev
Self-stabilizing Autonomic Recoverers: Self-stabilizing Autonomic Recoverer for Eventual Byzantine Software, Recovery Oriented Programming, Self-* Programming
Shlomi Dolev
Self-stabilization is a system property that implies the system convergence to the desired behavior from every possible system state. Self-stabilizing monitoring layer implies automatic recovery of a monitored system and enables automatic recovery of systems. In the first part of the book we suggest monitoring the safety and liveness properties of black box software packages by recording its IO trace. The monitoring layer continuesly analyzes the trace to identify the properties violations and executes appropriate recovery actions upon violation. In the second part of the book we present recovery oriented programming - a framework for creating recovery oriented software. The framework is a pre-compiler that produces augmented code from provided recovery tuples to monitor the recovery tuples safety and liveness properties and to invoke recovery actions upon the properties violations. In the third part of the book we suggest to create programs automatically instead of monitoring or enhancing an existing system. We present generic algorithms that search automatically for programs that fit the current, possibly unanticipated, environment state.
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 7 września 2011 |
ISBN13 | 9783845473031 |
Wydawcy | LAP LAMBERT Academic Publishing |
Strony | 124 |
Wymiary | 150 × 7 × 226 mm · 190 g |
Język | English |
Więcej od Shlomi Dolev
Zobacz wszystko od Shlomi Dolev ( np. Paperback Book i Hardcover Book )