요약

  • RFC 3269는 신뢰할 수 있는 멀티캐스트를 단일 범용 전송 프로토콜이 아니라 애플리케이션마다 다른 필요에 의존하는 프로젝트의 집합으로 다루었다. 이 문서는 블록 기반 접근을 문서 계약으로 바꾸었다. 재사용 가능한 각 구성 요소는 범위, 인터페이스, 의존성, 실패 경계를 선언해야 했고, 프로토콜 인스턴스화는 전체 시스템을 설명해야 했다.
  • 핵심 경고는 조합에 관한 것이었다. 두 구성 요소는 쌍으로는 동작하지만 결합하면 실패할 수 있다. 재사용은 설계 목표였을 뿐, 호환성·보안·배포·채택의 증거가 아니었다.

모듈화 이면의 경계 문제

Reliable Multicast Transport(RMT)는 실질적인 차이에서 출발했다. 애플리케이션들이 요구하는 신뢰성은 한 종류가 아니었다. 대규모 파일 배포, 대화형 협업, 스트리밍은 그룹 크기, 지연, 순서, 송신자 수, 불완전한 전송에 대한 허용도에서 서로 달랐다. RFC 2357은 이미 이러한 차이와 혼잡에 대한 외부 효과를 제안 검토 사유로 다루었다. RFC 3269는 다른 질문에 답했다. 어떤 프로토콜도 모든 사례에 맞지 않는다면, 구성 요소들이 재사용되기 전에 명세는 무엇을 드러내야 하는가?

답은 각 블록이 독립적이라고 가정하는 것이 아니었다. RFC 3269는 일부 블록이 맥락에 의존함을 인정했다. A와 B의 결합은 동작할 수 있고, B와 C의 결합도 동작할 수 있지만, A, B, C를 함께 결합하면 그렇지 않을 수 있다. 쌍에서 보이지 않던 의존성은 다른 블록이 추가되면 비호환성으로 드러날 수 있다. 아키텍처 다이어그램의 상자 하나가 구성 요소의 경계가 실제로 존재함을 증명하지는 않는다.

그래서 각 블록의 문서는 선택된 세분화 수준을 정당화하고, 외부 기능과 인터페이스, 사용 사례, 알려진 실패와 그 감지 방법, 환경과 비호환성, 그리고 관련된 보안과 부호화(coding) 문제를 설명해야 했다. 해당하는 경우 패킷 필드와 다른 블록에 대한 요구 사항도 명시해야 했다. 이렇게 하면 다음 설계자가 이름만 보고 이식성을 추정하는 대신, 새로운 시나리오에 그 구성 요소가 적합한지 평가할 수 있었다.

구성 요소는 조립된 프로토콜이 아니다

RFC 3269는 프로토콜 인스턴스화, 즉 블록들을 결합해 완전한 프로토콜을 형성하는 문서에 대해 또 다른 경계를 그었다. 이 문서는 애플리케이션과 규모, 포함·제외되는 환경, 알려진 취약점, 아키텍처, 선택된 구성 요소, 그들의 연결 방식, 그리고 트레이드오프를 수반하는 선택을 정의해야 했다. 또한 추상적인 블록 설명에서 빠진 세부 사항을 구현이 추측하도록 두는 대신, 완전한 알고리즘과 패킷 형식을 명시해야 했다.

적합성 선언은 어떤 단위가 주장의 대상인지 분명히 했다. 인스턴스화는 인용된 블록 문서들과 함께, RFC 2357의 이전 요구 사항에 따라 기능하는 RMT 프로토콜 전체를 명시해야 했다. 이것이 RFC 3269를 테스트 보고서로 바꾸거나 구현 간 상호운용성을 보장하지는 않았다. 정의된 것은 독자가 “기능하는 프로토콜”이라는 표현을 평가하기 전에 검토할 수 있어야 하는 문서였다.

패킷 형식에 관한 한 규칙이 이 경계를 잘 보여준다. RMT 인스턴스화는 처음에 UDP 위에서의 사용을 정의해야 했고, 전용 IP 프로토콜 번호를 요청하는 결정은 프로토콜이 충분히 널리 배포되고 이해될 때까지 미뤄졌다. 이렇게 문서는 완전한 설계, 레지스트리에서 희소 식별자의 할당, 이후 채택의 증거를 분리했다. 이 규칙은 문서적 한계이며, 특정 프로토콜의 광범위한 배포에 대한 증명이 아니다.

RFC 3048은 재사용 가능한 블록과 각 프로토콜 고유의 코어 사이의 분리를 설명했다. RFC 3269는 저자들이 이 분리를 읽을 수 있게 만들도록 의무를 추가했다. 2009년에 RFC 5651은 이전 LCT 블록 명세를 갱신하면서 자신의 지침을 따른다고 명시했다. 문서적 연속성의 추적 가능한 사례다. 이 인용은 방법의 계보를 보여줄 뿐, 보편적인 적합성이나 배포 결과를 나타내지는 않는다.

역사적 결론은 “모듈화가 승리했다”는 주장보다 더 제한적이고 더 유용하다. RFC 3269는 재사용을 범위의 공개에 조건 붙이고, 완전성을 각 구성 요소가 아니라 조립된 프로토콜의 속성으로 만들었다. 저자들이 분석에 노출하는 내용은 개선할 수 있었다. 그러나 명시적 선언만으로 분리된 명세들이 안전하게 결합되도록 만들 수는 없었다.

출처