[논문 리뷰] On the Resilience of Routing Tables

Joan Feigenbaum, Brighten Godfrey외 4명|arXiv (Cornell University)|2012. 07. 16.

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

한 줄 요약

이 논문은 패킷 헤더를 수정하지 않고 실패 복구 경로를 포워딩 테이블에 직접 통합함으로써 단일 링크 장애 이후 빠르고 국소적인 복구를 가능하게 하는 내성적 라우팅 테이블을 공식적으로 연구한다. 1-내성성—임의의 단일 링크 장애 이후에도 보장을 보장하는 것—은 항상 다항시간 계산으로 달성 가능하지만, 전반적인 전송 루프 제약 조건으로 인해 일반적으로 완벽한 내성성(임의의 장애 집합에 대해 보장을 보장하는 것)은 이론적으로 불가능하다.

ABSTRACT

Many modern network designs incorporate "failover" paths into routers' forwarding tables. We initiate the theoretical study of the conditions under which such resilient routing tables can guarantee delivery of packets.

연구 동기 및 목표

• 패킷 헤더를 수정하지 않고 로컬로 실패 복구 경로를 통합한 내성적 라우팅 테이블의 이론적 한계를 공식적으로 분석하는 것.
• 링크 장애 이후 종단 간 패킷 전달을 보장할 수 있는 내성적 라우팅 테이블이 어떤 조건을 만족해야 하는지 규명하는 것.
• 임의의 수의 장애에 대해 전달을 보장하는 완벽한 내성성—즉, 어떤 수의 장애에도 보장을 보장하는 것—이 일반적으로 달성 가능한지 여부를 확인하는 것.
• 기존의 헤더 수정 또는 전역 재수렴에 의존하는 방법과는 대조적으로 제안된 접근 방식을 분석하는 것.

제안 방법

• 네트워크는 소스 집합에 속하지 않는 목적지 노드 d를 갖는 무방향 그래프 G=(V,E)로 모델링된다.
• 포워딩 패턴 f^d는 들어오는 간선과 활성 인cidient 간선을 출력 간선로 매핑하는 국소 포워딩 함수 f_i^d의 튜플로 정의된다.
• 작성자들은 네트워크를 기반 포워딩 규칙을 정의하기 위해 간선 방향을 사용하는 방향성 있는 비순환 그래프(DAG) D를 G에서 구성한다.
• 구성 알고리즘이 단일 링크 장애 상황에서도 루프가 발생하지 않도록 최소한의 노드를 사용해 점진적으로 경로를 연장함으로써 1-내성적 포워딩 패턴을 계산한다.
• 핵심 레마는 완벽하게 내성적인 시스템에서, 대체 경로가 존재하는 경우 노드가 패킷을 소스 쪽으로 되돌려보내서는 안 되며, 루프를 피하기 위해 순환 포워딩 순서를 사용해야 한다고 규명한다.
• 대칭 그래프 구조를 사용한 모순 증명을 통해 순환 포워딩과 백트래킹이 피할 수 없는 루프를 유도함을 보여, 부정적 결과를 입증한다.

실험 결과

연구 질문

• RQ1 임의의 루프 없는 초기 포워딩 테이블을 가진 네트워크에서, 단일 링크 장애 이후에도 항상 전달을 보장할 수 있는 내성적 라우팅 테이블을 구성할 수 있는가?
• RQ2 임의의 링크 장애 집합에 대해 전달을 보장하는 포워딩 패턴을 설계하는 것이 가능한가? (즉, 완벽한 내성성은 가능한가?)
• RQ3 일반적인 네트워크 구조에서 완벽한 내성성을 방해하는 구조적 제약 조건은 무엇인가?
• RQ4 로컬 포워딩 규칙이 장애 발생 시 루프를 피하기 위해 글로벌 네트워크 연결성과 어떻게 상호작용하는가?

주요 결과

• 임의의 루프 없는 초기 포워딩 테이블을 가진 네트워크에서는 항상 다항시간 내에 1-내성적 포워딩 패턴을 계산할 수 있다.
• 이 구성은 네트워크를 DAG로 방향화하고, 위상 순서 및 최소 노드 선택 기반으로 포워딩 규칙을 정의하는 데 의존한다.
• 완벽한 내성성—임의의 수의 장애에 대해 전달을 보장하는 것—은 반례를 통해 피할 수 없는 전송 루프로 인해 일반적으로 불가능하다.
• 완벽한 내성성에 필요한 조건은, 대체 경로가 존재하는 경우 어떤 노드도 패킷을 소스 쪽으로 되돌려보내서는 안 된다는 것이며, 이 조건은 대칭 구조에서 위반된다.
• 일부 장애 상황에서는 이웃 노드들 사이의 순환 포워딩 순서가 유효한 목적지 경로가 존재하는 경우에도 루프를 유도할 수 있으며, 이는 내성성의 위반을 초래한다.
• 네트워크가 여전히 구조적으로 연결되어 있어도 이 불가능성 결과는 유지되며, 이는 내성성이 본질적으로 국소 포워딩 논리의 제약에 의해 제한된다는 것을 보여준다.