Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Distributed deadlock detection in mobile agent systems: a case study
Ashfield B., Deugo D., Oppacher F., White T.  Industrial and Engineering, Applications of Artificial Intelligence and Expert Systems (Proceedings of the 15th International Conference, Jun 17-20, 2002)146-156.2002.Type:Proceedings
Date Reviewed: Jul 23 2003

Two different research areas are connected in this paper: mobile systems and distributed deadlock resolution. As is stated in the paper, the fundamental building blocks of many traditional distributed algorithms rely on assumptions, such as message passing and static network topology, which are no longer valid if we consider that clients and servers can move and fail.

The paper focuses on a description of a distributed deadlock detection algorithm in mobile systems, and describes measurements obtained. The paper considers a single request model for the computation model, though the authors do not state this explicitly. The authors do not provide a formal description of the algorithm. A description of the algorithm, using pseudocode or a formal tool, would be very useful in completely understanding the algorithm. This would also facilitate a correctness proof to ensure that the algorithm satisfies the safety and liveness conditions that must be verified by every deadlock resolution algorithm.

This is a very interesting paper. It opens a channel to the study and analysis of distributed algorithms in more realistic environments, where movement and failures are two important characteristics that must be taken into account.

Reviewer:  Jesus Villadangos-Alonso Review #: CR128031 (0311-1243)
Bookmark and Share
  Reviewer Selected
Featured Reviewer
 
 
Deadlocks (D.4.1 ... )
 
 
Deadlock Avoidance (H.2.2 ... )
 
 
Wireless Communication (C.2.1 ... )
 
 
Distributed Systems (C.2.4 )
 
Would you recommend this review?
yes
no
Other reviews under "Deadlocks": Date
Extension of the Banker’s algorithm for resource allocation in a distributed operating system
Madduri H., Finkel R. Information Processing Letters 19(1): 1-8, 1984. Type: Article
Jul 1 1985
Deadlock avoidance with a modified banker’s algorithm
Belik F. BIT 27(3): 290-305, 1987. Type: Article
May 1 1988
Deadlock detection in distributed databases
Knapp E. ACM Computing Surveys 19(4): 303-328, 1987. Type: Article
Feb 1 1989
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy