• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.365-374
• /
• 2005

신뢰성 있는 내장 실시간 시스템을 구축하기 위해서는 프로그램의 스케줄링 가능성 여부를 검증해야 한다 스케줄링 가능성 분석을 위해서 는 프로그램의 최악실행시간 정보가 필수적인 요소이다. 최악실행시간 분석은 두 단계로 나된다. 첫 번째 단계에서는 프로그램 언어 구문상의 흐름을 분석하고, 두 번째 단계에서는 수행되는 흐름 경로상의 하드웨어적인 요소를 고려하여 수행시간을 분석한다. 본 논문에서는 XScale 프로세서를 대상으로 하는 최악실행시간 통합 분석 도구인 WATER(WCET Analysis Tool for Embedded Real-time system)를 설계하고 구현한다. 상위 수준의 흐름 분석기와 하위 수준의 실행시간 분석기로 이루어진 WATER의 구조를 소개하고 소프트웨어의 실제 측정과 WATER의 분석 결과를 비교한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권7호
• /
• pp.510-514
• /
• 2009

기존의 실시간 시스템들이 SOA기반으로 통합되면 실시간 SOA가 필요하다. 실시간 SOA에서 하나의 서비스는 일반적으로 여러 개의 작은 단위서비스로 분화되기도 한다. 단위서비스의 예측실행시간은 제공자시스템에서 제공된다. 하지만 요청자는 중개자와 제공자 사이의 메시지 송수신 과정에 관여되는 시간요소를 분석한 시간예측도 필요하다. 본 논문은 웹 서비스의 QoS 만족도를 높이기 위해서 트랜잭션을 고려한 시간 예측과 더불어 다중처리기 시스템의 보편화에 따른 트랜잭션의 실행시간 예측에 관련된 시간요소를 분석하여 개선된 최악의 실행시간 예측 방법을 제안한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권10호
• /
• pp.848-860
• /
• 2000

본 논문에서는 한 번에 여러 개의 명령어를 이슈할 수 있는 다중 이슈 프로세서(in-order, multiple-issue processors)에 대해 최악 실행시간을 분석하는 기법을 제시한다. 명령어들의 이슈 형태를 분석하기 위해서 명령어들 사이의 의존성 간계를 표현하는 IDG(Instruction Dependence Graph)라고 하는 자료구조를 사용한다. 이 자료구조로부터 각 명령어들의 이슈간 거리 범위를 구하고, 프로그램의 계층적인 분석 과정에서 점차로 더 정확한 이슈간 거리 범위로 갱신한다. 프로그램의 최악 실행시간은 최종적으로 얻어진 프로그램 전체에 대한 IDG를 분석하여 얻은 명령어들의 이슈간 거리 범위로부터 계산한다. 제안하는 기법을 구현한 시간 분석기를 사용하여 실험한 결과, 논문에서 사용한 다중 이슈 프로세서 모델에 대해서 정확하게 다중 이슈 형태를 분석할 수 있었다.

• 한국정보과학회논문지:시스템및이론
• /
• 제32권5호
• /
• pp.243-254
• /
• 2005

멀티미디어와 같은 연성 실시간 응용들은 서비스 품질을 위해 각 태스크들이 마감시간 전에실행을 마칠 수 있다는 확률적 보장을 요구한다. 시스템 설계자는 태스크들의 확률적 시간 제약 조건을 만족시키는 범위내에서 각 태스크에게 최악 처리기 요구량 보다는 적은 처리기 시간을 할당함으로써 시스템 이용률 향상을 추구할 수 있다. 그러나 각 태스크에게 주어진 처리기 할당량이 최악 요구량보다 적은 경우에는 필연적으로 할당량을 초과하는 요구량을 가진 태스크 작업들, 즉 과실행 작업들이 발생하게 되므로 과실행 작업에 대한 제어 기법이 필요하다. 본 논문에서는 연성 실시간 시스템에서의 확률적인 과실행 제어 기법 및 합성 기법을 제안한다. 제안하는 기법은 우선순위 스케줄링의 기반 위에서 각 태스크가 주어진 확률적 시간 제약 조건을 만족할 수 있도록 과실행을 억제함과 동시에, 태스크 실행시간의 가변성으로 인한 여분의 처리기 시간을 일부 과실행 태스크에 유연하게 할당함으로써 시스템 이용률을 향상 시킬수 있다. 본 논문에서는 시스템 모델의 제시와 실험 결과의 분석을 통하여 제안하는 과실행 제어 기법이 마감시간 위반율 측면에서 기존의 기법들보다 우수함을 보이며, 또한 임의의 확률적 시간 제약 조건이 주어질 때 이를 만족시키는 과실행 제어 기법의 매개 변수들을 합성할 수 있음을 보인다.