このエントリーをはてなブックマークに追加

このページのリンク

利用統計

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Functional programming for loosely-coupled multiprocessors

責任表示 Paul H.J. Kelly
シリーズ Research monographs in parallel and distributed computing
データ種別 図書
出版者 London : Pitman
出版者 Cambridge, Mass. : MIT Press
出版年 1989
本文言語 英語
大きさ 253 p. ; 25 cm
概要 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.

所蔵情報


伊都図(中央) BF 開架 068582189004842 007.64/Ke 33/1 1989
pbk. 伊都図(理系) 自動書庫 031212016502611
1989

書誌詳細

一般注記 Bibliography: p. 225-238
Includes index
著者標目 *Kelly, Paul H. J.
件 名 LCSH:Functional programming (Computer science)
LCSH:Multiprocessors
分 類 LCC:QA76.6
DC19:004/.35
書誌ID 1000001228
ISBN 0262610574
NCID BA07174240
巻冊次 pbk. ; ISBN:0262610574
登録日 1990.02.19
更新日 2016.05.18

類似資料