Introduction to Concurrency in Programming Languages

✍ Scribed by Mattson, Timothy G.; Rasmussen, Craig E.; Sottile, Matthew J

• Publisher: Chapman & Hall/CRC Press
• Year: 2009
• Tongue: English
• Leaves: 346
• Series: Chapman & Hall/CRC Computational Science
• Category: Library

✦ Synopsis

"Exploring how concurrent programming can be assisted by language-level techniques, Introduction to Concurrency in Programming Languages presents high-level language techniques for dealing with concurrency in a general context. It provides an understanding of programming languages that offer concurrency features as part of the language definition.

The book supplies a conceptual framework for different aspects of parallel algorithm design and implementation. It first addresses the limitations of traditional programming techniques and models when dealing with concurrency. The book then explores the current state of the art in concurrent programming and describes high-level language constructs for concurrency. It also discusses the historical evolution of hardware, corresponding high-level techniques that were developed, and the connection to modern systems, such as multicore and manycore processors. The remainder of the text focuses on common high-level programming techniques and their application to a range of algorithms. The authors offer case studies on genetic algorithms, fractal generation, cellular automata, game logic for solving Sudoku puzzles, pipelined algorithms, and more."--pub. desc. Read more...

Abstract:

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It contains chapters on design patterns for parallel programming. Read more...

✦ Table of Contents

Content: Introduction --
Concepts in concurrency --
Concurrency control --
The state of the art --
High-level language constructions --
Historical context and evolution of languages --
Modern languages and concurrency constructs --
Performance considerations and modern systems --
Introduction to parallel algorithms --
Pattern : task parallelism --
Pattern : data parallelism --
Patern : recursive algorithims --
Pattern pipelined algorithims --
Appendix A OpenMP quick reference --
Appendix B Erlang quick reference --
Appendix C Cilk quick reference