Improving ABT Performance by Adding Synchronization Points

  • Authors:
  • Ismel Brito;Pedro Meseguer

  • Affiliations:
  • IIIA, Institut d'Investigació en Intel.ligència Artificial, CSIC, Consejo Superior de Investigaciones Científicas, Bellaterra, Spain 08193;IIIA, Institut d'Investigació en Intel.ligència Artificial, CSIC, Consejo Superior de Investigaciones Científicas, Bellaterra, Spain 08193

  • Venue:
  • Recent Advances in Constraints
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Asynchronous Backtracking (ABT ) is a reference algorithm for Distributed CSP (DisCSP ). In ABT , agents assign values to their variables and exchange messages asynchronously and concurrently. When an ABT agent sends a backtracking message, it continues working without waiting for an answer. In this paper, we describe a case showing that this strategy may cause some inefficiency. To overcome this, we propose ABT hyb , a new algorithm that results from adding synchronization points to ABT . We prove that ABT hyb is correct, complete and terminates. We also provide an empirical evaluation of the new algorithm on several benchmarks. Experimental results show that ABT hyb outperforms ABT .