ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS

Article Sidebar

Open full text

pdf
Published: Dec 30, 2020
DOI: https://doi.org/10.23743/acs-2020-32
Crossref
Scopus
Google Scholar
Europe PMC
Articles

Archives

2020

Main Article Content

DOI

https://doi.org/10.23743/acs-2020-32

Authors

Damian GIEBAS

rafal.wojszczyk@tu.koszalin.pl

Faculty of Electronics and Computer Science, Koszalin University of Technology, Śniadeckich 2,75-453 Koszalin, Poland
Rafał WOJSZCZYK

rafal.wojszczyk@tu.koszalin.pl

* Faculty of Electronics and Computer Science, Koszalin University of Technology, Śniadeckich 2,75-453 Koszalin, Poland

Abstract

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.

Keywords:

order violation, conflicts of resources, static analysis of the code

References

Article Details

GIEBAS, D. ., & WOJSZCZYK, R. . (2020). ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS. Applied Computer Science, 16(4), 103–117. https://doi.org/10.23743/acs-2020-32