실시간 프로그램의 스케줄가능성 분석 방법

A Schedulability Analysis Method for Real-Time Program

본 논문에서는 분산 실시간 프로그램의 스케줄가능성 분석 방법을 제안한다. 스케 줄가능성 분석을 위한 여러 가지 방법이 개발되었지만, 이 방법들은 가능한 모든 상 태공간을 추적하거나 고정 우선순위 스케줄 방법을 사용했기 때문에 지수적인 시간 과 공간의 복잡성을 야기한다. 따라서 상태 공간을 줄여서 더 이른 시간단위에서 스케 줄가능성을 조사하는 방법이 필요하다. 본 논문에서 제시한 스케줄가능성 분석 방법은 번역시간에 결정될 수 있는 프로세스들의 최대 수행시간, 주기, 마감시간, 동기화 시 간을 고려하여 동기화 동작 이후에 남는 계산시간과 마감시간의 차이를 계산하여 실시 간 프로세스가 마감시간을 지키는가를 판단하는 새로운 알고리즘을 제안하고, 실험을 통하여 그 성능을 평가한다. 실험에 의하여 Fredette의 방법과 비교하면 약 50퍼센트 정도 더 이른 단위시간에 스케줄이 불가능함을 판단할 수 있다.

In this paper, we propose a schedulatility analysis method for real-time programs. Several approaches to anlayzing schedulability have been developed, but since these approaches use a fixed priority scheduling method and/or traverse all possible state spaces, there take place exponential time and space complexity of these methods, Therefore it is necessary to reduce the state space and detect schedulability at earlier time. Our schedulability analysis method uses a minimum unit time taken to terminate synchronization action, a minimum unit time taken to terminate actions after synchronization, and a deadline of processes to detect unschedulability at earlier time and dynamic scheduling scheme to reduce state space. We conclude that our method can detected unschedulability earlier 50 percent unit time than Fredette's method.