Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Detecting Busy Waiting

Name: Detecting Busy Waiting
Brand: VDM Verlag Dr. Müller
SKU: 06832668
Price: 21827 HUF
Availability: InStock
Author: Georg Kienesberger
ISBN: 9783639251524

An Approach Employing Static Control Flow Analysis

Georg Kienesberger

Language

English

Book Paperback

Libristo code: 06832668

Publishers VDM Verlag Dr. Müller, November 2009

Busy waiting occurs whenever a process repeatedly checks a condition until it becomes true without i... Full description

Libristo code: 06832668

145 b

21 827 Ft

Print on demand Shipping in 17-27 days

Up to 30 days for returns

Customers also purchased

Pozor na každé slovo René Pfister

Paperback

4 757 Ft

Der Froschmäusler - komisch-didaktisches Gedicht neu Georg Rollenhagen

Paperback

7 752 Ft

Die Bedeutung der Erdnuss in der amerikanischen Kultur Christine Brösenhuber

Paperback

18 186 Ft

15 BIS FAUBOURG SAINTE BERTHE CHARLIE

Paperback

3 238 Ft

Henriette Bimmelbahn James Krüss

Hardback

4 348 Ft

Hijos del sistema. Servicios de protección de menores Ramos Estévez

Paperback

13 700 Ft

Pátrači ze stodoly Ann-Katrin Hegerová

Hardback

2 241 Ft

Herausforderungen fur das Controlling in netzwerkartigen und virtuellen Unternehmen des Mittelstandes Alexander Michel

Paperback

12 376 Ft

Modello incentrato sulla salute delle donne in gravidanza Rehab Abdel El Aliem

Paperback

12 993 Ft

Buch Paragranum Paracelsus

Paperback

3 294 Ft

Frandskapens Lag Och Andra Noveller Och Dikter (1901) Johan Nordling

Hardback

16 876 Ft

Manual del vidriero, plomero y hojalatero González Martí

Paperback

4 833 Ft

Jsem v dlani boží Vojtěcha Hasmandová

Paperback

2 606 Ft

Souvent homme varie M Richard O'Monroy

Paperback

5 027 Ft

Aprendo a dibujar 8 Rita Culla Perarnau

Paperback

1 158 Ft

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.