Design and implementation of Parallel TRAM. (English) Zbl 0996.68654

Ogata, Kazuhiro; Kondo, Masaru; Ioroi, Shigenori; Futatsugi, Kokichi

Lengauer, Christian (ed.) et al., Euro-par ’97 parallel processing. 3rd international Euro-Par conference, Passau, Germany, August 26-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1300, 1209-1216 (1997).

Summary: Algebraic specifications, introduced in the mid 70’s as a method of modeling and specifying abstract data types, has been widely attracting attention since they have exact semantics and the ability to verify and reason about specifications of software systems. In addition, since specifications written in algebraic specification languages can be executed on stock hardware, the specification languages can be used as tools for rapid prototyping. TRAM is an abstract machine for order-sorted conditional term rewritting systems (OSCTRSs). The OSCTRSs can serve as a general computation model for advanced algebraic specification languages such as OBJ and CafeOBJ. TRAM adopts the E-strategy as its reduction strategy. Parallel TRAM is a parallel variant of TRAM that is designed to be executed on shared-memory multiprocessors. In Parallel TRAM, parallelism directives are specified by using the Parallel E-strategy that is an extension of the E-strategy. The Parallel E-strategy may control parallelism suitably by combining conditions. In this paper, we describe the design and implementation of Parallel TRAM and assess the current implementation on OMRON LUNA-88K\(^2\).
For the entire collection see [Zbl 0978.68751].

MSC:

68U99	Computing methodologies and applications
68Q42	Grammars and rewriting systems
68Q05	Models of computation (Turing machines, etc.) (MSC2010)
68Q10	Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q65	Abstract data types; algebraic specification

Software:

TRAM