|
|
Kampa: from a prototype to practical usability
Rozsypal, Lukáš ; Bulej, Lubomír (vedoucí práce) ; Petříček, Tomáš (oponent)
Kampa je experimentální všeobecný imperativní programovací jazyk s prvky funkcionálního programování. Ačkoliv disponuje řadou potenciálně užitečných vlastností, jeho použitelnost je v tuto chvíli omezená nedokonalostmi implementace, ale i jazyka samotného. V této práci jsou odstraňovány tyto nedostatky. Je zlepšena expresivita jazyka přidáním podpory pro koprogramy (coroutines) a inferenci parametrů. Byly pozměněny některé detaily syntaxe s cílem vylepšit čitelnost. Zdokonalila se implementace odstraněním zdánlivě náhodných omezení, zejména co se týká generických a závislých typů, což (mimo jiné) umožní programátorům i knihovně definovat generické typy. Nakonec je názorně předvedena praktičnost jazyka na příkladu standardní knihovny zahrnující obecná dynamická pole, optional a nástroje pro asynchronní programování, psaní generátorů a práci s řetězci.
|
|
|
VMA merging in Linux
Matěna, Jakub ; Babka, Vlastimil (vedoucí práce) ; Bulej, Lubomír (oponent)
Tato práce se zaobírá se správou virtuální paměti v Linuxovém ker- nelu. Soubory nebo zařízení mohou být mapována do virtuální paměti pomocí systémového volání mmap(), které je také schopné vytvořit takzvané anonymní mapování. Ty nic nemapují a slouží pouze jako metoda alokace paměti, která může specifikovat ochranu paměti a příznaky pro vytvořenou anonymní oblast virtuální paměti (VMA). Mapování lze sloučit nebo rozdělit v závislosti na jeho příznacích, ochraně paměti, umístění ve virtuální paměti a dalších parametrech. Nicméně v některých případech, i když dvě VMA mají prakticky identické parametry, nemůžou být úspěšně sloučeny kvůli omezení implementace. Tato práce se zaměřuje na anonymní VMA a jejich parametry page offset a anon vma, které v některých případech brání sloučení v současném mainline kernelu. Je demonstrováno, že ve většině případů lze s přiměřeným úsilím odstranit překážky a dojde k sloučení. vi
|
|
|
Extensible disassembler with support for interactive instruction reordering
Dubský, Jan ; Bulej, Lubomír (vedoucí práce) ; Jermář, Jakub (oponent)
Disassembling strojového kódu je proces, při kterém je binární strojový kód programu přetransformován do podoby assmbly kódu. Smyslem tohoto procesu je napomoci člověku v porozumění fungování programu, jehož zdrojový kód není znám. Strojový kód vypro- dukovaný kompilátory při kompilaci zdrojového kódu je však velmi náročné číst. Na vině jsou mnohé optimalizace a transformace kódu, které kompilátor učinil. Jednou obzvláště problematickou optimalizací je instruction scheduling, jehož úkolem je pozměnit pořadí instrukcí tak, aby výsledný kód byl co možná nejrychlejší. Cílem této práce je vyvinout disassembler schopný měnit pořadí instrukcí v kódu. Tato funkce by uživateli umožnila přeskládat instrukce tak, aby výsledek byl lépe čitelný. Aby disassembler mohl takovou funkcionalitu nabízet, musí být schopen porozumět významu jednotlivých instrukcí. Proto navrhneme kompilátor s vnitřní reprezentací nezávislé na platformě, s jejíž pomocí budeme reprezentovat libovolný strojový kód. Tuto reprezentaci pak bude možné použít k nalezení závislosti mezi instrukcemi, které budou dále použity pro změny jejich pořadí v kódu. Na konci práce probereme možnost emulace běhu pro- gramu. 1
|
|
|
Norma SOAP a její použití v prostředí malých a středně velkých společností.
Lupták, Boris ; Král, Jaroslav (vedoucí práce) ; Bulej, Lubomír (oponent)
Norma SOAP je základným protokolom webových služieb. Webové služby otvárajú nové možnosti pri interakcii aplikácií s využitím sieťových spojení. V súvislosti s webovými službami je často diskutovaná aj servisne orientovaná architektúra. Hlavným ciel'om tejto práce je ukázat' možnosti využitia protokolu SOAP v prostredí malých a stredne vel'kých spoločností. Na docielenie tohto zámeru je v práci popísaná nonna SOAP a normy jej príbuzné ako aj mechanizmus pomocou ktorého sa protokol SOAP dá rozširovať o nové vlastnosti. Nekol'ko štandardných rozšírení je v práci popísaných. Ďalej práca poukazuje na výhody a nevýhody použitia normy SOAP a popisuje príbuzné alternatívne prístupy k prepájaniu aplikácií. Práca ukazuje na konkrétnych príkladoch sposob použitia technológie webových služieb a normy SOAP. Súčasťou práce je aj popísanie kl'účových vlastností servisne orientovanej architektúry a ich spojenie s webovými službami. Dovody, ktoré vedú k potrebe zarovnania webových služieb s obchodnými procesmi a hrubozrnné rozhrania sú tiež v práci diskutované. Powered by TCPDF (www.tcpdf.org)
|
|
|
Optimizing performance of software connectors code generator
Petřek, Pavel ; Bureš, Tomáš (vedoucí práce) ; Bulej, Lubomír (oponent)
Softwarové konektory jsou zprostředkovatelské entity používané v komponentových systémech k modelování a realizaci komunikace. Navíc mohou konektory poskytovat extra funkcionalitu, jako je logování nebo monitoring. Tato variabilita vyžaduje generování kódu konektoru na základě platných funkčních a ostatních požadavků. Ovšem některé požadavky nemohou být specifikovány dříve než v okamžiku nasazení. Prostředí při nasazování může být ale poměrně restriktivní. Existující generátor konektorů [32] používá ke generování tříd konektorů ze šablon sadu komplexních nástrojů. V této práci nabízíme optimalizaci generování na bázi předkompilování. Šablony jsou ještě v době návrhu předkompilovány do podoby, kterou lze posléze snadno zkompilovat použitím manipulace bytekódu.
|
|
|
Authentization in distributed web caching environment
Miňo, Tomáš ; Jirovský, Václav (vedoucí práce) ; Bulej, Lubomír (oponent)
Serverom, ktoré obsahujú informácie vyžadujúce autentifikovaný prístup je možné znižovať záťaž pomocou webových cache v distribuovanom prostredí. Táto diplomová práca sa zaoberá návrhom distribuovaného systém autentifikácie prístupu do týchto cache, ktorý bude dodržovať prístupové politiky pôvodného serveru bez toho aby replikoval databázu prístupových pravidiel pôvodného servera. Následne je prevedená bezpečnostná analýza navrhnutého modelu a popis jeho prototypovej implementácie.
|
|
|
Interpretr stavových automatů popsaných jazykem SCXML
Baláž, Ján ; Šerý, Ondřej (vedoucí práce) ; Bulej, Lubomír (oponent)
V súčasnosti vzniká potreba pristupovať ku rôznym programátorským úlohám alternatívnymi postupmi. Jedným z takýchto postupov je zápis pomocou stavových automatov. Ako riešenie sa ukazuje novo vznikajúci štandard W3 Consorcia, nazvaný SCXML. V súčasnosti už existuje niekolko rôznych implementácii, ktoré však kvôli svojej rozsiahlosti nemusia byť vhodné pre jednotlivcov, alebo malé a stredné rmy. Tieto spoločnosti potrebujú nástroje, ktoré si môžu jednoducho prispôsobovať na svoje vlastné projekty. Cielom práce je vytvoriť interpreter stavových automatov popísaných jazykom SCXML, ktorý bude splňať popísané podmienky. Snahou je implementovať maximálnu časť špecikácie SCXML. Práca bude vytvorená v jazyku Perl a bude podporovať operačné systémy Windows a Linux.
|
|
|
Read-Copy-Update for OpenSolaris
Podzimek, Andrej ; Děcký, Martin (vedoucí práce) ; Bulej, Lubomír (oponent)
Cílem práce je návrh a implementace mechanismu RCU (Read-Copy-Update) pro OpenSolaris. Hlavním úcelem mechanismu RCU je zvýšení soubežnosti (paralelismu) pri synchronizaci mezi ctenári a zapisovateli, zejména u víceprocesorových systému. Tohoto zlepšení se dosáhne udržováním nekolika verzí chránených dat, což umožnuje ctenárum i zapisovatelum pracovat soubežne. Synchronizace typu RCU už byla nekolikrát implementována a používá se v kernelu Linux. Tato práce zahrnuje analýzu stávajících implementací RCU, možných výhod RCU pro kernel ONNV (OpenSolaris) a prototypovou implementaci pro ONNV. Zároven navrhuje možnosti využití RCU v místech, kde se již používá neblokující sychronizace. Srovnává prototypovou implementaci s odpovídající cástí kernelu Linux.
|
|
|
Softwarové řešení pro firmy zabývající se nákupem a prodejem
Hlavatý, Martin ; Bulej, Lubomír (vedoucí práce) ; Pergel, Martin (oponent)
Tato bakalářská práce pojednává o skladovém systému a internetovém obchodu pro malou až středně velkou firmu podnikající v oblasti nákupu a prodeje zboží. Zabývá se potřebami těchto firem, popisuje nejčastěji prováděné operace a jejich aktéry. Z analýzy potřeb, operací a aktérů poté vychází návrh softwarového řešení a jeho implementace. Navržené řešení je postaveno na třívrstvé architektuře s využitím webových služeb. Implementace je vytvořena převážně v jazycích Java a PHP, je nezávislá na platformě, snadno spravovatelná (díky přidělování oprávnění prostřednictvím systému skupin a rolí) a rozšiřitelná.
|
|
|
Rozhraní pro ovladače zařízení v HelenOS
Trochtová, Lenka ; Děcký, Martin (vedoucí práce) ; Bulej, Lubomír (oponent)
Uvedení do problematiky ovladačů zařízení, význam jednotného rozhraní pro ovladače zařízení v rámci operačního systému. Stručný popis základních principů hardware z pohledu programátora. Přehled vlastností operačního systému HelenOS - základní funkční bloky mikrojádra a stávající podpora ovladačů zařízení v uživatelském prostoru, např. podpora pro přístup k registrům zařízení a zpracování přerušení z uživatelského prostoru. Obecné funkce rozhraní pro ovladače zařízení a jejich vztah k potřebám operačního systému HelenOS. Problémy obvykle řešené současnými driver frameworky a známé přístupy k jejich řešení - device-centric vs. driver-centric přístup k přiřazování zařízení a ovladačů, identifikátory modelů zařízení, počet podporovaných tříd zařízení, vstupní body ovladače, reprezentace stromu zařízení. Návrh a implementace řešení - hierarchická správa zařízení, automatická detekce zařízení, předdefinovaná rozhraní pro přístup k zařízení, třídy zařízení, řízení životního cyklu ovladače a přiřazování ovladače k zařízení, instalace a konfigurace ovladače. Popis několika existujících řešení a jejich srovnání - ovladače zařízení v operačních systémech Windows, Solaris a Linux. Zhodnocení a možnosti dalšího vývoje.
|
host ::
RSS.