CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Graduation Activities  \  Post-Graduation Page Login  
   
banner bottom
File Top
Lightweight Monitoring of Transactional Memory Programs
MSc Post-Graduation
Abstract:

Concurrent programs can take advantage of multi-core architectures. However, writ- ing correct and efficient concurrent programs remains a challenging task. Transactional memory eases the task by providing a high-level programming model for concurrent pro- gramming. 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.


Start Date: 2012-09-15

End Date: 2013-12-18




Post-Graduation Student / Researcher / Professor:
  • João Miguel Castanheira Martins ( Faculdade de Ciências e Tecnologia da Universidade de Coimbra )

Post-Graduation Supervisor(s):

Post-Graduation Jury:
  • João Lourenço
  • Carlos Damásio ( CENTRIA )
  • Manuel Barata ( Instituto Superior de Engenharia de Lisboa )
File Bottom