Asynchronous consistency maintenance with reordering (2001) [5 citations — 3 self]
Abstract:
When a search problem is solved by a distributed network of agents, it is desirable that this search exploits asynchronism as much as possible. This increases parallelism, allows agents to maintain privacy and makes the process robust against timing variations. Recent work on bringing constraint satisfaction techniques to distributed environments has focused either on backtrack search or on local consistency. A high degree of asynchronism can be reached when the two techniques are combined. A generic protocol for maintaining consistency during distributed search is presented. It allows: i) distributed consistency to be enforced concurrently at all levels of the search trees and ii) decisions about instantiations and agent reordering to be taken asynchronously by the agents. We show how its completeness can be ensured during backtracking with polynomial space requirements when a large class of reordering policies is used. A comparative experimental evaluation of several instances of this protocol is presented. 1
Citations
| 796 | Distributed snapshots: Determining global states of distributed systems – Chandy, Lamport - 1985 |
| 170 | Contradicting conventional wisdom in constraint satisfaction – Sabin, Freuder - 1994 |
| 168 | The Distributed Constraint Satisfaction Problem: Formalization and Algorithms – Yokoo, Durfee, et al. - 1998 |
| 89 | New algorithms for distributed termination detection in asynchronous message passing systems – Mattern - 1985 |
| 40 | Asynchronous search with aggregations – Silaghi, Sam-Haroud, et al. - 2000 |
| 39 | A distributed arc-consistency algorithm – Nguyen, Deville - 1998 |
| 32 | Parallel and distributed algorithms for finite constraint satisfaction problems – Zhang, Mackworth |
| 6 | A Class of Termination Detection Algorithms for Distributed Computations – Kumar - 1985 |
| 4 | Multiagent Systems, A Modern Approach to Distributed AI, chapter Distributed Control Algorithms for AI – Tel - 1999 |
