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

Název projektu anglicky
Automatic Analysis and Verification of Transactional Memories
Anotace anglicky
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.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Byly navrženy nové metody testování paralelních programů s transakční pamětí. Konkrétně byla navržena sada nových metod pro monitorování těchto programů lišících se množstvím sbíraných dat a vlivem na chování monitorovaného programu. Dále byla navržena ?

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP15-MSM-LD-U/01:1
Datum dodání záznamu
2. 7. 2015

Podobné projekty(10)