François Irigoin, M. Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Ronan Keryell
{"title":"polydres et编译","authors":"François Irigoin, M. Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Ronan Keryell","doi":"10.3166/tsi.31.987-1019","DOIUrl":null,"url":null,"abstract":"La premiere utilisation de polyedres pour resoudre un probleme de compilation, la parallelisation automatique de boucles en presence d'appels de procedure, a ete decrite et implemente il y a pres de trente ans. Le modele polyedrique est maintenant reconnu internationalement et est en phase d'integration dans le compilateur GCC, bien que la complexite exponentielle des algorithmes associes ait ete pendant tres longtemps un motif justifiant leur refus pur et simple. L'objectif de cet article est de donner de nombreux exemples d'utilisation des polyedres dans un compilateur optimiseur et de montrer qu'ils permettent de poser des conditions simples pour garantir la legalite de transformations.","PeriodicalId":109795,"journal":{"name":"Tech. Sci. Informatiques","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Polyèdres et compilation\",\"authors\":\"François Irigoin, M. Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Ronan Keryell\",\"doi\":\"10.3166/tsi.31.987-1019\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"La premiere utilisation de polyedres pour resoudre un probleme de compilation, la parallelisation automatique de boucles en presence d'appels de procedure, a ete decrite et implemente il y a pres de trente ans. Le modele polyedrique est maintenant reconnu internationalement et est en phase d'integration dans le compilateur GCC, bien que la complexite exponentielle des algorithmes associes ait ete pendant tres longtemps un motif justifiant leur refus pur et simple. L'objectif de cet article est de donner de nombreux exemples d'utilisation des polyedres dans un compilateur optimiseur et de montrer qu'ils permettent de poser des conditions simples pour garantir la legalite de transformations.\",\"PeriodicalId\":109795,\"journal\":{\"name\":\"Tech. Sci. Informatiques\",\"volume\":\"39 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-12-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Tech. Sci. Informatiques\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3166/tsi.31.987-1019\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Tech. Sci. Informatiques","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3166/tsi.31.987-1019","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
La premiere utilisation de polyedres pour resoudre un probleme de compilation, la parallelisation automatique de boucles en presence d'appels de procedure, a ete decrite et implemente il y a pres de trente ans. Le modele polyedrique est maintenant reconnu internationalement et est en phase d'integration dans le compilateur GCC, bien que la complexite exponentielle des algorithmes associes ait ete pendant tres longtemps un motif justifiant leur refus pur et simple. L'objectif de cet article est de donner de nombreux exemples d'utilisation des polyedres dans un compilateur optimiseur et de montrer qu'ils permettent de poser des conditions simples pour garantir la legalite de transformations.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
