- Tytuł:
- Order violation in multithreaded applications and its detection in static code analysis process
- Autorzy:
-
Giebas, Damian
Wojszczyk, Rafał - Powiązania:
- https://bibliotekanauki.pl/articles/1837770.pdf
- Data publikacji:
- 2020
- Wydawca:
- Polskie Towarzystwo Promocji Wiedzy
- Tematy:
-
order violation
conflicts of resources
static analysis of the code
naruszenie porządku
konflikty zasobów
analiza statyczna kodu - Opis:
- The subject presented in the paper concerns resource conflicts, which are the cause of order violation in multithreaded applications. The work focuses on developing conditions that can be implemented as a tool for allowing to detect these conflicts in the process of static code analysis. The research is based on known errors reported to developers of large applications such as Mozilla Firefox browser and MySQL relational database system. These errors could have been avoided by appropriate monitoring of the source code.
- Źródło:
-
Applied Computer Science; 2020, 16, 4; 103-117
1895-3735 - Pojawia się w:
- Applied Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł