컴퓨터 시스템에서의 Deadlock의 성질에 관한 연구

嚴泳翊 단국대학교 1988 論文集 Vol.22 No.-

Deadlock problem has been studied extensively in the past years. Most of these researches have been done in the area of deadlock treatment schemes such as deadlock prevention, avoidence, detection and recovery. But little work has been done for deadlock properities itself. In this paper, we introduced a probablistic model for deadlock. With this model, we formulated the transition probability matrix and analyxed the deadlock properties such as the mean number of steps to deadlock and the expected time to deadlock using the Markov process and queueing theory. These results will be able to given an important implication on the design of deadlock treatment policy.

무선 ad-hoc 네트워크 환경에서 신뢰성 있는 멀티캐스팅을 위한 RAMRP 프로토콜

엄영익,박상윤 한국통신학회 2002 韓國通信學會論文誌 Vol.27 No.5

ORB Interoperability

엄영익 한국정보과학회 1997 한국정보과학회 워크샵 Vol.1997 No.7

유기용제 폭로 근로자의 자각증상에 관한 연구

엄영익,신혜련,우극현,안규동,이병국 순천향대학교 산업의학연구소 1997 순천향산업의학 Vol.3 No.1

To investigate the relationship of subjective symptoms of organic solvent exposed workers with their exposure level and urinary excretion of hippuric acid, 61 male workers who worked in 5 organic solvent using industries were studied. 89 workers were randomly selected from workers group for detailed health examination who visited hospital and had no exposure history to organic solvent as a control group. Personal air concentrations of organic solvent were checked for all organic solvent workers and urinary concentration of hippuric acid for both exposed and control group were also measured. Subjective symptom questionnaire of 31 organic solvent related item were provided to all workers and filled up by themselves and rechecked by medical doctor. The results obtained were as follows: 1. The overall prevalence rate of symptoms were significantly higher in exposed group than control group with statistical difference of 13 symptoms. 2. The overall prevalence rate of symptoms seemed to be increased by the exposure level of organic solvent. 3. The excretion of hippuric acid was more closely related to the level of toluene exposure than the level of mixed organic solvent exposure. 4. In the analysis of multiple stepwise regression using hippuric acid concentration as dependent variable and the concentration of each organic solvents as independent variables, only toluene had significant relationship with hippuric acid and none of other solvent did not affect on the concentration of hippuric acid. 5. In the analysis of multiple stepwise regression using symptom prevalence as dependent variable and the concentration of each organic solvents as independent variables, toluene had most significant effect to the symptom prevalence and the contribution of other solvents was minimal.

컴퓨터 시스템에서의 교착상태에 대한 확률적 모델

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

최근 컴퓨터 시스템에서는 교착상태라는 현상이 중요한 문제로 대두되면서 이에 대한 연구가 많이 진행되었다. 교착상태에 대한 지금까지의 연구 대상은 주로 실제 시스템에서의 사용을 위한 교착상태 예방, 회피, 발견/복구 등이었으며 교착상태의 본질적인 성질이나 발생과정에는 많은 관심이 미치지 못하였다. 본 논문에서는 교착상태에 대한 확률적 모델을 형성하여 시스템의 전체 상태에 대한 전이 확률 행렬을 만들어 내고 이를 이용하여 교착상태까지의 도달 과정, 도달 시간, 교착상태의 발생 빈도등을 알아낼 수 있는 이론을 연구하였으며 이를 위하여 Markov process 이론과 큐잉이론을 사용하였다. 이의 연구결과는 교착상태 처리기법의 설계나 그의 분석에 많은 도움을 줄 수 있을 것이다. Deadlock problem has been studied extensively in the past years. Most of these researches have been done in the area of deadlock treatment schemes such as deadlock prevention, avoidence, detection and recovery. But, little work has been done for deadlock properties and occurrences. In this paper, we introduced a probabilistic model for deadlock. With this model, we formulated the transition probability matrix and analyzed the deadlock properties such as the mean number of steps to deadlock, the expected time to deadlock and the frequency of deadlock occurrences using the Markov process theory and queueing theory. These results will be able to give an important implication on the design and analysis of deadlock treatment policies.

이동 컴퓨팅 환경을 위한 분산 알고리즘 설계 기법

엄영익(Young Ik Eom),안상준(Sang Joon Ahn) 한국정보과학회 1997 정보과학회논문지 : 시스템 및 이론 Vol.24 No.7

