A New Approach to Behavior Analysis of Parallel Programs Based on Monitoring.
Andreas Quick · 1993
Collecting traces with event-driven monitoring is an established and well-suited method for analyzing the dynamic behavior of parallel and distributed programs. Since these programs tend to have a very complex structure the selection of relevant events is difficult. By integrating functional modeling and event-driven monitoring, event selection is carried out in a systematic way by modeling the parallel program. This enables automation of various aspects of program analysis with monitoring, resulting in a new approach to behavior analysis called model-driven monitoring. The modeling and monitoring cycle (M 2 -cycle) has been designed to carry out model-driven monitoring efficiently. The execution of the M 2 -cycle is supported by our modeling tool PEPP. 1. Introduction When analyzing parallel and distributed programs, a systematic method is needed which helps to understand the complex dynamic behavior of concurrent processes and their interactions. The collection of event traces i...