• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1757-1760
• /
• 2003

실시간 시스템에서 주기 태스크의 마감시간을 보장하며 도착 시간을 예측할 수 없는 비주기 태스크를 처리되도록 스케줄링 하는 것은 매우 중요하다. 본 논문에서는 정적 우선순위 스케줄링 방식 중 최적인 RM방식으로 주기 태스크를 스케줄링하고, 비주기 태스크의 발생시 비주기 태스크를 EDF 방식으로 스케줄링하여 오프라인에서 구한 슬랙을 비주기 태스크에 할당한다. 제안한 방식은 비주기 태스크의 마감시한내의 슬랙과 비주기 태스크의 실행 시간을 비교하여 비주기 태스크가 마감시한 내에 실행되지 못하는 경우 주기 태스크와 슬랙을 최적적합으로 교환하는 방식을 사용하여 비주기 태스크의 처리를 가능하게 하였다. 제안된 방식은 경성 비주기 태스크와 연성 비주기 태스크에 적용이 가능하며, 실험 결과 교환 알고리즘을 적용한 스케줄링 방식이 적용하지 않은 스케줄링 방식에 비해 비주기 태스크의 처리율이 높게 나왔다.

• Journal of Korea Multimedia Society
• /
• v.10 no.7
• /
• pp.882-892
• /
• 2007

In this paper, we propose a mechanism for both scheduling the hybrid-task set which consists of periodic and aperiodic tasks and recovering tasks with transient faults on the level of the operating system. Existing embedded operating systems would not provide the scheduling of both periodic and aperiodic tasks. Also because of not supporting the recovery of task failures, they can not prevent system failure from transient task faults. Proposed method, on the level of operating system, is able to not only meet the deadlines of all periodic tasks but also complete the execution of aperiodic tasks. In addition, it is able to prevent the system failure from transient task faults by recovering the task faults.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.113-115
• /
• 2000

n개의 동일한 프로세서 상에서 m개의 주기적인 태스크들의 적합한 스케줄을 구하기 위한 알고리즘을 제시한다. 정수이하의 작은 시간으로 태스크의 실행시간이 잘라질 수 있다는 가정 하에 태스크 집합은 기본 스케줄링 알고리즘을 통해서 부분적인 스케줄을 얻고 정수 화를 위한 다중프로세서 스케줄링 알고리즘으로 적합한 스케줄을 구성한다. 또한 태스크들에 대한 활용도의 합이 n보다 작거나 같다는 조건은 실시간 다중프로세서 시스템에서 주기적인 태스크 집합에 대한 적합한 스케줄을 구성하기 위한 필요.충분조건임을 보여준다.

• Journal of Korea Multimedia Society
• /
• v.14 no.1
• /
• pp.76-84
• /
• 2011

Embedded Systems need to ensure real-time of the task response time depending on the applied fields of it. And task could be faulty due to various reasons in real time systems. Therefore in this paper, we design a task scheduler that guarantees deadlines of periodic tasks and considers a fault tolerance of defective task in embedded system with a single processor. In order to provide real-time, we classify tasks with periodic/aperiodic tasks and applies RMS(Rate Monotonic Scheduling) method to schedule periodic tasks and can guarantees execution of aperiodic tasks by managing surplus times obtained after analyzing the execution time of periodic tasks. In order to provide fault tolerance, we manage backup times and reexecute a fault task to restore it's conditions.

• Journal of Korea Multimedia Society
• /
• v.14 no.7
• /
• pp.940-948
• /
• 2011

In this paper, we design and implement a task scheduler that considers real-time and fault tolerance in embedded system with a single processor. We propose a method how it can meet the deadlines of periodic tasks using RMS and complete the execution of aperiodic tasks by calculating surplus times from a periodic task set. And we describe a method how to recover of a transient fault task by managing backup time. We propose an important level of periodic tasks that can control the response time of periodic and aperiodic tasks. Finally, we analyse and evaluate the proposed methods by simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.161-163
• /
• 1999

