Estimating parallel runtimes for randomized algorithms in constraint solving - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Heuristics Année : 2015

Estimating parallel runtimes for randomized algorithms in constraint solving

Résumé

This paper presents a detailed analysis of the scalability and par-allelization of Local Search algorithms for constraint-based and SAT (Boolean satisfiability) solvers. We propose a framework to estimate the parallel performance of a given algorithm by analyzing the runtime behavior of its sequential version. Indeed, by approximating the runtime distribution of the sequential process with statistical methods, the runtime behavior of the parallel process can be predicted by a model based on order statistics. We apply this approach to study the parallel performance of a Constraint-Based Local Search solver (Adaptive Search), two SAT Local Search solvers (namely Sparrow and CCASAT), and a propagation-based constraint solver (Gecode, with a random labeling heuristic). We compare the performance predicted by our model to actual parallel implementations of those methods using up to 384 processes. We show that the model is accurate and predicts performance close to the empirical data. Moreover, as we study different types of problems, we observe that the experimented solvers exhibit different behaviors and that their runtime distributions can be approximated by two types of distributions: exponential (shifted and non-shifted) and lognormal. Our results show that the proposed framework estimates the runtime of the parallel algorithm with an average discrepancy of 21% w.r.t. the empirical data across all the experiments with the maximum allowed number of processors for each technique.
Fichier principal
Vignette du fichier
Jheuristics.pdf (1.41 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01248168 , version 1 (24-12-2015)

Identifiants

Citer

Charlotte Truchet, Alejandro Arbelaez, Florian Richoux, Philippe Codognet. Estimating parallel runtimes for randomized algorithms in constraint solving. Journal of Heuristics, 2015, pp.1-36. ⟨10.1007/s10732-015-9292-3⟩. ⟨hal-01248168⟩
164 Consultations
247 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More