Welcome to the InfoSci Platform
Analyzing Concurrent Programs Title for Potential Programming Errors

Analyzing Concurrent Programs Title for Potential Programming Errors

Qichang Chen, Liqiang Wang, Ping Guo, He Huang
Copyright: © 2011 |Pages: 36
ISBN13: 9781609602154|ISBN10: 1609602153|EISBN13: 9781609602178
DOI: 10.4018/978-1-60960-215-4.ch016
Cite Chapter Cite Chapter

MLA

Chen, Qichang, et al. "Analyzing Concurrent Programs Title for Potential Programming Errors." Modern Software Engineering Concepts and Practices: Advanced Approaches, edited by Ali H. Dogru and Veli Biçer, IGI Global, 2011, pp. 380-415. https://doi.org/10.4018/978-1-60960-215-4.ch016

APA

Chen, Q., Wang, L., Guo, P., & Huang, H. (2011). Analyzing Concurrent Programs Title for Potential Programming Errors. In A. Dogru & V. Biçer (Eds.), Modern Software Engineering Concepts and Practices: Advanced Approaches (pp. 380-415). IGI Global. https://doi.org/10.4018/978-1-60960-215-4.ch016

Chicago

Chen, Qichang, et al. "Analyzing Concurrent Programs Title for Potential Programming Errors." In Modern Software Engineering Concepts and Practices: Advanced Approaches, edited by Ali H. Dogru and Veli Biçer, 380-415. Hershey, PA: IGI Global, 2011. https://doi.org/10.4018/978-1-60960-215-4.ch016

Export Reference

Mendeley
Favorite

Abstract

Today, multi-core/multi-processor hardware has become ubiquitous, leading to 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 chapter introduces the major concurrent programming models including multithreaded programming on shared memory and message passing programming on distributed memory. Then, the state-of-the-art research achievements on detecting concurrency errors such as deadlock, race condition, and atomicity violation are reviewed. Finally, the chapter surveys the widely used tools for testing and debugging concurrent programs.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.