[논문 리뷰] On the Feasibility of Perfect Resilience with Local Fast Failover

Klaus-Tycho Foerster, Juho Hirvonen외 3명|HAL (Le Centre pour la Communication Scientifique Directe)|2020. 06. 11.

Interconnection Networks and Systems인용 수 5

한 줄 요약

이 논문은 로컬 빠른 장애 복구 기반으로 컴퓨터 네트워크에서 완벽한 내성성(Perfect Resilience)을 달성할 수 있는지 여부를 조사한다. 여기서 노드는 오직 로컬 링크 상태에 기반해 전달 결정을 내린다. 비평면 그래프에서는 완벽한 내성성이 불가능하며, 일부 평면 그래프 역시 마찬가지이지만, 외부 평면 그래프 및 관련 클래스에서는 단순한 '고장난 링크 건너뛰기' 전략을 통해 완벽한 내성성이 달성 가능하다. 이는 그래프 미니처와 네트워크 내성성 간의 핵심적 연결 고리를 확립한다.

ABSTRACT

In order to provide a high resilience and to react quickly to link failures, modern computer networks support fully decentralized flow rerouting, also known as local fast failover. In a nutshell, the task of a local fast failover algorithm is to pre-define fast failover rules for each node using locally available information only. These rules determine for each incoming link from which a packet may arrive and the set of local link failures (i.e., the failed links incident to a node), on which outgoing link a packet should be forwarded. Ideally, such a local fast failover algorithm provides a perfect resilience deterministically: a packet emitted from any source can reach any target, as long as the underlying network remains connected. Feigenbaum et al. (ACM PODC 2012) and also Chiesa et al. (IEEE/ACM Trans. Netw. 2017) showed that it is not always possible to provide perfect resilience. Interestingly, not much more is known currently about the feasibility of perfect resilience. This paper revisits perfect resilience with local fast failover, both in a model where the source can and cannot be used for forwarding decisions. We first derive several fairly general impossibility results: By establishing a connection between graph minors and resilience, we prove that it is impossible to achieve perfect resilience on any non-planar graph; furthermore, while planarity is necessary, it is also not sufficient for perfect resilience. On the positive side, we show that graph families closed under link subdivision allow for simple and efficient failover algorithms which simply skip failed links. We demonstrate this technique by deriving perfect resilience for outerplanar graphs and related scenarios, as well as for scenarios where the source and target are topologically close after failures.

연구 동기 및 목표

• 로컬이고 분산된 전달 결정만을 사용하는 네트워크에서 완벽한 내성성이 달성 가능한 조건을 규명하는 것.
• 전체 지식이 없고 로컬 정보에 의존하는 상황에서도 완벽한 내성성이 가능한 그래프 클래스를 특정하는 것.
• 원천 매칭이 안정적인 전달 패턴을 가능하게 하거나 제한하는 방식을 탐구하는 것.
• 특히 평면성과 링크 분할에 대한 닫힘 성질을 포함한 구조적 그래프 이론적 성질이 완벽한 내성성의 가능성을 결정짓는 방식을 규명하는 것.
• 그래프 미니처와 연결성 측면에서 내성성의 한계를 규명하는 것—특히 고장 후 원천과 목적지가 여전히 높은 연결성을 유지할 경우를 포함하여.

제안 방법

• 완벽한 내성성과 그래프 미니처 사이의 새로운 연결 고리를 확립하여, 한 그래프가 다른 그래프의 미니처일 경우 내성성 성질이 유지됨을 증명한다.
• 고장난 링크를 건너뛰는 것을 핵심 전달 전략으로 도입하며, 노드는 고장나지 않은 링크를 통해만 전달한다.
• 링크 분할을 통해 원래 그래프를 확장된 그래프로 변환하고, 여기서 안정적인 전달 패턴을 구성한 후 다시 원래 그래프로 매핑한다.
• 기존에 패킷 전파를 차단할 수 있는 '컷' 링크를 처리하기 위해 전달 함수에 수정 기법을 적용한다.
• 분할된 그래프에서 노드 순서를 기반으로 귀납적 추론을 사용하여 원래 그래프에서 전달 패턴의 정당성을 증명한다.
• 링크 분할에 대해 닫혀 있는 그래프 가족은 안정적인 건너뛰기 기반 전달 패턴을 허용하며, 이는 평면 그래프, 유전도가 유한한 그래프, 차수 제한이 있는 그래프 등의 클래스로 일반화 가능하다.

실험 결과

연구 질문

• RQ1 모든 연결된 네트워크에서 로컬 빠른 장애 복구를 사용할 경우 완벽한 내성성이 달성 가능한가?
• RQ2 네트워크 그래프의 어떤 구조적 성질이 완벽한 내성성이 가능한지를 결정하는가?
• RQ3 고장 발생 후 원천과 목적지가 여전히 높은 연결성을 유지하더라도 완벽한 내성성이 달성 가능한가?
• RQ4 전달 결정에서 원천을 매칭할 수 있는 능력이 완벽한 내성성의 가능성을 어떻게 영향을 주는가?
• RQ5 어떤 그래프 클래스에서 단순하고 효율적인 장애 복구 알고리즘이 완벽한 내성성을 보장할 수 있는가?

주요 결과

• 비평면 그래프에서는 그래프 미니처와의 연결 고리를 통해 완벽한 내성성이 불가능함을 증명하였다.
• 평면성은 필수 조건이지만 충분 조건은 아니며, 최소 7개의 노드로 구성된 반례가 존재한다.
• 외부 평면 그래프 및 관련 클래스(예: 고장 발생 후 원천과 목적지가 동일한 면에 위치할 경우)에서는 단순한 고장난 링크 건너뛰기 전략을 통해 완벽한 내성성이 달성 가능하다.
• 링크 분할에 대해 닫혀 있는 그래프 가족은 안정적인 건너뛰기 기반 전달 패턴을 허용하며, 이는 평면 그래프, 유한 유전도 그래프, 차수 제한이 있는 그래프 등의 클래스에서 완벽한 내성성을 가능하게 한다.
• 비평면이거나 분할에 대해 닫혀 있지 않은 경우, 심지어 국소 연결성도 높은 경우(예: Ω(n)개의 분리 경로)에도 완벽한 내성성이 보장되지 않는다.
• 원천과 목적지가 고장 없이 두 번째 점까지 거리에 있을 경우, 일반 그래프이더라도 완벽한 내성성이 달성 가능하다.