[논문 리뷰] Packet Transactions: A Programming Model for Data-Plane Algorithms at Hardware Speed

Anirudh Sivaraman, Mihai Budiu외 7명|arXiv (Cornell University)|2015. 12. 16.

Interconnection Networks and Systems참고 문헌 44인용 수 11

한 줄 요약

이 논문은 데이터플레인 알고리즘을 위한 C 유사 프로그래밍 언어인 Domino를 소개한다. 이 언어는 패킷 트랜잭션—원자적이고 고립된 코드 블록—을 통해 하드웨어 라인 레이트 성능을 달성한다. 이는 PISA 추상 기계로 컴파일된다. 주요 기여는 하드웨어 재구성 없이도 동적 네트워크 기능을 고수준에서 효율적이고 이식 가능하게 구현할 수 있는 방법을 제공한다는 것이다.

ABSTRACT

Data-plane algorithms execute on every packet traversing a network switch; they encompass many schemes for congestion control, network measurement, active-queue management, and load balancing. Because these algorithms are implemented in hardware today, they cannot be changed after being built. To address this problem, recent work has proposed designs for programmable line-rate switches. However, the languages to program them closely resemble the underlying hardware, rendering them inconvenient for this purpose. This paper presents Domino, a C-like imperative language to express data-plane algorithms. Domino introduces the notion of a packet transaction, defined as a sequential code block that is atomic and isolated from other such code blocks. The Domino compiler compiles Domino code to PISA, a family of abstract machines based on emerging programmable switch chipsets. We show how Domino enables several data-plane algorithms written in C syntax to run at hardware line rates.

연구 동기 및 목표

• 배포 후 업데이트가 불가능한 하드웨어 기반 데이터플레인 알고리즘의 유연성 부족 문제를 해결하기 위해.
• 기존 프로그래머블 스위치 언어의 복잡성 문제를 해결하기 위해, 이들은 낮은 수준의 하드웨어를 그대로 반영하여 이식성과 표현력을 떨어뜨린다.
• 라인 레이트에서 효율적이고 정확하며 유지보수 가능한 데이터플레인 알고리즘을 개발할 수 있도록 고수준 프로그래밍 모델을 설계하기 위해.
• 고수준 알고리즘 설계와 저수준 프로그래머블 스위치 아키텍처 사이의 의미적 격차를 메우기 위해.

제안 방법

• 패킷 트랜잭션 개념 도입: 각 패킷마다 실행되는 순차적이고 원자적이며 고립된 코드 블록.
• 데이터플레인 로직을 패킷 트랜잭션을 사용해 표현할 수 있도록 C 유사 명령형 언어인 Domino를 설계.
• 현대 프로그래머블 스위치 칩셋을 대상으로 하는 PISA라는 추상 기계의 일군으로 Domino 코드를 컴파일.
• 컴파일 시기에 패킷 트랜잭션의 고립성과 원자성을 강제하여 정확성과 성능을 확보.
• PISA의 추상화 계층을 활용해 다양한 프로그래머블 스위치 플랫폼 간 이식성을 확보.
• 정적 분석과 컴파일 기법을 활용해 라인 레이트 처리량을 위한 트랜잭션 실행을 최적화.

실험 결과

연구 질문

• RQ1 고수준의 C 유사 언어로 작성된 데이터플레인 알고리즘이 수작업 최적화된 하드웨어 구현 수준의 성능을 달성할 수 있는가?
• RQ2 패킷 트랜잭션은 정확성과 고립성을 보장할 수 있는 충분한 추상화를 제공하면서도 라인 레이트 성능을 유지할 수 있는가?
• RQ3 Domino는 다양한 프로그래머블 스위치 아키텍처 간에 데이터플레인 알고리즘의 이식성과 유지보수성을 어느 정도 향상시키는가?
• RQ4 Domino에서 PISA로의 컴파일 파이프라인은 기능적 정확성과 성능을 어떻게 유지하는가?

주요 결과

• Domino는 프로그래머블 스위치에서 C 유사 구문으로 작성된 데이터플레인 알고리즘을 하드웨어 라인 레이트 성능으로 실행할 수 있도록 한다.
• 패킷 트랜잭션 추상화는 원자성과 고립성을 보장하여 동시 패킷 처리에서 정확성에 대한 추론을 단순화한다.
• Domino 컴파일러는 고수준 코드를 효율적인 PISA 기계어 코드로 성공적으로 변환하며 기능적 의미를 유지한다.
• 고수준 추상화가 낮은 수준의 하드웨어 구현 수준의 성능에 도달할 수 있음을 입증한다.
• 이 모델은 혼잡도 제어 및 액티브 큐 관리와 같은 다양한 데이터플레인 알고리즘을 성능 저하 없이 라인 레이트에서 지원한다.