Efficiency of data structures in implementation of automata
Loading...
Date
Authors
Koval, Milan
ORCID
Advisor
Referee
Mark
F
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
Tato Prace se soustředí na optimalizaci knihovny Mata, která je součastným leaderem na poli vykonu v oblasti operací nad automaty. Výrazdné zlepšení výkonu je dosáhnuto pomocí modifikovaného lineárního alokátoru, využitím append-only vlastnosti reprezentace automatu umozňue bleskově rychlé konstrukce a bleskově rychlým pristupúm do paměti díky prostorove lokalitě. Nálezem této práce není pouze rychlejší už ta nejrychlejší knihovna Mata ale take použitelnost lineárních alokátorů jako normálně používaná praxe při append-only strukturách, speciálně v výkonově kritických případech.
This Thesis focuses on optimazing the library Mata, that is curently the leader in performance it the fieal operations on automatas. Sygnificant performance increase is achived with the use of a modified linear allocator, using the append-only represetattion of an automata allows for blazing fast construction and blazing fast memery acces owning to resulting spatial locality. The findings of this thesis is not only faster already fastest library Mata but also the viability of linear allocaotors as a more common practice in append only structures, espessialy in performance critical uses.
This Thesis focuses on optimazing the library Mata, that is curently the leader in performance it the fieal operations on automatas. Sygnificant performance increase is achived with the use of a modified linear allocator, using the append-only represetattion of an automata allows for blazing fast construction and blazing fast memery acces owning to resulting spatial locality. The findings of this thesis is not only faster already fastest library Mata but also the viability of linear allocaotors as a more common practice in append only structures, espessialy in performance critical uses.
Description
Citation
KOVAL, M. Efficiency of data structures in implementation of automata [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024.
Document type
Document version
Date of access to the full text
Language of document
en
Study field
Informační technologie
Comittee
doc. Ing. Tomáš Martínek, Ph.D. (předseda)
Ing. Ivana Burgetová, Ph.D. (člen)
Ing. Vladimír Veselý, Ph.D. (člen)
doc. Mgr. Adam Rogalewicz, Ph.D. (člen)
Ing. Tomáš Milet, Ph.D. (člen)
Date of acceptance
2024-06-11
Defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Oponent hodnotil práci stupněm 4F, protože technická zpráva obsahuje hrubé nedostatky, zpráva a realizace kvalitou neodpovídá bakalářské práci. Student nedokázal vyvrátit výtky oponenta. Komise shledala nedostatky práce natolik závažné, že se práci rozhodla hodnotit jako nevyhovující.
Result of defence
práce nebyla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení