Zobrazeno 1 - 3
of 3
pro vyhledávání: '"vícevláknové programy"'
Autor:
Harmim, Dominik
Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomi
Externí odkaz:
http://www.nusl.cz/ntk/nusl-445592
Autor:
Starigazda, Michal
Testing of multi-threaded programs is a demanding work due to the many possible thread interleavings one should examine. The noise injection technique helps to increase the number of tested thread interleavings by noise injection to suitable program
Externí odkaz:
http://www.nusl.cz/ntk/nusl-234928
Autor:
Letko, Zdeněk
Finding concurrency bugs in complex software is difficult. As a contribution to coping with this problem the thesis proposes an architecture for a fully automated dynamic detection and healing of data races and atomicity violations in Java. Two disti
Externí odkaz:
http://www.nusl.cz/ntk/nusl-235989