Global quiescence detection based on credit distribution and recovery
Information Processing Letters
A distributed deadlock detection algorithm for CSP-like communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
A message-optimal algorithm for distributed termination detection
Journal of Parallel and Distributed Computing
The art of parallel programming
The art of parallel programming
An (N -1)-Resilient Algorithm for Distributed Termination Detection
IEEE Transactions on Parallel and Distributed Systems
Nomadic computing—an opportunity
ACM SIGCOMM Computer Communication Review - Special twenty-fifth anniversary issue. Highlights from 25 years of the Computer Communication Review
Detecting termination by weight-throwing in a faulty distributed system
Journal of Parallel and Distributed Computing
Low-Cost Checkpointing and Failure Recovery in Mobile Computing Systems
IEEE Transactions on Parallel and Distributed Systems
Causal Ordering in Distributed Mobile Systems
IEEE Transactions on Computers - Special issue on mobile computing
A framework for delivering multicast message in networks with mobile hosts
Mobile Networks and Applications - Special issue: routing in mobile communications networks
A protocol for causally ordered message delivery in mobile computing systems
Mobile Networks and Applications - Special issue on personal communications services
Termination Detection of Diffusing Computations in Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Wireless Networking Handbook
Advanced Concepts in Operating Systems
Advanced Concepts in Operating Systems
A More Efficient Message-Optimal Algorithm for Distributed Termination Detection
IPPS '92 Proceedings of the 6th International Parallel Processing Symposium
A snapshot algorithm for distributed mobile systems
ICDCS '96 Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96)
An efficient causal ordering algorithm for mobile computing environments
ICDCS '96 Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96)
Wireless communication protocols
The handbook of ad hoc wireless networks
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks
Automated Software Engineering
| Hi-index | 0.00 |
This paper studies a fundamental problem, the termination detection problem, in distributed systems. Under a wireless network environment, we show how to handle the host mobility and disconnection problems. In particular, when some distributed processes are temporarily disconnected, we show how to capture a weakly terminated state where silence has been reached only by those currently connected processes. A user may desire to know such a state to tell whether the mobile distributed system is still running or is silent because some processes are disconnected. Our protocol tries to exploit the network hierarchy by combining two existing protocols together. It employs the weight-throwing scheme [9], [16], [21] on the wired network side, and the diffusion-based scheme [5], [13] on each wireless cell. Such a hybrid protocol can better pave the gaps of computation and communication capability between static and mobile hosts, thus more scalable to larger distributed systems. Analysis and simulation results are also presented.