<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Jan Fiedor</style></author><author><style face="normal" font="default" size="100%">Letko, Zdeněk</style></author><author><style face="normal" font="default" size="100%">Lourenço, João</style></author><author><style face="normal" font="default" size="100%">Vojnar, Tomáš</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Hliněný, Petr</style></author><author><style face="normal" font="default" size="100%">Dvořák, Zdeněk</style></author><author><style face="normal" font="default" size="100%">Jaroš, Jiří</style></author><author><style face="normal" font="default" size="100%">Kofroň, Jan</style></author><author><style face="normal" font="default" size="100%">Kořenek, Jan</style></author><author><style face="normal" font="default" size="100%">Matula, Petr</style></author><author><style face="normal" font="default" size="100%">Pala, Karel</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On Monitoring C/C++ Transactional Memory Programs</style></title><secondary-title><style face="normal" font="default" size="100%">Mathematical and Engineering Methods in Computer Science</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-319-14896-0_7</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">https://docentes.fct.unl.pt/sites/default/files/joao-lourenco/files/memics14-monitoring-tm.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer International Publishing</style></publisher><volume><style face="normal" font="default" size="100%">8934</style></volume><pages><style face="normal" font="default" size="100%">73–87</style></pages><isbn><style face="normal" font="default" size="100%">978-3-319-14896-0</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record></records></xml>