[논문 리뷰] A Distributed SDN Control Plane for Consistent Policy Updates

Marco Canini, Petr Kuznetsov외 2명|arXiv (Cornell University)|2013. 05. 31.

Software-Defined Networks and 5G참고 문헌 20인용 수 3

한 줄 요약

이 논문은 트랜잭션 인터페이스를 통해 각 패킷 수준의 일致성 있는 정책 업데이트를 보장하는 분산 SDN 제어 평면을 제안한다. 이는 동시성과 장애 내성 있는 정책 조합을 가능하게 한다. 논문은 일致성 있는 정책 조합(CPC) 문제를 도입하고, f-장애내성 시스템에서 최적의 태그 복잡도 $f+2$ 를 달성하는 두 가지 프로토콜—FixTag와 ReuseTag—를 제시한다. ReuseTag는 복제된 상태기계를 통해 갈등 해결을 위한 총순서를 보장한다.

ABSTRACT

Software-defined networking (SDN) is a novel paradigm that out-sources the control of packet-forwarding switches to a set of software controllers. The most fundamental task of these controllers is the correct implementation of the \emph{network policy}, i.e., the intended network behavior. In essence, such a policy specifies the rules by which packets must be forwarded across the network. This paper studies a distributed SDN control plane that enables \emph{concurrent} and \emph{robust} policy implementation. We introduce a formal model describing the interaction between the data plane and a distributed control plane (consisting of a collection of fault-prone controllers). Then we formulate the problem of \emph{consistent} composition of concurrent network policy updates (short: the \emph{CPC Problem}). To anticipate scenarios in which some conflicting policy updates must be rejected, we enable the composition via a natural \emph{transactional} interface with all-or-nothing semantics. We show that the ability of an $f$-resilient distributed control plane to process concurrent policy updates depends on the tag complexity, i. e., the number of policy labels (a.k.a. \emph{tags}) available to the controllers, and describe a CPC protocol with optimal tag complexity $f+2$.

연구 동기 및 목표

• 분산적이고 장애가 발생할 수 있는 SDN 제어 평면에서 동시적이고 일관된 정책 업데이트 문제를 해결하기 위해.
• 갈등 해결을 위한 전부 또는 없음 의미 체계를 갖춘 동시 네트워크 정책 업데이트의 일관성 있는 조합 문제(CPC 문제)를 체계화하기 위해.
• 정책 업데이트 중에도 각 패킷 수준의 일관성을 유지하는 장애 내성적인 분산 프로토콜을 설계하여, 오래된 정책과 새로운 정책의 혼합 상태에서 패킷이 처리되는 것을 방지하기 위해.
• 최대 $f$개의 컨트롤러 장애에 내성을 확보하면서도 태그 복잡도—사용되는 정책 레이블의 수—를 최소화하기 위해.
• 소프트웨어 트랜잭션 메모리(STM)와 같은 분산 컴퓨팅 모델과의 연결을 통해, 강건하고 확장 가능한 SDN 제어의 이론적 기반을 마련하기 위해.

제안 방법

• 장애 발생 가능성이 있는 컨트롤러와 패킷 수준의 일관성을 갖는 모델을 사용하여 데이터 평면과 분산 제어 평면 간의 상호작용을 체계화하기 위해.
• 소프트웨어 트랜잭션 메모리(STM)에 영감을 얻은 CPC 추상화를 도입하여, 정책 업데이트를 위한 전부 또는 없음 의미 체계를 갖춘 트랜잭션 인터페이스를 제공하기 위해.
• 업데이트를 직접 데이터 평면에 적용하고 갈등을 점진적으로 해결하는 wait-free 알고리즘인 FixTag 프로토콜을 설계하여, 업데이트 수에 비례하는 선형 태그 복잡도를 확보하기 위해.
• 업데이트에 대한 총순서를 보장하기 위해 복제된 상태기계 접근 방식을 사용하는 ReuseTag 프로토콜을 제안하여, $f$-장애내성에 대해 최적의 태그 복잡도 $f+2$ 를 달성하기 위해.
• 일관된 업데이트를 위해 SDN 포트에서 원자적 읽기-수정-쓰기 연산을 최소 시스템 요구사항으로 삼으며, 이는 부록 A에서 필수적임을 증명하였다.
• 스위치 컨트롤러에서 동시성, 메시지 오버헤드, 메모리 사용량 간의 상호 교환 관계를 분석하여, ReuseTag에서 최적의 태그 복잡도를 달성하기 위해 순차적 업데이트 실행 비용이 수반됨을 보여주었다.

실험 결과

연구 질문

• RQ1 분산 SDN 제어 평면은 컨트롤러 장애를 견디면서도 동시 정책 업데이트 중에 각 패킷 수준의 일관성을 유지할 수 있는가?
• RQ2 f-장애내성 분산 제어 평면이 일관된 정책 조합을 달성하기 위해 필요한 최소 태그 복잡도는 얼마인가?
• RQ3 처리 중인 패킷에 영향을 주지 않고 갈등이 발생하는 정책 업데이트를 어떻게 해결할 수 있는가? 네트워크 환경에서 트랜잭션 의미 체계를 보장하기 위해.
• RQ4 장애 내성적이고 분산된 SDN 제어 평면에서 일관성을 훼손하지 않고 동시 정책 업데이트를 얼마나 지원할 수 있는가?
• RQ5 분산 환경에서 일관된 네트워크 업데이트를 가능하게 하기 위해 필수적인 기본 시스템 프리미티브(예: 원자적 연산)는 무엇인가?

주요 결과

• ReuseTag 프로토콜은 f-장애내성 시스템에서 최적의 태그 복잡도 $f+2$ 를 달성하며, 이 한계가 날카로운 것임을 증명하였다.
• FixTag 프로토콜은 업데이트 수에 비례하는 선형 태그 복잡도로 동시 업데이트를 지원하지만, 최적의 태그 복잡도를 달성하지 못한다.
• 논문은 SDN 포트에서 원자적 읽기-수정-쓰기 연산이 없이 일관된 네트워크 업데이트가 불가능하다는 것을 증명하여, 최소 시스템 요구사항을 설정하였다.
• CPC 추상화는 순차적 조합의 직관과 옵티미스틱 업데이트 적용을 결합하여 실제 네트워크 관리 시나리오를 효과적으로 모델링하였으며, 동시성과 장애 상황에서도 정확성을 보장한다.
• ReuseTag 프로토콜은 최악의 경우 순차적 업데이트 설치로 축소되며, 태그 효율성과 동시성 간의 근본적인 상충 관계를 드러낸다.
• 이 작업은 SDN 제어와 소프트웨어 트랜잭션 메모리(STM)와 같은 분산 컴퓨팅 모델 간의 공식적 연결을 수립하여, 교차 분야의 통찰을 가능하게 하였다.