이동 컴퓨팅 환경이란 기존의 분산 컴퓨팅 환경이 모빌 호스트들을 지원할 수 있도록 구성된 환경을 의미한다. 이와 같은 환경에서는 모빌 호스트들이 네트워크와의 접속을 유지한 상태에서 공간의 제약없이 이동할 수 있어야 하며 원하는 곳에서 원하는 정보를 얻을 수 있도록 기술적인 지원이 있어야 한다. 분산 알고리즘의 설계를 위한 분산 상호 배제 기법은 지금까지 주로 정적인 호스트들로만 이루어진 분산 환경을 대상으로 연구되어 왔다. 그러나 새롭게 등장한 이동 컴퓨팅 환경에서는 무선 통신, 휴대성, 이동성 등의 특성을 갖는 모빌 호스트가 존재하게 되므로 이러한 모빌 호스트들을 통합한 새로운 상호 배제 기법을 개발하여야 한다. 지금까지 이동 컴퓨팅 환경을 위한 분산 상호 배제 기법은 토큰 링 구조를 기반으로 설계되었으며 이는 이동한 모빌 호스트의 위치 탐색을 위하여 많은 비용이 소모되는 단점을 지니고 있다. 본 논문에서는 가상의 트리 구조에 기반하여 운영 비용을 줄일 수 있는 분산 상호 배제 기법을 제안 할 뿐만 아니라 노드의 고장이 발생할 경우의 회복 기법을 제안하고, 각각에 대한 비용을 산출한다. The mobile computing environment is a distributed environment that is organized to support mobile hosts. In that environment, mobile hosts should be able to move without any constraints and remain connected to the network even while moving. Also, they should be able to get any necessary information regardless of their current location and time. Distributed mutual exclusion methods for supporting distributed algorithms have hitherto been designed for networks only with static hosts. But, with the emergence of mobile computing environments, a new distributed mutual exclusion method should be developed for integrating mobile hosts with existing distributed systems. Many issues that should be considered stem from three essential properties of mobile computing system such as wireless communication, portability, and mobility. Until now, distributed mutual exclusion methods for mobile computing environments are designed based on a token ring structure, which have the drawbacks of requiring high costs in order to locate mobile hosts. In this paper, we propose not only a distributed mutual exclusion method that can reduce such costs by structuring the entire system as a tree-based logical structure but also recovery schemes that can be applied when node failures occur. And we evaluate the operation costs in each case.

순수 P2P 환경을 위한 이동 에이전트 기반 자원 검색 기법

김인숙, 김문정, 김문현, 김응모, 엄영익 한국정보처리학회 2003 정보처리학회논문지D Vol.10 No.2

무선 이동 애드-혹 네트워크를 위한 다중 경로 소스 라우팅 프로토콜과 Mobile-IP의 연동 기법

김문정,엄영익,Kim, Moon-Jeong,Eom, Young-Ik 한국정보처리학회 2005 정보처리학회논문지 C : 정보통신,정보보안 Vol.12 No.7

현재 홈 네트워크, 센서 네트워크, 유비쿼터스 네트워크 등에 대한 활발한 연구가 진행되면서 무선 이동 애드-흑 네트워크에 대한 관심이 높아지고 있다. 무선 이동 애드-혹 네트워크란 기존의 유선 하부구조의 도움 없이 이동 호스트들만으로 구성되는 임시적인 네트워크로, 언제어디서나 컴퓨팅 환경을 이용할 수 있도록 하는 개념의 유비쿼터스 컴퓨팅 환경에 적합한 네트워크이다. 본 논문에서는 다중 소스 라우팅 프로토콜 기반의 무선 이동 애드-혹 네트워크 환경과 Mobile-IP 기반의 네트워크 환경을 연동하는 기법에 대해 제안하고자 한다. 본 논문에서 제안하는 기법은 무선 이동 애드-혹 네트워크 내의 이동 호스트와 기지국간 다중 경로를 유지함으로써 경로 단절시 경로 재설정 및 재등록으로 인한 오버헤드를 줄이며 무선 이동 애드-혹 네트워크 내의 패킷을 Mobile-IP 패킷으로 변환하는 기능을 기지국에서 수행하도록 함으로써 이동호스트들의 오버헤드를 감소시키는 기법이다. 성능 평가를 통해, 본 논문에서 제안하는 기법이 단일 경로를 사용하는 일반적인 연동 기법들보다 이동 속도 증가에 따른 처리량 및 단대단 지연이 보다 안정적이며, 노드/링크가 전혀 중복되지 않는 다중 경로를 사용하는 기법에 비해 낮은 오버헤드를 가짐을 보인다. As the research on home network technologies, sensor network technologies, and ubiquitous network technologies makes rapid progresses, wireless ad-hoc network have attracted a lot of attention. A wireless ad-hoc network is a temporary network formed by a collection of wireless mobile nodes without the aid of my existing network infrastructure or centralized administration, and it is suitable for ubiquitous computing environments. In this paper, we suggest an interconnection scheme between the wireless ad-hoc network environment based on multiple path source routing protocol and a Mobile-IP based network environment. This scheme reduces the overhead of route re-establishment and re-registration by maintaining multiple paths between the mobile host in wireless ad-hoc network and the base station in mobile-IP network. Also it puts the base station in charge of function that performs translation between wireless ad-hoc network packets and Mobile-IP packets, reducing the load of mobile hosts. In this paper, our simulations show that our scheme outperforms existing interconnecting schemes with regards to throughput and end-to-end delay Also we show that our scheme outperforms multi-paths approach using disjoint routes with regards to routing overhead.

