Staattinen metaohjelmointi

Transkriptio

1 Staattinen metaohjelmointi Karri Kulmala Markus Silván Juho Yli-Honkola 1 Johdanto Sanakirjassa sana metakieli (metalanguage) määritellään seuraavasti[]: kieli, jonka avulla voidaan määritellä kieliä Esiliite meta merkitsee tässä yhteydessä korkeampaa abstraktiotasoa. Joten ylläoleva määritelmä kuvaa hyvin metaohjelmoinnin olemusta sellaisten ohjelmien tekemistä, joilla kuvataan tai muokataan toisia ohjelmia tai ohjelmaa itseään. (Jälkimmäisessä tapauksessa on kyse refleksiivisyydestä (reflection)). Metaohjelmia voidaan ajaa useissa eri yhteyksissä ja eri aikoina, mutta tämä artikkeli keskittyy ainoastaan staattiseen metaohjelmointiin (static metaprogramming). Staattiset metaohjelmat ovat käännöksen aikana suoritettavia ohjelmia, joilla vaikutetaan varsinaiseen ohjelmaan. Tiivistelmä Tämä artikkeli käsittelee staattisen metaohjelmoinnin historiaa, perusteita ja sovelluksia. Tarkemmin perehdytään aihiometaohjelmointiin C++-kielessä, sekä tutustutaan pintapuolisesti Haskell-kielen staattista metaohjelmointia tukevaan laajennukseen. Kuten johdannossa jo mainittiin, ohjelmat jotka suoritetaan käännöksen aikana ovat staattisia metaohjelmia. Staattista metaohjelmointia ovat esimerkiksi Backus-Naur Form sekä ohjelmointi C/C++-esikääntäjämakroilla. Ohjelmointikielen kääntäjä voidaan ajatella metaohjelmaksi, joka muuttaa syötteenä saamansa ohjelmakoodin esitystavan abstraktiksi syntaksipuuksi, ja sen edelleen johonkin toiseen muotoon, esimerkiksi tavukoodiksi. Staattinen metaohjelmointi mahdollistaa ohjelman mukauttamisen käännösaikana. Esimerkiksi ohjelman kääntäminen eri alustoille voidaan tehdä helpommaksi[2]. Kääntäjästä riippumaton optimointi on staattisen metaohjelmoinnin sovellusala, joka on myös taloudellisesti merkittävä[5]. Staattinen metaohjelmointi ei ole täysin mutkatonta, sillä virheenjäljitys on vaikeaa, koska staattisella metatasolla toimivia virheenjäljitystyökaluja ei ole. Tämä asettaa vaatimuksia staattisten metaohjelmien testaamiselle. Luvussa tutustutaan staattiseen metaohjelmointiin yleisellä tasolla. Tarkennamme edelleen fokusta luvussa 3, jossa paneudutaan C++:n aihiometaohjelmointiin (template metaprogramming). Siellä tulevat tutuiksi C++aihimetaohjelmoinnin historia (3.1) ja C++:n kaksitasoisena ohjelmointikielenä (3.2). Aihiometaohjelmoinnin perusteet tulevat tutuksi luvussa 3.3. Haskell-kielen metaohjelmointilaajennuksesta kertoo luku. 2 Staattinen metaohjelmointi 3 Staattinen metaohjelmointi C++:ssa 3.1 Historiaa Ensimmäiset aihiometaohjelmointi esimerkit kirjoitti Erwin Unruh. Hän toi esimerkit myös ANSI/ISO C++ standardointikomitean tietoon [7]. Ohjelmat tuottivat käännöksen aikana varoituksia, joista ohjelman tuloste oli luettavissa. Esimerkiksi, yksi ohjelmista tuotti käännösaikana varoituksia, jotka sisälsivät alkulukuja. Kaiken tämän teki mahdolliseksi ISO C++ komitean tekemät vaatimukset C++:n aihioille. Kun ISO C++ komitea lisäsi aihiot C++-kieleen, asetettiin niille seuraavat vaatimukset[5]:!!" # %$'& ( $'& $))$*,+.-/!0-1- 2!'' 3!.& 1

