Detail publikace

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

Jazyk

en

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.

Dokumenty

BibTex


@inproceedings{BUT119788,
  author="Jan {Fiedor} and Zdeněk {Letko} and Joao {Lourenco} and Tomáš {Vojnar}",
  title="On Monitoring C/C++ Transactional Memory Programs",
  annote="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.",
  address="Springer Verlag",
  booktitle="Proceedings of MEMICS'14",
  chapter="119788",
  doi="10.1007/978-3-319-14896-0_7",
  edition="Lecture Notes in Computer Science",
  howpublished="print",
  institution="Springer Verlag",
  year="2015",
  month="january",
  pages="73--87",
  publisher="Springer Verlag",
  type="conference paper"
}