Mgr. Jan Tušil
Bachelor's thesis
Partial Order redukce pro LLVM
Partial Order Reduction for LLVM
Abstract:
Cílem této práce je vytvořit nástroj pro: 1) překlad programů využívajících knihovnu posixových vláken (pthreads) z (podmnožiny) jazyka LLVM IR do jazyka pro popis přechodových systémů NTS 2) a následnou sekvencializace výsledného přechodovýho systému s využítím statické Partial Order redukce.Abstract:
The goal of this thesis is to create a tool, which can be able to: 1) translate programs, which use posix threads (pthreads), from (subset of) LLVM IR to NTS (Numerical Transition Systems) language 2) sequentialize resulting transition system with use of Static Partial Order Reduction
Language used: Czech
Date on which the thesis was submitted / produced: 18. 5. 2015
Identifier:
https://is.muni.cz/th/f18pq/
Thesis defence
- Date of defence: 19. 6. 2015
- Supervisor: Mgr. Petr Bauch, Ph.D.
- Reader: doc. RNDr. Jan Strejček, Ph.D.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Programmable Technical Structures
Theses on a related topic
-
Partial Order Reduction in Parallel Model Checking
Petr Ročkai -
Modal Transition Systems: Extensions and Analysis
Jan Křetínský -
Disjunctive Modal Transition Systems
Nikola Beneš