Detecting Busy Waiting: An Approach Employing Static Control Flow Analysis - Couverture souple

Kienesberger, Georg

 
9783639251524: Detecting Busy Waiting: An Approach Employing Static Control Flow Analysis
Couverture souple
ISBN 10 : 3639251520 ISBN 13 : 9783639251524
Editeur : VDM Verlag Dr. Müller, 2010

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
VDM Verlag Dr. Müller
Date d'édition
2010
Langue
anglais
ISBN 10 
3639251520
ISBN 13 
9783639251524
Reliure
Broché
Nombre de pages
124
Coordonnées du fabricant
non disponible
Personne responsable
non disponible