요약

  • RFC 3345는 부분적이고 계속 변하는 가시 경로 집합 위에서 지역적으로는 타당한 선택들이 유발하는 결정론적 BGP 경로 진동을 기술했습니다.
  • 그 증거는 여러 라우터에 걸쳐 반복되는 경로·UPDATE·철회 시퀀스이며, 단일 노드의 '최적 경로'나 패킷이 실제로 어떻게 처리되었는지에 대한 증명이 아닙니다.

분석

이 이야기는 겉으로 보이는 모순에서 시작합니다. 경로 리플렉터는 자신이 아는 경로들을 비교하고 BGP 결정 절차를 따라 선택한 경로를 광고합니다. 다른 리플렉터는 그 업데이트를 받아 자신의 로컬 정보에 따라 역시 선택합니다. 이 시퀀스 어디에도 무작위적 고장이 요구되지 않습니다. 그런데도 첫 번째 라우터는 두 번째 라우터의 선택을 촉발했던 경로를 철회하고, 다른 후보 집합을 받아 원래 결정으로 되돌아갈 수 있습니다. 각 로컬 답이 다른 곳에서 이용 가능한 정보를 바꾸기 때문에, 컨트롤 플레인에는 안정된 답이 존재하지 않습니다.

2002년에 발행된 Informational 문서인 RFC 3345는 명시적 토폴로지와 단계별 경로 테이블을 통해 이 고장을 읽을 수 있게 만들었습니다. BGP의 MULTI_EXIT_DISC 속성은 원래 같은 이웃 AS에서 학습한 경로 사이에서만 비교됩니다. 이 규칙은 사업자의 선호가 지니는 로컬 의미를 보존합니다. 완전한 iBGP 메시는 라우터에게 출구에 대한 가시성을 주지만 무한히 확장될 수는 없습니다. 경로 리플렉션과 AS 연합(confederation)은 메시를 줄이지만, 라우터별·시점별로 서로 다른 경로 집합을 만들어낼 수도 있습니다.

Type I churn에서 RFC가 든 조건에는 1단계 리플렉션 또는 연합 설계와, 하나의 프리픽스에 대해 여러 AS로부터 받아들이는 고유한 MED 값이 포함됩니다. 경로 리플렉션 예제는 MED와 NEXT_HOP까지의 IGP 비용 사이의 순서에 달려 있습니다. 한 리플렉터가 선택을 갱신하면, 다른 리플렉터의 새 광고가 첫 라우터의 후보 집합을 바꾸고, 철회가 이전에 결정에 영향을 준 경로를 제거합니다. 업데이트가 토폴로지를 한 바퀴 돈 뒤에는 초기 상태로 돌아옵니다. '최적'은 전역 속성이 아니라, 부분적 시각에 기반한 로컬 결과였습니다.

Type II는 단순히 더 큰 Type I가 아니라 서로 다른 구성입니다. 다중 경로 리플렉션 또는 서브 AS 계층과 명시된 AS 간 MED 조건이 함께 요구됩니다. 연합 예제는 스캐너 타이밍도 드러냅니다. 라우터는 철회나 주기적 스캔이 재계산을 촉발할 때까지 선택을 유지할 수 있습니다. 최종 테이블만 본 운영자는 그 결과를 만든 시퀀스를 놓칠 수 있습니다.

제안된 우회 방법들은 결함이 정책과 가시성이 교차하는 지점에 있음을 보여줍니다. 클러스터 간 또는 서브 AS 간 IGP 메트릭을 조정하면 어느 경로가 이기는지 바꿀 수 있고, MED를 거부하거나 MED 비교 단계를 피하는 것은 정책을 바꾸는 일이며, 완전한 메시는 확장 비용을 치르고 가시성을 되돌려줍니다. RFC 3345는 어느 하나의 답이 보편적으로 안전하다고 선언하지 않습니다. 요점은 로컬 정책, 축소된 광고 집합, 그리고 전역 안정성 주장이 서로 다른 것이라는 점입니다.

훗날 RFC 7964는 ADD-PATH를 포함한 BGP 경로 다양성 메커니즘을 기술했습니다. 이후의 작업은 가시성 문제에 대한 유용한 배경이지만, 배포된 해법에 대한 조사 목록은 아닙니다. 또한 2002년의 분석은 그런 순환이 오늘 얼마나 자주 발생하는지를 확립하지 않습니다. 실제 사례를 증명하려면 운영자는 동기화된 라우터별 후보 집합, 속성, 최적 경로 판단 근거, UPDATE와 철회 타임스탬프, 스캐너 상태, 그리고 별도의 포워딩 관측 자료가 필요합니다. 경로 테이블 스냅샷 하나만으로는 그 기록이 되지 못합니다.

RFC 3345의 오래된 교훈은 소박하지만 중요합니다. 결정론적 알고리즘은 정착하지 않는 결정론적 시스템을 만들 수 있습니다. 로컬 정당성은 분산 수렴의 증거가 아니며, 컨트롤 플레인 churn 자체가 패킷 손실이나 사용자 영향의 증명이 아닙니다.

출처