Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis
Computer systems that allow multithreaded execution of applications have become extremely common, even small portable devices operate in multithreaded mode. This is undoubtedly very convenient for users, but for programmers it is associated with many unwanted errors, which can occur after writing ap...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2021-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9406024/ |
_version_ | 1818646811944943616 |
---|---|
author | Damian Giebas Rafal Wojszczyk |
author_facet | Damian Giebas Rafal Wojszczyk |
author_sort | Damian Giebas |
collection | DOAJ |
description | Computer systems that allow multithreaded execution of applications have become extremely common, even small portable devices operate in multithreaded mode. This is undoubtedly very convenient for users, but for programmers it is associated with many unwanted errors, which can occur after writing application code. These errors include race condition, deadlock, atomicity violation and order violation. The subject of this work is related to the detection of these errors in the process of static software analysis. The paper presents the author’s model, which was then used to detect the above-mentioned occurrences, additionally each error has been discussed in detail. A tool supporting the detection of errors in multithreaded applications was also developed and the results of this tool were presented. |
first_indexed | 2024-12-17T00:52:35Z |
format | Article |
id | doaj.art-c46d5aec8d434edf8edf61f1a0963b23 |
institution | Directory Open Access Journal |
issn | 2169-3536 |
language | English |
last_indexed | 2024-12-17T00:52:35Z |
publishDate | 2021-01-01 |
publisher | IEEE |
record_format | Article |
series | IEEE Access |
spelling | doaj.art-c46d5aec8d434edf8edf61f1a0963b232022-12-21T22:09:43ZengIEEEIEEE Access2169-35362021-01-019612986132310.1109/ACCESS.2021.30738599406024Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code AnalysisDamian Giebas0https://orcid.org/0000-0002-6302-1306Rafal Wojszczyk1https://orcid.org/0000-0003-4305-7253Faculty of Electronics and Computer Science, Koszalin University of Technology, Koszalin, PolandFaculty of Electronics and Computer Science, Koszalin University of Technology, Koszalin, PolandComputer systems that allow multithreaded execution of applications have become extremely common, even small portable devices operate in multithreaded mode. This is undoubtedly very convenient for users, but for programmers it is associated with many unwanted errors, which can occur after writing application code. These errors include race condition, deadlock, atomicity violation and order violation. The subject of this work is related to the detection of these errors in the process of static software analysis. The paper presents the author’s model, which was then used to detect the above-mentioned occurrences, additionally each error has been discussed in detail. A tool supporting the detection of errors in multithreaded applications was also developed and the results of this tool were presented.https://ieeexplore.ieee.org/document/9406024/Parallel programmingparallel processingmultithreading |
spellingShingle | Damian Giebas Rafal Wojszczyk Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis IEEE Access Parallel programming parallel processing multithreading |
title | Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis |
title_full | Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis |
title_fullStr | Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis |
title_full_unstemmed | Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis |
title_short | Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis |
title_sort | detection of concurrency errors in multithreaded applications based on static source code analysis |
topic | Parallel programming parallel processing multithreading |
url | https://ieeexplore.ieee.org/document/9406024/ |
work_keys_str_mv | AT damiangiebas detectionofconcurrencyerrorsinmultithreadedapplicationsbasedonstaticsourcecodeanalysis AT rafalwojszczyk detectionofconcurrencyerrorsinmultithreadedapplicationsbasedonstaticsourcecodeanalysis |