Product Description
Recent progress in VLSI provides massive parallelism but general purpose parallel computers remain elusive due to limited communications performance. This book proposes a new high level approach to programming that addresses the pragmatic issue of how a computation is distributed across a machine.
The book's approach is based on functional programming and has significant advantages over existing comparable approaches, extending the domain of functional programming to include computer architectures in which communication costs are not negligible. It looks at how high-level functional programming languages can be used to specify, reason about, and implement parallel programs for a variety of multiprocessor systems, but in particular a class of loosely coupled multiprocessors whose operation can be described by a process network In these networks the nodes correspond to processes and the arcs to communications channels.
A simple language called Caliban is described in which the functional program text is augmented with a declarative description of how processes are partitioned and mapped onto a network of processing elements. The notation gains expressive power by allowing these annotations to be generated by predicates defined in the functional language. Thus, common communications structures have simple and concise definitions as "network forming operators." The main objective of these annotations is to provide an abstract description of the process network specified by the program so that an efficient mapping of processes to processors can be carried out by the compiler.
Paul H. J. Kelly is Research Assistant in the Department of Computing at Imperial College, London Functional Programming for LooselyCoupled Multiprocessors is included in the series Research Monographs in Parallel and Distributed Computing, copublished with Pitman Publishing.
Join Amazon Prime and ship Two-Day for free and Overnight for $3.99. Already a member? Sign in.
|
|||||||||
Editorial Reviews
Product Details
Would you like to update product info or give feedback on images?
|
Citations
(learn more)
6
books
cite this book:
See all 6 books citing this book
- PARLE '89 - Parallel Architectures and Languages Europe: Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings (Lecture Notes in Computer Science) by Eddy Odijk on page 175, and page 267
- Research Directions in Parallel Functional Programming by Kevin Hammond on page 449
- Parallel Processing: Conpar 94 - Vapp VI: Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994. (Lecture Notes in Computer Science) by Bruno Buchberger on page 532
- Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications (Applied Optimization) by R. Correa on page 113
- Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science) by Bernhard Möller on page 88
See all 6 books citing this book
Suggested Tags from Similar Products( What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product).
Help others find this product - tag it for Amazon search
No one has tagged this product for Amazon search yet. Why not be the first to suggest a search for which it should appear?
|
 |
|||||||
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more