Software Design for Resilient Computer Systems by Igor Schagaev & Jürg Gutknecht

Software Design for Resilient Computer Systems by Igor Schagaev & Jürg Gutknecht

Author:Igor Schagaev & Jürg Gutknecht
Language: eng
Format: epub
ISBN: 9783031551390
Publisher: Springer International Publishing


If the system could not be recovered (the checking logic still detects the fault after the execution of segment J), it continues with RPi and

etc., until a correct RP is found.

This algorithm applies therefore the pattern of a binary search to find the appropriate recovery step.

We derive now the probabilities of the events Hc, Hkm, Hkpf, Hkm(L) and Hkpf(L) for the dichotomous recovery. We derive Pc (the probability of event Hc) as in the case of linear recovery from Eq. (10.2). Pkm (the probability of event Hkm) is calculated by using Eq. (10.3) but by deriving new times for the execution of recovery step m and the total recovery time for depth m:



Download



Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.