ART : 임베디드 시스템에 적용 가능한 능동객체 실행시간 지원 시스템의 구현

박윤용,임동선,정부금,이경오,박정호,Park, Yoon-Young,Lim, Dong-Sun,Jung, Bu-Geum,Lee, Kyung-Oh,Park, Jung-Ho 한국정보처리학회 2003 정보처리학회논문지 A Vol.10 No.4

능동객체는 스레드와 같은 독립적인 실행단위로서 객체가 생성될 때 CPU의 스케줄을 받아 실행되어지는 개체이다. 본 논문에서는 이러한 능동객체론 정의하고, 능동객체의 생성 및 실행을 제어하는 능동객체 실행시간 지원시스템(Active object Run Time support systems ; ART)을 제시하였다. 또한 ART는 분산 환경에서 사용자들에게 위치 투명성이 보장되고, 편리한 방식으로 분산 프로그래밍을 할 수 있도록 능동객체 사이에 메소드 호출을 지원할 수 있고, 이를 위한 통신 기법을 설계하고 구현하였다. 그리고 본 논문에서 제안하는 ART를 임베디드 시스템과 같이 시스템 자원이 제한되어 있고, 분산 환경으로 구성되어 있는 시스템에 적용하여 구현하였다. Active object is an Independent runnable unit which is scheduled by CPU in creation time. In this paper, we define the active object and suggest ART(Active object RunTime support systems) which controls creation and execution of the active object. ART can Provide users locational transparency and support easy method call mechanism. We also designed a communication model among active objects and implemented a communication method to make the distributed programing possible. The implementation target platform of ART is an embedded system which has only limited resources and runs in the distributed computing environment.

선박내 환경 정보 모니터링을 위한 고장 감래 센서 라우팅 알고리즘 모델 설계에 관한 연구

박윤용(Park, Yoon-Young),윤남식(Yun, Nam-Sik),배지혜(Bae, Ji-Hye),공헌택(Kong, Heon-Tag) 한국산학기술학회 2010 한국산학기술학회논문지 Vol.11 No.4

본 연구는 선박내에 센서 네트워크 영역을 구축하여 선박 내 환경감시를 통해 관리 효율을 극대화하고 모 니터링 체계화를 향상시키는 것이 목적이다. 선박 내 구축된 센서 네트워크의 각 센서 노드들을 세부적으로 관리하 며 명확한 센서 데이터를 얻기 위해서는 각 센서 노드들의 정확한 위치가 필요하다. 본 논문에서는 선박 내 배치된 많은 센서 노드의 상태를 효율적으로 관리하기 위해 센서 노드의 그룹을 구성하는 방법에 관하여 기술하였고 기본적 으로 LEACH 및 PEGASIS 라우팅 알고리즘을 이용하여 노드들 간의 상대 거리 정보를 수집하여 센서 노드의 위치 정보를 탐지하고 각 필드별로 그룹핑하여 데이터 전송 효율을 증가시키는 방법을 소개한다. 또한, 탐지된 위치 정보 를 이용하여 임의의 노드에서 고장이 발생하였을 경우 최적의 라우팅 경로를 재설정하는 방법을 제시하고자 한다. The goal of this research is to enhance the maintenance and monitoring system of ship environment using sensor network. It is important to know the location information of sensor nodes to control the sensors and to obtain the sensor data from sensor network inside the ship. In this paper, we address the grouping and routing mechanism according to the relative distance of sensor nodes, based on LEACH and PEGASIS. We also consider the fault tolerant mechanism using the location information of sensor nodes.

이종 분산 환경에서 UNIX 커널 성능 측정 방법에 관한 연구

박윤용(Yoon Young Park),박정호(Jung Ho Park),임동선(Dong Sun Lim) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.11

There are several models and the corresponding diagrams to express software system in many kindes of viewpoint, but these are supposed to be integrated and implemented into only one system. Therefore, the software modelers should have into models ensuring the consistency between information in software development life cycle. To support the robust models for modelers using OO modeling methods, i.e, UML, and CASE tools, the meta models of the software architecture and the consistency rules between the models are suggested in this thesis. Finally, the rules are implemented in the OO CASE tool, DEBUT(Design By UML Tool). It supports UML, 1.1 notations and has visual modeling editors that enable users make their own software model.

