[논문 리뷰] Merlin: A Language for Provisioning Network Resources

Robert Soulé, Shrutarshi Basu외 5명|arXiv (Cornell University)|2014. 06. 25.

Software-Defined Networks and 5G인용 수 8

한 줄 요약

Merlin은 소프트웨어 정의 네트워크에서 종단 간 네트워크 정책을 기술하기 위한 고수준의 선언적 프로그래밍 언어이다. 이는 패킷 분류, 전달 경로, 변환 및 대역폭 제약 조건을 표현할 수 있도록 해주며, 혼합정수계획법과 유한 오토마타를 사용하여 효율적이고 제약 기반의 구성으로 정책을 컴파일한다. 또한 글로벌 제약 조건을 위반하지 않도록 정책 수정을 검증하는 협상자들을 통해 동적 적응을 지원한다. 실제 네트워크 토폴로지에서의 스케일러비리티와 표현력이 입증되었다.

ABSTRACT

This paper presents Merlin, a new framework for managing resources in software-defined networks. With Merlin, administrators express high-level policies using programs in a declarative language. The language includes logical predicates to identify sets of packets, regular expressions to encode forwarding paths, and arithmetic formulas to specify bandwidth constraints. The Merlin compiler uses a combination of advanced techniques to translate these policies into code that can be executed on network elements including a constraint solver that allocates bandwidth using parameterizable heuristics. To facilitate dynamic adaptation, Merlin provides mechanisms for delegating control of sub-policies and for verifying that modifications made to sub-policies do not violate global constraints. Experiments demonstrate the expressiveness and scalability of Merlin on real-world topologies and applications. Overall, Merlin simplifies network administration by providing high-level abstractions for specifying network policies and scalable infrastructure for enforcing them.

연구 동기 및 목표

• 대역폭, 미들박스, 고도로 복잡한 패킷 변환을 포함하는 복잡한 네트워크 전역 정책을 관리하는 데에 표현력이 부족한 기존 SDN API의 격차를 메우기 위해.
• 스위치, 미들박스, 종단 호스트를 추상화하는 통합된 고수준 프로그래밍 인터페이스를 제공하여 네트워크 관리의 단순화를 위해.
• 글로벌 제약 조건을 유지하면서 정책 수정을 검증하는 협상자를 통해 동적 정책 적응을 가능하게 하기 위해.
• 고급 컴파일 기법을 사용하여 고수준 정책을 효율적이고 정확한 저수준 구성으로 번역하는 컴파일러를 설계하기 위해.
• 실제 네트워크 토폴로지와 성능 평가를 통해 접근법의 표현력과 스케일러비리를 입증하기 위해.

제안 방법

• Merlin 언어는 패킷 분류를 위한 논리적 술어, 경로 지정을 위한 정규 표현식, 대역폭 제약 조건을 위한 프레스부르 산술을 사용하는 선언적 문법을 사용한다.
• 컴파일러는 정책을 네트워크 구조와 정책 제약 조건을 모두 모델링하는 통합된 논리적 토폴로지로 번역한다.
• 대역폭 제약이 있는 트래픽의 경우, 다중물류 흐름 문제의 변종을 해결하기 위해 혼합정수계획문제를 설정한다.
• 제약이 없는 트래픽의 경우, 유한 오토마타와 정규 표현식 성질을 활용하여 효율적으로 전달 트리를 생성한다.
• 전역 제한을 준수하면서 대역폭 할당을 위해 가변 히우리스틱을 갖춘 제약 해결기를 사용한다.
• 런타임 협상자가 정책 수정(예: 대역폭 변경, 경로 업데이트 등)을 검증하고 글로벌 제약 조건 위반 여부를 보장함으로써 동적 적응을 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떻게 고수준 언어가 패킷 분류, 전달 경로, 변환 및 대역폭 제약 조건을 통합적으로 표현할 수 있는가?
• RQ2 다양한 네트워크 요소를 통해 효율적이고 정확한 저수준 구성으로 고수준 정책을 번역할 수 있는 컴파일 기법은 무엇인가?
• RQ3 글로벌 네트워크 제약 조건을 위반하지 않으면서 동적 정책 업데이트를 안전하게 관리할 수 있는 방법은 무엇인가?
• RQ4 분산된 정책 위임 환경에서 정책 수정을 검증할 경우의 성능 오버헤드는 얼마인가?
• RQ5 정확성과 반응성 유지 조건에서 실세계 데이터센터 및 엔터프라이즈 네트워크 토폴로지에 대해 시스템이 스케일러블한가?

주요 결과

• Merlin 컴파일러는 낮은 컴파일 레이턴시로 실세계 데이터센터 및 엔터프라이즈 네트워크를 성공적으로 구성하고, 스케일러비리를 입증했다.
• 수천 개의 문장과 할당에 대해 수백만 개의 정책 검증이 밀리초 내에 완료되어 빠른 적응이 가능하다.
• 정규 표현식 검증은 제곱 비례로 확장되며, 1,000개의 노드를 가진 복잡한 표현식에 대해 약 3.5초가 소요되지만, 실제 구현에서는 그러한 복잡성이 거의 발생하지 않을 것이다.
• AIMD 및 MMFS 협상자를 사용한 동적 적응은 트래픽 수요 변화에 신속하게 반응함을 통해 시간에 따른 스루풋 트레이스를 통해 입증되었다.
• Merlin은 대역폭 보장을 강제하고 효율적인 경로 할당을 통해 데이터 분석 및 복제 시스템의 애플리케이션 성능을 향상시켰다.
• 제약 해결 및 위임된 정책 수정의 형식적 검증을 통해 정확하고 글로벌 일관성 있는 구성이 달성되었다.