LogFire: 신뢰할 수 있는 시스템 모니터링을 위한 규칙 기반 런타임 검증

규칙 기반 시스템은 런타임 검증(RV)/프로그램 모니터링에 자연스러워 보입니다. 사양 표기법 관점에서 규칙 기반 시스템은 런타임 검증 커뮤니티가 일반적으로 작성하는 속성 유형을 표현하는 데 꽤 적합해 보입니다. 규칙 시스템으로 작성된 사양은 운영적 성격을 가지며, 이는 관점에 따라 단점이나 장점이 될 수 있습니다. 운영적 성격은 선언적 시간 논리나 정규 표현식보다 사양을 더 길게 만들지만, 작성하기는 자연스럽습니다. 핵심 아이디어를 마스터하면 규칙 작성은 프로그래밍처럼 간단합니다. 더 선언적 사양은 제대로 만들기 더 까다로울 수 있습니다. 이 관찰은 비사소한 속성을 상태 머신으로 공식화하는 것이 시간 논리 공식이나 정규 표현션으로 하는 것보다 더 쉬울 수 있다는 관찰과 유사합니다.

JPL의 로버와 우주선은 작동 시 텔레메트리 스트림을 생성합니다. 텔레메트리 스트림은 본질적으로 영구 메모리에 로그로 저장되는 이벤트 시퀀스입니다. 임무 운영은 이러한 로그가 올바른지 자동으로 확인해야 합니다. LogFire는 이러한 로그 확인에 사용될 수 있습니다. 예를 들어 LogFire는 운영 엔지니어가 로버가 올바른 단계를 수행하는지 자동으로 보장할 수 있게 합니다.

LogFire는 로그 파일을 읽고 형식 사양과 대조하여 확인합니다. 사양은 규칙 기반 언어로 공식화할 수 있습니다. 규칙 기반 사양 언어는 Scala 프로그래밍 언어의 API로 구현됩니다. 이는 규칙과 전통적인 프로그래밍을 혼합할 수 있어 매우 강력한 사양 언어가 됩니다.

Scala에서 API로 규칙 기반 언어를 정의하는 것은 Scala의 내부 DSL(Domain-Specific Language) 정의 지원으로 인해 DSL의 외관을 가집니다. 잘 알려진 RETE 알고리즘 기반 규칙 엔진은 또한 이벤트 개념으로 보강되었습니다. 이벤트는 규칙 엔진이 일반적으로 작동하는 오래 지속되는 사실과 달리 순간적입니다. 마지막으로, 인덱싱 메서드로 데이터가 있는 이벤트를 처리하도록 엔진을 최적화했습니다.

LogFire는 또한 사양 패턴을 쉽게 인코딩하여 규칙을 생성할 수 있습니다. 시간 논리와 타임라인의 단편으로 사양 패턴을 정의하는 것은 비교적 간단합니다. 이 패턴의 인스턴스는 규칙으로 변환됩니다. 흥미로운 뉘앙스는 이러한 템플릿이 데이터 매개변수화된 이벤트를 허용한다는 것입니다. 결과 구현을 다른 6개의 런타임 검증 및 규칙 기반 시스템과 비교하는 실험이 수행되었습니다.

NASA는 이 소프트웨어를 자유롭게 라이선스하고 오픈 소스 프로젝트를 위해 일반용으로 제공하려 합니다. NASA 라이선싱 컨시어지(이메일: 스팸 방지를 위해 자바스크립트 필요, 전화: 202-358-7432)에 연락하여 라이선스 논의를 시작하세요.