Safe Termination Detection in an Asynchronous Distributed System When Processes May Crash and Recover

2006 ◽  
pp. 126-141 ◽  
Author(s):  
Neeraj Mittal ◽  
Kuppahalli L. Phaneesh ◽  
Felix C. Freiling
Keyword(s):  
Distributed System ◽  
Termination Detection ◽  
Asynchronous Distributed System

scholarly journals Safe termination detection in an asynchronous distributed system when processes may crash and recover

2009 ◽  
Vol 410 (6-7) ◽  
pp. 614-628
Author(s):  
Neeraj Mittal ◽  
Kuppahalli L. Phaneesh ◽  
Felix C. Freiling
Keyword(s):  
Distributed System ◽  
Termination Detection ◽  
Asynchronous Distributed System

Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System

2005 ◽  
pp. 93-107 ◽  
Author(s):  
Neeraj Mittal ◽  
Felix C. Freiling ◽  
S. Venkatesan ◽  
Lucia Draque Penso
Keyword(s):  
Distributed System ◽  
Termination Detection ◽  
Efficient Reduction

A TIME-FREE ASSUMPTION TO IMPLEMENT EVENTUAL LEADERSHIP

2006 ◽  
Vol 16 (02) ◽  
pp. 189-207 ◽  
Author(s):  
ACHOUR MOSTEFAOUI ◽  
ERIC MOURGAYA ◽  
MICHEL RAYNAL ◽  
CORENTIN TRAVERS
Keyword(s):  
Distributed Systems ◽  
Distributed Computing ◽  
Distributed System ◽  
Probabilistic Analysis ◽  
Asynchronous Systems ◽  
Coordination Problems ◽  
Novel Approach ◽  
Noteworthy Feature ◽  
Asynchronous Distributed System

Leader-based protocols rest on a primitive able to provide the processes with the same unique leader. Such protocols are very common in distributed computing to solve synchronization or coordination problems. Unfortunately, providing such a primitive is far from being trivial in asynchronous distributed systems prone to process crashes. (It is even impossible in fault-prone purely asynchronous systems.) To circumvent this difficulty, several protocols have been proposed that build a leader facility on top of an asynchronous distributed system enriched with synchrony assumptions. This paper introduces a novel approach to implement an eventual leader protocol, namely a time-free behavioral assumption on the flow of messages that are exchanged. It presents a very simple leader protocol based on this assumption. It then presents a second leader protocol combining this timeless assumption with eventually timely channels. As it considers several assumptions, the resulting hybrid protocol has the noteworthy feature to provide an increased overall assumption coverage. A probabilistic analysis shows that the time-free assumption is practically always satisfied.

A survey on secure file synchronization in distributed system

2011 ◽  
Vol 1 (10) ◽  
pp. 81-82
Author(s):  
Chhaya Nayak ◽  
◽  
Deepak Tomar
Keyword(s):  
Distributed System ◽  
File Synchronization
Sign in / Sign up

Export Citation Format

Share Document