Parallélisme en programmation par contraintes

Résumé : Nous étudions la parallélisation de la procédure de recherche de solution d’un problème en Programmation Par Contraintes (PPC). Après une étude de l’état de l’art, nous présentons une nouvelle méthode, nommée Embarrassingly Parallel Search (EPS). Cette méthode est basée sur la décomposition d’un problème en un très grand nombre de sous-problèmes disjoints qui sont ensuite résolus en parallèle par des unités de calcul avec très peu, voire aucune communication. Le principe d’EPS est d’arriver statistiquement à un équilibrage des temps de résolution de chaque unité de calcul afin d’obtenir une bonne répartition de la charge de travail. EPS s’appuie sur la propriété suivante : la somme des temps de résolution de chacun des sous-problèmes est comparable au temps de résolution du problème en entier. Cette propriété est vérifiée en PPC, ce qui nous permet de disposer d’une méthode simple et efficace en pratique. Dans nos expérimentations, nous nous intéressons à la recherche de toutes les solutions d’un problème en PPC, à prouver qu’un problème n’a pas de solution et à la recherche d’une solution optimale d’un problème d’optimisation. Les résultats montrent que la décomposition doit générer au moins 30 sous-problèmes par unité de calcul pour obtenir des charges de travail par unité de calcul équivalentes. Nous évaluons notre approche sur différentes architectures (machine multi-coeurs, centre de calcul et cloud computing) et montrons qu’elle obtient un gain pratiquement linéaire en fonction du nombre d’unités de calcul. Une comparaison avec les méthodes actuelles telles que le work stealing ou le portfolio montre qu’EPS obtient de meilleurs résultats.
Type de document :
Thèse
Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. <NNT : 2015NICE4040>
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01191760
Contributeur : Abes Star <>
Soumis le : mercredi 2 septembre 2015 - 14:54:19
Dernière modification le : vendredi 4 septembre 2015 - 01:12:25

Fichier

2015NICE4040.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01191760, version 1

Collections

STAR | UNICE | I3S

Citation

Mohamed Rezgui. Parallélisme en programmation par contraintes. Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. <NNT : 2015NICE4040>. <tel-01191760>

Partager

Métriques

Consultations de
la notice

377

Téléchargements du document

511