분산 시스템의 화일 배치 기법에 대한 성능 평가 방법

고건(Kern Koh),엄영익(Young Ik Eom) 한국정보과학회 1993 정보과학회논문지 Vol.20 No.4

분산 처리 시스템에 존재하는 많은 화일들을 각 노드에 최적으로 중복, 배치하는 문제에 대하여 지금까지 많은 연구가 있어 왔다. 이 문제에 대해서는 분산 처리 시스템의 사용 목적, 시스템의 특성 등에 따라 여러가지 모델이 형성되어 왔으며 실제로 이를 해결하는 기법도 여러가지가 개발되고 구현되어 왔다. 이러한 많은 연구에도 불구하고 각 기법들에 대한 성능을 평가할 수 있는 일관된 성능 평가 방법의 개발이 아직 미진한 실정이다. 본 논문에서는 화일들의 배치에 따르는 운영 비용에 대해 화일들의 저장 비용과 화일들의 전송에 의한 통신 비용을 대상으로 하여 임의의 노드에서 불필요한 시간에 화일이 배치되는 일이 없도록 문제에 대한 모델을 설정하고 이에 대한 최적의 배치 상태를 알아내는 해결책을 고안하여 이의 결과가 분산 처리 시스템의 여러 화일 배치 기법들에 대한 비교나 성능 측정의 목적으로 사용될 수 있도록 했으며 그 실험 결과와 이 기법이 O(n³)의 시간 복잡도를 가짐을 보였다. Much research has been conducted for the optimal distribution of files among the nodes in distributed systems. Although many algorithms for file placement have been proposed, their performance evaluation has not received sufficient attention In this paper, a tool for measuring the performance of file palcement algorithms is proposed. First a model is developed for allocating files among the nodes, and then an algorithm for determining optimal dynamic file placement is proposed. Although our optimal solution is realizable only in theory, it provides a useful benchmark to which the performance of any practical file placement algorithms can be compared. The time complexity of our algorithm is shown to be O(n³) where n is the number of nonreference intervals. The results of evaluating representitive file palcement algorithms are also presented.

확률적 모델을 이용한 교착상태의 특성 분석

고건(Kern Koh),성순용(Soonyong Seong) 한국정보과학회 1991 정보과학회논문지 Vol.18 No.4

교착상태의 발견 기법에는 연속 방식과 주기 방식이 있다. 연속 방식은 교착상태를 바로 발견할 수 있으나 그 부하가 과중할 수 있고, 주기 방식은 최적의 주기를 결정하는 문제가 남는다. 이와 같이 교착상태 발생 빈도는 교착 상태 발견 기법의 성능에 많은 영향을 미친다. 그러나 교착상태 발생 자체에 대한 성질에 관해서는 별로 연구되지 않았다. 본 논문에서는 교착상태의 특성을 분석할 수 있는 확률적 모델을 제시하고, 이 모델을 사용하여 교착상태에 도달할 때까지의 시간 및 그 기간의 자원 이용률과 보류 프로세스 비율 등을 계산하였다. There are two approaches in deadlock detection : continuous detection and periodic detection. The advantage of continuous detection is the early detection of deadlocks, but the problem is the cost for its frequent execution. In periodic detection, the determination of a reasonable or optimal time period becomes an issue. Hence the frequency of deadlock may affect the performance of various deadlock detection schemes. However, study on the deadlock occurrence itself has received relatively little attention. This paper proposes a probabilistic model for the analysis of deadlock properties. We calculate the time to deadlock, resource utilization, and the rate of blocked processes using our model.

컴퓨터공학의 위기 극복 방안

고건(Kern Koh) 한국정보과학회 2007 정보과학회지 Vol.25 No.8

국내외 Open Source Software 현황

고건(Kern Koh) 한국정보과학회 2008 정보과학회지 Vol.26 No.7

소프트웨어 시스템의 원가 및 개발기간 평가에 관한 연구

고건(Kern Koh),우치수(Chi Su Wu) 한국정보과학회 1984 정보과학회논문지 Vol.11 No.3

