Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process

This paper is a contribution to the field of research dealing with the parallel computing, which is used in multithreaded applications. The paper discusses the characteristics of atomicity violation in multithreaded applications and develops a new definition of atomicity violation based on previousl...

Full description

Bibliographic Details
Main Authors:	Damian Giebas, Rafał Wojszczyk
Format:	Article
Language:	English
Published:	MDPI AG 2020-11-01
Series:	Applied Sciences
Subjects:	multithreaded application resource conflicts atomicity violation pthread parallel computing
Online Access:	https://www.mdpi.com/2076-3417/10/22/8005

id	doaj-e9bd9b8527a5421aaa67f1bcc20ea174
record_format	Article
spelling	doaj-e9bd9b8527a5421aaa67f1bcc20ea1742020-11-25T04:03:11ZengMDPI AGApplied Sciences2076-34172020-11-01108005800510.3390/app10228005Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis ProcessDamian Giebas0Rafał Wojszczyk1Faculty of Electronics and Computer Science, Koszalin University of Technology, Sniadeckich 2,75-453 Koszalin, PolandFaculty of Electronics and Computer Science, Koszalin University of Technology, Sniadeckich 2,75-453 Koszalin, PolandThis paper is a contribution to the field of research dealing with the parallel computing, which is used in multithreaded applications. The paper discusses the characteristics of atomicity violation in multithreaded applications and develops a new definition of atomicity violation based on previously defined relationships between operations, that can be used to atomicity violation detection. A method of detection of conflicts causing atomicity violation was also developed using the source code model of multithreaded applications that predicts errors in the software.https://www.mdpi.com/2076-3417/10/22/8005multithreaded applicationresource conflictsatomicity violationpthreadparallel computing
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	Damian Giebas Rafał Wojszczyk
spellingShingle	Damian Giebas Rafał Wojszczyk Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process Applied Sciences multithreaded application resource conflicts atomicity violation pthread parallel computing
author_facet	Damian Giebas Rafał Wojszczyk
author_sort	Damian Giebas
title	Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process
title_short	Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process
title_full	Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process
title_fullStr	Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process
title_full_unstemmed	Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process
title_sort	atomicity violation in multithreaded applications and its detection in static code analysis process
publisher	MDPI AG
series	Applied Sciences
issn	2076-3417
publishDate	2020-11-01
description	This paper is a contribution to the field of research dealing with the parallel computing, which is used in multithreaded applications. The paper discusses the characteristics of atomicity violation in multithreaded applications and develops a new definition of atomicity violation based on previously defined relationships between operations, that can be used to atomicity violation detection. A method of detection of conflicts causing atomicity violation was also developed using the source code model of multithreaded applications that predicts errors in the software.
topic	multithreaded application resource conflicts atomicity violation pthread parallel computing
url	https://www.mdpi.com/2076-3417/10/22/8005
work_keys_str_mv	AT damiangiebas atomicityviolationinmultithreadedapplicationsanditsdetectioninstaticcodeanalysisprocess AT rafałwojszczyk atomicityviolationinmultithreadedapplicationsanditsdetectioninstaticcodeanalysisprocess
_version_	1724441373934878720

Atomicity Violation in Multithreaded Applications and Its Detection in Static Code Analysis Process

Similar Items