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

Full description

Bibliographic Details
Main Authors: Damian Giebas, Rafal Wojszczyk
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