서지주요정보
(A) generalization of operational approach from single class to multiple classes
서명 / 저자 (A) generalization of operational approach from single class to multiple classes / Sang-Moon Gim.
발행사항 [서울 : 한국과학기술원, 1979].
Online Access 제한공개(로그인 후 원문보기 가능)원문

소장정보

등록번호

4000749

소장위치/청구기호

학술문화관(문화관) 보존서고

MCS 7918

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

초록정보

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 으로 제시 했다.

서지기타정보

서지기타정보
청구기호 {MCS 7918
형태사항 [2], 35 p. ; 26 cm
언어 영어
일반주기 저자명의 한글표기 : 김상문
지도교수의 영문표기 : Gil-Chang Kim
지도교수의 한글표기 : 김길창
학위논문 학위논문 (석사) - 한국과학기술원 : 전산학과,
서지주기 Refernece : p. 32-34
주제 Operations research.
Systems engineering.
시스템 공학. --과학기술용어시소러스
성능 시험. --과학기술용어시소러스
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서