|
|
Pascal with Truffle
Flimmel, Július ; Horký, Vojtěch (vedoucí práce) ; Bednárek, David (oponent)
Trupple je nekonvenčný interpret Pascalu vybudovaný vo frameworku Truffle od Oraclu. Použitím tohto frameworku sa stáva virtuálne platformovo nezávislý, pretože beží v Java Virtual Machine a môže tiež jednoducho komunikovat' s ostatnými Truffle jazykmi a samotnou Javou. Interpret stavia syntaktický strom z l'ubovolného Pascalovského zdrojového kódu a následne ho interpretuje od koreňového vrcholu. Podporuje Pascal podl'a štandardu ISO 7185 a implementuje niektoré bežne používané rozšírenia zavedené prekladačom Turbo Pascal od Borlandu. V tejto práci popíšeme architektúru interpretu, dôležité návrhové rozhodnutia, použité technológie a tiež poskytneme krátke hodnotenie výkonnosti Trupplu. 1
|
|
|
SIMD code generator
Tuček, Karel ; Bednárek, David (vedoucí práce) ; Arcaini, Paolo (oponent)
Title: SIMD code generator Author: Karel Tuček Department: Department of Software Engineering Supervisor: RNDr. David Bednárek, Ph.D., Department of Software Engineering Abstract: The center of our interest is a problem of pipelined realisation of a special case of data processing networks. These realisations are supposed to realise some computations on series of independent data sets while utilizing SIMD instructions. The aim of this paper is to theoretically investigate the possibilities and the problems of employment of control flow in these networks and also to implement a general framework suitable for generation of these realisations. The main idea is utilisation of an algorithm crawling over partitions of a network factorised with respect to its control flow. Our idea is that SIMD parallelism should take place on the same instruction realised across multiple data sets. We illustrate the problems relevant to employment of branching and loops in these networks. We especially discuss a problem of data ordering and also provide relevant proofs. In the analytical part, we show implementation of a general framework which we believe to be suitable for processing of these networks. We also provide examples utilising Intel's SIMD Streaming Extensions. Keywords: Processing networks SIMD Parallelism iii
|
|
|
A decompiler for Objective-C
Mráček, Jakub ; Yaghob, Jakub (vedoucí práce) ; Bednárek, David (oponent)
Objective-C je populární programovací jazyk používaný primárně pro vývoj na platformách OS X a iOS. V práci prezentujeme praktický přístup k dekompilaci programů napsaných v Objective-C a zkompilovaných pro architektury x86 a AArch64 za použití kompilátoru LLVM. Na základě známých obecných technik reverzního inženýrství a teorie kompilátorů analyzujeme nové problémy a příležitosti v binárních souborech vzniklých překladem z Objective-C. Poté navrhujeme řešení a algoritmy, které umožní dekompilátoru lépe rozpoznat vysokoúrovňové struktury, které jsou běžné ve zdrojových kódech napsaných v jazyce Objective-C. Tato práce předkládá implementaci nového dekompilátoru zvaného "Cricket" jako grafickou aplikaci pro OS X, která využívá popsané algoritmy a metody pro rozpoznávání vzorů k rekonstrukci zdrojového kódu v Objective-C. Dekompilátor si klade za cíl maximalizovat čitelnost výstupu a umožňuje uživateli dále modifikovat vygenerovaný zdrojový kód. Implementovaný program je poté vyhodnocen na populární open-source knihovně a výstupy jsou porovnány s konkurenčním produktem. Powered by TCPDF (www.tcpdf.org)
|
|
|
Generátor přívětivých analyzátorů
Dzurenko, Tomáš ; Žemlička, Michal (vedoucí práce) ; Bednárek, David (oponent)
Názov práce: Generátor přívětivých analyzátorů Autor: Bc. Tomáš Dzurenko Katedra: Středisko informatické sítě a laboratoří Vedúci diplomovej práce: RNDr. Michal Žemlička, Ph.D., Katedra softwaru a vý- uky informatiky Abstrakt: Táto práca predstavuje generátor umožňujúci z popisu k-prívetivej gra- matiky vytvoriť zdrojový kód implementujúci analyzátor alebo translátor pre ja- zyk generovaný touto gramatikou. Oproti klasickým LL(k) gramatikám umožňujú k-prívetivé gramatiky použiť v pravidlách priamu ľavú rekurziu. To umožňuje po- hodlnejšiu a prehľadnejšiu formuláciu pravidiel vstupnej gramatiky. Kľúčové slová: analyzátor, translátor, generátor, C++, prívetivá gramatika
|
|
|
Překladač z jazyka Scheme do C/C++
Novák, Jan ; Yaghob, Jakub (vedoucí práce) ; Bednárek, David (oponent)
Jazyk Scheme je jednoduchý jazyk, který je vhodný na analýzu vlastností programovacích jazyků a na experimentování s optimalizacemi kódu. Tato práce používá při jeho implementaci mezikód zvaný continuation-passing-style, který se často používá při implementaci funkcionálních jazyků. Uvádíme zejména jeho souvislost s konvenčními implementacemi, v kterých se program řídí pomocí zásobníku. Dále popisujeme jednoduché metody globální statické analýzy u jazyka Scheme. Základem všech analýz je abstraktní interpretace, jejíž důležitou součástí je abstraktní garbage collector. Ten umožňuje optimalizace jako jsou globalizace proměnných, přejmenování proměnných nebo eliminace nepoužitých dosazení. Powered by TCPDF (www.tcpdf.org)
|
|
|
SQL front-end pro systém Bobox
Klimperová, Lucie ; Bednárek, David (vedoucí práce) ; Lokoč, Jakub (oponent)
Cílem této práce je návrh a implementace SQL frontendu pro framework Bo- box vyvíjený na Katedře softwarového inženýrství MFF UK. Motivací pro vývoj frameworku Bobox je snaha zjednodušit psaní paralelních programů. Framework Bobox je jedna z implementací systému pro zpracování proudových dat a poskytu- je běhové prostředí pro vyhodnocování exekučních plánů v paralelním prostředí. Tato práce se zabývá implementací frontendu pro tento framework. Vstupem je dotaz v jazyce SQL a informace o struktuře databáze. Frontend provede syntaktic- kou a sémantickou analýzu a následně generování mezikódu. Výstupem frontendu je mezikód ve formě relační algebry v XML a slouží jako vstup pro navazující op- timalizující backend.
|
|
|
Nízkoúrovňový funkcionální programovací jazyk
Kratochvíl, Miroslav ; Bednárek, David (vedoucí práce) ; Hric, Jan (oponent)
Cílem práce je prozkoumat možnosti implementace kompilátoru nízkoúrovňového funkcionálního jazyka. Předpokládá se zhodnocení teoretických vlastností funkcionálních jazyků, možných omezení vyplývajících z absence běhové podpory kódu a implementace kompilátoru jazyka, který demonstruje některé vybrané vlastnosti. Powered by TCPDF (www.tcpdf.org)
|
|
|
Vyhodnocování relačních dotazů v proudově orientovaném prostředí
Kikta, Marcel ; Bednárek, David (vedoucí práce) ; Černý, Tomáš (oponent)
Tato práce se zabývá návrhem a implementací překladače pro optimalizaci a transformaci dotazů relačních databází. Práce nejprve rozebere teorii překladačů databazových dotazů. Dále představujeme algoritmy a datové struktury použité při implementaci nástroje pro překlad dotazů. V závěrečné části práce diskutujeme důležité implementační detaily tohoto nástroje. Specifikujeme podmnožinu relační algebry, kterou použijeme jako vstup pro nástroj. Vstupem je dotaz napsaný v XML souboru ve formě relační algebry. Překladač dotaz optimalizuje a transformuje do fyzického plánu, který je vykonán pomocí paralelního prostředí Bobox. Výstupem překladače jsou fyzické plány v jazyce Bobolang, které následně slouží jako vstup pro Bobox. Powered by TCPDF (www.tcpdf.org)
|
|
|
Implementation of the DEECo component framework for embedded systems
Matěna, Vladimír ; Bureš, Tomáš (vedoucí práce) ; Bednárek, David (oponent)
Současný vývoj distribuovaných a decentralizovaných cyber-fyzikálních systémů vedl ke vzniku modelu DEECo. Protože mnohá použití DEECo jsou vestavěné aplikace je zajímavé zvážit jeho použití DEECo na vestavěném hardware. V současné době existuje jen referenční implementace, která je napsaná v Javě a proto nemůže být použita pro vestavěné systémy. Jako součást této práce bylo navrženo mapování DEECo do C++ a zabudovaný framework CDEECo++ používající FreeRTOS pro plánování a synchronizaci. Ukázková aplikace, navržená pro STM32F4, demonstruje použitelnost frameworku. Tato práce obsahuje popis mapování DEECo do jazyka C++, zdrojové kódy frameworku CDEECo++, dokumentaci a ukázkovou aplikaci včetně základních měření jejích real-time vlastností. Powered by TCPDF (www.tcpdf.org)
|
|
|
Static analysis of C# programs
Malý, Petr ; Bednárek, David (vedoucí práce) ; Parízek, Pavel (oponent)
Cílem této diplomové práce je prozkoumat a aplikovat jednotlivé metody statické analýzy C# programů přeložených do Common Intermediate Language. Výsledky této práce jsou zakomponovány do systému ParallaX Development Envrionment. Tato diplomová práce se zaměřuje na Structural, Points-to a Dependence Analysis. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.