Compression-friendly Encoding for LLVM Intermediate Representation

dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorHirvisalo, Vesa
dc.contributor.authorLindfors, Timo
dc.contributor.schoolPerustieteiden korkeakoulufi
dc.contributor.supervisorSaikkonen, Heikki
dc.date.accessioned2014-06-25T08:39:24Z
dc.date.available2014-06-25T08:39:24Z
dc.date.issued2014-06-02
dc.description.abstractDistributing software in compiler intermediate representation (IR) instead of native code offers new possibilities for optimization. When IR for the whole program and its dependencies is available at the target system we can use simple but effective install-time optimizations such as constant propagation across library boundaries. Since we know the exact CPU instruction set we can also generate code that optimally matches the target system. Finally, we can execute the software using a just-in-time compiling (JIT) interpreter that can benefit from locally generated profiling information. Unfortunately the bitcode format that is used to encode the IR of the popular LLVM compiler takes more space than native code. This is mostly because it has been designed to be seekable to allow execution of code without having to read the whole bitcode file. Seekability is a useful property but it is not needed in a software distribution format. Bitcode is also bit oriented which confuses most byte oriented compression tools. We present a new compression-friendly wire format for the LLVM IR. We compiled 3511 real-world programs from the Debian archive and observed that on average we only need 68% of the space used by gzipped bitcode. Our format achieves this by using two simple ideas. First, it separates similar information to different byte streams to make gzip's job easier. Second, it uses relative dominator-scoped indexing for value references to ensure that locally similar basic blocks stay similar even when they are inside completely different functions.en
dc.description.abstractTietokoneohjelmien levittäminen välikielimuodossa (IR) tarjoaa uusia optimointimahdollisuuksia. Esimerkiksi kun ohjelman ja sen käyttämien ohjelmakirjastojen IR on saatavilla ohjelmaa asennettaessa voidaan vakiolausekkeita sieventää kirjastorajojen yli. Koska ohjelmaa asennettaessa tunnetaan kohdejärjestelmän tarkka käskykanta voidaan IR:stä kääntää natiivikoodia, joka sopii mahdollisimman hyvin kohdejärjestelmälle. Lopulta voimme käyttää IR-muodossa olevien ohjelmien suorittamiseen JIT-kääntäjää, joka voi hyödyntää paikallisessa suorituksessa kerättyä profilointitietoa. Valitettavasti suositun LLVM-kääntäjän käyttämän IR:n bitcode-koodaus tarvitsee natiivikoodia enemmän tilaa. Tämä johtuu osin siitä, että se on suunniteltu tukemaan koodin osittaista suorittamista ilman, että tulkin tarvitsee lukea bitcode-tiedostoa kokonaan ennen suorituksen alkua. Tämä on hyödyllinen suunnittelupäätös, mutta siitä ei ole hyötyä ohjelmia levitettäessä. Bitcode on myös rakenteeltaan bittivirta, mikä vaikeuttaa tavuvirtoihin suunniteltujen tavallisten pakkausohjelmien työtä. Esitämme tässä työssä LLVM:n IR:lle uuden koodauksen, joka soveltuu paremmin pakkausohjelmien syötteeksi. Käänsimme 3511 oikeaa ohjelmaa Debian-arkistosta ja havaitsimme, että koodauksemme tarvitsee vain 68% bitcode-koodauksen tarvitsemasta tilasta, kun molemmat koodaukset on pakattu gzip-ohjelmalla. Tuloksen takana on kaksi yksinkertaista ideaa. Ensin samankaltainen tieto jaetaan omiin tavuvirtoihin gzipin työn helpottamiseksi. Sitten arvojen välillä käytetään suhteellisia viittauksia, jotka on rajattu näkyvyystiedon perusteella niin, että eri funktioissa esiintyvät paikallisesti samankaltaiset peruslohkot näyttävät samankaltaisilta myös gzipin näkökulmasta.fi
dc.format.extent68 + 9
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/13468
dc.identifier.urnURN:NBN:fi:aalto-201406252200
dc.language.isoenen
dc.programmeTietotekniikan koulutusohjelmafi
dc.programme.majorOhjelmistotekniikkafi
dc.programme.mcodeT3001fi
dc.rights.accesslevelopenAccess
dc.subject.keywordLLVMen
dc.subject.keywordcompileren
dc.subject.keywordintermediate representationen
dc.subject.keywordbitcodeen
dc.subject.keywordbyte-codeen
dc.subject.keyworddata compressionen
dc.subject.keywordLLVMfi
dc.subject.keywordkääntäjäfi
dc.subject.keywordvälikielifi
dc.subject.keywordbitcodefi
dc.subject.keywordtavukoodifi
dc.subject.keywordtiedonpakkausfi
dc.titleCompression-friendly Encoding for LLVM Intermediate Representationen
dc.titlePakkausystävällinen koodaus LLVM:n välikielellefi
dc.typeG2 Pro gradu, diplomityöen
dc.type.okmG2 Pro gradu, diplomityö
dc.type.ontasotMaster's thesisen
dc.type.ontasotDiplomityöfi
dc.type.publicationmasterThesis
local.aalto.digifolderAalto_06570
local.aalto.idinssi49418
local.aalto.openaccessyes
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
master_Lindfors_Timo_2014.pdf
Size:
943.34 KB
Format:
Adobe Portable Document Format