Detail projektu
Automatická analýza a verifikace transakčních pamětí
Období řešení: 1. 1. 2014 – 31. 12. 2014
Typ projektu: grant
Kód: LD14001
Agentura: Ministerstvo školství, mládeže a tělovýchovy ČR
Program: COST CZ (2011-2017)
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
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.
Dudka Vendula, Ing.
Fiedor Jan, Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Šimková Hana, Mgr. Bc., Ph.D.
2015
- 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.; 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 - 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