• 한국지구물리탐사학회:학술대회논문집
• /
• 한국지구물리탐사학회 2007년도 공동학술대회 논문집
• /
• pp.303-306
• /
• 2007

After Kyoto protocol took effect, many countries are making efforts to reduce $CO_2$ one of effective which is geosequestration. But a percentage of geosequestration in total research budget is very small and the priority order of research also is receded in Korea. As one of efforts to activate the research on geosequestration in field of geophysics, we proposed the plan to build up a measurement system for rock physical properties monitoring during $CO_2$ injection which will function as original technology. The system consists of two part, one of which is a data acquisition system based on seismic and complex resistivity tomographic measurement and the other of which is a tri-axial compressive system to realize the in-situ condition. And also developments of various inversion algorithms are proposed to interpret data qualitatively such as a inversion algorithm for confined cylindrical boundary, a joint inversion algorithm and a 4-D inversion algorithm.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 D
• /
• pp.2369-2373
• /
• 2001

Usually the static scheduling algorithms such as DMS (Deadline Monotonic Scheduling) or RMS(Rate Monotonic Scheduling) are used for CAN scheduling due to its ease with implementation. However, due to their inherently low utilization of network media, some dynamic scheduling approaches have been studied to enhance the utilization. In case of dynamic scheduling algorithms, two considerations are needed. The one is a priority inversion due to rough deadline encoding into stricted arbitration fields of CAN. The other is an arbitration delay due to the non-preemptive feature of CAN. In this paper, an extended algorithm is proposed from an existing EDS(Earliest Deadline Scheduling) approach of CAN scheduling algorithm haying a solution to the priority inversion. In the proposed algorithm, the available bandwidth of network media can be checked dynamically by all nodes. Through the algorithm, arbitration delay causing the miss of their deadline can be avoided in advance. Also non real-time messages can be processed with their bandwidth allocation. The proposed algorithm can achieve full network utilization and enhance aperiodic responsiveness, still guaranteeing the transmission of periodic messages.

• 한국정보처리학회논문지
• /
• 제6권12호
• /
• pp.3652-3661
• /
• 1999

최근 들어 많이 사용되어지는 원격 전자회의 시스템이나 멀티미디어 브로드캐스팅과 같은 분산 멀티미디어 어플리케이션을 지원하기 위해서는 시스템이 어플리케이션의 시간제약성을 만족시켜주어야 한다. 따라서, 이와 같은 실시간 시스템에서는 시스템의 행위를 예측하고 분석하기 어렵게 하는 우선순위 반전 문제를 해결하여야 하며, 시스템의 오버헤드를 최소화하면서 공유자원에 대한 선점가능성을 높일 수 있는 실시간 서버모델을 사용할 필요가 있다. 현재 동기화에서 주로 사용되는 실시간 서버 모델에는 단일 스래드 서버모델, 작업자 모델 그리고 동적 서버 모델이 있으나 공유자원을 관리하기 위한 효율적인 구조를 제시하고 있지는 못하다. 본 논문에서는 우선순위 반전문제를 해결하기 위하여 우선순위 계승 프로토콜을 이용하고 있으며, 시스템의 오버헤드에 영향을 최소화하면서 서버에 대한 보다 나은 선점가능성을 제공할 수 있고 좀더 빠른 응답시간을 갖는 실시간 서버 모델로서 혼합형 우선순위 작업자 모델을 제안한다. 흔합형 우선순위 작업자 모델은 정적 우선순위 작업자 모델과 동적 우선순위 작업자 모델을 혼합한 형태로서 성능평가 결과 혼합형 우선순위 작업자 모델이 기존의 다른 모델들 보다 좀 더 나은 성능을 보이고 있음을 알 수 있다.

• 전자공학회논문지CI
• /
• 제38권4호
• /
• pp.59-71
• /
• 2001

현재의 CORBA는 처음부터 비즈니스 환경의 클라이언트/서버 분산 컴퓨팅 환경 구축을 염두에 두고 주로 개발되어 왔기 때문에, 실시간성 지원이 필요한 분산 제어 시스템 등의 분산 실시간 시스템 구축에 사용되기에는 부족한 점이 많다. CORBA의 실시간성 개선을 위한 많은 연구가 진행되어 왔으며, 이러한 연구에 힘입어 최근 OMG에서는 실시간 CORBA 사양을 발표하였다. 실시간 CORBA는 기존 CORBA의 확장으로 명세되고 있으며, ‘종단간 예측성’을 지원하는 CORBA ORB 구현을 위한 표준을 제공하고자 한다. 종단간 예측성 지원을 위해, 실시간 CORBA는 우선순위 모델, 통신 프로토콜 구성, 쓰레드 관리 등을 지원하는 명세를 표준화하고 있는데, 이중 가장 중요한 요소는 클라이언트 요청처리에 우선순위를 부여하여 처리할 수 있도록 지원한 ‘우선순위 모델’ 명세의 지원이다. 본 논문은 실시간 CORBA의 우선순위 모델을 설계하고 구현한 결과를 제시한다. 구현은 오픈소스인 비실시간 ORB 인 omniORB2 (v. 3.0.0)을 기반으로 확장한 형태로 이루어 졌다. 구현된 우선순위 모델의 실시간성 개신 결과의 분석은 지연시간과 지터의 측정으로 성능과 예측성을 각각 비실시간 ORB와 비교하였다. 실험결과, 구현된 실시간 CORBA 우선순위 모델 구현의 실시간성 개선을 확인할 수 있었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.659-662
• /
• 2001

