8장. 실시간 커널의 런타임 확인
런타임 확인은 시스템 이벤트와 공식 사양 간의 동작 동일성을 확인하는 가볍고 엄격한 방법입니다. 런타임 확인에는 추적 지점에 연결하는 커널에 통합된 모니터가 있습니다
. 시스템 상태가 정의된 사양에서 벗어나는 경우 런타임 확인 프로그램은 반응기를 활성화하여 로그 파일에서 이벤트를 캡처하거나 시스템 종료와 같은 응답을 활성화하여 극단적인 경우 오류 전파를 방지합니다.
8.1. 런타임 모니터 및 반응기
RV(런타임 확인) 모니터는 RV 모니터 내에 캡슐화되고 정의된 사양과 커널 추적 간에 조정되어 추적 파일에서 런타임 이벤트를 캡처합니다. RV 모니터에는 다음이 포함됩니다.
- 참조 모델은 시스템의 참조 모델입니다.
- 모니터 인스턴스는 CPU당 모니터 또는 작업별 모니터와 같은 모니터의 인스턴스 집합입니다.
- 모니터를 시스템에 연결하는 도우미 기능입니다.
런타임 시 시스템을 확인하고 모니터링하는 것 외에도 예기치 않은 시스템 이벤트에 대한 응답을 활성화할 수 있습니다. 반응 방식은 안전 크리티컬 시스템에서 시스템 실패를 방지하기 위해 종료와 같은 극단적인 반응을 시작하기 위해 추적 파일에서 이벤트를 캡처하는 것과는 다를 수 있습니다.
반응기는 필요에 따라 시스템 이벤트에 대한 응답을 정의하기 위해 RV 모니터에 사용할 수 있는 반응 방법입니다. 기본적으로 모니터는 작업의 추적 출력을 제공합니다.