|
|
Instrumentation and Evaluation for Dynamic Program Analysis
Marek, Lukáš ; Tůma, Petr (advisor) ; Hasselbring, Wilhelm (referee) ; Krall, Andreas (referee)
A dynamic program analysis provides essential information during later phases of an application development. It helps with debugging, profiling, performance optimizations or vulnerability detection. Despite that, support for creating custom dynamic analysis tools, especially in the domain of managed languages, is rather limited. In this thesis, we present two systems to help improve application observability on the Java platform. DiSL is a language accompanied with a framework allowing simple and flexible instrumentation for the dynamic program analysis. DiSL provides high level abstractions to enable quick prototyping even for programmers not possessing a knowledge of Java internals. A skilled analysis developer gains full control over the instrumentation process, thus does not have to worry about unwanted allocations or hidden execution overhead. ShadowVM is a platform that provides isolation between the observed application and the analysis environment. To reduce the amount of possible interactions between the analysis and the application, ShadowVM offloads analysis events out of the context of the application. Even though the isolation is the primary focus of the platform, ShadowVM introduces a number of techniques to stay performance comparable and provide a similar programming model as existing...
|
|
|
Efficient Network Backup System
Filípek, Tomáš ; Baudiš, Petr (advisor) ; Marek, Lukáš (referee)
There are elegant algorithms for storing similar files, as well as for sending them efficiently through a network. But can these algorithms be combined to form a back-up system? We have constructed such a system using the client-server architecture. Its main features include support for versioning and intelligent history keeping. To assess the right values for some of the algorithm parameters, a simple performance testing was performed. Using the chosen values, the application is reasonably efficient both in space and time.
|
|
|
Graphics Stack for HelenOS
Koupý, Petr ; Děcký, Martin (advisor) ; Marek, Lukáš (referee)
Title: Graphics Stack for HelenOS Author: Petr Koupý Department / Institute: Department of Distributed and Dependable Systems Supervisor of the master thesis: Mgr. Martin Děcký Abstract: HelenOS is an experimental operating system based on a micro-kernel multi-server architecture. Before the inception of this thesis, HelenOS already contained numerous mod- ernly designed subsystems responsible for various system tasks. However, it lacked the proper subsystem for interaction with the user. While the input part of such subsystem was already in an advanced stage of development, the output part was just a quick and temporary solution in order to have at least some mean to populate the screen with information. This thesis deals with the creation of a proper graphics subsystem that would replace the temporary one. The resulting new HelenOS graphics subsystem is designed according to the state-of-the-art prin- ciples found within the problem domain. Although minimalistic, the initial implementation is highly extensible and already practically usable by the HelenOS developer community. The thesis covers all important parts of the graphics subsystem - graphic driver infrastructure, drawing library, graphics server and a toolkit for creation of application user interface. Keywords: graphics subsystem, graphical user...
|
|
|
General card game with user-defined rules
Bilanský, Michal ; Babka, Martin (advisor) ; Marek, Lukáš (referee)
The goal of this thesis is to design and implement a generic card game for multiple users. The rules of the game are defined by user using an available set of rules and commands. The game is playable on the network and also includes a simple artificial intelligence allowing to replace a human factor by the computer. The program is created for .NET on Windows platform in the programming language C#. Powered by TCPDF (www.tcpdf.org)
|
|
|
Qt HDD benchmark
Matěna, Vladimír ; Marek, Lukáš (advisor) ; Šimko, Viliam (referee)
This thesis deals with data storage device benchmarking. Its purpose is to provide storage device benchmarking application with graphical user interface for Linux environment. The graphical interface is simple to use and displays results in real-time. Moreover a few common device benchmarking was done with application developed. The interesting results were briefly described as well as factors influencing them. Also general factors impacting results measured within the Linux environment were described.
|
|
|
Undetectable Debugger
Demín, Michal ; Děcký, Martin (advisor) ; Marek, Lukáš (referee)
Using debuggers is a common mean for identifying and analyzing malware (such as viruses, worms, spyware, rootkits, etc.). However, debuggers can be detected by malware via observing of the behavior of operating system, changes in code (such as breakpoint instructions) and non-standard behavior of the CPU, making the analysis of the malware can be hard and tedious. In this thesis we are implementing a basic debugger based on the QEMU emulator that hides its presence from the debugged application. This is accomplished by using the QEMU as virtual machine and adding context awareness to the already existing primitive debugger. The context awareness is implemented using an embedded Python scripting engine. Such setup gives us a flexible way of implementing support for various operating systems. In this thesis, we have developed two examples. One example is for the RTEMS operating system, which serves as easy to understand reference implementation. Second example is for the Linux operating system, to show the abilities of the undetectable debugger in a more real scenario.
|
|
|
Simulation of traffic infrastructure
Pak, Hak Chol ; Kofroň, Jan (advisor) ; Marek, Lukáš (referee)
The aim of the project is to simulate the movement of vehicles in the traffic. The project consists of the two parts, the simulator and the editor of traffic network. Editor of traffic network allows a user to create and edit the traffic network. The second part of the program will be able to simulate the movement of vehicles in the traffic network and get simulation results. The simulation model consists of two important parts - the movement of the vehicles and traffic lights control.
|
|
|
NetRadio
Daniel, Jakub ; Marek, Lukáš (advisor) ; Čermák, Miroslav (referee)
This thesis introduces an internet radio player capable of selecting favourite con- tent independently of the user's intervention, when it is not necessary, as a so- lution to a problem residing in the fact that once the station's content stops meeting user's interest he is forced to manually tune a more desirable station. To achieve this goal the application continuously monitors all stations from the list and records user's preferences. Every time there is a change in the currently available set of contents the player may decide what is the station most likely to be appreciated by the listener.
|
|
|
Convective environment indicies and their comparison
Marek, Lukáš ; Müller, Miloslav (advisor) ; Kašpar, Marek (referee)
In this work I created the overwiew of instability indices and other characteristics of convective environment which can be found in the literature. On the basis of variables, which the instability indices are calculated from, I suggested their categorization. It was created five groups of instability indices: (i) indices of isobaric levels differences, (ii) indices of rising air parcel, (iii) indices of potential temperatures, (iv) indices of the energy potential of convection and (v) indices of wind shear. In addition to these five categories it was created the sixth category consists of other thermodynamic characteristics. In the last chapter I used the upper air soundings data and values of instability indices of the University of Wyoming for one storm in Prague and I compared instability indices to each other. The group of the indices of potential temperatures was the most successful in the storm forecast, except the Rackliff index. The bulk Richardson number from the group of indices of wind shear forecasted a supercell storm correctly. The work could be used for creation of instability climatology of the Czech Republic on the basis of the selected instability indices. Keywords: instability index, convection, convective storm
|
|
|
Parallel Processing and Software Performance
Marek, Lukáš
The thesis focuses on the effects of resource sharing on software performance for selected resources of modern processor architectures, especially shared memory caches. The thesis introduces a framework for conducting experiments that assess the impact on software performance, and, using this framework, designs, executes and evaluates the experiments. The results provide an estimate of the scale of the performance impact of resource sharing on the experimental platform.
|
guest ::
