This monograph-like book assembles the thorougly revised and cross-reviewed lectures given at the School on Data Parallelism, held in Les Menuires, France, in May 1996.
The book is a unique survey on the current status and future perspectives of the currently very promising and popular data parallel programming model. Much attention is paid to the style of writing and complementary coverage of the relevant issues throughout the 12 chapters. Thus these lecture notes are ideally suited for advanced courses or self-instruction on data parallel programming. Furthermore, the book is indispensable reading for anybody doing research in data parallel programming and related areas.
Author(s): Guy-René Perrin (auth.), Guy-René Perrin, Alain Darte (eds.)
Series: Lecture Notes in Computer Science 1132
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 292
Tags: Programming Languages, Compilers, Interpreters; Programming Techniques; Computation by Abstract Devices; Logics and Meanings of Programs; Processor Architectures; Arithmetic and Logic Structures
Introduction....Pages 1-3
The data parallel programming model: A semantic perspective....Pages 4-26
An introduction to HPF....Pages 27-44
A data parallel scientific computing introduction....Pages 45-64
Current status of the SUIF research project....Pages 65-78
Automatic parallelization in the polytope model....Pages 79-103
State of the art in compiling HPF....Pages 104-133
Tools for high performance fortran: A survey....Pages 134-158
Implementing data parallel programs on commodity clusters....Pages 159-178
Task parallelism and high-performance languages....Pages 179-196
Supporting irregular and dynamic computations in data parallel languages....Pages 197-219
Data parallelism and functional programming....Pages 220-251
Formal validation of data parallel programs: Introducing the assertional approach....Pages 252-281