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.
一九九三泛太平洋資訊管理學術會議論文集=Proceedings of 1993 Pan Pacific Conference on Information Systems，頁 48-55