The operational method, which was first formally introduced by Buzen, differs significantly from the conventional stochastic modeling approach and is based on a set of concepts that correspond naturally and directly to observed properties of real computer systems.
Main advantage of this method is that only some directly measurable data are needed for computer performance evaluation.
This thesis attempts to generalize the recent results of Denning and Buzen [12].
A number of algorithms for computer performance evaluation, e.g., throughput, response time, utilization, are derived through our generalized operational method. While many of the results presented by Denning and Buzen apply to models with two job classes, batch and interactive, our generalized model can represent more accurately and with more levels of detail the operation of computer systems. In addition, this model can answer many other problems arising in computer systems modeling which to date have been unsolvable.
A comparison with traditional stochastic method is given.
Finally, we pose some open problems motivated by the foregoing results.
본 논문은 1978년 9월에 Denning 과 Buzen 이 operational 방법으로 Computer Queueing Modeling 을 접근한 결과를 일반화했다. 1976년 Buzen 이 최초로 시도한 이 방법의 장점은 Computer Performance evaluation 을 위해 Workload-monitor 에서 직접 쉽게 얻을 수 있는 data 로 족하다는 것이다.
상이한 Priority Scheduling 과 resources 를 지닌 각 service centre 가 도착하는 각 job의 resource demand 에 따라 상이한 class를 할당하는 상황의 computer network 에 motivate 되어, multiple classes - multiple resources 경우 에서의 이론 전개를 했다.
제안된 이론의 검증을 위해 다음 두가지 문제를 증명 및 check 했다.
1) 우리의 결과가 Denning 과 Buzen 의 결과로 reducible 한가?
2) Single class - multiple resource 경우에서 Denning 과 Buzen은 operational 과 stochastic 접근의 equivalence 를 증명 했는데 본 논문의 multiclass - multiple resource 에서도 이런 equivalence 가 성립하는가?
Denning 과 Buzen 의 결과가 batch 의 interactive 의 두가지 job classes 를 지닌 model 에 적용되는 반면, 우리의 일반화된 model은 computer systems 의 operation 을 더욱 정확하고, 더욱 detail하게 표시할 수 있음을 우리결과와 equivalent 한 stochastic결과에서 볼수 있다.
더욱이, 우리 model 은 computer systems Modeling 에서 종래의 model 로 해결될 수 없는 문제들, 예컨데 multiple classes 와 class change를 수반하는 priority scheduling 문제를 해결할 가능성을 내포하고 있다.
끝으로 우리 결과에 motivate 되어, normalizing constant G 의 recursive algorithmization 문제의 system 을 modeling 할때 어느 경우에 multiple classes 및 class change 를 도입하는 기준을 정하는 clear formal method 개발 문제등을 open problems 으로 제시 했다.