본 논문은 고정 우선순위를 가지는 주기 태스크와 동적으로 발생하는 비주기 태스크를 스케쥴링하는 방법으로 슬랙 스틸링(slack stealing) 알고리즘을 소개하고 발생되는 문제점으로부터 새로운 알고리즘을 제시한다. 기존의 실시간 스케쥴링 알고리즘을 RM 스케쥴링에 의해 할당된 주기 태스크의 우선순위가 동적으로 발생하는 비주기 태스크의 수행으로 인한 주기 태스크들간의 긴급함에 적절하게 대응하지 못하고 주기 태스크들이 자신의 제한시간을 넘길 수 있다. 이는 슬랙 스틸링(slack stealing) 알고리즘에서 슬랙 타임을 구하는 함수의 한 요소로서 주기 태스크의 필요 계산시간 값이 긴급하지 않은 상위 우선 순위 태스크의 계산시간 까지 포함하는데 있다. 따라서 제안한 확장된 실시간 스케쥴링 알고리즘은 RM 스케쥴링에 의한 스케쥴링 가능성을 위배하지 않으면서 동적으로 발생하는 비주기적 태스크로부터 긴급도의 변화에 적응할 수 있는 우선 순위 체제의 알고리즘을 제시하고, 제안한 알고리즘이 다른 실시간 알고리즘보다 성능 개선이 있음을 모의 실험을 통하여 증명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.97-99
• /
• 2004

본 논문에서는 주기와 비주기 실시간 태스크가 혼합된 태스크 집합에 대하여 이용율 요구 분석(utilization demand analysis)에 기반한 수락제어 기법을 제안한다. 이용율 요구는 혼합 태스크 집합의 모든 태스크가 종료시한 내에 수행을 마치기 위한 프로세서의 이용율로 정의된다. 본 논문에서는 비주기 태스크 집합과 주기 태스크 집합 각각의 이용율 요구를 정의하고 혼합 태스크 집합에 대한 이용율 요구 분석 기법을 제공한다. 제안된 기법은 비주기 태스크에 대한 이용율 요구를 재귀적으로 계산하여 태스크의 수락여부를 결정한다. 이러한 기법은 O(n)에 스케줄링 분석을 수행하고 복잡한 자료구조가 필요하지 않아서 실시간 수락제어를 가능하게 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.170-172
• /
• 2012

실시간 시스템(real-time system)은 논리적 연산을 일정한 시간적 제약 하에서 수행하는 시스템이다. 시간적 제약을 충족하도록 주기적 태스크(periodic task)를 스케줄(schedule)할 때 일반적으로 태스크 오프셋(initial offset)이 0 이거나 고정된 것으로 가정한다. 그러나 오프셋에 약간의 유연성을 허용함으로써 태스크들의 평균 응답 시간을 줄일 수도 있다. 이 논문에서는 주기적 태스크의 오프셋을 주어진 허용 범위 안에서 선택하여 평균 응답 시간(response time)을 최적화할 수 있음을 보이고, 임의의 태스크 집합에 대하여 최적 오프셋이 존재하는 좁은 범위를 제시한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.1
• /
• pp.9-20
• /
• 2009

In a real-time system with both hard real-time periodic tasks and soft real-time aperiodic tasks, it is important to guarantee the deadlines of each periodic task as well as obtain fast response time for each aperiodic task. This paper proposes Enhanced Total Bandwidth Server (ETBS) with possibly shorter response time than Total Bandwidth Server (TBS), which is efficient and widely used for servicing aperiodic tasks. For uniprocessor system using Earliest Deadline First (EDF) scheduling algorithm, ETBS assigns an on-line deadline to each aperiodic task considering a surplus slack time which gained for every unit execution time of periodic job. The proposed method can fully utilize the processor while meeting all the deadlines of periodic tasks. We show that the proposed ETBS provides better response time of aperiodic tasks than TBS theoretically, but has the same computational complexity as TBS, O(1). Simulation results show that the response time of aperiodic tasks with ETBS are shorter than one with TBS.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.104-106
• /
• 2000

단일프로세서 환경에서 주기 태스크의 시간 제약 조건을 만족시키면서 비주기 태스크의 평균 서비스 시간을 최소화하는 연구가 계속 진행되어 왔으나, 최근의 시스템은 여러 개의 프로세서를 병렬처리하여 프로그램의 처리속도 향상을 꾀하는 멀티프로세서 환경으로 전환되어 가는 추세다. 따라서, 멀티프로세서 환경에서의 태스크 스케쥴링에 관한 다양한 여구가 필요하게 되었다. 일반적으로 멀티프로세서 환경에서는 주기 태스크를 스케쥴링하기 위해서 RMFF(Rate-monotonic First-Fit) 스케쥴링 알고리즘을 사용하는데, 이 알고리즘에서는 비주기 태스크의 스케쥴링을 위한 알고리즘을 추가로 요구한다. 따라서, 본 논문에서는 멀티프로세서 환경에서 주기 태스크와 비주기 태스크가 혼합되어 있을 때, 기존의 RMFF 방식에 슬랙 체크테이블(Slack Check Table;SCT)을 이용하여 비주가 태스크를 효율적으로 스케쥴링하기 위한 방법을 제안한다.