Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
FIEDOR, J. LETKO, Z. LOURENCO, J. VOJNAR, T.
Originální název
On Monitoring C/C++ Transactional Memory Programs
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
Transactional memory (TM) is an increasingly popular technique for synchronising threads in multithreaded programs. To address both correctness and performance-related issues of TM programs, one needs to monitor and analyse their execution. However, monitoring concurrent programs (including TM programs) may have a non-negligible impact on their behaviour, which may hamper the objectives of the intended analysis. In this paper, we propose several approaches for monitoring TM programs and study their impact on the behaviour of the monitored programs. The considered approaches range from specialised lightweight monitoring to generic heavyweight monitoring. The implemented monitoring tools are publicly available to the scientific community, and the implementation techniques used for lightweight monitoring of TM programs may be used as an inspiration for developing other specialised lightweight monitors.
Klíčová slova
concurrent software, multithreaded software, transactional memory, software monitoring, dynamic analysis
Autoři
FIEDOR, J.; LETKO, Z.; LOURENCO, J.; VOJNAR, T.
Rok RIV
2015
Vydáno
1. 1. 2015
Nakladatel
Springer Verlag
Místo
Heidelberg
ISBN
978-3-319-14895-3
Kniha
Proceedings of MEMICS'14
Edice
Lecture Notes in Computer Science
Strany od
73
Strany do
87
Strany počet
15
URL
http://link.springer.com/chapter/10.1007%2F978-3-319-14896-0_7
BibTex
@inproceedings{BUT119788, author="Jan {Fiedor} and Zdeněk {Letko} and Joao {Lourenco} and Tomáš {Vojnar}", title="On Monitoring C/C++ Transactional Memory Programs", booktitle="Proceedings of MEMICS'14", year="2015", series="Lecture Notes in Computer Science", volume="8934", pages="73--87", publisher="Springer Verlag", address="Heidelberg", doi="10.1007/978-3-319-14896-0\{_}7", isbn="978-3-319-14895-3", url="http://link.springer.com/chapter/10.1007%2F978-3-319-14896-0_7" }