Detecting Busy Waiting | An Approach Employing Static Control Flow Analysis

Georg Kienesberger

ISBN 10: 3639251520 / ISBN 13: 9783639251524

Published by VDM Verlag Dr. Müller, 2010

About this Item

Detecting Busy Waiting | An Approach Employing Static Control Flow Analysis | Georg Kienesberger | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639251524 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

Seller Inventory # 101201472

Bibliographic Details

• Title: Detecting Busy Waiting | An Approach Employing Static Control Flow Analysis
• Publisher: VDM Verlag Dr. Müller
• Publication Date: 2010
• Language: English
• ISBN 10: 3639251520
• ISBN 13: 9783639251524
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 220W x 150H x 6D millimeters 220 millimeters width by 150 millimeters height by 6 millimeters depth
• Weight: 181 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

Busy waiting occurs whenever a process repeatedly checks a condition until it becomes true without influencing that condition itself, thereby effectively wasting system resources and introducing the risk of system failure due to race conditions. Hence, busy waiting is considered bad programming practice and can be avoided by the use of higher communication facilities. In the development of critical systems, for which correctness and robustness are of vital importance, software quality assurance is of great value. However, it is difficult and impractical to manually discover busy waiting in existing program code, which is why a static analysis tool is needed. This book, based on the master's thesis of the author, describes an algorithm that targets the detection of busy waiting using methods of static control flow analysis in theory and practice. The main results that are presented include a static analysis tool for detecting busy waiting in programs written in the Ada programming language, which is often used for critical applications, and a framework providing a powerful CFG-based representation of Ada source code facilitating comprehensive static control flow analysis in general.