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