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 proceedingConference contributionpeer-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 languageEnglish
Title of host publicationMATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014
EditorsP Hliněný, Z Dvořák, J Jaroš, J Kofroň, J Kořenek, P Matula, K Pala
PublisherSpringer-Verlag
Pages73-87
ISBN (Print)978-3-319-14896-0
DOIs
Publication statusPublished - 2014
Event9th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS) - Telc, Czech Republic
Duration: 17 Oct 201419 Oct 2014
Conference number: 9th

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume8934
ISSN (Print)0302-9743

Conference

Conference9th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS)
Abbreviated titleMEMICS
CountryCzech Republic
CityTelc
Period17/10/1419/10/14

Fingerprint

Dive into the research topics of 'On Monitoring C/C++ Transactional Memory Programs'. Together they form a unique fingerprint.

Cite this