On Monitoring C/C++ Transactional Memory Programs

Jan Fiedor; Zdenĕk Letko; João Manuel dos Santos Lourenço; Tomáš Vojnar

doi:10.1007/978-3-319-14896-0_7

On Monitoring C/C++ Transactional Memory Programs

Jan Fiedor, Zdenĕk Letko, João Manuel dos Santos Lourenço, Tomáš Vojnar

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Transactional memory (TM) is an increasingly popular technique for synchronising threads in multi-threaded 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.

Original language	English
Title of host publication	MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014
Editors	P Hliněný, Z Dvořák, J Jaroš, J Kofroň, J Kořenek, P Matula, K Pala
Publisher	Springer Verlag
Pages	73-87
ISBN (Print)	978-3-319-14896-0
DOIs	https://doi.org/10.1007/978-3-319-14896-0_7
Publication status	Published - 2014
Event	9th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS) - Telc, Czech Republic Duration: 17 Oct 2014 → 19 Oct 2014 Conference number: 9th

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	8934
ISSN (Print)	0302-9743

Conference

Conference	9th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS)
Abbreviated title	MEMICS
Country/Territory	Czech Republic
City	Telc
Period	17/10/14 → 19/10/14

Access to Document

10.1007/978-3-319-14896-0_7

Cite this

Fiedor, J., Letko, Z., Lourenço, J. M. D. S., & Vojnar, T. (2014). On Monitoring C/C++ Transactional Memory Programs. In P. Hliněný, Z. Dvořák, J. Jaroš, J. Kofroň, J. Kořenek, P. Matula, & K. Pala (Eds.), MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014 (pp. 73-87). (Lecture Notes in Computer Science; Vol. 8934). Springer Verlag. https://doi.org/10.1007/978-3-319-14896-0_7

@inproceedings{ad31d05304fe45418c45398ae07cf128,

title = "On Monitoring C/C++ Transactional Memory Programs",

abstract = "Transactional memory (TM) is an increasingly popular technique for synchronising threads in multi-threaded 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.",

author = "Jan Fiedor and Zdenĕk Letko and Louren{\c c}o, {Jo{\~a}o Manuel dos Santos} and Tom{\'a}{\v s} Vojnar",

year = "2014",

doi = "10.1007/978-3-319-14896-0_7",

language = "English",

isbn = "978-3-319-14896-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "73--87",

editor = "P Hlin{\v e}n{\'y} and Z Dvo{\v r}{\'a}k and J Jaro{\v s} and J Kofro{\v n} and J Ko{\v r}enek and P Matula and K Pala",

booktitle = "MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014",

address = "Germany",

note = "9th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS), MEMICS ; Conference date: 17-10-2014 Through 19-10-2014",

}

Fiedor, J, Letko, Z, Lourenço, JMDS & Vojnar, T 2014, On Monitoring C/C++ Transactional Memory Programs. in P Hliněný, Z Dvořák, J Jaroš, J Kofroň, J Kořenek, P Matula & K Pala (eds), MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014. Lecture Notes in Computer Science, vol. 8934, Springer Verlag, pp. 73-87, 9th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS), Telc, Czech Republic, 17/10/14. https://doi.org/10.1007/978-3-319-14896-0_7

On Monitoring C/C++ Transactional Memory Programs. / Fiedor, Jan; Letko, Zdenĕk; Lourenço, João Manuel dos Santos et al.
MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014. ed. / P Hliněný; Z Dvořák; J Jaroš; J Kofroň; J Kořenek; P Matula; K Pala. Springer Verlag, 2014. p. 73-87 (Lecture Notes in Computer Science; Vol. 8934).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On Monitoring C/C++ Transactional Memory Programs

AU - Fiedor, Jan

AU - Letko, Zdenĕk

AU - Lourenço, João Manuel dos Santos

AU - Vojnar, Tomáš

N1 - Conference code: 9th

PY - 2014

Y1 - 2014

N2 - Transactional memory (TM) is an increasingly popular technique for synchronising threads in multi-threaded 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.

AB - Transactional memory (TM) is an increasingly popular technique for synchronising threads in multi-threaded 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.

U2 - 10.1007/978-3-319-14896-0_7

DO - 10.1007/978-3-319-14896-0_7

M3 - Conference contribution

SN - 978-3-319-14896-0

T3 - Lecture Notes in Computer Science

SP - 73

EP - 87

BT - MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014

A2 - Hliněný, P

A2 - Dvořák, Z

A2 - Jaroš, J

A2 - Kofroň, J

A2 - Kořenek, J

A2 - Matula, P

A2 - Pala, K

PB - Springer Verlag

T2 - 9th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS)

Y2 - 17 October 2014 through 19 October 2014

ER -

On Monitoring C/C++ Transactional Memory Programs

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this