본 논문은 실시간 운영체제에서 높은 우선순위를 가지는 태스크가 낮은 우선순위를 가지는 태스크가 사용중인 공유자원을 기다리는 과정에서 발생하는 우선순위 역전현상을 해결하기 위한 효과적인 방법에 대해 언급한다. 우선순위 역전현상은 실시간 운영체제의 주요 특징인 태스크 수행 완료의 바운드 타임을 예측하기 어렵게 만들어 실시간 운영체제를 사용하는 가장 큰 목적인 결정성(determinism)을 보장 받지 못하게 된다. 이를 해결하기 위해 논문에서 구현된 커널은 비교적 크기가 작으면서도 실시간 운영체제의 핵심적 특징을 잘 갖추고 있는 uCOS(Micro C/OS) 커널을 사용하였으나, 유일한 우선순위만을 갖는 uCOS의 제약사항을 보완하고 Priority Inheritance protocol을 이용한 MuTexS (Mutual Exclusion Semaphore)를 구현 하기위해 커널의 자료구조를 확장하여 수정된 스케줄링 방식을 사용하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.60.3-60
• /
• 2001

Usually the static scheduling algorithms such as DMS(Deadline Monotonic Scheduling) or RMS(Rate Monotonic Scheduling) are used for CAN scheduling due to its ease with implementation. However, due to their inherently low utilization of network media, some dynamic scheduling approaches have been studied to enhance the utilization. In case of dynamic scheduling algorithms, two considerations are needed. The one is a priority inversion due to rough deadline encoding into stricted arbitration fields of CAN. The other is an arbitration delay due to the non-preemptive feature of CAN. In this paper, an extended algorithm is proposed from an existing EDS(Earliest Deadline Scheduling) approach of CAN scheduling algorithm having a solution to the priority inverstion ....

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.627-630
• /
• 2009

MicroC/OS-II에서는 우선순위 역전 현상에 대한 해결 기법으로 뮤텍스를 사용한 기본적인 우선순위 상속(Basic Priority Inheritance)을 사용한다. 뮤텍스를 구현하려면 리얼타임 커널이 우선순위가 같은 여러 태스크를 지원해야 한다. 하지만 MicroC/OS-II는 우선순위가 같은 여러 태스크를 지원하지 않는다. 이를 해결하기 위해 MicroC/OS-II는 우선순위 예약을 사용할 수밖에 없었으며 이로 인해 불필요한 메모리공간 및 우선순위 자원을 낭비하게 된다. 본 논문에서는 MicroC/OS-II에서의 불필요한 메모리 낭비와 우선순위 낭비를 줄여, 적은 용량의 메모리를 가지는 임베디드 장비에 효율적으로 운영되도록 제안 하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.964-966
• /
• 2011

운영체제는 여러 가지 프로세스 스케줄링 기법을 지원한다. 본 논문에서는 오픈 소스운영체제인 Linux에서 fairness에 중점을 둔 스케줄링 기법을 설계 및 구현하여 프로세스들간의 priority inversion과 starvation을 해결하는 방법을 제안한다.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제51권7호
• /
• pp.294-301
• /
• 2002

A new dynamic scheduling algorithm is proposed for CAN-based real-time system in this paper. The proposed algorithm is extended from an existing EDS(Earliest Deadline Scheduling) approach having a solution to the priority inversion. Using the proposed algorithm, the available bandwidth of network media can be checked dynamically, and consequently arbitration delay causing the miss of deadline can be avoided. Also, non-real time messages can be processed with their bandwidth allocation. Full network utilization and real-time transmission feasibility can be achieved through the algorithm. To evaluate the performance of algorithm, two simulation tests are performed. The first one is transmission data measurement per minute for periodic messages and the second one is feasibility in the system with both periodic messages and non-real time message.

• 한국통신학회논문지
• /
• 제26권7A호
• /
• pp.1170-1181
• /
• 2001

본 논문은 다양한 실시간 스케줄링 알고리즘과 자원 접근 제어 정책을 통합적으로 설계/구현하되 필요에 따라 시스템을 선택적으로 재구성할 수 있게 하는 통합 실시간 스케줄링 모델을 제안한다. 제안 모델은 [3, 4]에서 제안된 기존 모델에 자원 관리자 및 대기 큐 관리자가 추가되었다. 사용자는 태스크 및 자원 속성을 기반 스케줄링 알고리즘에 상관없이 동일하게 지정할 수 있다. 반면 시스템 설계자는 우선순위 역전 문제를 해결하고 공유 자원에 대한 한정된 블록킹 시간을 보장하기 위한 다양한 자원 접근 제어 정책들을 하위 단계의 복잡한 커널 모듈을 수정하지 않고도 효율적으로 개발할 수 있다. Real-Time Linux [6]에 제안된 스케줄러 모델을 구현한 후, 이를 기반으로 다양한 스케줄링 알고리즘과 자원 접근 제어 정책들을 시험적으로 구현하여 보았다. 여러 성능 실험을 통해 제안 모델을 기반으로 다양한 알고리즘과 정책을 구현한다 해도 실행시의 오버헤드는 크지 않은 반면, 시스템 재구성과 자원 접근 제어 정책을 효과적으로 지원할 수 있다는 것을 확인할 수 있었다.