Parallel and Distributed Computing for Symbolic and Irregular Applications

by Ito, Takayasu; Yuasa, Taiichi

• ISBN13: 9789810241391
• ISBN10: 9810241399
• Format: Hardcover
• Copyright: 2000-05-01
• Publisher: WORLD SCIENTIFIC PUB CO INC

Summary

Proceedings of the International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications 99, held at Tohoku University, in Sendai, Japan, on July 5-7, 1999. Parallel symbolic languages and systems are discussed, along with perspectives in parallel and distributed computing for symbolic and irregular applications.

Table of Contents

Part I: Evaluation Strategies
A Sound Parallelization Framework for Parallel Scheme Programming	3	(38)
Takayasu Ito
Speculative Computation with Lazy Task Creation	41	(15)
Tsuneyasu Komiya
Taiichi Yuasa
Shigeyuki Fukushima
Evalution Strategies for Irregular Parallel Programming	56	(16)
Kevin Hammond
Motivation for Glasgow distributed Haskell, a Non-Strict Functional Language	72	(10)
Phil Trinder
Notes on Parallel Evaluation Strategies and their Related Issues	82	(19)
Takayasu Ito
Taiichi Yuasa
Part II: Languages and Programming
An Object-Oriented Scheme System Bubu with Seamless Interface to Java	101	(21)
Taiichi Yuasa
Hierarchically Structured Synchronization and Exception Handling in Parallel Languages using Dynaic Scope	122	(27)
Masahiro Yasugi
On the Separation of Concerns in Distribution Programming: Application to Distribution Structure and Fault Tolerance Mozart	149	(18)
Peter Van Roy
Handling Application-Induced Load Imbalance using Parallel Objects	167	(15)
Robert K. Brunner
Laxmikant V. Kale
Executing Parallel Programs with Synchronization Bottlenecks Efficiently	182	(23)
Yoshihiro Oyama
Kenjiro Taura
Akinori Yonezawa
A Meta-Level Architecture for C++ Parallel Distributed Programming Environment	205	(16)
Toshiyuki Takahashi
Yutaka Ishikawa
Part III: Memory Management and Implementation Techniques
Implementation and Performance Evaluation of a Distributed Garbage Collection Algorithm	221	(21)
Luc Moreau
Graceful Disconnection	242	(11)
Christian Quinnec
Luc Moreau
Linearity Analysis of Concurrent Logic Programs	253	(18)
Kazunori Ueda
On the Performance Gap between a Task Schedule and its Corresponding Paralle Program	271	(17)
Noriyuki Fujimoto
Takashi Hashimoto
Masahiro Mori
Kenichi Hagihara
Transformation of Non-Strict Structure-Data Access into Scheduled Strict Access in Non-Strict Dataflow Languages	288	(23)
Kentaro Inenaga
Shigeru Kusakab
Makoto Amamiya
An Efficient Meta-Lock for Implementing Ubiquitous Synchronization	311	(5)
Ole Agesen
D. Detlefs
A. Garthwaite
D. White
R. Knippel
Y. S. Ramakrishna
OMPC++ --- A Portable High-Performance Implementation of DSM using OpenC++ Reflection	316	(7)
Yukihiko Sohda
Hirotake Ogawa
Satoshi Matsuoka
Part IV: Systems and Applications
Design of an Open Mobile Object System for Open Networks	323	(19)
Kazuhiko Kato
Katsuya Matsubara
Yuuichi Someya
Kazumasa Itabashi
Yutaka Moriyama
PopKern: A User-Tunable Package for Parallel Combinatorial Optimization	342	(14)
Daisaku Yokoyama
Takashi Chikayama
OpenMP Design for an SMP Cluster	356	(7)
Mitsuhisa Sato
Shigehisa Satoh
Kazushiro Kusano
Yoshio Tanaka
Transformation Derivation of Higher-Order Process Compositions	363	(9)
Norihiko Yoshida
Initial Assessment of ERATO-1 Beowulf-class Cluster	372	(23)
Hiroshi G. Okuno
Koji Kyoda
Mineo Morohashi
Hiroaki Kitano
List of Workshop Participants	395