[논문] GapFuzz: 분산 SDN 컨트롤러를 위한 교차 평면 다이버전스 퍼징
개요
분산 소프트웨어 정의 네트워킹(SDN) 클러스터는 마스터 노드와 백업 노드 간에 흐름 상태를 비동기적으로 복제합니다. 이 과정에서 두 백업 노드가 서로 모순되는 규칙을 각각 커밋하고, 마스터가 이를 데이터 플레인에 순차적으로 적용하며, 커널 데이터패스가 어느 노드도 권위 있다고 여기지 않는 동작에 고정되는 창이 발생합니다. 기존 SDN 퍼저들은 이 결함을 놓치고 있습니다. 이유는 오라클을 제어 플레인에만 국한하거나, 단일 컨트롤러만을 대상으로 하거나, 복제 경쟁을 유발하도록 동시성을 유도하지 않기 때문입니다. 우리는 GapFuzz라는 상태 기반 동시성 퍼저를 제안합니다. GapFuzz는 두 비마스터 노드에 모순되는 Northbound 요청을 쌍으로 삽입하고, 삽입 간 지연 $Δt$를 제어합니다. 이후 모든 복제본을 질의하고, ovs‑appctl ofproto/trace를 통해 커널 데이터패스 동작을 조회함으로써 전역 교차 플레인 상태를 재구성합니다. 두 단계의 타이밍 탐색을 통해 발산 여부를 판단하고, $Δt$를 두 배씩 늘리며 이분 탐색하여 삽입 시간 창을 한정합니다. 수명 프로브는 각 판정을 일시적 또는 지속적으로 라벨링하고, ONOS 2.7 소스에서 도출한 네 가지 교차 플레인 상태 클래스 중 하나에 할당합니다. 3노드 ONOS 2.7 클러스터에서 GapFuzz는 시도 81.7%($N=50$, Wilson 95% CI $[77.3, 85.4]$%)에서 발산 판정을 생성했으며, 모든 발산은 클러스터의 권위 있는 상태와 커널 데이터패스 사이에 존재했습니다. 2단계에서는 한 템플릿에 대해 5 ms 경쟁 창을, 나머지 여섯 템플릿에 대해서는 $Δt_{\max}=10.24$ s의 두 배 증가 구간을 구분했으며, 발산의 99.4%가 30 s 이상 지속되었습니다. 커널 데이터패스 프로브를 기존 퍼저들이 사용한 OpenFlow 사용자 공간 프로브로 교체하면 전체 탐지율이 26.6%포인트 감소하고, 정규화에 의해 강제된 판정을 제외하면 46.5%포인트 감소했습니다.
주요 기여
이 논문은 다음 분야의 연구를 제시합니다.
- cs.SE
방법론
자세한 방법론은 전체 논문을 참고하십시오.
실용적 함의
이 연구는 cs.SE 분야의 발전에 기여합니다.
저자
- Moustapha Awwalou Diouf
- Samuel Ouya
- Jacques Klein
- Tegawendé F. Bissyandé
논문 정보
- arXiv ID: 2606.11035v1
- 분류: cs.SE
- 발표일: 2026년 6월 9일
- PDF: PDF 다운로드