Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Detecting Busy Waiting

Name: Detecting Busy Waiting
Brand: VDM Verlag Dr. Müller
SKU: 9783639251524
Price: 61.22 EUR
Availability: InStock

An Approach Employing Static Control Flow Analysis

Автор: Georg Kienesberger

Език:

Корици: С меки корици

Издател: VDM Verlag Dr. Müller

Наличност: Налично при издателя, по поръчка

Изпращаме след 17-27 дни

61.22 € 119.73 лв

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

Информация за книгата

Автор

Georg Kienesberger

Език

Английски език

Корици

Книга - С меки корици

Издадена

2010

страници

124

EAN

9783639251524

Enbook ID

06832668

Издател

VDM Verlag Dr. Müller

Теглоt

181

Размери

150 x 220 x 6

Пълно описание

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.

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Detecting Busy Waiting

An Approach Employing Static Control Flow Analysis

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също