|
|
Architecture Information for LLVM Compiler Optimizations
Svoboda, Jan ; Dolíhal, Luděk (oponent) ; Hruška, Tomáš (vedoucí práce)
This thesis deals with the automatic extraction of processor architecture information from the CodAL language. Extracted information is used as the base for a cost model of the optimizer in the LLVM compiler. In this thesis, a new system was implemented, that creates the cost model, transforms it into a C++ code and compiles it into a dynamic library. This library is loaded at run-time by the compiler and used for better decision-making during the optimization process. The system achieves an average reduction in program code size of 14% and up to 68% improvement in the performance of the generated code.
|
|
|
Architecture Information for LLVM Compiler Optimizations
Svoboda, Jan ; Dolíhal, Luděk (oponent) ; Hruška, Tomáš (vedoucí práce)
This thesis deals with the automatic extraction of processor architecture information from the CodAL language. Extracted information is used as the base for a cost model of the optimizer in the LLVM compiler. In this thesis, a new system was implemented, that creates the cost model, transforms it into a C++ code and compiles it into a dynamic library. This library is loaded at run-time by the compiler and used for better decision-making during the optimization process. The system achieves an average reduction in program code size of 14% and up to 68% improvement in the performance of the generated code.
|
|
|
Price models and SLA for shared services of data centers
Štefek, Ivan ; Voříšek, Jiří (vedoucí práce) ; Bruckner, Tomáš (oponent)
Diplomová práce Cenové modely a SLA pro sdílené služby datových center má za cíl stanovit nejlepší osvědčené postupy, takzvané "best practices" pro tvorbu SLA a ceny za služby datového centra. Práce je rozdělená tematicky na dvě části, teoretickou a analytickou část. V teoretické části obeznámím čitatele se základním názvoslovím jako je outsourcing, důvody a rizika jeho využívaní. Popíši základní modely poskytování IT služeb a taktéž modely pro tvorbu ceny za služby tak, jak jich popisuje literatura. Přitom, se zaměřím na datová centra, kategorizaci TIER a jednotlivé kvalitativní ukazovatele. Analytická část je postavená na analýze informací, které jsem získal na základě rozhovoru s odborníky, kteří pracují pro největší společnosti provozující datová centra v České republice. Na základě těchto informací jsem se pokusil sestavit nejlepší postupy pro tvorbu cenových modelů pro služby datového centra, které se v praxi reálně používají. Konkrétně jde o služby server housingu, server hostingu a virtual server hostingu. Taktéž k službám vytvořím SLA, které bude možné využít provozovatelem datových center v České republice.
|
host ::
RSS.