Performance Evaluation of Communicating Processes.
ROCHESTER UNIV NY DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
Understanding the behavior of communicating processes is essential to the evaluation of distributed operating systems. This dissertation focuses on performance analysis of existing distributed systems using finite state machine models of computation. The performance evaluator describes a finite state machine that represents a particular abstraction, the system of interest. Different finite state machines may be formulated and applied to the same measurement data to extract different kinds of information. To test the ideas in the environment of our local network, I have implemented a performance-monitoring system that was used to analyze RIG, a message-based distributed operating system. This required a language for describing finite state machines using symbolic references to RIG processes, messages and a hierarchy of finite state machines. Elementary finite state machines describe the behavior of a single process representing a sequential program. Composite finite state machines describe a group of communicating processes representing a parallel program. The behavior of a sequential program is characterized by a total ordering of events the behavior of a parallel program is characterized by a partial ordering. Representing all the possible orderings of events in the composite model is an intractable task. In our experience with RIG, such a composite model includes a great many paths which almost never occur. The challenge, therefore, is to find those paths that occur often in the execution of the system and are of significant duration.
- Computer Programming and Software
- Computer Hardware
- Computer Systems