Kompilace bajtkódu jazyka Sky do C++
Compiling Sky bytecode into C++
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/34192Identifikátory
SIS: 78961
Kolekce
- Kvalifikační práce [11190]
Autor
Vedoucí práce
Oponent práce
Bednárek, David
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Teoretická informatika
Katedra / ústav / klinika
Katedra softwarového inženýrství
Datum obhajoby
13. 9. 2010
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Výborně
Programovací jazyk Sky je funkcionální jazyk urcený pro distribuované zpracování dat. V soucasné dobe existuje implementace prekladace jazyka Sky do bajtkódu, který je pak interpretován virtuálním strojem Sky. Nároky dnes kladené na rychlost zpracování dat znacne prevyšují možnosti virtuálního stroje, který interpretuje instrukce na základe bajtkódu. Cílem práce je zrychlení vykonávání instrukcí virtuálního stroje interpretujícího bajtkód jazyka Sky pomocí prekladu bajtkódu do jazyka C++. Pri implementaci byl kladen duraz na to, aby zvolené rešení bylo možné snadno integrovat se soucasným systémem, címž se usnadní další vývoj virtuálního stroje soucasnými autory.
Programming language Sky is functional programming language designed for distributed data processing. Today exists a compiler implementation which compiles Sky into a bytecode. The bytecode is interpreted by Sky virtual machine. Today demands put on data processing speed highly exceed capabilities of the virtual machine. The goal of this work is to speed up virtual machine's interpretation of instructions by compiling bytecode into a code in C++. The implementation must be easily integrated with the current system so that it will be easier to continue with the development of the virtual machine by it's authors.