Detail projektu

Automatická analýza a verifikace transakčních pamětí

Období řešení: 01.01.2014 — 31.12.2014

Zdroje financování

Ministerstvo školství, mládeže a tělovýchovy ČR - COST CZ (2011-2017)

- plně financující (2014-01-01 - 2014-12-31)

O projektu

Cílem projektu je navrhnout efektivní metody automatizovaného testování a analýzy paralelních programů využívajících novou a vysoce perspektivní technologii transakčních pamětí. Výzkum vedoucí k tomuto cíli bude realizován v koordinaci s COST akcí IC1001. Projekt se soustředí na návrh algoritmů vhodných pro detekci chyb specifických pro programy s transakční pamětí, konkrétně na chyby vznikající při vzájemné interakci mezi jednotlivými transakcemi a na chyby vznikající při interakci transakcí s jinými synchronizačními mechanismy. Jako základ pro testování a analýzu programů využívajících transakční paměti budou vyvinuty metody pro monitorování těchto programů, jež minimálně ovlivní jejich původní chování, ale přesto budou schopny poskytnout přesné informace o jejich běhu. Vysoké efektivity studovaných metod pro testování a analýzu programů využívajících transakční paměti bude dosaženo návrhem jejich kombinace s technikami pro vkládání šumu, které zvýší pravděpodobnost nalezení chyb v analyzovaných programech.

Popis anglicky
The goal of the project is to develop - in cooperation with the COST action IC1001 - efficient automated methods for testing and analysis of the newly emerging and highly promising class of programs with transactional memories. The project will concentrate on developing algorithms suitable for detection of errors specific for programs with transactional memories, in particular, errors arising due to interactions of different transactions and due to combining transactional memories and other synchronization means. For gathering data about the behaviour of programs with transactional memories, new monitoring methods with a minimal impact on the original behaviour of the monitored programs will be developed. For detecting errors based on such data, suitable dynamic analyses will be developed. At the same time, possibilities of using statistical analysis and data mining from the data obtained through monitoring will be studied. Efficiency of the considered algorithms will be achieved by developing suitable noise injection techniques that will increase the probability of discovering erroneous behaviours of programs with transactional memories. The project will involve theoretical research as well as a prototype implementation of the proposed techniques and their experimental evaluation on suitable case studies.

Klíčová slova
transakční paměti, paralelní programy, chyby v synchronizaci, monitorování programů, testování programů, statická a dynamická analýza programů, vkládání šumu

Klíčová slova anglicky
transactional memory, concurrent programs, synchronization errors, program monitoring, program testing, static and dynamic program analysis, noise injection

Označení

LD14001

Originální jazyk

čeština

Řešitelé

Vojnar Tomáš, prof. Ing., Ph.D. - hlavní řešitel
Dudka Vendula, Ing. - spoluřešitel
Fiedor Jan, Ing., Ph.D. - spoluřešitel
Křena Bohuslav, Ing., Ph.D. - spoluřešitel
Letko Zdeněk, Ing., Ph.D. - spoluřešitel
Šimková Hana, Mgr. Bc., Ph.D. - spoluřešitel

Útvary

Ústav inteligentních systémů
- příjemce (27.08.2013 - 31.12.2014)
Výzkumné centrum informač. technologií
- spolupříjemce (27.08.2013 - 31.12.2014)

Výsledky

FIEDOR, J.; LETKO, Z.; LOURENCO, J.; VOJNAR, T. On Monitoring C/C++ Transactional Memory Programs. In Proceedings of MEMICS'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. p. 73-87. ISBN: 978-3-319-14895-3.
Detail

FIEDOR, J.; VOJNAR, T.; LETKO, Z.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. In Proceedings of EUROCAST'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. p. 555-564. ISBN: 978-3-319-27339-6.
Detail

FIEDOR, J.; LETKO, Z.; VOJNAR, T.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015. p. 177-178. ISBN: 978-84-606-5438-4.
Detail