이동 에이전트 환경을 위한 안전한 연속 위임 구현 기법

이현석,엄영익,Lee, Hyun-Suk,Eom, Young-Ik 한국정보처리학회 2004 정보처리학회논문지 C : 정보통신,정보보안 Vol.11 No.1

이동 에이전트 환경에서는 에이전트의 이동성으로 인하여 에이전트의 이주(migration)가 연속적으로 발생할 수 있다. 이에 따라 에이전트를 실행한 권한을 위임(delegation)하기 위해 플레이스(Place)간에 연속위임(cascaded delegation)이 발생할 수 있다. 기존의 연구는 에이전트 이주에 관련한 두 플레이스만을 위임의 대상으로 고려하기 때문에 안전한 연속 위임을 지원하지 않는다. 본 연구에서는 이동 에이전트 환경에서 연속 위임을 안전하게 수행하는 연속 위임 구현 기법을 제안한다. 제안 기법은 플레이스간의 신뢰관계에 따라 각 위임토큰(delegation token)을 다음에 생성되는 위임토큰에 내포시킨 후 서명하는 방법과 에이전트의 생성자에 의해 서명된 초기 토큰(initial token)만을 내포시킨 후 서명하는 방법을 나눠서 사용한다. 또한 본 제안 기법이 메시지 재연에 의한 공격과 위임토큰 치환 공격에 안전함을 증명한다. In mobile agent environments, migration of an agent occurs continuously due to the mobility of agents. So cascaded delegation can occur among places for delegating the privilege to execute the agent. Because the existing delegation scheme considers only the delegation between two places that participate in migration of an agent, it does not support secure cascaded delegation. In this paper, we propose a cascaded delegation scheme that provides agents with secure cascaded delegation in mobile agent environments. Depending on the trust-relationship among places, the proposed scheme achieves the goal by nesting each delegation token or by nesting only initial token signed by creator of the agent within the signed part of the next immediate delegation token. And we prove that the proposed scheme is secure against the attack of replaying a message and the attack of substituting a delegation token.

무선 Ad-hoc 네트워크 환경에서의 균형화된 라우팅 에너지 소비 기법

강용혁,엄영익 한국통신학회 2001 韓國通信學會論文誌 Vol.26 No.10

무선 ad-hoc 네트워크 환경에서 이동 호스트의 에너지는 중요한 요소로 간주된다. 무선 ad-hoc 네트워크에서는 이동 호스트들이 라우팅 역할을 수행해야 하므로 네트워크 구조와 노드들의 위치에 따라 각 노드들의 라우팅 역할수해에 필요한 에너지의 양에 차이가 있게 된다. 즉, 메시지가 자주 전송되는 경로에 있는 노드들은 라우팅 역할을 수행하면서 많은 에너지를 소비하게 되고, 메시지가 적게 전송되는 경로에 있는 노드들은 상대적으로 적은 에너지를 소비하게 된다. 본 논문에서는 에너지가 적은 노드의 라우팅 역할을 에너지가 많은 노드로 전이시켜 에너지가 적은 노드의 라우팅 에너지 소비를 줄이는 기법을 제안한다. 본 제안 기법에서는 특정 노드의 라우팅 역할을 다른 노드로 전이할 때 부가적인 지역 메시지의 송수신이 필요하게 되어 전이 프로토콜에 참여하는 노드들의 에너지 소비가 전체적으로 증가될 수 있다. 하지만, 이 기법은 전체 시스템에 존재하는 노드들의 에너지 양을 균등화시킴으로서 라우팅으로 인한 에너지 소비가 많은 노드의 수명을 연장시킬 수 있게 하여, 상대적으로 많은 노드들이 라우팅에 오랫동안 참여할 수 있게 하고 시스템의 성능과 수명을 향상시킬 수 있게 한다.