2 Jäsentyyppien ja kokonaislukutyyppisten jäsenvakioiden instantiointi tehdään vain tarvittaessa. Aihioita voidaan kuormittaa parametrien suhteen. Aihiot voivat olla rekursiivisia. Funktionaalisia kieliä tuntevalle ylläolevan listan seuraukset ovat ilmeiset ja Todd Veldhuizen kirjoitti aiheesta vuonna 1995 [8]: Aihiot ovat käännösaikana suoritettava funktionaalinen kieli. 3.2 C++ kaksitasoisena kielenä Turingin täydellisen kielen vaatimuksina voidaan pitää vähintään ehto- ja silmukkarakenteita[1], joten aihiot muiden C++ ominaisuuksien kanssa muodostavat Turingin-täydellisen, käännöksen aikaisen C++:n alikielen. Tämä seikka tekee C++:sta kaksitasoisen kielen: C++ ohjelmassa voi olla sekä staattista koodia, joka suoritetaan käännöksen aikana, että dynaamista koodia, joka suoritetaan myöhemmin ajon aikana. Koska C++:n staattinen taso on Turingin täydellinen, ei ole olemassa teoreettisia rajoja sille, mitä sillä voisi toteuttaa. Kuitenkin on olemassa teknisiä rajoituksia, kuten käännösajat, kääntäjien rajoitukset ja virheenjäljitys- sekä ylläpitoongelmat. 3.3 Aihiometaohjelmoinnin perusrakenteet Aihiometaohjelmat (template metaprogram) koostuvat numeroita tai tyyppejä datanaan käyttävistä luokka-aihiosta (template class). C++-kielen perusrakenteita, kuten -silmukkaa ja -lausetta, vastaavat aihiometaohjelmointi rakenteet voidaan toteuttaa aihioiden määrittelyn suoraa tai epäsuoraa rekursiota silmukkarakenteena hyödyntäen, joissa luokka-aihion erikoistapaus (template specialization) toimii ehtolausekkeena. Ilman ehtolauseketta, joka toimii rekursion pysäyttävänä mekamismina, kääntäjä jäisi loputtomaan rekursioon. Kääntäjän pitää myös yksiselitteisesti pystyä valitsemaan käytettävä erikoistapaus aihion parametrien perusteella [3]. Yleisesti aihetta käsittelevissä artikkeleissa esiintyvä yksinkertainen aliohjelma kokonaisluvun kertoman laskemiseksi on hyvä esimerkki aihioiden käyttöstä silmukkarakenteena. Kertoman laskeminen perinteisessä ohjelmoinnissa silmukkarakenteella on esitetty esimerkissä 1 ja aihiometaohjelmointia hyödyntäen esimerkissä 2. Voimme ajatella esimerkin 2 luokka-aihion funktiona, joka suoritetaan käännösaikana. Se on siis metafunktio (metafunction) [8].!" #$%'&)( * + %+,(-!.%*(/ 0"0 "#$!1%2 3( $#" 5"#$( Esimerkki 1: Kokonaisluvun kertoman laskeminen silmukalla. $ 6"7"$". 8 ""9"9;: < " $ "#"6'"#$%'1?: ".<@"&8*>">A #$ ""9"9;: < "".&8 $ "#"6'"#$%+& BB?C #9 # D+%: "."E"8*>>A" #<$( Esimerkki 2: Kokonaisluvun kertoman laskeminen aihioilla. Esimerkin 2 luokka-aihiota käytettäessä kertoma lasketaan ohjelman käännösaikana, jolloin varsinaiseen ohjelmakoodin liitetään vain laskennan tulos. Siksi staattisia metafunktioita ei voida käyttää käyttäjän syötteitä tarvitsevaan laskentaan[8]. 3. Optimointi aihiometaohjelmoinnin avulla Esimerkiksi operaattoreiden ylikuormitusta hyödyntävät abstraktit säiliötietorakenteet olivat alunperin huomattavasti vastaavaa matalan tason toteutusta tehottomampia. Tälläisiä suorituskykyongelmia kutsutaan yleisesti abstraktiosakoksi (abstraction penalty)[9]. Kääntäjän optimoija ei voi kuitenkaan poistaa abstraktiosakkoa, sillä optimoijalta puut- 2!"!" 1 %$'& ( $'& $))$*,+- /!- 1-2!'' 3!.&

3 tuu abstraktioista tarvittava semanttinen tieto. Yritykset kuvailla luokan semantiikkaa kääntäjille ovat epäonnistuneet, eikä yleistä ratkaisua luultavasti ole olemassa. Aihiot saattavat tulevaisuudessa tarjota käyttökelpoisempaa ratkaisua optimointiin [9]. Suorituskyky yleensä kasvaa, kun algoritmin silmukat avataan (inlining) tällöin funktiokutsujen ja pinon käytön viemät resurssit säästyvät[8]. Aihiometaohjelmoinnin avulla silmukoiden avaaminen voidaan tehdä automaattisesti[9]. Kuitenkin tällaisen ohjelmakoodin kääntäminen vie kauemmin, ohjelman koko kasvaa ja ylläpito sekä virheiden etsintä hankaloituu [8]. 3.5 Aihiometaohjelmoinnin ohjausrakenteet Vaikka rakenteiden luominen luokka-aihioilla onkin melko hankalaa, on se kuitenkin mahdollista. Aihioilla on mahdollista toteuttaa kaikki C++-kielen ohjausrakenteet - lausetta lukuunottamatta. Esimerkissä 3, toisin kuin tavallinen - lause, luokka-aihioilla toteutettu versio generoi ohjelmaan toisen lausekkeista tai riippuen siitä toteutuiko ehto. Koska on kyse staattisesta metaohjelmoinnista, on ehto tunnettava jo käännösaikana[8]. B"B "9"9$" <9 $ 6"7$". =<"" 8 "9"9 6$! "9"9 6$."#$8 7"#"= 9 " < $? *? BB "#<$!9$ 9 $ 6$ <&)( "9"9 6$."9"$"8 7"#"= 9 " < $? *? BB "9$!9"$ 9 $ 6$,( B"B $ 7<"$ 6<$ B $"9$/9 $6$ > 6$. <8*>">A* )( Esimerkki 3: Ehtolause luokka-aihioilla toteutettuna.! " -lause voidaan toteuttaa luokkaaihioilla, jos parametrina käytetään kokonaislukua. Kuten -lauseen tapauksessa, myös tässä ohjelmaan generoituu vain toteutunut tapaus riippuen # :n arvosta. BB "9"9$""< <9 $ 6"7"$". %$8 $ #<@"9 $6$ *( $ 6"7"$". #$&8 9 $ 6$ <&)( $ 6"7"$". #$","8 9 $ 6$,( BB $ 7<"$ 6<$ 29'& '( 9$ 6<$ 6$".)$8*>">A )( Esimerkki : Switch-lause luokka-aihioilla toteutettuna. Esimerkissä 5 on toteutettu silmukkarakenne luokka-aihioilla. Samaan tapaan on mahdollista toteuttaa myös - ja! " * -silmukat Vain generoituu käännettyyn ohjelmaan. Huomaa, että statement voi muuttua I:n arvon mukaan [8]. BB "9"9$""< <9 $ 6"7"$". %$8 7 $*> $ "#"62D% +$"@"&-, %/. 9 $ 6$ *( 6$".D10 +$"@&" >2.8*>">A* )( ".3.8 BB65 # ""$!"" 7'7$ 6$".8*>">A )( Esimerkki 5: Silmukka luokka-aihioilla toteutettuna. Aihiometaohjelmoinnin ohjausrakenteita voidaan käyttää myös käytettävien tyyppien valitsemiseen käännösaikana. Esimerkissä 6 on!!" # %$'& ( $'& $))$*,+.-/!0-1- 2!'' 3!.& 3

4 8 esitetty * -rakennetta vastaava metafunktio, joka palauttaa tyypin. Tämäntyyppiset metafunktiot ovat erittäin käyttökelpoisia, sillä niiden avulla voidaan esimerkiksi tarkistaa kokonaislukutyypin koko käännösaikana. $ 6"7$". =<"" ) "99 7($ 7$ /"9"9 9 "#< $:5 7$3$ 7(<$ 7<$ 3 *( $ 6"7$".""9"9 7(<$ 7<$ "99 9$ 7$"8 9 "#< $:."9$ 3($ 7$ 9$ 7<$"8 7$3$ 9$ 7<$ 3 *( B"B?C "" B"B > + 7 9" #<"$"$5 $:. &0,8< /9 (<" - 8*>"> 3 5 3( 9$ 7$"8 Esimerkki 6: # -aihio ja sen käyttö tyypin valintaan. Staattinen metaohjelmointi Haskelissa Staattinen metaohjelmointi ei ole ainoastaan C++:n ominaisuus. Standardi-Haskell ei tue metaohjelmointia, mutta siihen on kehitetty laajennos nimeltään Template Haskell, joka tukee staattista metaohjelmointia[6]. Laajennoksen ovat kehittäneet Tim Sheard ja Simon Peyton Jones. Laajennuksen tarkoitus käy ilmi seuraavasta lainauksesta[6]: Laajennuksen tarkoituksena on antaa ohjelmoijalle mahdollisuus laskea joitain ohjelman osia sen sijaan, että ne olisi kirjoitettava ja tehdä tämä saumattoman mutkattomasti. Laajennus mahdollistaa ehdollinen kääntämisen ohjelma voidaan kääntään eri tavalla eri alustoilla. Template Haskelilla voidaan tehdä myös suorituskykyoptimointia..1 Esimerkki Template Haskelissa templaten eli aihion käyttöä merkitään $-merkillä. Alla esimerkki C-tyyppisen -funtion tekemisestä Template Haskelliin 7. [6] BB $ 6"7<"$ "7 7 " >">"< D+@8 7 7 "29%D$ 79$!9! "$# D$ >">A:6< #+@8 7 D$ %&# % D$ &' > 9 %( )@8) D$ 9*) 0"09 (7&? +$#,$# D$ - > 9 %(9@8) D$ 9*) 0"09 $#<$# D$ = /.29 > 9 %5D$ 9) 0"0) "29*$# BB ) 7 "00 " >219 ' $ <9D! $ -funktion to- Esimerkki 7: C-tyylisen teutus Template Haskelilla 5 Yhteenveto Staattinen metaohjelmointi antaa ohjelmoijalle voimakkaan työkalun jolla vaikuttaa ohjelman suoritukseen. Voidaan ajatalla, että staattisen metaohjelmoinnin avulla ohjelmoija pääsee vaikuttamaan käännöksen lopputulokseen tasolla, johon aiemmin vain kääntäjäohjelmien tekijät pystyivät. Optimointi- ja mukauttamismahdollisuudet ovat tästä mainio esimerkki. Viitteet [1] Corrado Böhm ja Giuseppe Jacopini: Flow diagrams, turing machines and languages with only two formation rules, Communications of the ACM, 9(5), ss , 1966, ISSN [2] Krzysztof Czarnecki ja Ulrich W. Eisenecker: Generative Programming - Methods, Tools and Applications, Addison Wesley Professional, 2000, ISBN [3] J. Järvi: Compile time recursive objects in C++, teoksessa Technology of Object- Oriented Languages and Systems, (ss ), IEEE Computer Society Press, [] Professor George A. Miller et al.: Wordnet, An Electronic Lexical Database, Priceton University, !!! 8 8 URL " 65 :9; <! = [5] Arch D. Robison: Impact of economics on compiler optimization, teoksessa ISCO- PE Conference on ACM 2001 Java Grande, (ss. 1 10), ACM Press, 2001, ISBN !"!" 1 %$'& ( $'& $))$*,+- /!- 1-2!'' 3!.&

5 [6] Tim Sheard ja Simon Peyton Jones: Template meta-programming for haskell, teoksessa Proceedings of the workshop on Haskell workshop, (ss. 1 16), ACM Press, 2002, ISBN [7] Erwin Unruh: Prime Number Computation, 199, ANSI X3J /ISO WG [8] Todd L. Veldhuizen: Using C++ template metaprograms, C++ Report, 7(), ss. 36 3, toukokuu 1995, ISSN , reprinted in C++ Gems, ed. Stanley Lippman. [9] Todd L. Veldhuizen: C++ templates as partial evaluation, teoksessa ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Bases Program Manipulation, 1999.!!" # %$'& ( $'& $))$*,+.-/!0-1- 2!'' 3!.& 5