All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
LD14001

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