Parallel and Concurrent Programming in Haskell

Preface; Audience; How to Read This Book; Conventions Used in This Book; Using Sample Code; Safari® Books Online; How to Contact Us; Acknowledgments;Chapter 1: Introduction; 1.1 Terminology: Parallelism and Concurrency; 1.2 Tools and Resources; 1.3 Sample Code;Parallel Haskell; Chapter 2: Basic Parallelism: The Eval Monad; 2.1 Lazy Evaluation and Weak Head Normal Form; 2.2 The Eval Monad, rpar, and rseq; 2.3 Example: Parallelizing a Sudoku Solver; 2.4 Deepseq; Chapter 3: Evaluation Strategies; 3.1 Parameterized Strategies; 3.2 A Strategy for Evaluating a List in Parallel; 3.3 Example: The K-Means Problem; 3.4 GC'd Sparks and Speculative Parallelism; 3.5 Parallelizing Lazy Streams with parBuffer; 3.6 Chunking Strategies; 3.7 The Identity Property; Chapter 4: Dataflow Parallelism: The Par Monad; 4.1 Example: Shortest Paths in a Graph; 4.2 Pipeline Parallelism; 4.3 Example: A Conference Timetable; 4.4 Example: A Parallel Type Inferencer; 4.5 Using Different Schedulers; 4.6 The Par Monad Compared to Strategies; Chapter 5: Data Parallel Programming with Repa; 5.1 Arrays, Shapes, and Indices; 5.2 Operations on Arrays; 5.3 Example: Computing Shortest Paths; 5.4 Folding and Shape-Polymorphism; 5.5 Example: Image Rotation; 5.6 Summary; Chapter 6: GPU Programming with Accelerate; 6.1 Overview; 6.2 Arrays and Indices; 6.3 Running a Simple Accelerate Computation; 6.4 Scalar Arrays; 6.5 Indexing Arrays; 6.6 Creating Arrays Inside Acc; 6.7 Zipping Two Arrays; 6.8 Constants; 6.9 Example: Shortest Paths; 6.10 Example: A Mandelbrot Set Generator;Concurrent Haskell; Chapter 7: Basic Concurrency: Threads and MVars; 7.1 A Simple Example: Reminders; 7.2 Communication: MVars; 7.3 MVar as a Simple Channel: A Logging Service; 7.4 MVar as a Container for Shared State; 7.5 MVar as a Building Block: Unbounded Channels; 7.6 Fairness; Chapter 8: Overlapping Input/Output; 8.1 Exceptions in Haskell; 8.2 Error Handling with Async; 8.3 Merging; Chapter 9:

Simon Marlow has been a prominent figure in the Haskell community formany years. He is the author of large parts of the Glasgow HaskellCompiler, including in particular its highly regarded mulitcoreruntime system, along with many of the libraries and tools thatHaskell programmers take for granted. Simon also contributes to thefunctional programming research community, and has a string of paperson subjects ranging from garbage collection to language design. Inrecent years Simon's focus has been on making Haskell an idealprogramming language for parallel and concurrent applications, both bydeveloping new programming models and building a high-qualityimplementation.

Simon spent 14 years at Microsoft's Research laborotory in Cambridge,before taking a break in Spring 2013 to work on this book. Hecurrently works at Facebook UK.