Home // INFOCOMP 2011, The First International Conference on Advanced Communications and Computation // View article

Constructing Parallel Programs Based on Rule Generators

Authors:
Kiyoshi Akama
Ekawit Nantajeewarawat
Hidekatsu Koike

Keywords: parallel computation; program correctness; rule generation; equivalent transformation

Abstract:
We propose a new architecture of parallel programs based on the master-worker model of parallel computing. In this architecture, computation is realized by rule application and rule generation. A master has a set of equivalent transformation rules (ET rules) and solves a problem by successively applying ET rules to definite clauses representing its computation state. A worker has a rule generator and makes computation by generating ET rules on demand based on run-time content of the master's computation states. A general scheme for constructing parallel programs based on rule-set generators and rule-generator generators is presented and a sufficient condition for the correctness of the scheme is established. Application of our framework to solving a constraint satisfaction problem is illustrated.

Pages: 173 to 178

Copyright: Copyright (c) IARIA, 2011

Publication date: October 23, 2011

Published in: conference

ISSN: 2308-3484

ISBN: 978-1-61208-161-8

Location: Barcelona, Spain

Dates: from October 23, 2011 to October 29, 2011