Examensarbete i kompilatorteknik: Effektiv kompilering av C till bytekod

Ett inbyggt system (embedded system) är en dator som ingår som en komponent i en apparat, det kan exempelvis vara mobiltelefoner,
system för motorstyrning, skrivare, leksaker, hushållsapparater
osv. Det har efterhand blivit mera viktigt att ta fram effektiva
kompilatorer för inbyggda system. Kraven på en kompilator skiljer sig
en smula från konventionella system (dvs persondatorer och servrar). I
inbyggda system är det till exempel ett viktigt mål att den genererade
koden ska vara så kompakt som möjligt.

Vid avdelningen för datalogi har vi under några år drivit ett projekt,
WPO, för för effektiv kompilering för inbyggda system. WPO
(whole-program optimization) har finansierats av ASTEC och har haft
ett samarbete med IAR systems, som utvecklar kompilatorer och andra
verktyg för inbyggda system. WPO-projektet har utvecklat ett ramverk
i SML för kompilering av C till inbyggda system.
I det här exjobbet vill vi undersöka följande: Hur mycket
kompaktare kan byte-kod bli, jämfört med maskinkod? Naturligtvis
kommer en interpreterad bytekod att exekvera långsammare än maskinkod,
men i många situationer är det viktigare att koden är kompakt.


Uppgiftsbeskrivning

Projektet är avsett för en student (20p d-nivå). Målet är att utveckla

- en effektiv bytekodsrepresentation,

- översättning till denna från vår mellankodsrepresentation,

- en kompakt bytekodsinterpretator.



Kvalifikationer

Studenten bör ha goda kunskaper i kompilatorteknik.