요약

  • RFC 5004는 기존 외부 최적 경로와 도전 경로가 BGP Identifier 비교 직전까지 여전히 동률일 때 기존 경로를 유지한다. 기존 경로가 더 빠르거나 더 안전하다고 선언되는 것이 아니라, 라우터가 이를 교체할 운영적으로 의미 있는 근거를 더 이상 찾지 못했을 뿐이다.
  • Enke Chen과 Srihari Sangli는 관측된 경로 진동을 의도적으로 작은 확장으로 전환했다. 이 확장의 가치는 동률 조건이 실제로 성립했다는 증거, 포워딩 테이블이 이동하지 않았다는 증거, 그리고 이후 정책이나 도달 가능성 변화가 여전히 유지를 종료할 수 있다는 증거에 달려 있다.

새로운 근거 없이 일어나는 포워딩 변경

외부 경로 A가 이미 설치된 경계 라우터를 상상해 보자. 경로 B가 도착한다. 일반적인 결정 과정은 로컬 우선순위, AS 경로, 오리진, 적용되는 MED 규칙, 외부 학습 대 내부 학습, 다음 홉까지의 내부 비용을 통해 두 경로를 비교한다. 모든 비교가 동률로 끝난다. 그런 다음에야 B가 승리하는데, 그 이유는 B를 광고하는 스피커의 BGP Identifier 수치가 더 작기 때문이다.

그 마지막 숫자는 B가 더 많은 용량을 지니거나, 더 유리한 상업적 정산 조건을 갖거나, 더 적은 취약 시설을 통과하거나, 현재 패킷을 전달하고 있다는 어떤 것도 말해 주지 않는다. 절차를 일관되게 종료시키기 위해 쓰이는 4옥텟 식별자일 뿐이다. RFC 6286은 이 값이 스피커에 할당된 주소일 필요조차 없다고 규정했다. AS 내에서 고유해야 하는 0이 아닌 부호 없는 값이다. 점-쿼드 형태는 경로의 어떤 측정값이 아니다.

그러나 기본 RFC 4271 절차에서는 이러한 약한 구분이 선택된 경로를 교체할 수 있다. 제어 평면 상태가 변하고, Loc-RIB가 바뀌고, FIB가 재작성되고, 하류 스피커들은 새로운 광고를 받을 수 있다. 트래픽은 손실 없이 계속될 수도 있지만, 일시적 재정렬, 수렴 지연 또는 다른 장애 도메인을 만날 수도 있다. 결정 알고리즘만으로는 패킷의 결과를 증명할 수 없다.

RFC 5004는 정확히 이 경계에서 절제를 삽입한다. A를 기존 외부 최적 경로, B를 일반 절차가 선택할 외부 도전 경로라고 하자. 어떤 경로도 BGP Identifier 단계 이전에 배제되지 않았다면 A를 유지한다. 이 확장은 A를 새롭게 우월하게 만들지 않는다. B가 이미 진행 중인 선택을 흔들 만큼 의미 있는 근거를 제시하지 못했다고 말할 뿐이다.

동률 조건이 진짜 기능이다

이 메커니즘에서 중요한 단어는 "기존"이 아니라 "동률"이다. 더 높은 LOCAL_PREF를 가진 경로는 여전히 승리한다. AS_PATH, ORIGIN, 적용 가능한 MED 비교, IBGP보다 우선하는 EBGP, NEXT_HOP까지의 더 낮은 IGP 비용으로 승리하는 경로도 마찬가지다. 경로 철회나 다음 홉 도달 가능성 상실도 이 문제를 종결시킨다. RFC 5004는 반증하는 증거에 맞서 오래된 경로를 유지할 권한이 아니다.

배제 조건도 똑같이 중요하다. 어느 후보든 BGP 컨페더레이션 피어에서 온 것이라면 이 규칙은 적용되지 않는다. 두 피어가 동일한 BGP Identifier를 사용하는 경우에도 적용되지 않는데, 병렬 세션에 걸친 피어 주소 비교가 의도된 운영 선택을 담고 있을 수 있는 상황이기 때문이다. 이는 구현 세부 각주가 아니라, "기존 경로 유지"가 운영자가 중요하게 의도했던 정보를 지워버릴 수 있는 지점을 정의하는 것이다.

이 때문에 활성화 체크박스만으로는 행동의 증거가 되지 못한다. 이 확장이 경로를 유지했다고 말하려면 운영자는 양쪽 후보, 모든 선행 비교의 값, 일반 알고리즘이 전환했을 정확한 비교 지점, 그리고 구현이 기록한 선택 사유를 담은 결정 추적이 필요하다. 결과 FIB 항목과 패킷 관측은 별개의 기록이다. 이벤트 전후에 동일한 다음 홉을 보여주는 경로 테이블만으로는 RFC 5004가 실행되었는지, 도전 경로가 도착하지 않았는지, 아니면 정책이 더 일찍 도전 경로를 배제했는지 판별할 수 없다.

