Kompilace bajtkódu jazyka Sky do C++

Abstract

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.