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...
Main Authors: | , |
---|---|
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 |