1998년의 한 사례가 증명할 수 있는 것과 없는 것

Chen과 Sangli는 이 아이디어가 1998년 BBN/Genuity 네트워크에서 관측된 경로 진동 사례에서 영감을 받았으며, 알고리즘이 그곳에서 구현되어 배포되었다고 밝혔다. 이는 귀중한 출처 정보다. 이 메커니즘은 추상적인 평온에 대한 소망이 아니라 실제 운영 장애에서 출발했다. 그러나 이것은 현재 배포 규모의 조사도, 보편적 효과 주장도, 오늘날의 루트 리플렉터 토폴로지가 동일한 조건을 재현한다는 증명도 아니다.

이 사례 분석이 중요한 이유는 경로 리플렉션이 어떤 대안을 누가 볼 수 있는지를 바꾸기 때문이다. RFC 4456은 루트 리플렉터가 선택된 경로를 재광고하도록 허용함으로써 모든 IBGP 스피커가 완전한 풀 메시를 유지해야 할 필요를 없앤다. 확장 이득은 부분적 가시성과 함께 온다. 클라이언트는 일반적으로 리플렉터가 선택한 경로를 받으며, 다른 곳에서 이용 가능한 모든 외부 후보에 대한 완전한 목록을 받지 않는다.

RFC 5004의 예제에서 MED와 이 불완전한 가시성은 다음과 같은 연쇄를 만들 수 있다. 새로 선택된 외부 경로가 광고 내용을 바꾸고, 그것이 이웃의 선택을 바꾸고, 그것이 첫 번째 변경을 지탱하던 조건을 제거한다. 늦은 동률 단계에서 기존 외부 경로를 유지하면 이 순환을 끊을 수 있다. 그러나 이 문서는 RFC 3345에 정리된 모든 진동을 해결한다고 명시적으로 주장하지 않는다. 일부 토폴로지와 MED 비교 패턴은 로컬 기존 경로 유지를 넘어선 설계나 정책 변경을 요구한다.

이 구분은 익숙한 소급적 오류로부터 이 글을 보호한다. 하나의 관측된 장애 양상을 다룬 RFC가 같은 증상을 공유하는 모든 장애의 소유자는 아니다. 반복되는 UPDATE와 철회 활동은 물리적 불안정, 정책 변동, malformed 상태, 루트 리플렉터 가시성, MED 정렬 또는 다른 원인에서 비롯될 수 있다. 진단은 실제 후보 집합과 결정을 재구성해야 한다.

이력으로 구입한 안정성

이 확장은 불필요한 변경을 줄이지만 네트워크 전역의 결정론을 만들지는 않는다. 동일하게 구성된 두 라우터도 그 경로들을 서로 다른 순서로 만났다면 서로 다른 경로를 유지할 수 있다. RFC 5004는 이러한 이력 의존성, 때때로 비결정성이라고 불리는 성질을 인정한다. 이 용어를 비난의 의미로 써서는 안 된다. 이것은 명시적인 상태 할당이다. 더 강한 모든 비교가 동률일 때, 로컬의 과거가 현재를 결정하도록 허용된다.

이 거래는 복수의 외부 피어를 둔 교환점에서 종종 합리적이다. 의미 없는 마지막 타이브레이커가 그렇지 않으면 피할 수 있는 포워딩 변경을 일으킬 수 있기 때문이다. 그러나 두 장비를 비교하며 동일한 현재 입력에서 동일한 경로 선택을 기대하는 운영자에게는 놀라움이 될 수도 있다. 빠져 있는 입력은 기존 경로 그 자체다.

네트워크가 어디에서나 한 경로가 승리하기를 원한다면, 원격 BGP Identifier가 우연히 경로를 원하는 순서로 정렬해 주기를 바라는 대신 자신이 통제하는 권한 안에 그 선호를 명시해야 한다 — 흔히 LOCAL_PREF로, 또는 비교 의미론이 맞는 경우에는 MED로. 명시적 정책은 의도의 이동 가능한 증거다. 기존 경로임은 순서의 증거일 뿐이다.

이후의 답: 더 많은 경로를 보여라

ADD-PATH(RFC 7911)는 정보 문제의 다른 부분을 공략한다. 이 기능을 협상하면 스피커가 로컬적으로 의미 있는 Path Identifier를 붙여 동일한 프리픽스에 대해 복수의 경로를 광고할 수 있다. 이는 일반 BGP가 억제할 대안들을 드러낼 수 있다. 그러나 어떤 경로를 보내야 하는지 규정하지 않고, 완전한 집합을 보장하지 않고, 최적 경로를 선택하지 않고, ECMP를 만들지 않으며, Path Identifier가 재시작을 넘어 지속된다고 보장하지도 않는다.

