Detail publikačního výsledku

On Monitoring C/C++ Transactional Memory Programs

FIEDOR, J.; LETKO, Z.; LOURENCO, J.; VOJNAR, T.

Originální název

On Monitoring C/C++ Transactional Memory Programs

Anglický název

On Monitoring C/C++ Transactional Memory Programs

Druh

Stať ve sborníku v databázi WoS či Scopus

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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

FIEDOR, J.; LETKO, Z.; LOURENCO, J.; VOJNAR, T.

Rok RIV

2016

Vydáno

01.01.2015

Nakladatel

Springer Verlag

Místo

Heidelberg

ISBN

978-3-319-14895-3

Kniha

Proceedings of MEMICS'14

Edice

Lecture Notes in Computer Science

Svazek

8934

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"
}