オペレーティング・システム解析の一手法

概要

論文の詳細を見る
This paper is concerned with a method of anlyzing and evaluating systems. The following two features are characteristics of this method; 1) An operating systems modeled in terms of a set of paths (A path is a chain of nodes representing program modules) 2)A technique similar to GERT (Graphical Evaluation and Review Technique) is applied to this model in order to analyze and evaluate the performance of the operating system. A program named OS-Analyzer has been developed with this idea. It consists of the following three phases; 1) Static analysis of the structure of the operating system by simply scanning it, 2) Dynamic analysis and modeling of the control transfers among the modules using the data obtained through the address-tracing, 3) Evalution and simulation of the program behavior by manipulating the model in conversational mode. Based on the results of these analyses, we can clarify various things about the operating system, e.g. structural and functional features, bottlenecks and efficiencies of reforming a module.
1972-12-15