A visualizer for observing parallel program behavior

[[abstract]]In an environment for developing and running parallel programs, it is not always possible to capture effectively the true behaviors of the concurrently running processes. The degree of complexity resulted from the parallel execution and the unavailability of the suitable facilities contribute considerably to this situation. This paper introduces the experiences of developing a tracing mechanism for visually observing and studying the behaviors of a parallel automated reasoning system. This visualizer is capable of displaying the execution status of the multiprocessors as well as analyzing the speedups and related information. It has been successfully implemented on the Sun View windowing environment. Also discussed in the paper are the improvements upon a parallelism made possibly by employing the information obtained from the visualizer.[[sponsorship]]中山大學管理學院[[notice]]補正完畢[[conferencetype]]國際[[conferencedate]]19930530~19930601[[booktype]]紙本[[conferencelocation]]高雄, 臺