Publication Details

On Monitoring C/C++ Transactional Memory Programs

FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Lecture Notes in Computer Science, vol. 8934. Heidelberg: Springer Verlag, 2015, pp. 73-87. ISBN 978-3-319-14895-3.
Czech title
Monitorování C/C++ programů s transakční pamětí
Type
conference paper
Language
english
Authors
Fiedor Jan, Ing., Ph.D. (DITS FIT BUT)
Letko Zdeněk, Ing., Ph.D. (DITS FIT BUT)
Lourenco Joao (UNL)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
Keywords

concurrent software, multithreaded software, transactional memory, software monitoring, dynamic analysis

Abstract

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.

Published
2015
Pages
73-87
Proceedings
Proceedings of MEMICS'14
Series
Lecture Notes in Computer Science
Volume
8934
Conference
MEMICS'14 -- 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, CZ
ISBN
978-3-319-14895-3
Publisher
Springer Verlag
Place
Heidelberg, DE
DOI
UT WoS
000357573300007
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB10617,
   author = "Jan Fiedor and Zden\v{e}k Letko and Joao Lourenco and Tom\'{a}\v{s} Vojnar",
   title = "On Monitoring C/C++ Transactional Memory Programs",
   pages = "73--87",
   booktitle = "Proceedings of MEMICS'14",
   series = "Lecture Notes in Computer Science",
   volume = 8934,
   year = 2015,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-14895-3",
   doi = "10.1007/978-3-319-14896-0\_7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10617"
}
Back to top