- 우선순위 스케줄링을 사용하는 실시간 시스템을 위한 정확한 확률적 분석 방법
- ㆍ 저자명
- 김강희
- ㆍ 간행물명
- 정보과학회논문지. Journal of KIISE. 시스템 및 이론
- ㆍ 권/호정보
- 2004년|31권 3호|pp.170-186 (17 pages)
- ㆍ 발행정보
- 한국정보과학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
최근 멀티미디어, 신호처리와 같은 실시간 응용들에 대해서 그 응용에 속한 태스크들이 일정한 확률로 마감시간을 만족하는 것을 보장하는, 소위 확률적 보장을 제공하는 것이 점점 더 중요해지고 있다. 확률적 보장을 제공하기 위해서는 주어진 시스템에서 각 태스크의 마감시간 위반확률(deadline miss probability)을 예측할 수 있는 분석 방법이 필요하다. 본 논문에서는 Rate Monotonic 또는 Earliest Deadline First와 같은 우선순위 스케줄링을 사용하는 시스템에서 각 태스크의 마감시간 위반확률을 정확하게 계산하는 분석 방법을 제안한다. 제안하는 분석 방법은 임의의 실행 시간 분포를 갖는 태스크들에 대해서 각각의 응답 시간 분포를 정확하게 계산함으로써 개별 태스크들의 마감시간 위반확률을 결정한다. 본 논문에서는 실험을 통해서 제안하는 분석 방법의 정확성을 검증하였고, 기존의 다른 분석 방법보다 우수함을 보였다.
Recently, for real-time applications such as multimedia and signal processing, it becomes increasingly important to provide a probabilistic guarantee that each task in the application meets its deadline with a given probability. To provide the probabilistic guarantee, an analysis method is needed that can accurately predict the deadline miss probability for each task in a given system. This paper proposes a stochastic analysis method for real-time systems that use priority-driven scheduling, such as Rate Monotonic and Earliest Deadline First, in order to accurately compute the deadline miss probability of each task in the system. The proposed method accurately computes the response time distributions for tasks with arbitrary execution time distributions, and thus makes it possible to determine the deadline miss probability of individual tasks. In the paper. through experiments, we show that the proposed method is highly accurate and outperforms exisiting methods proposed in the literature.