An Efficient Implementation of Term Rewriting System on a Distributed Memory Architecture

スポンサーリンク

概要

• 論文の詳細を見る

• Term Rewriting System (TRS) is a model of computation and it is used in various application such as algebraic specification. TRS has an inherent concurrency and it is suitable for parallel computing. We have already proposed BOB (Bundle Of Branches), which is a mechanism of data management for parallel rewriting. We have proposed a model of parallel rewriting using BOB and implemented a TRS simulator based on this model on a shared memory parallel computer. Because it fully depends on the feature of a shared memory architecture, that is, a process can access any memory element, it is hard to transport it on a distributed memory parallel computer. In this paper, we propose autonomous BOB model. This model is suitable for a distributed memory architecture since a process uses message passing protocol and the method of load balancing is provided. We implement a TRS simulator using this model on a distributed memory architecture and it runs about 30 times faster on 64 processors than on a single processor.

• 社団法人電子情報通信学会の論文
• 1997-04-25

著者

• Agusa K

  Center For Information Media Studies Nagoya University

• Agusa K

  Nagoya Univ.

• Agusa Kiyoshi

  School Of Engineering Nagoya University

• HACHISU Yoshinari

  School of Engineering, Nagoya University

• HACHISU YOSHINARI

  Department of Information Engineering, School of Engineering, Nagoya University

• YAMAMOTO Shinichirou

  School of Engineering, Nagoya University

• HAMAGUCHI Takeshi

  School of Engineering, Nagoya University

• Hachisu Yoshinari

  Department Of Information Engineering School Of Engineering Nagoya University

• Hamaguchi T

  Telecommunications Advancement Organization Of Japan Tokyo Jpn

• Yamamoto Shinichirou

  Faculty Of Information Science And Technology Aichi Prefectural University

• Hamaguchi Tadahiko

  Telecommunications Advancement Organization Of Japan:(present Address)information Technology R&d

関連論文

• Real-Time View-Interpolation System for Super Multi-View 3D Display(Regular Section)
• A Verification Method for Formal Requirements Description
• Similarity on algebraic specifications toward specification databases
• A CASE Tool Platform for an Object Oriented Language
• Some Methods for Specializing Object-oriernted Programs
• An Efficient Implementation of Term Rewriting System on a Distributed Memory Architecture

スポンサーリンク