[논문 리뷰] Programming Protocol-Independent Packet Processors

Pat Bosshart, Dan Daly외 8명|arXiv (Cornell University)|2013. 12. 05.

Software-Defined Networks and 5G참고 문헌 10인용 수 26

한 줄 요약

이 논문은 소프트웨어 정의 네트워크에서 패킷 프로세서를 프로그래밍하기 위한 고수준의 프rotocol-독립적 언어인 P4를 소개한다. 이는 다양한 하드웨어 타겟에서 런타임 재구성 가능성을 제공하며, P4 프로그램을 특정 스위치 아키텍처로 매핑하는 컴파일러를 통해 저수준의 구현 세부 정보를 추상화함으로써, 유연하고 확장 가능하며 제조사에 관계없이 적용 가능한 네트워크 제어를 가능하게 한다.

ABSTRACT

P4 is a high-level language for programming protocol-independent packet processors. P4 works in conjunction with SDN control protocols like OpenFlow. In its current form, OpenFlow explicitly specifies protocol headers on which it operates. This set has grown from 12 to 41 fields in a few years, increasing the complexity of the specification while still not providing the flexibility to add new headers. In this paper we propose P4 as a strawman proposal for how OpenFlow should evolve in the future. We have three goals: (1) Reconfigurability in the field: Programmers should be able to change the way switches process packets once they are deployed. (2) Protocol independence: Switches should not be tied to any specific network protocols. (3) Target independence: Programmers should be able to describe packet-processing functionality independently of the specifics of the underlying hardware. As an example, we describe how to use P4 to configure a switch to add a new hierarchical label.

연구 동기 및 목표

• OpenFlow 1.x의 한계를 해결하기 위해, 헤더 필드를 하드코딩하고 새로운 프로토콜이 등장할 때마다 확장성이 부족한 점을 개선한다.
• 배포된 스위치에서 패킷 처리를 런타임으로 재구성할 수 있도록 하여 동적 프로토콜 업데이트를 지원한다.
• 고수준 언어를 통해 패킷 처리 로직을 기반 하드웨어에서 분리함으로써 타겟 독립적 프로그래밍을 가능하게 한다.
• P4 프로그램을 소프트웨어 스위치, ASIC, NPU를 포함한 다양한 스위치 타겟으로 매핑하는 컴파일러 기반 컴파일 스택을 제공한다.
• OpenFlow 2.0의 초안 제안서로 기능하여, 향후 컨트롤러가 전달 동작을 정의할 수 있도록 하되 고정된 스위치 설계에 제약을 받지 않도록 한다.

제안 방법

• 프로토콜에 독립적인 방식으로 패킷 헤더, 파서, 매치-액션 테이블, 제어 흐름을 기술하기 위한 고수준 도메인 특화 언어(P4)를 설계한다.
• 두 단계의 컴파일 과정을 정의한다: 첫째, P4 제어 프로그램을 테이블 의존성 그래프로 변환하고, 둘째, 이 그래프를 타겟별 스위치 자원에 매핑한다.
• 패킷 파싱을 위한 상태 기계 표현을 사용하며, 상태 테이블이 필드 값(예: VLAN ID, EtherType)에 따라 전이를 정의한다.
• 스위치의 기능에 따라 순차적, 병렬적, 또는 파이프라인 테이블 실행 모델을 지원한다.
• TCAM을 통한 삼항 매칭, RAM을 통한 정확한 매칭, 후행 처리를 위한 메타데이터 전파 등 타겟별 최적화를 허용한다.
• 필요에 따라 여러 개의 P4 테이블을 하나의 물리적 테이블로 조합하거나 매핑할 수 있도록 하며, 특히 자원이 제한된 스위치에서 유용하다.

실험 결과

연구 질문

• RQ1 하드웨어 재설계나 프로토콜 전용 확장 없이도 런타임에서 패킷 처리를 재구성할 수 있는 네트워크 프로그래밍 언어의 설계는 어떻게 이루어질 수 있는가?
• RQ2 단일 고수준 언어로 기반 스위치 아키텍처에 관계없이 패킷 처리 로직을 표현할 수 있도록 하는 설계 원칙은 무엇인가?
• RQ3 고수준의 P4 프로그램을 소프트웨어 스위치, ASIC, NPU를 포함한 다양한 타겟 스위치로 효과적으로 매핑할 수 있는 컴파일러는 어떻게 설계되어야 하는가? 이 과정에서 정확성과 성능를 유지하는 방법은 무엇인가?
• RQ4 어떤 메커니즘이 패킷 처리에서 프로토콜 독립성을 가능하게 하여, 제어 평면이나 스위치 펌웨어를 수정하지 않고도 새로운 또는 커스텀 헤더 포맷을 지원할 수 있도록 하는가?
• RQ5 언어 및 컴파일 기법을 통해 컨트롤러 로직과 스위치 구현 간의 책임 분리를 어떻게 달성할 수 있는가?

주요 결과

• P4는 현장에서 완전한 재구성 가능성을 제공하여, 네트워크 운영자가 하드웨어 변경 없이도 배포 후 패킷 파싱 및 처리 로직을 업데이트할 수 있다.
• 언어가 타겟에 특화된 세부 정보를 추상화함으로써 패킷 처리 로직을 하드웨어에서 분리함으로써 다양한 스위치 플랫폼 간 이식성을 확보했다.
• 컴파일러는 하나의 P4 프로그램을 소프트웨어 스위치, TCAM/RAM 기반 하드웨어 스위치, 재구성 가능한 파이프라인 등 다양한 타겟 아키텍처로 매핑할 수 있다.
• 테이블 의존성 그래프 생성 후 타겟별 매핑을 수행하는 두 단계의 컴파일 과정은 성능 및 자원 사용 최적화를 가능하게 한다.
• 특히 자원이 제한된 스위치에서 유용한 룰 조합 기법을 통해 여러 개의 P4 테이블을 적은 수의 물리적 테이블로 효율적으로 매핑할 수 있다.
• 현대 ASIC를 사용하여 테라비트 속도에서 프로토콜 독립적 패킷 처리가 가능하다는 것이 모델링을 통해 입증되었으며, 이는 제안된 접근 방식의 실용성을 확인한다.