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:
Online Access:https://www.mdpi.com/2076-3417/10/22/8005