RFC 7964는 이후 ADD-PATH를 사용해 모든 경로 또는 인접 AS별로 구분된 Group Best 집합을 광고하는 방법을 기술했으며, 불완전한 MED 비교로 인한 지속적 진동을 다룬다. 가시성 증가는 메모리, 업데이트량, 수렴 작업의 비용이 든다. 이 RFC는 가능한 한 이 기법을 영향받는 프리픽스로 한정할 것을 권고한다. RFC 5004는 거의 정반대의 자원을 쓴다. 상태를 작게 유지하고, 좁은 동률 등급 안에서 하나의 기존 선택을 보존한다.

어느 쪽도 "안정성"의 슬로건이 아니다. 하나는 과거에 제한된 권한을 부여해 전환을 줄인다. 다른 하나는 더 많은 후보 상태를 분산해 원격 결정이 더 잘 정보화되도록 한다. 배포에는 하나가 필요할 수도, 다른 하나가 필요할 수도, 둘 다 필요할 수도, 둘 다 불필요할 수도 있다. 증거는 기능 이름이 아니라 토폴로지와 장애 메커니즘이다.

기록 속에서 Enke Chen의 한정된 위치

Enke Chen은 Srihari Sangli와 함께 RFC 5004를 공동 저술했다. 그의 더 넓은 IETF 기록에는 경로 리플렉션, 개정된 BGP Identifier, ADD-PATH, 그리고 지속적 진동에 관한 작업이 포함된다. 이 연속성 덕분에 그는 BGP 설계자들이 안정적인 포워딩, 완전한 정보, 유한한 제어 평면 상태라는 세 가지 희소 자원 사이에서 어떻게 움직였는지를 읽어 내는 유용한 인물이 된다.

그러나 이것이 Chen을 BGP의 단독 발명자로, 운영자의 정책 소유자로, 또는 현재 존재하는 어떤 구현의 책임자로 만들지는 않는다. RFC 저자는 메커니즘을 기술한다. 벤더가 이를 어떻게 구현하고 노출할지 결정한다. 네트워크 팀이 이를 활성화할지, 그리고 주변에 어떤 명시적 선호를 둘지 결정한다. 루트 리플렉터가 어떤 대안이 전파되는지 결정한다. FIB가 결과를 설치하고, 패킷이 전달이 그 뒤를 따랐는지 드러낸다.

미시간대학교 공과대학(University of Michigan Engineering) 프로필은 Chen의 교육과 인터넷 기술 분야 경력에 대해 날짜가 기입된 기관 기록을 제공한다. 이는 신원과 약력에 대한 적절한 증거다. 그러나 특정 네트워크가 현재 RFC 5004를 사용한다는 증거도, Chen이 그 네트워크의 라우팅 선택을 통제한다는 증거도 아니다.

움직이지 않은 경로의 증명 사슬

감사하기 가장 어려운 사건은 흔히 일어나지 않은 사건이다. 유용한 기록은 여섯 층을 연결해야 한다.

  1. Adj-RIB-In 증거가 해당 시점에 양쪽 외부 후보와 수신된 속성을 보여준다.
  2. 임포트 정책 출력이 정책 이후의 로컬 속성, 특히 LOCAL_PREF와 변경된 MED가 있다면 그 값을 보여준다.
  3. 결정 추적은 경로들이 IGP 비용 비교까지 생존했음을 증명하고, A를 교체했을 BGP Identifier 결과를 특정한다.
  4. 구현이 기존 경로 유지를 실제 선택 사유로 기록하며, 확인된 배제 조건을 포함한다.
  5. Loc-RIB와 FIB 증거가 제어 및 포워딩 상태가 변하지 않았는지 보여준다.
  6. 패킷과 서비스 텔레메트리가 트래픽의 실제 행동을 보여준다. 경로 선택 로그로부터 추론해서는 안 된다.

같은 기록에는 탈출 조건이 필요하다. 정책 변경, 후보 철회, 다음 홉 장애, 적용 가능한 MED의 변경, 더 낮은 IGP 비용 또는 기존 경로의 상실이 새로운 결정을 만들어낼 수 있어야 한다. 검증된 탈출 없는 연속성은 숨겨진 잠금이 된다.

따라서 RFC 5004는 소박하지만 지속적인 교훈을 준다. 프로토콜은 가장 약한 구분이 가장 강한 운영적 결과를 행사하도록 허용할 필요가 없다. 도전 경로가 교체를 이끌 만한 근거를 쌓지 못했다면 진행 중인 상태를 보존할 수 있다. 그러나 유지된 경로는 품질 인증서가 아니라 좁은 절차적 근거 위에 그 자리를 차지한다. 좋은 운영은 텔레메트리, 검토, 언어 안에서 이 구분을 보존한다.

출처