ScopLib support for Graphite

Description

Niveau: Supérieur, Doctorat, Bac+8
ScopLib support for Graphite Linking Graphite to the huge industrial and research community April 27, 2010 1 Summary Many polyhedral optimization tools and libraries have been developed since the 90's. Our project aims to enable Graphite to take advantage of these tools by making it able to export/import internal polyhedral representation to the scopLib file format, a standard format used for communication between polyhedral tools and libraries. 2 The project Advanced compiler optimization projects such as Graphite need a huge amount of work, not only from the side of developers but also from the research and the industrial side. Collaborative work is crucial to the project, our proposal aims to bridge the gap and enable better collaboration between worldwide researchers/industrial users and Graphite developers, the final benefit for Graphite is to reach a better optimized, well tested and more reliable code generation. Graphite uses the polyhedral model as a basic model for loop optimization and parallelization. Many tools such as PoCC 1 , Loopo 2 and Pluto 3 rely also on this model to perform advanced loop transformations. Making graphite benefit from the algorithms that are currently implemented in these tools is a big step toward the support of a full polyhedral framework in GCC. The goal of our project is to enable Graphite to Export/Import polyhedral internal loop representation to other polyhedral tools through the scopLib file format, a format designed to enable polyhedral tools and libraries to communicate with each other.

• scop file


• scattering function


• graphite


• representation fully compatible


• scoplib support


• polyhedral representation


• gcc


• polyhedral tools


• format

Sujets

• Novillo
• Graphite
• Format

Informations

• Publié par: profil-zyak-2012
• Nombre de lectures: 21
• Langue: English

Extrait

GraphiteLinkingGraphiteolyhedralewilltoandtheandhaugetransformations),industrialandvresearcdhgeneratedcommttp://pluto-compiler.sourceforge.net/uniteydAprilwil27,not2010e1oSummaryaManwillyandpespolyhedralttp://www-rooptimizationdetecttoedolsallandthislibrariesscopha3vmid-termefrombiseenscopLibdevgraphiteeloptoedofsincecothenew90's.GCCOurfromprothejectabaimsittoandenableofGraphitecc/towilltakstructureseaadvleanformattageinformationofolstheseolyhedraltobacolsthenbtoyortmakingelopittableorldtoolsexptedort/impeloportoutint,ternalandpevolyhedraltestrepresenwtationect,toisthesuppscopLibetleandformat,eathestandardestformattousederforbcommyunicationvbeciencetiswgraphiteeeandnThispforolinyet/softheopdandrallotoandoforlstheseandelibraries.a2textThetheprospjectssAlodvolyhedralancedthencompilerapplyoptimizationaprothejectstosucGraphitehthisasceGraphiteconeedforasupphhelpugeinamounexptdierenofalwthatork,tnotthatonlyetfromGraphite,theforsidetoofdecisionsdevreleases.elopoerswillbutetteralsopartsfrbomwiththeyresearcinhulateandusage.thethisindustrialbigside.wCollabonorativuneenablingwunicationorkeenishicrucialtotowillthesprooutsideject,yourtheproptheseosaleaimsResearctoobridgewtheorkgapsideandcommenableevbvideetterfeedbaccollabtheorationofbde,etumanwhelpeenelopwinorldwidespresearccases,hers/industrialorkuserswandsuppGraphatizi1teoucdevare/pelophers,3theGCCnalgraphitebparseenetops,forscops,Graphiteprepareisneededtopreacoptimization,hstructuresarbdumpettertooptimized,scopw(aelllintestedscopLibandthatmoreeciesreliablenececoarydeforgeneration.opGraphitepusestothewillpreadolyhedralle,mopdeltransformationsasnadumpbasicresultmokdelaforle,lowillopreadoptimizationle,andproparallelizaedtgenerateide.on.BenetsManGraphiteyScopLibtoortolslsucdevhersasthePtooCCerimen1with,tLreowoptransformationsocome2dierenandtoPlutoand3arerelyyalsoimplemenoninthithisscrucialmodevdelerstotakpstrategiceabrfuturformWithadvsuppancredGraphitelobopbtransformations.testedMakingmoregraphiteofbwillenetefromaluatedtheaalgorithmsarietthatofarecasescorderursimrerealnorldtlyTimplemenencouragetedaspinatheseparttoourolsorkisbasedatestingbigproblem-hsting,teBypthetommwbardwtheGrsupppteortexternalofols,aalgorithmsfullbpteolyhedralteframeweasilyorkofincomplexitGCC.ofTheandgoalbofofouralgorithmsprobjectmergedisGCC.tohersenableallGraphitevtotheExporldort/ImpwortsidepyolyhedralwithingraphiteternalunitltooaluateopprorepresenatationaluabletokotheroutprealolyhedralyfortheSincecoscopLibtoolsthetformathroughhthereadable,scopLiwillbgreatlyldeveers,format,eciallyadebuggingformattestingdesigneecialdrareScopLibtoewnisabasicborklfutureortpprivolyhedralationtoGraphite,olshandcq.inria.fr/~plibrarieshtowcommounicate2withttp://www.infosun.m.uni-passau.de/cl/loeaco/hhother.1 $ $









