Rewrite Rule Machine project. Final report

Technical Report · Mon May 01 04:00:00 EDT 1989

OSTI ID:5587597

Goguen, J A; Meseguer, J; Leinwand, S; Winkler, T; Aida, H

Current-generation parallel machines are typically either coarse-grain or fine-grain. Each design has certain limits, either in the amount of parallelism that it can effectively exploit, or else in the types of problem for which it is suitable. For example, only very homogeneous computations can make efficient use of today's fine-grained machines. However, many complex computations are locally homogeneous, but not globally homogeneous. The Rewrite Rule Machine (RRM) resolves this dilemma through its hierarchical architecture, which has several levels of organization. The lowest level is the cell, which stores a token and pointers to other cells; this organization avoids the von Neumann memory access bottleneck. Next, an ensemble contains many cells, representing a complex data structure to which rewrite rules are applied under the direction of a common controller. A cluster consists of many ensembles which cooperate in larger computations. Ensembles support fine-grained homogeneous parallelism, while clusters support coarse-grained inhomogeneous parallelism. This multi-grained parallelism allows the RRM to exploit the local homogeneity that is typical of many complex computations. The RRM can support the efficient execution of many different programming paradigms by compiling them into its concurrent rewriting model of computation.

• Research Organization: SRI International, Menlo Park, CA (USA)
• OSTI ID: 5587597
• Report Number(s): AD-A-210528/6/XAB; SRI-ECU--1243
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
COMPUTER ARCHITECTURE
CONTROL
DATA BASE MANAGEMENT
DOCUMENT TYPES
EFFICIENCY
FUNCTIONAL MODELS
MANAGEMENT
PARALLEL PROCESSING
PROGRAMMING
PROGRESS REPORT