Chapter

Recent Advances in Constraints

Volume 5129 of the series Lecture Notes in Computer Science pp 47-61

Improving ABT Performance by Adding Synchronization Points

  • Ismel BritoAffiliated withIIIA, Institut d’Investigació en Intel.ligència Artificial, CSIC, Consejo Superior de Investigaciones Científicas
  • , Pedro MeseguerAffiliated withIIIA, Institut d’Investigació en Intel.ligència Artificial, CSIC, Consejo Superior de Investigaciones Científicas

* Final gross prices may vary according to local VAT.

Get Access

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.