Partial Order redukce pro LLVM

Mgr. Jan Tušil

Bakalářská práce

Partial Order Reduction for LLVM

Anotace:

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

Klíčová slova

llvm, model checking, partial order reduction, NTS, transition systems, pthreads, posix threads

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 18. 5. 2015

Obhajoba závěrečné práce

• Obhajoba proběhla 19. 6. 2015
• Vedoucí: Mgr. Petr Bauch, Ph.D.
• Oponent: doc. RNDr. Jan Strejček, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Programovatelné technické struktury