Väitöstyö ratkoo rinnakkaisuutta käyttävien tietokoneohjelmien ongelmia
Tekniikan lisensiaatti Matti Rintalan väitöskirja tutkii, miten rinnakkaisuus ja virheiden käsittely voidaan yhdistää C++-ohjelmointikieltä käyttävissä ohjelmissa.Rinnakkaisuus, jossa tietokoneohjelma tekee samanaikaisesti useaa asiaa, on yleistynyt voimakkaasti ohjelmistoissa käyttökohteesta riippumatta.
Tietokoneissa ja matkapuhelimissa on nykyisin lähes poikkeuksetta useita prosessoreita, ja niistä hyötyminen edellyttää rinnakkaisuutta käyttäviä ohjelmia. Lisäksi rinnakkaisuudella saadaan esimerkiksi ohjelman käyttöliittymä pysymään käyttökelpoisena, vaikka ohjelma samaan aikaan tekee jotain muutakin.
Poikkeukset ovat ohjelmointikielissä yleisesti käytetty tapa käsitellä ohjelmassa esiintyviä virhetilanteita. Niiden avulla ohjelmaan kirjoitetaan erillisiä poikkeuskäsittelijöitä, joihin siirrytään, kun poikkeuksellinen tilanne on havaittu. Näin ohjelman normaali toiminta ja poikkeuksellisten tilanteiden käsittely saadaan erotettua toisistaan. Tämä helpottaa ohjelman kirjoittamista ja lisää sen ymmärrettävyyttä.
Rintalan väitöstyö tutkii, millaisia ongelmia rinnakkaisuuden ja poikkeuskäsittelyn yhdistäminen tuo mukanaan ja miten näitä ongelmia voisi ratkaista olemassa olevissa ohjelmointikielissä. Esimerkkinä hän käyttää teollisuudessa yleistä C++-kieltä. Rintala on rakentanut ohjelmakirjaston, joka ratkaisee osan näistä ongelmista. Ohjelmakirjaston tehokkuutta ja ilmaisuvoimaa on mitattu käytännössä esimerkkisovellusten avulla.
Väitöstilaisuus perjantaina 2.11.
Tekniikan lisensiaatti Matti Rintalan ohjelmistotekniikan alaan kuuluva väitöskirja Techniques for Implementing Concurrent Exceptions in C++ ("Tekniikkoja rinnakkaisten poikkeusten toteuttamiseen C++-kielessä") tarkastetaan Tampereen teknillisen yliopiston (TTY) tieto- ja sähkötekniikan tiedekunnassa perjantaina 2.11.2012 kello 12 alkaen Tietotalon salissa TB109 (Korkeakoulunkatu 1, Tampere).
Vastaväittäjänä toimii professori Zoltán Porkoláb (Eötvös Loránd University, Budapest, Unkari). Tilaisuutta valvoo professori Kai Koskimies TTY:n ohjelmistotekniikan laitokselta.
Matti Rintala (43) asuu Tampereella ja työskentelee lehtorina TTY:llä.
Lisätietoja: Matti Rintala, 040 575 6670, matti.rintala@tut.fi
Väitöskirjaan voi tutustua osoitteessa http://www.cs.tut.fi/~bitti/rintala-doctoral-thesis.html