Control-Theoretic Formulation of Operating Systems Resource Management Policies.
HARVARD UNIV CAMBRIDGE MA AIKEN COMPUTATION LAB
Pagination or Media Count:
In this thesis we propose the following general control-theoretic approach to the formulation of resource management policies for operating systems. 1 In order to develop a resource management policy, model the corresponding program behavior as a stochastic process. 2 Using identification techniques and empirical data, identify a suitable model structure for the process and estimate typical values of model parameters. 3 Based on the model, formulate a prediction strategy for the stochastic process, and hence a resource management policy. The policy so obtained is dynamic in the sense that it varies the allocation of the system resource to a user job depending upon the recent past behavior of the job. It, thus, provides the run time optimization not possible with the queueing theory approach. Also, notice that the individuality of the job is fully exploited. The key step in the approach is the formulation of the stochastic process model in such a way that the allocation problem reduces to a prediction problem. We exemplify this approach by formulating control-theoretic policies for CPU scheduling and page replacement. Policies for allocation of other shared resources e.g., disks can be, similarly, formulated. Author
- Statistics and Probability
- Computer Programming and Software
- Computer Hardware