Pokročilá statická analýza atomičnosti v paralelních programech v prostředí Facebook Infer
| Autor: | Harmim, Dominik |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
kompoziční analýza
modulární analýza kontrakty pro paralelismus Facebook Infer škálovatelnost incremental analysis static analysis interprocedurální analýza atomicita statická analýza contracts for concurrency atomicity violation porušení atomicity abstract interpretation modular analysis Atomer function calls sequence inkrementální analýza paralelní programy scalability interprocedural analysis programs analysis multi-threaded programs vícevláknové programy atomicity compositional analysis concurrent programs sekvence volání funkcí analýza programů abstraktní interpretace |
| Druh dokumentu: | masterThesis |
| Popis: | 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 atomicky. Analyzátor Atomer se tudíž snaží takové sekvence hledat a poté zjišťovat, pro které z nich může být v některých jiných bězích programu porušena atomicita. Autor této diplomové práce ve své bakalářské práci navrhl a implementoval první verzi nástroje Atomer jako zásuvný modul aplikačního rámce Facebook Infer. V této diplomové práci je navržena nová a výrazně vylepšená verze analyzátoru Atomer. Cílem vylepšení je zvýšení jak škálovatelnosti, tak přesnosti. Kromě toho byla přidána podpora pro několik původně nepodporovaných programovacích vlastností (včetně např. možnosti analyzovat programy napsané v jazycích C++ a Java nebo podpory pro reentrantní zámky nebo stráže zámků, tzv. "lock guards"). Prostřednictvím řady experimentů (včetně experimentů s reálnými programy a reálnými chybami) se ukázalo, že nová verze nástroje Atomer je skutečně mnohem obecnější, přesnější a lépe škáluje. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|