소프트웨어 개발은 인력, 개발기간을 입력으로 하여 출력인 명령어를 생성하는 변환이며, 이 변환은 입력, 출력, 개발환경 사이에 일정한 현상을 가진다. 본 연구는 현상에서 유도된 수식과 Boehm의 COCOMO 모델을 이용하여 랜덤하게 추출된 프로젝트들을 자료로 하여 문제점과 개선점을 지적하였다. Software developments are regarded as a transformation from input, manpower and development time, to output and source instructions. This transformation is a process with some phenomena. In this paper. some problems and improvements are studied based on the model of COCOMO derived some formulas from the phenemena using random sampling software projects data.

실시간 시스템에서 여러 부정확한 스케쥴링 기법하에서의 부정확한 확률에 관한 비교 분석

안귀임,고건,Ah, Gwl-Im,Koh, Kern 한국통신학회 1994 韓國通信學會論文誌 Vol.19 No.7

실시간 시스템에는 정확한 계산 기법과 부정확한 계산 기법이 있다. 부정확한 계산 기법은 실시간 시스템에서 스케쥴링의 유연성을 제공하는 수단이다. 지금까지 큐잉이론을 이용한 부정확한 스케쥴링에 관한 연구들은 태스크들의 평균 결과의 질과 평균 대기시간을 정충한 때의 비용과 장점들을 명확하게 수량화하는 것들이었다. 이논문은 두개의 부정확한 스케쥴링 방법을 사용할 때, 어떤 태스크가 부정확한 계산이 될 부정확한 확률들을 구하였으며 또한, 이런 두 방법의 부정확한 확률들의 여러 단조형 부정확한 시스템 매개변수들에 대한 의존성을 비교 분석하였다. There are two computation techniques in real time systems : precise and imprecise computation. The imprecise computation technique is a means to provide scheduling flexibility in real time systems. The studies on imprecise scheduling using queueing theoretical formulation up to data are to explicitly quantify the costs and benifits in trade-off between the average result quality and the average waiting time of tasks. This paper uses two imprecise scheduling schemes and solves the imprecision probability, the probability of any task being imprecise under two imprecise scheduling schemes and analyzes the dependence of the imprecision probability on several parameters os the monotone imprecise system.

연속미디어 파일 시스템의 버퍼 캐시에서 데이터 참조 유형의 고려

조경운,류연승,고건,Cho, Kyung-Woon,Ryu, Yeon-Seung,Koh, Kern 한국정보처리학회 2002 정보처리학회논문지 A Vol.9 No.2

연속미디어 파일을 위한 버퍼 캐시 기법들은 연속 미디어의 순차적 접근만을 고려하고 반복참조는 고려하지 않았다. 그러나, 외국어 영상 학습의 경우 사용자가 어떤 장면을 반복 구간으로 설정하면 자동으로 수회 반복 상영하는 기능이 있을 수 있다. 본 논문에서는 순차 참조와 반복 참조가 혼재하는 연속미디어 파일 시스템을 위한 새로운 버퍼 캐시 기법을 제안한다. 제안한 기법은 파일의 참조 유형을 탐지하고 파일 별로 적절한 교체 정책을 적용하여 버퍼 캐시 적중률을 높인다. Previous buffer cache schemes for continuous media file system only exploited the sequentiality of continuous media accesses and didn't consider looping references. However, in some video applications like foreign language learning, users mark the scene as loop area and then application automatically playbacks the scene several times. In this paper, we propose a novel buffer cache scheme for continuous media file system that sequential and looping references exist together. Proposed scheme increases the cache hit ratio by detecting reference pattern of files and appling an appropriate replacement policy to each file.

Temporal Logic에 대한 그래프 모형 : Concurrent 프로그램의 자동생성 및 검증을 위한 도구

김영택(Young Taek Kim),고건(Kern Koh),이정태(Jeong Tae Lee),최경희(Kyung Hee Choi) 한국정보과학회 1988 정보과학회논문지 Vol.15 No.2

