Automatická analýza a verifikace transakčních pamětí

Automatic Analysis and Verification of Transactional Memories

grant

transactional memory, concurrent programs, synchronization errors, program
monitoring, program testing, static and dynamic program analysis, noise
injection

The goal of the project is to develop - in cooperation with the COST action
IC1001 - efficient automated methods for testing and analysis of the newly
emerging and highly promising class of programs with transactional memories. The
project will concentrate on developing algorithms suitable for detection of
errors specific for programs with transactional memories, in particular, errors
arising due to interactions of different transactions and due to combining
transactional memories and other synchronization means. For gathering data about
the behaviour of programs with transactional memories, new monitoring methods
with a minimal impact on the original behaviour of the monitored programs will be
developed. For detecting errors based on such data, suitable dynamic analyses
will be developed. At the same time, possibilities of using statistical analysis
and data mining from the data obtained through monitoring will be studied.
Efficiency of the considered algorithms will be achieved by developing suitable
noise injection techniques that will increase the probability of discovering
erroneous behaviours of programs with transactional memories. The project will
involve theoretical research as well as a prototype implementation of the
proposed techniques and their experimental evaluation on suitable case studies.

Vojnar Tomáš, prof. Ing., Ph.D. (DITS) – research leader
Dudka Vendula, Ing.
Fiedor Jan, Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)
Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Šimková Hana, Mgr. Bc., Ph.D.