DTIC ADA1019543: Performance Evaluation of Communicating Processes pdf

DTIC ADA1019543: Performance Evaluation of Communicating Processes

More Book Details

Description of the Book:

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

• Creator/s: Defense Technical Information Center
• Date: 5/1/1980
• Year: 1980
• Book Topics/Themes: DTIC Archive, Gertner, Ilya, ROCHESTER UNIV NY DEPT OF COMPUTER SCIENCE, *COMPUTER COMMUNICATIONS, *PERFORMANCE TESTS, *COMPUTER ARCHITECTURE, MATHEMATICAL MODELS, PERFORMANCE(ENGINEERING), COMPUTER LOGIC, THESES, PARALLEL PROCESSORS, SEQUENCES, COMMUNICATIONS NETWORKS, MULTIPROCESSORS, HIERARCHIES, DATA LINKS, MESSAGE PROCESSING, EXECUTIVE ROUTINES

An excerpt captured from the PDF book