Coordination of a Parallel Proposition Solver. Software Engineering

摘要

In this paper the authors describe an experiment in which Manifold is used to211u001ecoordinate the interprocess communication in a parallelized proposition solver. 211u001eManifold is very well suited for applications involving dynamic process creation 211u001eand dynamically changing (ir)regular communication patterns among sets of 211u001eindependent concurrent cooperating processes. The idea in this case study is 211u001esimple. The proposition solver consists of a fixed numbers of separate processing 211u001eunits which communicate with each other such that the output of one serves as the 211u001einput for the other. Because one of the processing units performs a computation 211u001eintensive job, the authors introduce a master/worker protocol to divide its 211u001ecomputations. The authors show that this protocol implemented in Manifold adds 211u001eanother heirarchic layer to the application but leaves the previous layers 211u001eintact. This modularity of Manifold offers the possibility to introduce 211u001econcurrency step by step. The authors also verify the implementation of the 211u001eproposition solver using a simple family of assertions and give some performance 211u001eresults.