|
In this thesis, we present a monitoring environment for
analysis the behavior and the performance of concurrent
programs in multiprocessor systems. The monitoring environment
adopts hybrid monitoring and OS instrumentation mechanism to
collect the run-time information of system. The collected
information is, then, interpreted and analyzed to construct a
partial ordering of the execution process. Also, a novel model
description language is provided to help programmers to
construct the desired validation and evaluation model. The user-
defined model, thus, utilizes the partial order relations to
validate the collected information. Moreover, temporal logical
is applied to build the validation model to validate the
correctness, respectively, of concurrent programs. The dynamic
behavior of a program is displayed as a Event Trace Timeline
Diagram through a visualization tool. Thus, the environment can
effectively assist programmers in debugging and tuning their
programs. Finally, a case of the performance tuning on parallel
program rinning on the target system is described to illustrate
the effectiveness of the proposed monitor.
|