분산 실시간 시스템 상에서 메세지 대기 데드라인 유효성 검증

실시간 시스템에서 프로세스 실행에 대한 데드라인(Deadline)은 향상 엄격하게 지켜져야 한다. 이는 빠른 응답을 요구하는 실시간 시스템의 특성을 만족시키기 위한 제약 조건 중 하나이다. 이런 제약 조건의 만족 여부는 대부분 스케쥴링 정책의 성능에 따라 좌우된다고 볼 수 있다. 분산된 시스템 환경하에서 하나의 응용(Application) 태스크(Task)를 실행하기 위해서 이 태스크에 참여하는 여러 프로세스간에 메세지 교환은 필수적이다. 이 경우 통신에 관여한 프로세스들의 메세지 도착 데드라인 검사와 메세지를 받기위한 대기시간의 설정은 스케쥴링 정책에 의해 결정된다. 대기시간이 적을수록 빠른 결과를 산출할 수 있으며 위의 제약조건을 만족시킬 수 있기 때문이다. 따라서, 분산된 프로세스간 메세지 전송에 있어서 적절한 메세지 대기 시간의 설정이 필요하며 전송된 메세지가 실시간 시스템상에서 사용되기 위해서는 그 메세지가 데드라인을 초과하지 않는 유효한 데이타(Data)를 포함하고 있는지 판단하는 단계가 필요하다. 본 논문에서는 각 프로세스에 대한 파라메터를 사용하여 대기 시간을 설정하며 유효성-검증을 위한 알고리즘을 제안한다.