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

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 researc...

Full description

Bibliographic Details
Main Authors: Damian GIEBAS, Rafał WOJSZCZYK
Format: Article
Language:English
Published: Polish Association for Knowledge Promotion 2020-12-01
Series:Applied Computer Science
Subjects:
Online Access:http://acs.pollub.pl/pdf/v16n4/8.pdf
_version_ 1818428799542362112
author Damian GIEBAS
Rafał WOJSZCZYK
author_facet Damian GIEBAS
Rafał WOJSZCZYK
author_sort Damian GIEBAS
collection DOAJ
description 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.
first_indexed 2024-12-14T15:07:22Z
format Article
id doaj.art-103b8f41b5fd4e5bb2eee6f1b68d9406
institution Directory Open Access Journal
issn 1895-3735
2353-6977
language English
last_indexed 2024-12-14T15:07:22Z
publishDate 2020-12-01
publisher Polish Association for Knowledge Promotion
record_format Article
series Applied Computer Science
spelling doaj.art-103b8f41b5fd4e5bb2eee6f1b68d94062022-12-21T22:56:39ZengPolish Association for Knowledge PromotionApplied Computer Science1895-37352353-69772020-12-0116410311710.23743/acs-2020-32ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESSDamian GIEBAS0Rafał WOJSZCZYK1https://orcid.org/0000-0003-4305-7253Faculty of Electronics and Computer Science, Koszalin University of Technology, Śniadeckich 2,75-453 Koszalin, PolandFaculty of Electronics and Computer Science, Koszalin University of Technology, Śniadeckich 2,75-453 Koszalin, Poland, rafal.wojszczyk@tu.koszalin.plThe 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.http://acs.pollub.pl/pdf/v16n4/8.pdforder violationconflicts of resourcesstatic analysis of the code
spellingShingle Damian GIEBAS
Rafał WOJSZCZYK
ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS
Applied Computer Science
order violation
conflicts of resources
static analysis of the code
title ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS
title_full ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS
title_fullStr ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS
title_full_unstemmed ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS
title_short ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS
title_sort order violation in multithreaded applications and its detection in static code analysis process
topic order violation
conflicts of resources
static analysis of the code
url http://acs.pollub.pl/pdf/v16n4/8.pdf
work_keys_str_mv AT damiangiebas orderviolationinmultithreadedapplicationsanditsdetectioninstaticcodeanalysisprocess
AT rafałwojszczyk orderviolationinmultithreadedapplicationsanditsdetectioninstaticcodeanalysisprocess