Luis G'omez, Manuel Carro, and Manuel Hermenegildo. Some Paradigms for Visualising Parallel Execution of Logic Programs. In Proceedings of the Tenth International Conference on Logic Programming, pages 184--202, 1993.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....a general overview of an execution and for focusing on its important details. It is therefore unsurprising that since early on most parallel logic programming systems have included a related visualisation tool. Examples include Aurora and WAMtrace [5] Muse and Must [21] Prolog and Visandor [8], or ACE and Vace [23] These systems have been very important in the development of parallel logic programming. The aim of this work is to design a general visualisation tool that addresses the problems mentioned thus far. We would like (i) to support the visualisation of all kinds of ....

....wish to represent a cut by . We next describe the individual components in detail. 2.1 The Structure of the Graph The major VisAll component is the graph representing execution. This graph representation is generated from a trace file format. As a starting point we chose the VisAndOr format [8], that has been the most popular for parallel logic programming. An example of a node format used to visualise the SBA execution is shown in Table 1. TS Ev NId Br# C Node #Goals CGE# goal# PID Info Table 1: An example of a SBA node format Each node contains information on (i) the timestamp, ....

Luis G'omez, Manuel Carro, and Manuel Hermenegildo. Some Paradigms for Visualising Parallel Execution of Logic Programs. In Proceedings of the Tenth International Conference on Logic Programming, pages 184--202, 1993.

....processors due normally to workload distribution strategies. One way of dealing with these problems is to provide to parallel system developers and users a visualisation tool for parallel logic programming systems. Several visualisation tools have been developed such as WAMtrace [32] VisAndOr [43], ViMust [90] and VACE [99] Each one of these works for a different parallel logic programming system. VisAll [39] is a more recent tool which attempts at unifying the visualisation paradigms exhibited by the other visualization tools adding extra features to system optimisation and debugging. 4 ....

L. G ' OMEZ, M. CARRO, and M. HERMENEGILDO. Some Paradigms for Visualising Parallel Execution of Logic Programs. In Proceedings of the Tenth International Conference on Logic Programming, pages 184--202, 1993.

....for a general overview of an execution and for focusing on its important details. It is therefore unsurprising that since early on most parallel logic programming systems have included a related visualisation tool. Examples include Aurora and WAMtrace [4] Muse and Must [21] Prolog and Visandor [6], or ACE and Vace [23] These systems have been very important in the development of parallel logic programming. The design of visualisation systems can be seen from two major perspectives. The first is the interface between the visualiser and the parallel system. Traditionally, most systems have ....

Luis G'omez, Manuel Carro, and Manuel Hermenegildo. Some Paradigms for Visualising Parallel Execution of Logic Programs. In Proceedings of the Tenth International Conference on Logic Programming, pages 184--202, 1993.

....phase. And the non determinate phase has very fi ne grained and parallelism. Figure 8.9 depicts the parallelism in a simple version of the Queens program to solve a board 6x6. The picture was produced w ith the VisAndOr tool developed in the Polytechnic University of Madrid by Luis G omez [51]. The graph shows a static trace of the Andorra I execution for bqu6 w ith 10 processors. The time line grows from the top to the bottom. A fork in a continuous vertical line represents or parallel work, and in a single vertical line originated from a fork, there can be attached parallel lines ....

....EXECUTION TIMES (SECONDS) FOR de t nde t , FIXED Figure C.1 shows that the workers rearranged from one phase to the other to produce a better speedup than the fi xed con fi guration. The picture was produced w ith the VisAndOr tool developed in the Polytechnic University of Madrid by Luis G omez [51]. The other benchmark program studied closer is the program nde t de t . This program produced the best average speedup w ith the recon fi gurer when using the value zero for G a and G o (the and or and or and thresholds) Table C.9 shows the total reductions performed by each processor for the ....

Luis G omez, Manuel Carro, and Manuel Hermenegildo. Some Paradigms for Visualising Parallel Execution of Logic Programs. In Proceedings of the Tenth International Conference on Logic Programming, pages 184-- 202, 1993.

....be visualised. It is universal in that VisAll is capable of visualising all major forms of parallelism that are exploited in parallel logic programming systems. Our systems follows other visualisation tools have been developed to parallel logic programming systems, such as WAMtrace [5] VisAndOr [7], ViMust, and VACE [23] Each of these systems supports a different parallel logic programming system. VisAll is the first attempt at unifying the visualisation paradigms exhibited by the other visualisation tools whilst adding the extra features important to system optimisation and debugging. The ....

Luis G'omez, Manuel Carro, and Manuel Hermenegildo. Some Paradigms for Visualising Parallel Execution of Logic Programs. In Proceedings of the Tenth International Conference on Logic Programming, pages 184--202, 1993.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC