NosRacer: 온디바이스 네트워크 운영체제(NOS)의 레이스 조건 동적 탐지

상용 온디바이스 네트워크 운영체제(NOSes)는 프로덕션 라우터 및 스위치에서 복잡한 제어 평면을 실행하며, 여기서 구성 업데이트 작업은 비동기 메시지 전달을 통해 여러 느슨하게 결합된 컴포넌트에 의해 실행됩니다. 이러한 실행은 레이스 조건에 취약합니다. 즉, 동일한 순서의 입력 명령이 메시지가 다른 순서로 전달될 때 서로 다른 결과를 산출할 수 있습니다. 레이스 조건은 종종 미묘하고 지연되는 오작동으로만 나타나기 때문에 노출하기 어렵습니다. 기존의 정적 분석 기법은 대규모 산업용 NOS에 대한 확장성과 정밀도가 부족하며, 동적 분석 기법은 비동기 메시지 간섭(interleaving) 공간을 커버하려고 할 때 상당한 시스템 실행 비용이 발생합니다. 위와 같은 문제들을 해결하기 위해, 우리는 산업 등급의 온디바이스 NOS에서 레이스 조건 탐지를 위한 동적 분석 프레임워크인 NosRacer를 제시합니다. NosRacer는 2단계 설계를 사용합니다. 집중(concentration) 단계에서는 구성 업데이트 작업의 지역성(locality)을 활용하여 분석 범위를 줄입니다. 이후 레이스 조건 탐지는 관련된 소수의 컴포넌트와 핵심 상태 변수로 제한되어 탐지 비용을 줄입니다. 교란(perturbation) 단계에서는 레이스 조건을 노출하는 메시지 간섭이 발생할 가능성을 높이기 위해 메시지의 비동기성을 선제적으로 교란합니다. 이 과정은 호환 가능한 교란들을 그룹화하여 병렬 실행하고, 적응적으로 교란을 강화함으로써 실용성을 유지합니다. 우리는 NosRacer를 상업적이고 활발하게 개발되는 NOS에 구현했습니다. NosRacer는 기존 테스트 팩토리에 통합되어 5개의 핵심 제어 평면 컴포넌트에서 레이스 조건을 탐지하는 데 사용되었습니다. NosRacer는 66%의 정밀도를 달성했으며, 개발자들에 의해 심각한 버그로 확인된 21개의 레이스 조건을 탐지하면서도 탐지 오버헤드를 10% 미만으로 유지했습니다.