분산 처리 시스템에서 징검 다리 방식에 의한 교착 상태 검출 알고리즘

박윤용(Yoon Young Park),고건(Korn Koh) 한국정보과학회 1993 정보과학회논문지 Vol.20 No.10

현존하는 교착 상태 발견 (또는 검출) 알고리즘은 교착 상태를 발견하기 위하여 자원 대기 그래프를 이용하여 있다. 자원 대기 그래프는 하나의 활동 프로세스를 중심으로 하고, 이 활동 프로세스가 소유한 자원을 직접적 혹은 이행적으로 요청하고 있는 대기 상태의 프로세스들로 구성된 트리 구조로써 시스템의 상태를 나타낼 수 있다. 본 논문에서는 이러한 트리 구조를 이용하여 분산 시스템에서 자원의 요청시에 예측 가능한 시간내에 교착 상태의 여부를 발견하는 효율적인 알고리즘을 제시하고, 알고리즘의 정확성에 관하여 기술하였다. Many deadlock detection algorithms use "Wait-For-Graph" to detect deadlock. In "Wait-For-Graph", the status of system can be represented with tree structure, in which node is an active process and inactive processes that request active's resources in the directly or transitively. In this paper, we propose a new algorithm whose detects deadlock using the tree structure with a predictable time when a process requests a resource. And we describe the correctness of this algorithm.

분산 트랜잭션 처리 시스템에서 2-단계 확인 프로토콜을 근거로 하는 검사점 설정 및 오류 복구 알고리즘

박윤용(Park Yoon Young),전성익(Jun Soung Ik),조주현(Cho Ju Hyun) 한국정보처리학회 1996 정보처리학회논문지 Vol.3 No.2

In this paper, we present a new checkpointing algorithm to preserve the consistency of resources in distributed transaction processing systems, and the error recovery algorithms to recover form the failure. In comparison with the existed algorithms, the checkpointing algorithm proposed in this paper can minimize the interference of the distributed transaction and the storage cost during checkpointing, and does not need the extra message to make the checkpoint. Also we show that the error recovery algorithms prevent the distributed transaction with a partial fault from spreading the fault, which calls domino-effect and prevent them restarting cyclically. And we describe the correctness and the performance of the proposed algorithms.

분산 사이클 탐지 방법에 의거한 병행 제어 기법의 개발

박윤용(Yoon Young Park),고건(Kern Koh) 한국정보과학회 1996 정보과학회논문지 : 시스템 및 이론 Vol.23 No.6

본 논문에서는 기존의 분산 트랜잭션 처리 시스템에서 발생되는 교착 상태 탐지의 문제점을 지적하고, 교착 상태 문제를 근본적으로 해결하기 위해 분산 사이클 탐지를 기반으로 하는 새로운 병행 제어 기법을 제시하였다. 이와 같은 병행 제어 기법의 문제점과 해결 방안을 기술하였고, 분산 교착 상태 탐지 방식을 이용하여 자원을 사용하는 트랜잭션 사이에 순차성을 보장하였다. 또한 시뮬레이션을 통해 기존의 2-단계 로킹 기법과 새로운 병행 제어 기법의 성능을 비교하였다. In this paper, we point out the problems of deadlock detection schemes in distributed transaction processing systems, and present a new concurrency control method based on distributed cycle detection to settle this problem fundamentally. We describe a sloution to the problems with such a new concurrency control method, and guarantee serialization among transactions using distributed deadlock detection scheme. Also we compare the performance of the new concurrency control method with 2-PL.

분산처리 시스템에서 Domino-Effect 제거에 관한 연구

박윤용(Yoon Young Park),고건(Kern Koh) 한국정보과학회 1986 정보과학회논문지 Vol.13 No.4

본 논문에서는 분산처리시스템에서 발생할 수 있는 domino-effect 문제를 해결하기 위한 새로운 프로세스간 통신기법을 제시하였다. Domino-effect는 잘못된 메시지를 프로세스사이에 주고 받음으로서 발생한다. 따라서 프로세스간 통신이 있었던 시점에서 domino-effect를 제거할 수 있도록 하는 여러 가지 알고리즘을 제시하고 각각의 장 · 단점을 비교, 분석하였다. This paper reports a new Inter - Process Communication (IPC) method that will resolve a wellknown domino - effect problem in distributed processing system. The domino - effect can happen when processes receive and send incorrect messages. In this paper, we present several algorithms which resolve the domino - effect problem through the new IPC method. Finally, the comparsion of these algorithms is presented.

