Perfect Failure Detection in the Partitioned Synchronous Distributed System Model

Abstract

Abstract-In this paper we show that it is possible to implement a perfect failure detector P (one that detects all faulty processes if and only if those processes failed) in a non-synchronous distributed system. To realize that, we introduce the partitioned synchronous system (Spa) that is weaker than the conventional synchronous system. From some properties we introduce (such as strong partitioned synchrony) that must be valid in Spa and a trivially implementable Timeliness oracle, we show how to implement P in Spa. Moreover, we show that even if strong partitioned synchrony is not valid, we are still able to take advantage of the existing synchronous partitions for improving the robustness of applications, by introducing a partially perfect failure detector named xP . We also discuss how applications can benefit from these failure detectors and present some related experimental data. The necessary properties and algorithms for implementing P and xP are presented in the paper, as well as the related correctness proofs.

Controle de Admissão para QoS em Sistemas Distribuídos Híbridos, Tolerantes a Falhas

“…Para este modelo foi desenvolvido um detector de defeitos também híbrido, que realiza suspeitas e notificações de processos, e que se adapta a alterações no estado dos canais de comunicação, entre síncrono e assíncrono. Já o modelo Spa assume que tanto processos quanto canais de comunicação podem ser síncronos e assíncronos, mas que este estado não se modifica [Macêdo and Gorender 2009]. Neste modelo, os processos síncronos interligados por canais de comunicação síncronos são agrupados em partições síncronas.…”

“…Nos sistemas híbridos é possível tirar proveito do nível de sincronismo existente para resolver problemas não solucionados nos sistemas assíncronos, tolerando falhas. Os modelos HA [Gorender et al 2007] e Spa [Macêdo and Gorender 2009] para sistemas distribuídos híbridos apresentam propriedades e características utilizadas na solução destes problemas. Ambientes de execução híbridos se tornam comuns nos dias atuais, e existem diversas formas de se implementar processos e canais de comunicação síncronos e assíncronos.…”

“…Estes canais de comunicação síncronos, fornecidos a partir de um controle de admissão, são utilizados por detectores de defeitos para a execução de detecções perfeitas. Desta forma é possivel implementar, nestes ambientes híbridos, detectores de defeitos híbridos, que realizam detecções não confiáveis (suspeitas), e detecções confiáveis, assim como um detector de defeitos perfeito, dependendo da quantidade e organização dos componentes híbridos do sistema [Macêdo and Gorender 2009].…”

A Generic Group Communication Approach for Hybrid Distributed Systems

“…However, as connections among the clusters are realized via TCP/IP, the whole grid system is non-synchronous. We call such hybrid configuration partitioned synchronous, and elsewhere we presented an algorithm for the related perfect failure detector [16] -that can be used to manage the down set (algorithm 4).…”

“…Resource reservation and admission control have been used in QoS architectures in order to allow processes to dynamically negotiate the quality of service of their communication channels, leading to settings with hybrid characteristics that can change over time [14]. In this context, we have addressed the problems of uniform consensus and perfect failure detection for hybrid and dynamic distributed systems [15,16].…”