|
|
Modern operating system without MMU
Tlach, Jiří ; Děcký, Martin (advisor) ; Tůma, Petr (referee)
Memory management unit (MMU) is a hardware component providing above all the translation of virtual addresses to physical addresses and thus providing secure isolation of kernel and processes. HelenOS is a research operating system which is being developed at MFF UK. The kernel of HelenOS uses hardware MMU of the processor for virtual to physical memory translation using paging. The goal of this work is to provide an overview of the techniques which can be used to (partially) substitute the functionality of MMU by other means. A proposed design, analysis and prototype implementation of an extension to HelenOS is also part of this work. This extension enables functionality of HelenOS on processors without MMU.
|
|
|
Efficient Gathering of Performance Information on Multicore Systems
Tůma, Tomáš ; Yaghob, Jakub (referee) ; Tůma, Petr (advisor)
Modern multicore processors provide performance counters that export information on various essential aspects of software execution, from instruction decoding to cache utilization. Typically, a processor is capable of counting a small subset from hundreds of different event types, the events themselves can occur almost every processor clock tick. This yields a significant amount of data which is difficult to collect without disrupting the execution itself. The goal of the thesis is to apply compressive sampling - a special method of sampling signals that allows to reconstruct sparse signal from a small number of samples - to the performance counter data.
|
|
|
Parallel Processing and Software Performance
Marek, Lukáš ; Bulej, Lubomír (referee) ; Tůma, Petr (advisor)
The thesis focuses on the e ects 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.
|
|
|
Peer To Peer Component Framework
Klačko, Tomáš ; Šerý, Ondřej (referee) ; Tůma, Petr (advisor)
The Peer To Peer Component Framework is a software framework that allows components to be instantiated on network nodes that satisfy required runtime conditions at the time of their instantiation. The thesis presents the Framework design together with its prototype implementation. From the Framework's point of view, a component is a piece of executable software. Therefore the instantiation of a component on a network node constitutes a remote code execution, which is a security issue. Because the aim of the Framework is to be practically usefull, it provides a way to use existing security software for this matter. Above all, the Framework design requirements and its prototype implementation are driven by use cases. The two main use cases are also presented in the thesis.
|
|
|
Source Code Similarity Detection
Lano, Radek ; Parízek, Pavel (referee) ; Tůma, Petr (advisor)
The objective of this thesis is to design and implement a tool usable for detecting similar code in different projects. The tool should be able to locate code pasted from one project to another and should be able to cope with average attempts to thwart the detection such as symbol renaming, changing the order of unrelated entities, moving entities to different files, adding or removing comments, etc. The tool is implemented in language C++ and is ready to compare source files written in languages C and C++. The tool also enables the comparison of source code written in different languages, which can be compiled by the GNU C Compiler. To obtain good results in these cases, new modules should be added (this is necessitated due to different representations of the GNU C Compiler inner form for different languages). The first part of this thesis focuses on describing the problem domain, the architecture design and the tools usable for implementation. The second part centers on the implemented solution, a description of data structures and possibilities for application expansion using additional modules. The last part of the thesis sums up the results and outlines future possibilities of implementation.
|
|
|
Regression Benchmarking Web
Babka, David ; Parízek, Pavel (referee) ; Tůma, Petr (advisor)
During the software development the performance of the software is often important part of client requirements. Considering the constant development process of the software, comparison of the performance testing results could pinpoint to various defects in the source code, which could lead to optimizing software and its performance. This thesis focuses on implementation of flexible web application created for retrieving the performance results and presenting them in plots and other forms. The plots are dynamically generated to provide as much transparency as possible. This application will also provide the ability to send e-mails to users with the information about new measurement results.
|
|
| |
|
|
Linux kernel userspace modules
Lipavský, Lukáš ; Tůma, Petr (referee) ; Děcký, Martin (advisor)
This thesis proposes and implements a new method of implementing Linux kernel drivers in userspace applications - userspace drivers. Instead of proposing fixed interface for accessing kernel functionality from userspace application and using dedicated kernel module to implement functionality not accessible via the interface, proposed method allows applications to define custom interfaces to the kernel. The interface is defined in special bytecode that is loaded into the kernel. The bytecode also provides functions that can be called from the kernel and that work even in atomic context (interrupt handlers, etc.). The bytecode is architecture and kernel configuration independent. The proposed method makes it possible to develop kernel drivers implemented in userspace applications without the need of dedicated kernel module.
|
|
|
Questions of pastoral care for elderly parents
Tůma, Petr ; Opatrný, Aleš (advisor) ; Matějek, Marek (referee)
Pastoral questions of care for parents during their prime of life The Bachelor dissertation named Pastoral questions of care for parents during their prime of life inspekts and describes the prime of life, family and pastoral work. At the begginning, the needs of people in their prime of life are described, together with aging of the Czech and European societies. Then follows an analysis of a family from the point of view of a moral theology and subsequent duties of family members as a result. Subsequently pastoral care and the needs of senior members of the society are analysed. After that the dissertation refers to tasks of pastoral care in a family. At the end the dissertation sums up all the issues and offers possible methods of solution. Key terms: prime of life, family, pastoral care
|
|
|
CoCoME in SOFA
Hladký, Peter ; Parízek, Pavel (referee) ; Tůma, Petr (advisor)
Hardware resource usage of a software can be modeled and therefore it is possible to predict changes in resource usage, which will be caused by changes in implementation of the software. CoCoME models a real trading system. The reference implementation of CoCoME serves as a benchmark for software modeling technologies, including performance modeling. The goal of the thesis is to create a version of CoCoME suitable for performance modeling with hardware resource usage by individual parts of the application. The thesis describes technologies and procedures used to implement CoCoME in SOFA component model with components reflecting the existing SOFA CoCoME architecture.
|
guest ::
RSS feed.