[논문 리뷰] A Promise Theory Perspective on Data Networks

Paul Borril, Mark Burgess외 2명|arXiv (Cornell University)|2014. 05. 12.

Cloud Computing and Resource Management참고 문헌 13인용 수 5

한 줄 요약

이 논문은 자율 에이전트를 위한 바닥에서부터 시작하는 분산형 모델링 프레임워크인 프라미스 이론을 적용하여, 지시어 기반 제어가 아닌 선언적 의도 중심의 데이터 네트워킹을 재구성한다. 스케일링 가능하고 자가 치유 기능을 갖춘 네트워크가 네트워크 구성 요소 간의 협력적 프라미스로부터 자연스럽게 발생함을 보여주며, 중심집중식이고 프로토콜 중심의 아키텍처에 비해 원칙적인 대안을 제공함으로써 내구성과 복잡성 감소를 향상시킨다.

ABSTRACT

Networking is undergoing a transformation throughout our industry. The need for scalable network control and automation shifts the focus from hardware driven products with ad hoc control to Software Defined Networks. This process is now well underway. In this paper, we adopt the perspective of the Promise Theory to examine the current and future states of networking technologies. The goal is to see beyond specific technologies, topologies and approaches and define principles. Promise Theory's bottom-up modeling has been applied to server management for many years and lends itself to principles of self-healing, scalability and robustness.

연구 동기 및 목표

• 지난해의 복잡성과 취약성을 줄이기 위해 지시어 기반의 하드웨어 중심 제어에서 선언적이고 의도 기반 원칙으로의 전환을 통해 현대 네트워크 설계의 복잡성과 취약성을 해결하고자 한다.
• 네트워크의 확장성, 내구성, 자가 치유 기능이 중심집중식 제어에 의존하지 않고 자율 에이전트 간의 분산 협력에서 자연스럽게 발생할 수 있음을 보여주고자 한다.
• 저수준 프로토콜을 추상화하고 네트워크에서 협력적 행동을 위한 필수적이고 충분한 조건을 집중적으로 다루는 통합 이론적 프레임워크인 프라미스 이론을 제공하고자 한다.
• 중심집중식 관리와 복잡한 상태 기반 프로토콜에 과도하게 의존하는 현재의 네트워킹 관행을 비판하고, 더 단순하고 조합 가능한 추상화를 대안으로 제안하고자 한다.
• 응용 프로그램 수준의 요구사항이 프로토콜 구성이 아닌 프라미스를 통해 네트워크 기능과 기업 요구사항 간의 일치를 향상시키는 방식으로 매핑될 수 있는지 탐색하고자 한다.

제안 방법

• 인터페이스, 라우터 등 네트워크 구성 요소를 프라미스를 이행하는 자율 에이전트로 모델링하고, 공식적인 프라미스 표기법을 사용한다: $\rm Promiser \xrightarrow{b} Promisee$.
• 제공하는 프라미스(+b)와 수락하는 프라미스(−b)를 구분하고, 이러한 프라미스의 매칭을 통해 유사 계약과 같은 유사 계약 기반 협력 합의를 형성한다.
• 이론적 프라미스 형식을 이더넷(L2), ARP, TCP와 같은 실제 프로토콜에 적용하여, 이러한 프로토콜의 동작이 지시어 기반 절차가 아니라 프라미스의 그래프로 기술될 수 있음을 보여준다.
• 상호작용을 모델링하기 위해 '임포지션'(예: 전송 요청 또는 수신 요청) 개념을 사용하며, 협력은 수락하는 프라미스와 매칭되어야 한다.
• 네트워크 확장성과 내구성을 중심으로, 낮은 지연, 장애 복구, 인간이 이해할 수 있는 성질 등의 체계적 프라미스로 재정의한다.
• 신뢰성과 예측 가능성은 제어에서 비롯되지 않고, 프라미스의 일관성과 완전성에서 유래함을 제안하며, 불확실성을 고려한 현실적인 네트워크 관리 접근법을 가능하게 한다.

실험 결과

연구 질문

• RQ1 네트워크 설계를 중심집중적이고 지시어 기반 제어에서 분리하여 자율적이고 협력적인 프라미스 기반 모델링으로 전환할 수 있는 방법은 무엇인가?
• RQ2 분산형 에이전트 상호작용에서 확장성 있고 내구적이며 자가 치유 기능을 갖춘 네트워크 행동이 어떻게 발생하는가에 대한 원칙은 무엇인가?
• RQ3 응용 프로그램 수준의 요구사항을 저수준 프로토콜 구성이 아닌 선언적 프라미스로 어떻게 표현할 수 있는가?
• RQ4 프라미스 이론은 현대 데이터센터 및 클라우드 네트워킹을 위한 더 조합 가능하고 유지보수 용이한 추상화 계층을 어떻게 가능하게 하는가?
• RQ5 프로토콜 수준의 변경 없이도 프라미스 이론의 원칙을 사용해 OSPF, VLAN, IPv6, MPLS와 같은 기존 네트워킹 기술을 평가하고 개선할 수 있는가?

주요 결과

• 이더넷, ARP, TCP와 같은 프로토콜의 네트워크 동작은 협력이 제공하는 프라미스와 수락하는 프라미스의 매칭에서 발생하는 프라미스의 그래프로 정확하게 기술될 수 있다.
• 프라미스 형식은 중심집중식 제어에 의존하지 않고도 내구성, 확장성, 장애 복구와 같은 핵심 네트워크 성질을 체계적 약속을 통해 자연스럽게 포괄한다.
• 정확하고 예측 가능한 상호작용을 보장하기 위해 수락 프라미스(−b)와 제공 프라미스(+b)를 명시적으로 모델링해야 하며, 이는 네트워크 동작의 모호성을 방지한다.
• 요청과 같은 '임포지션'과 해당하는 프라미스의 매칭을 통해 계약과 유사한 상호작용 모델을 구현할 수 있으며, 이는 오직 의도된 협력만이 발생하도록 보장한다.
• 분산형이고 프라미스 기반의 설계는 상태 기반의 지시어 기반 프로토콜의 취약성을 피하기 때문에 더 견고하고 조합 가능한 네트워크를 이끈다.
• 논문은 네트워크의 예측 가능성은 제어에서 비롯되지 않고 프라미스의 완전성과 일관성에서 비롯됨을 결론 내리며, 전통적인 네트워크 공학의 대안으로 현실적이고 불확실성을 고려한 접근법을 제안한다.