Concurrent Real Time Operating System(CROS)에서 Real Time Clock 처리기의 구현 및 분석 방법에 관한 연구

박윤용(Yoon Young Park),신재식(Jae Sik Shin),강석열(Seok Youl Kang) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2

본 논문은 CROS의 Real Time Clock 처리기에 관하여 기술하고, 이미 구현되어 있는 Real Time Clock 처리기를 petri net을 이용하여 modelling하고 분석하는 방법에 관하여 기술하였다. Petri net은 concurrency를 가진 system을 modelling하거나 비동기적으로 발생하는 event등을 modelling하는데 유용하며 TDX-10과 같은 대형의 system에서 발생될 수 있는 여러가지 문제점을 분석하는 방법들을 제공할 수 있다. 이 논문에서는 Real Time Clock 처리기를 개발하는 과정에서 제기되었던 타이머 자료구조의 탐색 시간(search time) 최소화를 위한 자료 구조를 기술하였으며, 전체 Real Time Clock 처리기 내에서 도달가능한 시스템 상태를 도달성 트리를 이용하여 분석하였다.

함정용 화물 승강기 다단 수밀문의 구조강도 신뢰성 해석

박윤용(Yoon Yong Park),박종환(Jong Hwan Park),송창용(Chang Yong Song),양정욱(Jeong Wook Yang),강영관(Young Gwan Kang) 대한기계학회 2017 대한기계학회 춘추학술대회 Vol.2017 No.11

The various weapons and equipment mounted on a warship must be secured for the safe transport. A cargo lift system with multi-stage watertight door is installed on the warship for such safe transport. The multi-stage watertight door of cargo lift should be able to transport heavy cargo with the guarantee of the watertight to facilitate the maritime military operations. In this study, structural strength evaluation and reliability analysis of the multi-stage watertight door of cargo lift were performed considering load conditions based on the DNV and EN rule load test specification. For the evaluation of structural strength, the three-dimensional finite element model of multi-stage watertight door of cargo lift was created and finite element analysis was performed by applying the load conditions. Reliability analysis was performed using Monte Carlo Simulation(MCS) in order to improve design safety by considering uncertainty of operating environment. In the reliability analysis, the reliability level of structural strength results considering an operation load variation were evaluated.

분산 처리 시스템에서 완료 교착 상태 탐지를 위한 2 - 단계 순차적 확인 프로토콜

박윤용(Yoon Young Park),고건(Kern Koh) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.8

현재까지 제시된 교착 상태 탐지 방식의 문제점은 교착 상태를 탐지하기까지 소요되는 시간이 예측 가능하지 않다는 것이다. 따라서 예측 가능한 응답 시간이 요구되는 시스템에서는 이와 같은 탐지 방식의 적용을 어렵게 한다. 또한 교착 상태 탐지를 위해 사용하는 과도한 메시지 부담 때문에 2-단계 완료 프로토콜을 사용하는 시스템에서는 완료 교착 상태를 탐지하지 못하고 있다. 본 논문에서는 2-단계 순차적 확인 프로토콜을 기술하고, 순차성 검사 방식을 이용하여 별도의 메시지 비용없이 O(1)에 완료 교착 상태를 탐지하는 알고리즘을 제시한다. 또한 위에서 제시한 완료 교착 상태 탐지 알고리즘을 이용하여 미 완료된 자원들을 사용하는 트랜잭션간에 순차성이 보장되고, 교착 상태 사이클 길이와 무관하게 트랜잭션 응답 시간이 예측 가능함을 보였다. 그리고 제시한 알고리즘의 정확성을 기술하였다. One source of problem with previous deadlock detection methods is that the amount of time expended to detect deadlock is unpredictable. Such detection methods are not applicable to those systems where the predictable response time is required. The systems to be used the 2-phase commit protocol can not detect the commit deadlock because of the message overhead to be detected the deadlock. In this paper we describe the 2-phase serializable commit protocol, and present the O(1)commit deadlock detection algorithm using serializability testing method. And using this proposed algorithm, we show that the serializability is guaranteed between the transactions which use the uncommitted resources and the transaction response time is predictable without regard to the deadlock cycle length. And we describe the correctness of this algorithm.