Detail výsledku

On Monitoring C/C++ Transactional Memory Programs

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Fiedor Jan, Ing., Ph.D., FIT (FIT)
Letko Zdeněk, Ing., Ph.D., UITS (FIT)
Lourenco Joao
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
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

URL
Rok
2015
Strany
73–87
Sborník
Proceedings of MEMICS'14
Řada
Lecture Notes in Computer Science
Svazek
8934
Konference
MEMICS'14 -- 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-3-319-14895-3
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-319-14896-0_7
UT WoS
000357573300007
EID Scopus
2-s2.0-84927944526
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"
}
Projekty
Automatická analýza a verifikace transakčních pamětí, MŠMT, COST CZ (2011-2017), LD14001, zahájení: 2014-01-01, ukončení: 2014-12-31, ukončen
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Inteligentní testování a analýza paralelních programů, MŠMT, KONTAKT II (2011-2017), LH13265, zahájení: 2013-04-01, ukončení: 2015-03-31, ukončen
Podpora tvorby excelentních týmů mezioborového výzkumu na VUT, EU, OP VK - Oblast podpory 2.3 - Lidské zdroje ve VaV, EE2.3.30.0005, zahájení: 2012-07-01, ukončení: 2015-06-30, ukončen
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Transakční paměti: teoretické základy, algoritmy, nástroje a aplikace (Euro-TM), MŠMT, COST CZ (2011-2017), IC1001, zahájení: 2011-02-10, ukončení: 2015-02-09, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru