The timewheel group communication system

Mishra, Shivakant; Fetzer, Christof; Cristian, Flaviu

doi:10.1109/tc.2002.1024737

Cited by 9 publications

(5 citation statements)

References 48 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The paper on the Timewheel group communication system [12] is based on the Timed Asynchronous (TA) model. This model basically assumes that systems are fully asynchronous, except that they have clocks with a bounded drift rate.…”

Section: Related Workmentioning

confidence: 99%

The timely computing base model and architecture

Verı́ssimo

Casimiro

2002

IEEE Trans. Comput.

View full text Add to dashboard Cite

Current systems are very often based on large-scale, unpredictable, and unreliable infrastructures. However, users of these systems increasingly require services with timeliness properties. This creates a difficult-to-solve contradiction with regard to the adequate time model: synchronous, or asynchronous? In this paper, we propose an architectural construct and programming model which address this problem. We assume the existence of a component that is capable of executing timely functions, however asynchronous the rest of the system may be. We call this component the Timely Computing Base and it can be used by the other components to execute a set of simple but crucial time-related services. We also show how to use it to build dependable and timely applications exhibiting varying degrees of timeliness assurance, under several synchrony models.

show abstract

Section: Related Workmentioning

confidence: 99%

The timely computing base model and architecture

Verı́ssimo

Casimiro

2002

IEEE Trans. Comput.

View full text Add to dashboard Cite

show abstract

“…Group communication services have emerged from two domains : asynchronous distributed systems for fault-tolerant purposes [1,3,6] and (distributed) multi-agent systems (MAS) for agent coordination purposes [8]. They have been extensively studied from a formal as well as from a practical standpoint, in the field of distributed computing systems [3] in which:…”

Section: Introductionmentioning

confidence: 99%

Maximal Group Membership in Ad Hoc Networks

Filali

Issarny

Mauran

et al. 2006

Parallel Processing and Applied Mathematics

View full text Add to dashboard Cite

Abstract. The notion of Group communication has long been introduced as a core service of distributed systems. More recently, this notion appeared with a somewhat different meaning in the field of mobile ad hoc systems. In this context, we study the group membership problem. After specifying the basic safety properties of such groups and a maximality criterion based on cliques, we propose a group membership algorithm. Lastly, with respect to this criterion, we compare our algorithm with two group membership algorithms for ad hoc environments. Moreover, a formal description in TLA+ has been programmed and verified by model-checking for small networks.

show abstract

“…Há várias definições de sistemas distribuídos mais restritos, tais como os modelos parcialmente síncronos [40,44,72], quase síncrono [106,7,8], assíncrono temporizado [35,78,109,49], o modelo assíncrono estendido com detectores de defeitos não confiáveis [27,3,4,57], e o modelo de oráculos [90,79,58]. Há ainda abordagens híbridas que usam algoritmos aleatorizados com detectores de defeitos não confiáveis [2,82].…”

Section: Resultados De Impossibilidade De Consenso Distribuídounclassified

“…O modelo de sistema distribuído que mais se aproximaria da Internet seria o modelo de um sistema distribuído assíncrono [50], onde não há restrições de temporização [27,77,54,102]: limites no tempo de atraso de mensagens, desvio de relógios ou no tempo necessário para executar um passo do sistema. Há também os modelos de sistema distribuído parcialmente síncrono [40,44,72], quase-síncrono [106,7,8], assíncrono temporizado [35,78,109,49], e Timely Computing Base [24,107,25], que ficam entre os extremos síncrono e assíncrono. Recentemente, Veríssimo [105] definiu o modelo híbrido de sistema distribuído chamado Wormholes.…”

Section: Modelos De Sistemas Distribuídosunclassified

Qualidade de serviço de detectores de defeitos na presença de rajadas de perdas de mensagens

Sotoma¹,

Madeira²

View full text Add to dashboard Cite

A Deus, Criador, Redentor, Inspirador, que sempre me acompanha tanto nos momentos alegres, quanto nos mais difíceis, me acolhendo e dando forças e inspiração para superar os obstáculos.Aos meus pais José e Amélia, que me deram a vida e a oportunidade de uma boa educação.A minha esposa Rosimeire, que sempre esteve do meu lado, com muito amor. Aos meus filhos, Lara e Pedro, que compreenderam os meus períodos de ausência. Aos meus familiares de coração e de sangue, pelo apoio em toda a minha caminhada. Ao meu orientador, Prof. Dr. Edmundo Roberto Mauro Madeira, pela paciência, disponibilidade, orientação e apoio nas decisões.Aos membros da banda examinadora, Prof.

show abstract

The timewheel group communication system

Cited by 9 publications

References 48 publications

The timely computing base model and architecture

The timely computing base model and architecture

Maximal Group Membership in Ad Hoc Networks

Qualidade de serviço de detectores de defeitos na presença de rajadas de perdas de mensagens

Contact Info

Product

Resources

About