hcommunityobtained,asexpjectrindustry)data:rourUsingprooritjectehastatlongwithtermbaceect5onignoredGraphiteeenandaneGCC,anitaswilleenable(PlutomoreispsomeeopleletowithgettoinationalvTolvGCCediinxGraphiteGraphiteandscoplibthesushandlemoreofpaprersscopLibwillsappDataearcalculanddatamoreestadvyancedPalgorithmsowillGraphite),bcomparinge:impleemenhited,testsuite.thepluginsresultsOppwilloencourageenmoretation.suppItalyortandfromastheIterationindustrysame4(Graphite5re.pAllistheibofenetextendedis(theforortsGraphiteircleandareforbGCC,willproeGraphitecwiltoltobwillenettheyfrtheoandmiatheweealthcorrectofwadvgeneratesancedepgeneratedolyhedraltestsuiteoptimigeneratedzationreadingalgorithmstheimwhatpthelprogramemenletedybyyWre-testssearcvillo.herstofromcompilation.allonoW'10).vC.Were,thetowfororld,anditternationalwillortunitiesbbenoablecotoecommprunicate,with:antlyyetpandolfunctionsyfullherepresendrunionawhereaslscatteringtosetol/libraryuncthatthatimplemenconsidertsolyhedron.theusestandardformatScopLibdiformat.scopLibIt'sthatarelations,bipgaccessesstepintotedwlations,oardtawlargetheusabilittoytoofdataGraphitedepcopdeneedoutsideendencyGCCerforminen-allbindustrialfromandbacademicbopolencallsourcetotoendenciesols.se4inDetailsle).abtheoutthatthethprolesjectbAfterwhatscoptformationwingeneratestobuild_pscopoly_scop()y,inscopscomparearescopoptimizbedwhatthroughthescop_do_bloyclek(),resultscop_do_strip_mine()bandTscproop_ado_inoptimizetercahange().lAfteroptimizedtheseandoptimizations,againwaeeexpwillortthesethethescopDiego(dumpeit)astooawhole-prtextInleoinResearcsp(GRecial,stan-L.Pdard,formatJ.Rennecreadable.FbGCCyresearcothert:standardtuningpfunctionolyhedralgramtoIolsorkshop(andhhOuman2010.readableealso).forAfterwscopnotdumping,nsthedtoredolareadsitheyscopwillle,domainapplieseappropriateacptheolyhedralbtransformationswandGraphitethenscopLib,dumpsScatteringthe:transformedusespscatteringolyhedrallationsstructurestedinatoofaolyhedronscopinle.theGraphitefunctionwillathenofreadfthetgeneratedonsledoandnotprounionceedptoWcwillothedescopLibgenerationtothroughtheseGloerencesogextendedisscop_to_clast()extension.suppThescatteringcurrenuniontscatteringinolyhedrons...),ternalDatas:caccessesopgraphiterepresenrepresentationasinegraphitescopLiisrepresenactuallyaccessesdierenfunctions,tefromusetheextendedsimpleformatscopLibbformat.ableInrepresengraphite,graphiteaaccesses,scopDataisendencieformed:ofolyhedralaolsvdectorpofinformationppolyhedraloptimization.basicdepblodenciescnotkse(portedoly_bbGraphite,orwillpbbeforatedshort),yeactohitselfpbbwillhasciltsextractodepwnandscatteringnfunction,riterationthemdomain,toand.scopaTvplanectorMakofsurepgraphiteolyhedralgeneratingdea.scoptbacomparingreferenceset(peenolgyaphi_dr_p)ethatanddescribhateoCCre(wadneedandstorewritecorrectaccesses.lesScopLibbhasptheccsamethegeneralandstructure,themresearctheMaklessurelaterGraphiteyapplyingbutdieersthatinisscorrectlyoit'smefrominscopternalbdetaireadinglsscopfandromthetwithheshouldgrecompleteapesthiwholetecesspCompileolyhedralCrepre-andsenittation,Pluto,inscopthiswilsection,bwgenerated,ebpresenPlutotreadaklistbofGrdierencespbtet.weeenneedscopLibaddformatthreeandtotheGCCin4ternalNoGraphiteKeynotformattalk::GCCTheaforolbh:xStatemenresearctGCCrepresenandtationogram:2ndthisterniWsrkshopdierenGCCthbortunitiesetOwItalyeen2010.GraphiteY.Huang,andeng,scopLib,ubutY.Kashnikasv,theksGtatemursin.enransformingtinsectionainh-friendlyavironmenscoppluginsleoptimizationisandnoteordering,neededcloningbproyinstrumenPluto2ndtonpWerformonloResearcoOppp(GRtransformations,W'10).it,will2




GraphitemustbandannotationsInfoeortabletationtoadvImp:ort/Exponortcaadvpttp://gcc.ortablewpwolyhedraltorepresenntationthefully:compaticasesb,lation.ewikiwithpscopLibtformat,onerableswWteBewilxlendencyfotcusGraphiteonle,tilingprivinFPlutoonastheanonexampleEnablefprivodditionrjecco:deu.org/wiki/ScopLitransformations,orGraphitebancemenyintheorkendscoplibofresults,theeproanject,toGraphiteRequiredmableustebpecomedepableitoformadealidelivfromEnabletotoscopwithwithtilinggraphitethroughdealPlPlutoutforoatizationwithoutanoyusproblemsimple,where5implemenPreliesassOMPregressmoreiancedonatiztests.A6alNiceProtothapagevhegnAbSupccordingortFto3