Automatic Analysis and Verification of Transactional Memories
Public support
Provider
Ministry of Education, Youth and Sports
Programme
COST CZ
Call for proposals
COST CZ 4 (SMSM2014LD4)
Main participants
—
Contest type
VS - Public tender
Contract ID
MSMT-8634/2014-1
Alternative language
Project name in Czech
Automatická analýza a verifikace transakčních pamětí
Annotation in Czech
Cílem projektu je navrhnout efektivní metody automatizovaného testování a analýzy paralelních programů využívajících novou a vysoce perspektivní technologii transakčních pamětí. Projekt se zaměří na návrh algoritmů vhodných pro detekci chyb specifickýchpro programy s transakční pamětí, konkrétně na chyby vznikající při vzájemné interakci mezi jednotlivými transakcemi a na chyby vznikající při interakci transakcí s jinými synchronizačními mechanismy. Výzkum vedoucí k tomuto cíli bude realizován v koordinaci s COST akcí IC1001 ?Transactional Memories: Foundations, Algorithms, Tools, and Applications? (Euro-TM). Pro získávání informací o chování programů s transakčními pamětmi budou navrženy vhodné techniky monitorování těchto programů a to takové, aby minimálně ovlivňovaly jejich původní chování. Pro detekci chyb na základě takto získaných informací budou navrženy vhodné dynamické analýzy a bude také zkoumána možnost využití technik statistické analýzy a dolování z dat získaných monitorováním běhu programů. Souběžně budou zkoumány možnosti vkládání šumu do chování programů s transakčními pamětmi tak, aby se případné chyby v těchto programech projevily s větší pravděpodobností. Výzkum realizovaný v rámci projektu zahrne jak teoretický návrh nových algoritmů monitorování a analýzy paralelních programů s transakčními pamětmi, tak také prototypovou implementaci navržených řešení a její experimentální vyhodnocení na vhodných případových studiích.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
New methods of testing concurrent programs with transaction memory were developed. In particular, a set of methods for monitoring such programs was proposed, differing in the amount of gathered data and the influence on the monitored programs. Further, anew dynamic method for detecting atomicity violations was proposed, using a notion of contracts, noise-based testing, and test run extrapolation.
Solution timeline
Realization period - beginning
Jan 1, 2014
Realization period - end
Dec 31, 2014
Project status
U - Finished project
Latest support payment
Feb 27, 2014
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP15-MSM-LD-U/01:1
Data delivery date
Jul 2, 2015
Finance
Total approved costs
555 thou. CZK
Public financial support
555 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK