POSL a parallel-oriented solver language
La technologie multi-coeur et les architectures massivement parallèles sont de plus en plus accessibles à tous, à travers des technologies comme le Xeon Phi ou les cartes GPU. Cette stratégie d architecture a été communément adoptée par les constructeurs pour faire face à la loi de Moore. Or, ces no...
Enregistré dans:
Auteurs principaux : | , , , , , , |
---|---|
Collectivités auteurs : | , , , |
Format : | Thèse ou mémoire |
Langue : | anglais |
Titre complet : | POSL a parallel-oriented solver language / Alejandro Reyes Amaro; sous la direction de Éric Monfroy et de Florian Richoux |
Publié : |
2017 |
Accès en ligne : |
Accès Nantes Université
|
Note sur l'URL : | Accès au texte intégral |
Note de thèse : | Thèse de doctorat : Informatique et applications : Nantes : 2017 |
Sujets : |
LEADER | 06329clm a2200673 4500 | ||
---|---|---|---|
001 | PPN225832135 | ||
003 | http://www.sudoc.fr/225832135 | ||
005 | 20240531154500.0 | ||
029 | |a FR |b 2017NANT4030 | ||
033 | |a http://www.theses.fr/2017NANT4030 | ||
035 | |a (OCoLC)1259444227 | ||
035 | |a STAR84301 | ||
100 | |a 20180416d2017 k y0frey0103 ba | ||
101 | 0 | |a eng |d fre |d eng |2 639-2 | |
102 | |a FR | ||
105 | |a ||||ma 00|yy | ||
135 | |a dr||||||||||| | ||
181 | 1 | |6 z01 |c txt |2 rdacontent | |
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | 1 | |6 z01 |c c |2 rdamedia | |
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a POSL a parallel-oriented solver language |f Alejandro Reyes Amaro |g sous la direction de Éric Monfroy et de Florian Richoux | |
214 | 1 | |d 2017 | |
230 | |a Données textuelles | ||
304 | |a Titre provenant de l'écran-titre | ||
314 | |a Ecole(s) Doctorale(s) : École doctorale Sciences et technologies de l'information et mathématiques (Nantes) | ||
314 | |a Partenaire(s) de recherche : Université Bretagne Loire (COMUE), Laboratoire des Sciences du Numérique de Nantes (Laboratoire) | ||
314 | |a Autre(s) contribution(s) : Christophe Lecoutre (Président du jury) ; Arnaud Lallouet, Frédéric Lardeux (Membre(s) du jury) ; Salvador Abreu (Rapporteur(s)) | ||
328 | 0 | |b Thèse de doctorat |c Informatique et applications |e Nantes |d 2017 | |
330 | |a La technologie multi-coeur et les architectures massivement parallèles sont de plus en plus accessibles à tous, à travers des technologies comme le Xeon Phi ou les cartes GPU. Cette stratégie d architecture a été communément adoptée par les constructeurs pour faire face à la loi de Moore. Or, ces nouvelles architectures impliquent d autres manières de concevoir et d implémenter les algorithmes, pour exploiter complètement leur potentiel, en particulier dans le cas des solveurs de contraintes traitant de problèmes d optimisation combinatoire. De plus, le temps de développement nécessaire pour coder des solveurs en parallèle est souvent sous-estimée, et concevoir des algorithmes efficaces pour résoudre certains problèmes consomme trop de temps. Dans cette thèse nous présentons le langage orienté parallèle POSL, permettant de construire des solveurs de contraintes basés sur des méta-heuristiques qui résolvent des Problèmes de Satisfaction de Contraintes. 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. Il fournit aussi un mécanisme pour coder des stratégies de communication indépendantes des solveurs. Dans cette thèse, nous présentons aussi une analyse détaillée des résultats obtenus en résolvant plusieurs instances des CSPs. L idée n est pas d améliorer l état de l art en terme d efficacité sur ces instances de CSPs, mais de démontrer qu il est possible de rapidement écrire des prototypes avec POSL afin d expérimenter facilement différentes stratégies de communication. | ||
330 | |a The multi-core technology and massive parallel architectures are nowadays more accessible for a broad public through hardware like the Xeon Phi or GPU cards. This architecture strategy has been commonly adopted by processor manufacturers to stick with Moore s law. However, this new architecture implies new ways of designing and implementing algorithms to exploit their full potential. This is in particular true for constraint-based solvers dealing with combinatorial optimization problems. Furthermore, the developing time needed to code parallel solvers is often underestimated. In fact, conceiving efficient algorithms to solve certain problems takes a considerable amount of time. In this thesis we present POSL, a Parallel-Oriented Solver Language for building solvers based on meta-heuristic in order to solve Constraint Satisfaction Problems (CSP) in parallel. The main goal of this thesis is to obtain a system with which solvers can be easily built, reducing therefore their development effort by proposing a mechanism for code reusing between solvers. It also provides a mechanism to implement solver-independent communication strategies. We also present a detailed analysis of the results obtained when solving some CSPs. The goal is not to outperform the state of the art solvers in terms of efficiency, but to show that it is possible to rapidly prototype with POSL in order to experiment different communication strategies. | ||
337 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
541 | | | |a POSL un Langage orienté parallèle pour construire des solveurs de contraintes |z fre | |
606 | |3 PPN031467008 |a Programmation heuristique |2 rameau | ||
606 | |3 PPN02787656X |a Parallélisme (informatique) |2 rameau | ||
606 | |3 PPN027235912 |a Langages de programmation |2 rameau | ||
606 | |3 PPN030843553 |a Solveurs (logiciels) |2 rameau | ||
608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
610 | 0 | |a CSP | |
686 | |a 004 |2 TEF | ||
700 | 1 | |3 PPN225825341 |a Reyes Amaro |b Alejandro |f 1982-.... |4 070 | |
701 | 1 | |3 PPN111391377 |a Monfroy |b Éric |4 727 | |
701 | 1 | |3 PPN142741930 |a Richoux |b Florian |f 1983-... |4 727 | |
701 | 1 | |3 PPN121673952 |a Lecoutre |b Christophe |4 956 | |
701 | 1 | |3 PPN076289672 |a Abreu |b Salvador |f 1961-.... |4 958 | |
701 | 1 | |3 PPN149506848 |a Lallouet |b Arnaud |4 555 | |
701 | 1 | |3 PPN114630445 |a Lardeux |b Frédéric |f 1979-.... |4 555 | |
711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
711 | 0 | 2 | |3 PPN134103211 |a École doctorale Sciences et technologies de l'information et mathématiques |c Nantes |4 996 |
711 | 0 | 2 | |3 PPN191639044 |a Université Bretagne Loire |c 2016-2019 |4 985 |
711 | 0 | 2 | |3 PPN203637585 |a Laboratoire des Sciences du Numérique de Nantes |4 981 |
801 | 3 | |a FR |b Abes |c 20230302 |g AFNOR | |
856 | 4 | |q PDF |s 4423970 |u http://www.theses.fr/2017NANT4030/document |z Accès au texte intégral | |
856 | 4 | |u https://archive.bu.univ-nantes.fr/pollux/show.action?id=54bebe69-74cc-4b11-a3ce-e3e0da5df08a | |
856 | 4 | |u http://www.theses.fr/2017NANT4030/abes | |
930 | |5 441099901:778931986 |b 441099901 |j g | ||
991 | |5 441099901:778931986 |a exemplaire créé automatiquement par STAR | ||
998 | |a 810977 |