Introduction to Concurrency in Programming Languages

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.
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.