본 논문에서는 [3]에서 제안된 그래프 모형을 마크함으로써 eventuality성질을 보다 분명히 표현할 수 있도록 그래프 모형을 구성하는 방법과, 구성된 그래프 모형의 간소화 알고리즘을 제안하였다. 또한 두 개의 프로세스와 synchronizer로 구성된 문제에서 Propositional Temporal Logic으로 표현된 프로그램 사양의 그래프 모형을 구성하고, 그래프 모형이 프로그램의 합성 및 사양의 검증에 이용될 수 있음을 보였다. In this paper, for representing eventuality property of PTL (propositional temporal logic), We extend the graph model [3], and we give the minimization algorithm for the extended graph model. The extension is made by giving node marking and marked node visiting rule to the graph model. As an example, we construct the extended graph model from the PTL specifications which specify the system of two processes and a synchronizer satisfying mutual exclusion.

분산 데이타베이스의 고장복구를 위한 공동검사점 지정기법

김주균(Ju Gyun Kim),고건(Kern Koh) 한국정보과학회 1989 정보과학회논문지 Vol.16 No.1

컴퓨터 시스템의 높은 신뢰도를 유지하기 위하여 사이트의 일시적 고장후에도 상태의 일치성(consistent state)을 구축하기 위한 기법이 필요하다. 분산 데이타베이스 시스템 (DDBMS)에서는 이러한 고장에도 불구하고 정상적 프로세스들의 수행을 위해 거의 대부분이 검사점 지정 및 철회(checkpointing and rollback)복구 전략을 채택하고 있다. 본 논문에서는, 데이타가 완전 중복되었을 경우, 2-Phase Commit 프로토콜에 주기적인 검사점 지정을 삽입시킴으로써 전체 사이트의 공동(global)검사정 지정을 이루는 방법을 제시하여 기존의 공동검사점 지정 방법들이 가지는 여러 단점을 해결하도록 하였으며, 제시된 방법의 정확성 및 최적운용을 위한 분석을 보였다. The demand for highly reliable computer systems has led to techniques for construction of a consistent state after transient failures. In DDBMS "checkpointing and rollbackrecovery" are well known techniques that allow processes to make progress in spite of failures. This paper presents and discusses a periodic checkpointing method coordinated with the 2-phase commit protocol which ensures global consistency and recoverability when data are fully replicated. In contrast to previous methods, this method not only solves Domino-effect problem but also needs no additional hardwares and communication overhead. It can be easily implemented in any systems using the 2-phase commit protocol.

분산처리 시스템에서의 적정복사본에 대한 연구

이상범(Sang Bum Lee),고건(Kern Koh),최경희(Kyung Hee Choi) 한국정보과학회 1987 정보과학회논문지 Vol.14 No.1

본 논문에서는 분산처리 시스템에서 비용 / 성능의 tradeoff가 고려될 때, 데이타의 중복성이 시스템 성능에 미치는 영향을 연구, 복사본의 적정수를 결정하는 방법을 제시하였다. 성능평가 지수로는 “read throughput”을 사용하여, 이를 시스템 가격이 고정되었을 때, 임의의 ⅰ) consistency-preserving algorithm, ⅱ) 하드웨어의 비용-성능 관계, ⅲ) 네트워크 구성 형태하에서의 성능변화를 분석하였다. 시스템 성능의 복사본의 수와 연관시키는 분석적 모델을 제시하였다. 데이타 복사본의 적정수는 비용의 제약하에서 시스템 성능을 극대화하는 복사본의 수로 결정하였다. In this paper, a method of finding an optimal degree of data replication in distributed system is presented. We use "read throughput" as an index of performance and analyze it under any given ⅰ) consistency-preserving algorithm, ⅱ) cost-capacity relation, and ⅲ) network topology. An analytic model is presented which relates the number of replications to the system performance. The optimal degree of data replication is determined as the number of replication which maximizes the system performance under the cost constraint.