Spelling suggestions: "subject:"intermédiaire"" "subject:"intermédiaire""
1 |
Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation / Amélioration du tuilage, réduction du temps de compilation, et extension de l'utilisabilité de la compilation polyédriqueBaghdadi, Mohamed Riyadh 25 September 2015 (has links)
Les processeurs multi-coeurs sont maintenant largement utilisés presque partout en informatique: ordinateurs de bureau, ordinateurs portables et accélérateurs tels que les GPGPU (General Purpose Graphics Processing Units). La difficulté de la programmation des systèmes parallèles est considérée comme un problème majeur qui va empêcher l'exploitation de leurs capacités dans le futur. Pour exploiter la puissance des processeurs multi-coeurs et les hiérarchies complexes de mémoire, il y a une grande nécessité pour utiliser des outils de parallélisation et d'optimisation automatique de code. L'optimisation polyédrique est un axe de recherche qui a comme but de résoudre ces problèmes. C'est est une représentation algébrique du programme et un ensemble d'analyses, de transformations et d'algorithmes de génération de code qui permettent à un compilateur de raisonner sur des transformations avancées de nids de boucle. Dans cette thèse, nous abordons certaines des limites du modèle polyédrique. Nous nous intéréssons particulièrement à trois problèmes et nous proposons des solutions pratiques à ces trois problèmes. Le premier problème est lié à la capacité d'appliquer l'optimisation de tuilage sur un code qui contient des fausses dépendances. Nous proposons une téchnique qui permet d'ignorer certaines fausses dépendences et donc qui permet d'appliquer l'optimisation de tuilage qui n'est pas possible sinon. Le second problème est lié au temps de compilation qui peut être trés long pour certains programmes. Nous proposons une téchnique qui transforme la représentation originale du programme à une nouvelle representation dans laquelle il y a moins d'instructions. L'optimisation de cette nouvelle représentation du programme est moins couteuse en terme de temps de compilation en comparaison avec l'optimisation de la représentation originale du programme. Le troisième problème est lié à deux limites: la première limite concerne la possibilité d'utiliser la compilation polyédrique sur des programmes qui ne resepectent pas les restrictions classiques du modèle polyédrique (un programme peut être représenté de façon précise dans le modèle polyédrique s'il ne contient pas des conditionnelles non-affines, des bornes de boucles non-affines et des accés non-affines). La seconde limite est liée à l'aptitude des outils à générer un code performant dans les performances se rapprochent des performances du code écrit à la main. Pour éviter ces deux limites, nous proposons un language de programmation que l'on appelle PENCIL, c'est un sous-ensemble de GNU C99 avec des règles de programmation spécifiques et quelques extensions. L'utilisation de ce sous-ensemble et l'utilisation de ces extensions permettent aux compilateurs de mieux exploiter le parallélisme et de mieux optimiser le code. / Multi-core processors are now in widespread use in almost all areas of computing: desktops, laptops and accelerators such as GPGPUs (General Purpose Graphics Processing Units). To harness the power of multi-core processors and complex memory hierarchies, the need for powerful compiler optimizations and especially loop nest transformations is now in high demand. The polyhedral optimization framework is showing promising results in addressing such a problem. It's an algebraic program representation and a set of analyses, transformations and code generation algorithms that enable a compiler to reason about advanced loop nest transformations addressing most of the parallelism and locality-enhancing challenges.In this thesis we address some of the limitations of the polyhedral framework. We address three problems and propose practical solutions to these three problems.The first problem is related to the ability to apply tiling on code that has false dependences (loop nest tiling is an optimization that changes the order of execution of statements in a loop nest in order to enhance data locality; false dependences are induced by the reuse of a single memory location to store multiple values during the life of the program). To preserve the validity of loop nest transformations and parallelization, data-dependences need to be analyzed. Memory dependences come in two varieties: true dependences (a.k.a. flow dependences) and false dependences (a.k.a. output and anti dependences). While true dependences must be satisfied in order to preserve the correct order of computations. False dependences reduce the degrees of freedom for loop transformations. In particular, loop tiling is severely limited in the presence of these dependences. While array expansion, a transformation that transforms scalars into arrays and arrays into higher dimensional arrays, removes all false dependences, the overhead of this transformation on memory and the detrimental impact on register-level reuse can be catastrophic. We propose and evaluate a compilation technique to safely ignore a large number of false dependences in order to enable loop nest tiling in the polyhedral model. It is based on the precise characterization of interferences between live range intervals, and it does not incur any scalar or array expansion.The second problem is related to the long compilation time that one may experience when using polyhedral tools to optimize a program. Particularly, the long execution time of the Pluto affine scheduling algorithm. The Pluto affine scheduling algorithm is the algorithm that is responsible for changing the schedule (order of execution) of statements in order to optimize the code (maximize parallelism and data locality). Reducing the execution time of this affine scheduling algorithm enhances the overall compilation time. We introduce and evaluate a technique called offline statement clustering. It is a practical technique designed to reduce the execution time of the Pluto affine scheduling algorithm without much loss in optimization opportunities. Using this technique, the statements of the program are clustered into macro-statements, the Pluto affine scheduling algorithm is then used to schedule the macro-statements instead of scheduling the original statements of the program. Since the number of macro-statements is less than the number of statements in the original program, scheduling the macro-statements is in general faster than scheduling the original statements of the program. We present the statement clustering algorithm, we show how offline statement clustering integrates transparently with the work-flow of a state-of-the-art polyhedral compiler and present two heuristics for choosing how statements should be clustered together. We show experimentally that statement clustering can reduce the scheduling time by a factor of 8x (in median) without a significant loss in optimization opportunities...
|
2 |
La démarche de conception pour la fabrication additive : choix des modes de représentation dans la phase d’analyse / The design process for additive manufacturing : choice of representation modes in the analysis phaseVo, Thanh Hoang 29 September 2017 (has links)
A ce jour, la fabrication additive est développée avec plusieurs procédés qui sont capables de fabriquer les pièces en plastique ou en métallique. De plus, la FA a des avantages qui sont des limites pour la technologie traditionnelle. Par exemple, grâce à la liberté de la forme de la pièce, il n’y pas besoin des outillages spécifiques. Mais la FA a aussi des inconvénients, par exemple, la qualité de surface de la pièce, normalement faible, le cout, de la fabrication, notamment à cause de l’investissement pour la machine de fabrication et aussi la matière première. Il y a beaucoup de différences entre la FA et les technologies traditionnelles. Nous considérons donc qu’il est nécessaire d’avoir un nouveau processus de conception pour la fabrication additive On étudie une méthode de conception pour la fabrication additive qui nous permet de fabriquer une pièce ou un mécanisme de manière optimale.Notre travail de thèse est appuyé sur les deux questions de recherche :• Quel modèle pour le processus de conception d’une pièce par fabrication additive ?o Comment tirer les profits de l’avantage de la FA, par exemple, la liberté de la forme ?o Comment intégrer des caractéristiques du procédé de FA dans le processus de conception ?• Quelle est l’influence de la représentation intermédiaire dans le processus de conception pour la fabrication additive ?o Les types de représentations intermédiaires avec la FAo Le choix du type de représentation intermédiaire pour évaluer le produit dans un moment spécifique du processus de conception pour la FA.En première temps, nous avons développé une modèle de processus qui permet de prise en compte la caractéristique des procédés, ainsi de tirer les profits de l’avantage de fabrication additive.En deuxième temps, nous avons déterminé une méthode de choix qui nous permet de choisir entre les types de représentations intermédiaire pour évaluer le produit dans un processus de conception pour la FA. Cette méthode est basé sur Case Based Reasoning. / To date, additive manufacturing is being developed with several processes that are capable of manufacturing plastic or metal parts. In addition, the FA has advantages that are limitations for traditional technology. For example, thanks to the freedom of the shape of the part, there is no need for specific tools. But the FA also has disadvantages, for example, the surface quality of the part, normally low, cost, manufacturing, especially because of investment for the manufacturing machine and also the raw material. There are many differences between AF and traditional technologies. We therefore consider it necessary to have a new design process for additive manufacture. A design method for additive manufacturing is being studied which allows us to manufacture a part or mechanism in an optimal way.Our thesis work is based on the two research questions:• Which model for the design process of a part by additive manufacturing?O How to draw the benefits of the FA advantage, for example, freedom of form?O How to integrate AF process characteristics into the design process?• What is the influence of intermediate representation in the design process for additive manufacturing?O Types of intermediate representations with FAO The choice of intermediate representation type to evaluate the product at a specific time in the design process for the FA.In the first phase, we have developed a process model that takes into account the characteristic of the processes, thus taking advantage of the additive manufacturing advantage.As a second step, we determined a method of choice that allows us to choose between the types of intermediate representations to evaluate the product in a design process for FA. This method is based on Case Based Reasoning.
|
3 |
Unbiased Spectral Survey towards the intermediate-mass Class 0 protostar Cep E-mm / Étude systématique spectrale vers la protoétoile de classe 0 de masse intermédiaire Cep E-mmPacheco-Vazquez, Susana 11 December 2012 (has links)
Les protoétoiles de masse intermédiaire (IM) (2 ≤ M* ≤ 8 Msun) sont le lien entre les étoiles de faible et haute masse car elles couvrent également un intervalle intermédiaire de luminosités, de densités et de températures [Fuente et al., 2012]. Même si les « IM-YSOs » jouent un rôle important dans l'étude de la formation des étoiles, on a très peu de connaissances sur la formation et l'évolution des premières étapes des protoétoiles de masse intermédiaire. Les études systématiques spectrales sont un outil puissant pour caractériser la composition chimique d'un objet astrophysique, et la seule façon d'obtenir un recensement complet des espèces chimiques. Une étude spectrale fournit également des lignes multiples de la même molécule, donnant la possibilité d'une analyse multifréquences ainsi que d'une modélisation. En outre, grâce aux profils des raies, nous pouvons obtenir des informations sur la cinématique, et identifier les structures au long de la ligne de vue, en tant que sources multiples, des jets ou des cavités, par exemple, [Caux et al., 2011]. Les phénomènes d'éjection (jets, des vents et des « outflows » bipolaires moléculaires), sont une phase inhérente au processus de formation d'étoiles observées dans les YSOs de toutes masses dans des longueurs d'onde millimétriques. Cependant, il n'y a pas d'études systématiques dans l'intervalle de masse intermédiaire comme dans le cas des protoétoiles de faible et haute masse. Compte tenu de l'absence d'une étude systématique de la partie mm/submillimétrique dans le spectre des protoétoiles de masse intermédiaire, au cours de ma thèse, j'ai mené une étude systématique spectrale vers la protoétoile de masse intermédiaire de classe 0 Cep E et de son « outflow » moléculaire. / Intermediate-mass (IM) protostars (2 ≤ M∗ ≤8 Msun) are the link between low and the high mass stars as they cover also an intermediate range of luminosities, densities and temperatures [Fuente et al., 2012]. Even though the IM-YSOs are important in the study of star formation, very little is known about the formation and first evolutionary stages of IM protostars. Unbiased spectral surveys are a powerful tool to characterize the chemical composition of an astrophysical object, and the only way to obtain a complete census of the chemical species. A spectral survey provides also multiple lines from the same molecule, giving the possibility of a multi-frequency analysis and modeling. Also, through line profiles, we can obtain kinematic information, and identify structures along the line of sight, as multiple sources, outflows, jets or cavities, e.g. [Caux et al., 2011]. The outflow phenomena (jets, winds and bipolar molecular outflows), are an inherent phase in the process of star formation observed in YSOs of all range of masses at millimeter wavelengths. However, there are not systematic studies in IM range as in the case of of low- and high-mass protostars. Given the lack of a systematic study of the mm/submm spectrum of IM protostars, during my thesis I carried out an unbiased spectral survey towards IM Class 0 Cep E protostar and its molecular outflow.
|
Page generated in 0.1035 seconds