On Monitoring C/C++ Transactional Memory Programs
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F15%3APU116931" target="_blank" >RIV/00216305:26230/15:PU116931 - isvavai.cz</a>
Result on the web
<a href="http://link.springer.com/chapter/10.1007%2F978-3-319-14896-0_7" target="_blank" >http://link.springer.com/chapter/10.1007%2F978-3-319-14896-0_7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-14896-0_7" target="_blank" >10.1007/978-3-319-14896-0_7</a>
Alternative languages
Result language
angličtina
Original language name
On Monitoring C/C++ Transactional Memory Programs
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of MEMICS'14
ISBN
978-3-319-14895-3
ISSN
—
e-ISSN
—
Number of pages
15
Pages from-to
73-87
Publisher name
Springer Verlag
Place of publication
Heidelberg
Event location
Telč
Event date
Oct 17, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000357573300007