13 results on '"Pascal Felber"'
Number of results to display per page
Search Results
2. Construction universelle d'objets partagés sans connaissance des participants
- Author
-
Pierre Sutra, Étienne Rivière, Pascal Felber, Sutra, Pierre, and Large-scale Elastic Architecture for Data as a Service - LEADS - 318809 - INCOMING
- Subjects
Construction Universelle ,Consensus ,Concurrence ,Objet Partagé ,[INFO] Computer Science [cs] ,Mémoire partagée - Abstract
Une construction universelle est un algorithme permettant à un ensemble de processus concurrents d'accéder à un objet partagé en ayant l'illusion que celui-ci est disponible localement. Dans cet article, nous présentons un algorithme permettant la mise en oeuvre d'une telle construction dans un système à mémoire partagée. Notre construction est sans verrou, et contrairement aux approches proposées précédemment, ne nécessite pas que les processus accédant à l'objet partagé soient connus. De plus, elle est adaptative : en notant n le nombre total de processus dans le système et k
- Published
- 2015
3. Ordonnancement, assignation et transformations dynamiques de graphe simultanés pour projeter efficacement des applications sur CGRAs
- Author
-
Thomas Peyret, Gwenolé Corre, Mathieu Thevenin, Kevin Martin, Philippe Coussy, Laboratoire Capteurs et Architectures Electroniques (LCAE), Département Métrologie Instrumentation & Information (DM2I), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Pascal Felber, Laurent Philippe, Etienne Riviere, Arnaud Tisserand, Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Peyret, Thomas, and Pascal Felber, Laurent Philippe, Etienne Riviere, Arnaud Tisserand
- Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR] ,[INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR] ,Coarse Grained Reconfigurable Architecture ,Electronic architecture ,B.5.2 [Register-Transfer-Level Implementation]: Design Aids - Automatic synthesis ,[SPI.NANO] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics ,Ordonnancement ,latency time ,graph ,[SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics ,signal processing ,CGRA ,Assignation - Abstract
National audience; Porter une application sur une architecture reconfigurable à gros grain est une tâche complexe qui reste encore souvent réalisée entièrement ou partiellement manuellement. Cet article présente un flot original de synthèse automatisé basé sur des étapes d'ordonnancement et d'assignation simultanées. L'approche proposée parcourt en sens inverse les noeuds du modèle formel extrait à partir du code de l'application compilé pour le transformer dynamiquement uniquement si nécessaire. Les résultats des expériences montrent que l'approche proposée permet une meilleure exploration de l'espace de solution et obtient la meilleure latence dans 90% des cas.
- Published
- 2014
4. Un système pair-à-pair pour la communication dans des réseaux hybrides à connectivité intermittente
- Author
-
Esnault, Armel, Le Sommer, Nicolas, Guidec, Frédéric, Le Sommer, Nicolas, Pascal Felber, Laurent Philippe, Etienne Riviere, Arnaud Tisserand, Disruption-Tolerant Networking & Computing (CASA), RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES (IRISA-D2), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Pascal Felber, Laurent Philippe, Etienne Riviere, Arnaud Tisserand, Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-CentraleSupélec, Université de Bretagne Sud (UBS)-RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES (IRISA-D2), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Université de Rennes 1 (UR1)
- Subjects
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing ,communication opportuniste ,systèmes pair-à-pair ,[INFO.INFO-IU] Computer Science [cs]/Ubiquitous Computing ,réseaux à connectivité intermittente - Abstract
International audience; L'augmentation du nombre de terminaux mobiles dotés d'interfaces de communication sans fil, et l'appétence toujours croissante des individus à communiquer en situation de mobilité, ont conduit à une augmentation significative du trafic de données dans les réseaux cellulaires ces dernières années. Les récents progrès réalisés au niveau de la couche physique pour accroître les débits dans ces réseaux devraient pourtant s'avérer insuffisants dans le futur avec l'apparition de nouveaux objets connectés et de l'augmentation du trafic de données qu'ils vont engendrer. Les réseaux hybrides à connectivité intermittente (RHCI), qui sont constitués d'une infrastructure et de parties composées de terminaux mobiles communicant en mode ad hoc, peuvent être des solutions pertinentes pour faire face à cette augmentation du trafic de données. Dans cet article, nous présentons un système pair-à-pair décentralisé et non structuré qui permet d'assurer les communications entre des équipements dans des RHCI de grande taille. Nous présentons également les résultats de simulation que nous avons obtenus pour ce système dans une ville de taille moyenne, dans laquelle un RHCI a été constitué par quelques centaines de stations fixes connectées à Internet, et par quelques milliers de personnes dotées de terminaux mobiles.
- Published
- 2014
5. POP-Java: Parallélisme et distribution orienté objet
- Author
-
Wolf, Beat, Kuonen, Pierre, Dandekar, Thomas, Wolf, Beat, Pascal Felber, Laurent Philippe, Etienne Riviere, Arnaud Tisserand, Haute Ecole Spécialisée de Suisse Occidentale (HES-SO), Biozentrum Universität Würzburg, Julius-Maximilians-Universität Würzburg [Wurtzbourg, Allemagne] (JMU), Pascal Felber, Laurent Philippe, Etienne Riviere, and Arnaud Tisserand
- Subjects
[INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] ,[INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] - Abstract
International audience; Cet article présente l'intégration du modèle de programmation POP pour "Parallel Object Programming", dans le langage de programmation Java. Le modèle POP permet de créer des objets dans un environnement distribué et de les accéder d'une manière parallèle et transparente pour le programmeur. Ce travail se base sur les travaux déjà faits dans POP-C++, une implémentation du modèle POP en C++. À travers un exemple concret, les performances et fonctionnalités de POP-Java sont présentées et validées.
- Published
- 2014
6. Analyse et réduction du chemin critique dans l'exécution d'une application
- Author
-
Porada, Katarzyna, Parello, David, Goossens, Bernard, Digits, Architectures et Logiciels Informatiques (DALI), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Université de Perpignan Via Domitia (UPVD), Université de Perpignan Via Domitia (UPVD), Pascal Felber, Laurent Philippe, Etienne Riviere, and Arnaud Tisserand
- Subjects
parallélisation automatique ,[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR] ,plus longue chaîne de dépendances ,parallélisme d’instructions ,séquentialisation de l’extraction ,séquentialisation de la pile - Abstract
National audience; L'article étudie les plus longues chaînes de dépendances (LDC) entre instructions dans l'exécution des applications de la suite de benchmarks cBench. Deux modèles d'exécution sont mis en oeuvre. Le modèle séquentiel reproduit le fonctionnement d'un processeur actuel. Le modèle parallèle correspond à un processeur idéal qui disposerait de la trace d'exécution et d'un déploiement complet de l'espace nécessaire au stockage des données et résultats. Les LDC du modèle parallèle sont composées des dépendances Lecture Après Ecriture (LAE) entre données issues de l'algorithme alors que les LDC du modèle séquentiel ajoutent d'innombrables dépendances de données architecturales, enchâssant le calcul dans un carcan qui en enlève tout le parallélisme. L'enlèvement de toutes ces dépendances parasites est nécessaire pour paralléliser l'exécution. Cela peut être fait par le matériel à condition de pouvoir i) extraire les instructions en parallèle, ii) étendre le renommage des registres à la mémoire et iii) éliminer les vraies dépendances sur le pointeur de pile et sur les compteurs de boucles vectorisables. Mots-clés : parallélisation automatique, parallélisme d'instructions, plus longue chaîne de dépendances, séquentialisation de l'extraction, séquentialisation de la pile.
- Published
- 2014
7. Impact des schedulers sur la prédictibilité dans les GPU
- Author
-
Defour, David, Digits, Architectures et Logiciels Informatiques (DALI), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Université de Perpignan Via Domitia (UPVD), Pascal Felber, Laurent Philippe, Etienne Riviere, and Arnaud Tisserand
- Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR] ,Scheduling ,GPU ,WCET ,Prédictibilité - Abstract
National audience; Les GPU sont des architectures massivement multicoeurs gérant plusieurs dizaines de milliers de threads concurrents. Cette concurrence, maintenue par le biais de différents schedulers, est nécessaire pour conserver de bonne performance mais nuie à la prédictibilité. Dans ce travail nous proposons une mesure de la prédictibilité ainsi que les tests CUDA permettant de s'approcher de cette mesure. Enfin nous donnons des mesures de prédictibilité lié aux schedulers de warp et de block pour différentes architectures Nvidia allant du G80 au K10.
- Published
- 2014
8. Étude comparative des plateformes parallèles pour systèmes multi-agents
- Author
-
Rousset, Alban, Herrmann, Bénédicte, Lang, Christophe, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS), and Pascal Felber and Laurent Philippe and Etienne Riviere and Arnaud Tisserand
- Subjects
[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA] ,[INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] - Abstract
International audience; La simulation est devenue un outil indispensable à la recherche pour explorer les systèmes sans avoir recours à l'expérience. En fonction des caractéristiques du système la méthode de modélisation utilisée pour représenter le système varie. Les systèmes multi-agents sont ainsi souvent utilisés pour modéliser et simuler les systèmes complexes. Quel que soit le type de modélisation utilisée, l'augmentation de la taille et de la précision du modèle fait croître le nombre des calculs, rendant nécessaire l'utilisation de systèmes parallèles. Dans cet article, nous nous intéressons aux plateformes de simulation multi-agent parallèles. Notre contribution est une étude comparative de ces différentes plateformes, dans un contexte de calcul intensif. Nous présentons une analyse qualitative, à partir de critères que nous avons définis, puis un comparatif de performance, sur la base d'un modèle agent que nous avons implémenté sur chaque plateforme.
- Published
- 2014
9. Un langage pour la configuration de DISCUS, une architecture distribuée de solutions de sécurité
- Author
-
Riquet, Damien, Grimaud, Gilles, Hauspie, Michaël, Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS), Université de Lille, Sciences et Technologies, Extra Small Extra Safe (2XS), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Pascal Felber, Laurent Philippe, Etienne Riviere, and Arnaud Tisserand
- Subjects
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] ,[INFO.INFO-MC]Computer Science [cs]/Mobile Computing ,Langage ,[INFO.INFO-ES]Computer Science [cs]/Embedded Systems ,[INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS] ,Sécurité ,Cloud Computing ,Détection d'Intrusion - Abstract
International audience; De nos jours, le cloud computing est très populaire dans le monde industriel et académique. La plupart des challenges de sécurité amenés par cette nouvelle architecture ne sont pas encore résolus. Les solutions actuelles, à savoir les IDS ou les pare-feux, n'ont pas été initialement conçues pour détecter des attaques qui tirent profit de la structure du cloud telles que les attaques distribuées. Dans cet article, nous proposons une nouvelle architecture, basée sur un réseau massivement distribué de solutions minimalistes de sécurité, pour adresser ces problèmes. Notre solution, DISCUS, est basée sur une architecture distribuée utilisant des sondes physiques et virtuelles, ainsi que les solutions conventionnelles (IDS et firewalls). Un problème d'une structure aussi large est la gestion de l'ensemble des composants. Cet article présente DISCUS SCRIPT, un langage dédié, qui permet de piloter facilement chacun des composants de cette structure.
- Published
- 2014
10. Optimisation de l'utilisation du cache dans EUROPLEXUS
- Author
-
Sridi, Marwa, Faucher, Vincent, Raffin, Bruno, Gautier, Thierry, PrograMming and scheduling design fOr Applications in Interactive Simulation (MOAIS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Pascal Felber, Laurent Philippe, Etienne Riviere, Arnaud Tisserand, Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Inria Grenoble - Rhône-Alpes, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Subjects
[INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] - Abstract
National audience; in this paper we propose a new data structure organization for EUROPLEXUS: a simulation code developed by the CEA and dedicated to the analysis of fast phenomena of fluids and structures. The approach we propose is built so that the data accessed by the processor operating on a portion of the calculation for a time step are as contiguous as possible. This new distribution will help to minimize the number of cache misses compared to that obtained with the current organization of the data structure. Studies have validated the performance gain achieved with the new organization in the case of large scale problems.; Dans cet article, nous proposons une nouvelle organisation de la structure de données d'EUROPLEXUS,un code de simulation en dynamique rapide des fluides et des structures développé par le CEA. Cette nouvelle organisation est construite de telle sorte que les données consultées par le processeur travaillant sur une partie du calcul pendant un pas de temps Ti soient le plus contigües possible afin qu'elles tiennent dans le cache de ce dernier. Cette nouvelle répartition nous permettra de minimiser le nombre de défauts de cache comparé à celui obtenu avec l'organisation actuelle de la structure de données. Les études de performance ont validé le gain réalisé avec la nouvelle organisation des données dans le cas des problèmes de grande taille.
- Published
- 2014
11. Partitionnement Déterministe pour Résoudre les Problèmes de Programmation Par Contraintes en utilisant le Framework Parallèle Bobpp
- Author
-
Menouer, Tarek, Cun, Bertrand Le, Parallélisme, Réseaux, Systèmes, Modélisation (PRISM), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Centre National de la Recherche Scientifique (CNRS), Pascal Felber, Laurent Philippe, Etienne Riviere, and Arnaud Tisserand
- Subjects
Parallélisme ,Vol de travail ,Computer Science - Distributed, Parallel, and Cluster Computing ,Déterminisme ,Programmation Par Contraintes ,[INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] - Abstract
This paper presents a deterministic parallelization to explore a Constraint Programming search space. This work is an answer to an industrial project named PAJERO, which is in need of a parallel constraint solver which always responds with the same solution whether using sequential or parallel machines. It is well known that parallel tree search changes the order in which the exploration of solution space is done. In the context where the first solution found is returned, using a different number of cores may change the returned solution. In the literature, several non deterministic strategies have been proposed to parallelize the exploration of Constraint Programming search space. Most of them are based on the Work Stealing technique used to partition the Constraint Programming search space on demand and during the execution of the search algorithm. Our study focuses on the determinism of the parallel search versus the sequential one. We consider that the sequential search algorithm is deterministic, then propose an elegant solution introducing a total order on the nodes in which the parallel algorithm always gives the same solution as the sequential one regardless of the number of cores used. To evaluate this deterministic strategy, we ran tests using the Google OR-Tools Constraint Programming solver on top of our parallel Bobpp framework. The performances are illustrated by solving Constraint Programming problems modeled in FlatZinc format., Comment: in French, ComPAS 2014 : conf\'erence en parall\'elisme, architecture et syst\`emes (2014)
- Published
- 2014
12. PUMA: Un cache distant pour mutualiser la mémoire inutilisée des machines virtuelles
- Author
-
Lorrillere, Maxime, Sopena, Julien, Monnet, Sébastien, Sens, Pierre, Large-Scale Distributed Systems and Applications (Regal), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Pascal Felber, Laurent Philippe, Etienne Riviere, Arnaud Tisserand, and Lorrillere, Maxime
- Subjects
mémoire ,[INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS] ,virtualisation ,cache réparti ,D.4.2 ,[INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS] ,système d'exploitation - Abstract
National audience; Certaines applications, comme les serveurs d'e-commerce, effectuent beaucoup d'opérations d'entrée/sortie (E/S) sur disque. Leurs performances sont étroitement liées à l'efficacité de ces opérations. Pour les améliorer, les systèmes d'exploitation tels que Linux utilisent la mémoire libre pour fournir des mécanismes de cache. Cependant, les ressources d'aujourd'hui sont virtualisées : par exemple, dans les clouds, les machines virtuelles (MVs) peuvent être déployées et déplacées entre les hôtes physiques pour offrir à la fois isolation et flexibilité. Ceci implique une fragmentation des ressources physiques, dont la mémoire. Cette fragmentation limite la quantité de mémoire disponible d'une MV pour y mettre ses données en cache. Dans cet article, nous proposons PUMA, un mécanisme de cache distant qui permet à une MV d'étendre son cache en utilisant la mémoire d'autres MVs situées sur un hôte local ou distant. Nos évaluations montrent que PUMA permet de multiplier les performances des applications par 9.
- Published
- 2014
13. Modulariser les ordonnanceurs de tâches : une approche structurelle
- Author
-
Sergent, Marc, Archipoff, Simon, Sergent, Marc, Modèles Numériques - Solveurs pour architectures hétérogènes utilisant des supports d'exécution - - SOLHAR2013 - ANR-13-MONU-0007 - MN - VALID, Pascal Felber, Laurent Philippe, Etienne Riviere, Arnaud Tisserand, Efficient runtime systems for parallel architectures (RUNTIME), Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS), PlaFRIM, and ANR-13-MONU-0007,SOLHAR,Solveurs pour architectures hétérogènes utilisant des supports d'exécution(2013)
- Subjects
architectures hétérogènes ,support d'exécution ,[INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] ,[INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] ,modularité ,ordonnancement - Abstract
International audience; Pour pouvoir exploiter pleinement les architectures contemporaines, une abstraction de la machine appelée support d'exécution se charge de faciliter le travail du programmeur. Les implémentations actuelles des heuristiques d'ordonnancement avancées peuvent présenter des difficultés de passage à l'échelle. À l'inverse, les heuristiques qui passent à l'échelle sont généralement plutôt simples. Nous proposons un modèle d'ordonnanceurs modulaire qui facilite l'exploration de solutions d'ordonnancement. Nous montrons que les performances de notre modèle d'ordonnanceurs sont équivalentes à celles de l'état de l'art tout en offrant des perspectives de passage à l'échelle.
- Published
- 2014
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.