Document details

Lightweight monitoring of transactional memory programs

Author(s): Martins, João Miguel Castanheira

Date: 2013

Persistent ID:

Origin: Repositório Institucional da UNL

Subject(s): Transactional memory; Monitoring; Debugging; Clock synchronization; Event ordering


Concurrent programs can take advantage of multi-core architectures. However, writing correct and e cient concurrent programs remains a challenging task. Transactional memory eases the task by providing a high-level programming model for concurrent programming. Still, tools for analyzing and debugging transactional memory programs are very scarce. Tools have been developed for debugging support for transactional memory that rely on logging events (start, commit, etc.) to generate a view of the execution. During the execution, these events are writen to a log, associating a CPU-core dependent timestamp to each event. These clocks are not synchronized and so the events recorded in the log may not respect the real order and appear inconsistent, e.g., the commit event of a transaction may be recorded as if it happened before the corresponding start. We present a strategy for ordering the events in a trace log in order to reporduce a consistent view of the events recorded in the log.

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Document Type Master thesis
Language English
Advisor(s) Lourenço, João
Contributor(s) Martins, João Miguel Castanheira
facebook logo  linkedin logo  twitter logo 
mendeley logo

Related documents

No related documents