This paper gives a systematic methodology for the formulation of parallelcomputation structures and algorithms. The fundamental definition of a computation structure is a graph where each node is the binding of an ac...
详细信息
This paper gives a systematic methodology for the formulation of parallelcomputation structures and algorithms. The fundamental definition of a computation structure is a graph where each node is the binding of an action to a data object and the arcs are the dependency relationships between the unit computations executed at the nodes. The structure of the graph is determined by the selection of elements for the model of computation in which the graph is expressed. An abstract machine is created by defining the resources including for example instruction sets for the processors, which realize the conceptual elements of the model of parallelcomputations. An algorithm is a mapping of the computation graph to the abstract machine and a program which traverses the mapped graph to execute the computation. The methodology proceeds by describing parallelcomputations on successively more fully specified abstract machines. A model of parallelcomputation is selected and an abstract machine implementing the model of computation is defined. Specification of increasingly resolved abstract machines is structured by both increasing the span of elements from the model of computation represented in the machine and be increasing the level of detail resolved for each element.
暂无评论