Un langage orienté parallèle pour modéliser des solveurs de contraintes - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

Un langage orienté parallèle pour modéliser des solveurs de contraintes

Résumé

Cet article présente Parallel-Oriented Solver Language (POSL, prononcé "puzzle") : un système pour construire des méta-heuristiques interconnectées tra-vaillant en parallèle. Le but de ce travail est d'obtenir un système pour facilement construire des solveurs et réduire l'effort de leur développement en proposant un mécanisme de réutilisation de code entre les différents solveurs. La nouveauté de cette approche porte sur le fait que l'on voit un solveur comme un ensemble de composants spécifiques, écris dans un langage orienté parallèle basé sur des opérateurs. Un avantage de POSL est la possibilité de parta-ger non seulement des informations mais aussi des comportements, permettant ainsi de modifier à chaud les solveurs. POSL permets aux composants d'un sol-veur d'être transmis et exécutés par d'autres solveurs. Il propose également une couche supplémentaire per-mettant de définir dynamiquement des connexions entre solveurs. L'implémentation de POSL restant un travail en cours, cet article se concentre uniquement sur ses concepts.
Fichier principal
Vignette du fichier
JFPC2015_fr-preprint.pdf (353.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01248171 , version 1

Citer

Alejandro Reyes Amaro, Eric Monfroy, Florian Richoux. Un langage orienté parallèle pour modéliser des solveurs de contraintes. Onzièmes Journées Francophones de Programmation par Contraintes (JFPC), 2015, Bordeaux, France. ⟨hal-01248171⟩
95 Consultations
80 Téléchargements

Partager

More