Program Analysis Techniques for Identifying Concurrency Errors

An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors

von Qichang Chen

164 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Today, multi-core/multi-processor hardware has become ubiquitous, which puts us at a fundamental turning point on software development. However, developing concurrent programs is difficult. Concurrency introduces the possibility of errors that do not exist in sequential programs. This book covers the state-of-the-art research achievements on detecting concurrency errors such as deadlock, race condition, and atomicity violation and also presents several aggressive performance optimization techniques for hybrid program analysis.

• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Programmier- und Skriptsprachen, allgemein
• ISBN: 9783659625329
• Sprache: Englisch
• Erscheinungsdatum: 22.10.2014
• Größe: 220 x 150 mm
• Verlag: LAP LAMBERT Academic Publishing