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

Abstract

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.

Keywords

• multithreaded application
• resource conflicts
• atomicity violation
• pthread
• parallel computing