Issue No.11 - November (1996 vol.7)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/71.544357
<p><b>Abstract</b>—Decomposition abstraction is the process of organizing and specifying decomposition strategies for the exploitation of parallelism available in an application. In this paper we develop and evaluate declarative primitives for rule-based programs that expand opportunities for parallel execution. These primitives make explicit, implicit relations among the data and similarly among the rules. The semantics of the primitives are presented in a general object-based framework such that they may be applied to most rule-based programming languages.</p><p>We show how the additional information provided by the decomposition primitives can be incorporated into a semantic-based dependency analysis technique. The resulting analysis reveals parallelism at compile time that is very difficult, if not impossible, to discover by traditional syntactic analysis techniques. Simulation results demonstrate scalable and broadly available parallelism.</p>
Decomposition abstraction, parallel production systems, multiple rule firing systems, parallel decomposition, explicit parallel languages, decomposition mechanisms, set-oriented constructs, semantic-based dependency analysis, functional dependency.
Daniel P. Miranker, Shiow-Yang Wu, "Decomposition Abstraction in Parallel Rule Languages", IEEE Transactions on Parallel & Distributed Systems, vol.7, no. 11, pp. 1164-1184, November 1996, doi:10.1109/71.544357