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

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.

Info autore

Qichang Chen received his Ph.D. in Computer Science from University of Wyoming in 2011/08 and received a B.E. in Computer Science and Technology from Fuzhou University in 2006/07. His PhD research focuses on designing and enhancing concurrent software bugs detection approaches via combinations of static and dynamic program analysis techniques.

Dettagli sul prodotto

• Autori: Qichang Chen
• Editore: LAP Lambert Academic Publishing
• Lingue: Inglese, Tedesco
• Formato: Tascabile
• Pubblicazione: 01.01.2014
• EAN: 9783659625329
• ISBN: 978-3-659-62532-9
• Pagine: 164
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Linguaggi di programmazione