Clearly, communication costs quickly become prohibitive for replicated data parallelizations on distributed memory architectures.
The parallelization allows for simulations of greater size and complexity and is accomplished with a parallel link-cell spatial (domain) decomposition using MPI.
To improve computational performance, a parallelization was done relatively quickly using a simplified version of the replicated data approach and the standard message passing interface library (MPI ), as described in Sims et.
Thus we will not attempt to compare parallelizations against an "ideal," but rather we will perform relative comparisons.
On one hand, this programming paradigm poses significant challenges to the parallelization task, which relate closely to the more difficult challenges faced in imperative language parallelization [Bacon et al.
Data flow analysis seems to be crucial in the context of automatic parallelization of programs within the independent and-parallel model.
We report on a detailed study of the application and effectiveness of program analysis using abstract interpretation in the parallelization of logic programs.
The analyzers we use were defined to track classical properties of logic program variables: groundness, freeness, linearity, and sharing, which are interesting in several optimizations, including parallelization.
The Sharing and Sharing+Freeness domains were defined specifically for the parallelization application.
We would like to point out that our main aim is not to perform a comparison among different global analyzers, but rather to devise a flexible methodology for applying "state-of-the-art" abstract analyzers in the automatic parallelization of logic programs, and evaluating the results.
Section 5 then presents the different domains, and proposes a method for casting the information encoded by each domain in terms of the defined interface for the parallelization process.
At this point it should be apparent that, in and-parallelism, automatic parallelization is related closely to the detection of some notion of independence.