Nowadays, there are many protocols able to cope with process crashes, but, unfortunately, a process crash represents only a particular faulty behavior. Handling tougher failures (e.g. sending omission failures, receive omission failures, arbitrary failures) is a real practical challenge due to malicious attacks or unexpected software errors. This paper proposes a component-based methodology allowing to take a protocol A resilient to crash failures and to add software components, namely liveness and safely failure detectors, in order to adapt the protocol A to be resilient to more general failures than crashes, without changing the code of A. Then, the feasibility of this approach is shown, by providing an implementation of liveness failure detectors and of safety failure detectors for a protocol solving the problem, of global data computation. © 2007 IEEE.
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols / Baldoni, Roberto; J., Helary; TUCCI PIERGIOVANNI, Sara. - (2007), pp. 51-61. (Intervento presentato al convegno 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007 tenutosi a Santorini Island; Greece nel 7-9 May 2007) [10.1109/ISORC.2007.6].
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols
BALDONI, Roberto;TUCCI PIERGIOVANNI, sara
2007
Abstract
Nowadays, there are many protocols able to cope with process crashes, but, unfortunately, a process crash represents only a particular faulty behavior. Handling tougher failures (e.g. sending omission failures, receive omission failures, arbitrary failures) is a real practical challenge due to malicious attacks or unexpected software errors. This paper proposes a component-based methodology allowing to take a protocol A resilient to crash failures and to add software components, namely liveness and safely failure detectors, in order to adapt the protocol A to be resilient to more general failures than crashes, without changing the code of A. Then, the feasibility of this approach is shown, by providing an implementation of liveness failure detectors and of safety failure detectors for a protocol solving the problem, of global data computation. © 2007 IEEE.File | Dimensione | Formato | |
---|---|---|---|
VE_2007_11573-368562.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
216.5 kB
Formato
Adobe PDF
|
216.5 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.