요약

  • RFC 1547은 서로 충돌하는 활성화 모드와 비활성화 모드가 호환 가능한 상태를 유지할 것을 요구했으며, 구현체는 두 가지 상태를 모두 지원하고 로컬 사용자가 어느 상태가 해당 링크에 맞는지 선택하게 했다.
  • 활성 감지(liveness), 압축, MTU 규칙은 '꺼짐(off)', '아니오(no)', '기본값 사용'을 구현 결함이 아니라 유효한 결과로 만들었다.
  • 이후의 PPP 규격들은 이 원칙을 명시적으로 만들었다. 선택 기능이 없는 구현체도 그 기능을 포함한 구현체와 상호운용되어야 했다.

요구사항은 그것이 이끈 작업 이후에 도착했다

RFC 1547은 1993년 12월에 RFC 시리즈에 들어갔지만, 첫 페이지는 과거를 가리킨다. 이 요구사항 문서의 날짜는 1989년 6월이었다. 역사적 주석은 이 요구사항들이 RFC 1134와 이어지는 PPP 규격들을 이끌었다고 말하며, 설계 기록이 완전해지고 미래의 표준 작업에 도움이 되도록 출판이 뒤로 미뤄졌다고 설명한다.

이 연표는 흔히 하기 쉬운 실수를 막아준다. RFC 1547은 이미 완성된 프로토콜에 이론을 억지로 얹은 늦은 논평이 아니었다. 또한 PPP의 패킷 수준 규격도 아니었다. 이는 표준 지점 간(point-to-point) 프로토콜이 풀어야 했던 문제들의 목록을 먼저 정리한 것으로, 마침내 Informational RFC로 보존된 것이다. RFC 1134, RFC 1171, RFC 1331, RFC 1548, RFC 1661이 이어지는 규격 계보를 보여준다. 이 문서들 중 어느 것도 그 자체로는 기능이 얼마나 널리 구현되거나 배치되었는지 증명하지 않는다.

요구사항 메모는 단 하나의 설계를 강제하는 것도 거부했다. 그 예시들은 대안을 차단하지 않으면서 수용 가능한 답을 보여주었다. 이 구분은 중요하다. 메모의 가장 오래 지속된 기여는 단일 메커니즘이 아니라 설계에 대한 검증 기준이었기 때문이다. 서로 다른 선택을 내린 운영자들이 공통 운영 지점에서 만날 수 있는가?

비활성화 모드는 상호운용성의 내부에 속했다

지점 간 링크는 상충하는 요구를 제시했다. 활성 감지 교환은 한 회선에서는 필수적일 수 있지만 다른 회선에서는 낭비일 수 있다. 추가 오류 정정은 특이하게 잡음이 많은 경로를 구제할 수 있지만, 다른 곳의 전송 프로토콜이 이미 수행한 작업을 복제할 수도 있다. 압축은 희소한 대역폭을 절약할 수 있지만, 두 시스템이 서로 다른 알고리즘을 구현하거나 한쪽이 압축 없음을 선호할 수도 있다.

RFC 1547은 어느 진영이 옳다고 선언함으로써 이 충돌들을 해결하지 않았다. 분쟁 기능의 활성화 모드와 비활성화 모드가 호환되어야 한다고 요구했다. 구현체는 두 상태를 모두 지원해야 했다. 명시적으로 반드시 인간일 필요는 없는 '사용자'가 어느 상태가 해당 연결에 맞는지 동적으로 선택할 수 있었다.

UDP 체크섬이 이 메모의 비유를 제공했다. UDP에는 체크섬 비활성 사례를 위한 표현이 있었고, 수신자는 이를 수용할 수 있었다. 요점은 PPP가 UDP의 유선 형식을 따라야 한다는 것이 아니었다. 부재(부재의 상태)가 판독 가능하고 상호운용 가능한 의미를 갖는다는 것이었다. 선택적 동작을 거절하는 피어도 여전히 프로토콜을 구사하고 있었다.

이것은 기능이 구성 가능하다고 말하는 것보다 엄격하다. 두 제품이 각각 온/오프 스위치를 노출하면서도, 한쪽이 '꺼짐'을 기형적인 피어로 해석하면 함께 실패할 수 있다. 호환성은 불일치를 견디며 공통 모드가 살아남는 것을 요구한다.

하트비트는 유용하면서도 여전히 비용이 많이 들 수 있었다

활성 감지 요구사항은 이 절충을 구체적으로 만든다. RFC 1547은 링크가 작동 중인지 판단하는 메커니즘을 원했고 기본적으로 활성화되게 했다. 링크는 다운 상태로 시작하고, 양방향 패킷 교환이 확인된 후에야 업 상태로 간주될 수 있었다.

그러나 같은 요구사항은 그 메커니즘을 비활성화하는 방법도 요구했다. 공용 데이터 네트워크에서는 keepalive 트래픽이 사용 요금을 유발할 수 있었다. 사설 회선에서는 고장 감지를 개선하는 기능이 종량제 서비스에서는 반복적인 청구서를 만들 수 있었다. 어느 운영자도 비합리적이지 않았다. 물리적·상업적 환경이 다른 것이었다.

따라서 기본값은 영원한 명령이 아니라 공통 기대의 표현이었다. 운영자는 프로토콜의 호환성 집합을 벗어나지 않고 활성 감지 트래픽을 끌 수 있었다. 비용 결정은 로컬에 남았고, 그 결과 모드의 의미는 공유되었다.

증거 경계도 똑같이 중요하다. 성공적인 양방향 교환은 그 순간의 지점 간 링크를 보여줄 뿐이었다. 애플리케이션이 건강하다는 것, 계정이 인가되었다는 것, 미래의 패킷이 성공할 것이라는 것을 증명하지 않았다. RFC 1547이 제안한 신원 확인은 오구성 탐지를 위한 것으로, 엄격한 인증이 아니라고 명시했다. 메모는 보안 문제는 논의되지 않았다고 말했다. 회고적 서술은 출처가 거부한 보안 보장을 만들어내서는 안 된다.

압축 거절은 완전한 답이었다

압축은 협상 규칙을 특히 선명하게 드러냈다. RFC 1547은 표준 압축 알고리즘을 요구하지 않았다. 시스템은 양쪽 끝이 합의하고 공통 알고리즘을 보유할 때만 압축을 사용할 수 있었다. 협상은 단순하고 종료가 보장되어야 했다.

가장 중요하게는, 거절이 우선했다. 한 피어가 압축을 원한다고 해서 상대가 수용하지 않은 역량, 비용 또는 위험을 강제할 수 없었다. '압축 없음'은 중단된 협상이 아니라 기본 링크를 보존하는 합법적인 최종 결과였다.

이 규칙은 선택적 개선이 숨겨진 입장 시험으로 변하는 것을 막았다. 압축 모드가 일단 제안되면 유일하게 사용 가능한 모드가 된다면, 더 잘 갖춰진 단말이 역설적으로 쌍을 덜 상호운용 가능하게 만들 것이다. 비압축 바닥 모드를 유효하게 유지함으로써, 비채택이 배제로 변하지 않는 한에서 혁신이 진행될 수 있었다.

출처는 운영자들이 어떤 압축 알고리즘을 선택했는지, 요청이 얼마나 자주 거절되었는지, 어떤 절감이 생겼는지를 알려주지 않는다. 출처가 정의하는 것은 통제 표면이다. 구현체는 역량을 제공하고, 피어는 동의를 협상하고, 어느 쪽이든 거절함으로써 공통 모드를 보존할 수 있었다.

기본값은 명명된 출구가 있는 바닥이었다

최대 전송 단위(MTU)도 같은 구조를 따랐다. RFC 1547은 지원되는 모든 링크 유형에 대해 기본값을 요구했고, 그 값이 최소 1500옥텟이어야 한다고 했다. 구현체는 명시적 협상이나 사설 합의를 통해 다른 값을 채택할 수 있었다. 그 합의가 없으면 기본값이 강제 가능한 공통 값으로 남았다.

이는 로컬 최적화에 대한 적대가 아니었다. 최적화를 책임 가능하게 만드는 방식이었다. 더 큰 값이나 더 작은 값은 한 운영자가 구성한다고 해서 실체가 되지 않았다. 양쪽 끝이 공유된 결과를 필요로 했다. 기본값은 그런 결과가 존재하지 않을 때 쌍을 침묵한 가정으로부터 보호했다.

메모는 오류 정정 주위에 똑같이 신중한 선을 그었다. 투명성, 프레이밍, 기본 오류 감지, 기본 MTU는 공통 링크 서비스에 속했다. 링크 계층 오류 정정, 흐름 제어, 시퀀싱은 보편적일 필요가 없었다. 전송 프로토콜이 이미 관련 기능을 제공하고 있었기 때문이다. 특히 시끄러운 링크는 다른 요구사항을 위반하지 않는 한 사설 합의로 오류 정정을 추가할 수 있었다.

그 밖의 의도적 비요구사항에는 모든 구형 지점 간 프로토콜과의 하위 호환성, 멀티포인트 운영, 반이중 또는 단방향 링크, 7비트 비동기 경로가 포함되었다. 이 배제들은 공통 계약을 작게 유지했다. 생략된 기능이 쓸모없다고 선언한 것은 아니었다.

대칭성은 영구적 위계를 링크에서 배제했다

RFC 1547은 고정된 역할도 거부했다. 프로토콜이 마스터와 슬레이브, 게이트웨이와 호스트, 발신자와 응답자의 의미로 영구히 나뉘는 것을 원하지 않았다. 교환에 차별화된 역할이 필요하면, 시스템은 그 연결을 위해 동적으로 역할을 선택할 수 있었다.

이 대칭성은 안전한 비활성화 모드를 보완한다. 영구적인 상위 단말은 상대의 거절을 오류로 정의할 수 있었다. 대신 피어들은 공통 문법에서 시작하여 링크에 필요한 임시 구분만을 확립했다. 네트워크 주소 협상은 압축 협상과 마찬가지로 단순하고 종료되어야 했다.

메모는 확장을 위한 여지도 요구했다. 미래의 옵션은 기본 계약을 다시 쓰지 않고도 협상될 수 있었다. 확장이 안전했던 이유는 새 옵션이 나타나도 구형 공통 모드가 사라지지 않았기 때문이다.

PPP는 나중에 부재를 옵션 계약의 일부로 만들었다

RFC 1548과 그 후속인 RFC 1661은 이 요구사항들을 더 성숙한 PPP 언어로 전환했다. 표준 기본값은 공통 구성을 처리했다. 한쪽 끝에서 구현된 개선은 자동으로 상대에게 전달될 수 있었고, 운영자는 예외를 구성하는 방법을 유지했다. 각 끝은 확장 가능한 옵션 메커니즘을 통해 자신의 역량과 요구사항을 서술했다.

이 문서들의 선택적 기능 정의는 시사적이다. 옵션을 포함하지 않는 구현체도 그 옵션을 포함하는 구현체와 상호운용되어야 했다. 선택적(optional)이란 모든 제품이 그 기능을 지원한다는 뜻이 아니었다. 프로토콜이 존재와 부재 사이의 안전한 관계를 명시했다는 뜻이었다.

이후 문서들은 1500옥텟 기본 수신 단위를 유지하고 합의한 구현체들 사이의 대안을 허용했다. 특정 PPP 제어 교환은 별도의 역사가 필요하므로 여기서 다시 다루지 않는다. RFC 1547의 특유의 주제는 거절과 기본 동작이 성공의 정의 내부에 속한다는 요구사항 수준의 결정이다.

한 개의 녹색 신호가 아니라 네 가지 관찰

이 출처들로부터 하나의 운영적 추론이 따른다. 역량, 로컬 활성화, 상호 합의, 실제 작동은 서로 다른 네 가지 사실이다.

제품 설명서는 단말이 압축을 지원한다는 것을 증명할 수 있다. 로컬 구성은 운영자가 이를 활성화했다는 것을 증명할 수 있다. 완료된 협상은 두 피어가 특정 모드에 합의했다는 것을 증명할 수 있다. 패킷 관찰이나 카운터는 합의된 모드가 실제로 트래픽을 운반했음을 보여줄 수 있다. 그 어떤 증빙도 다른 것을 자동으로 대체하지 않는다.

같은 분리가 활성 감지와 MTU에도 적용된다. RFC의 기본값은 실제 설정을 증명하지 않는다. 구성된 keepalive가 피어가 그것을 본다는 증거는 아니다. 링크 업 표시가 애플리케이션 결과라는 증거는 아니다. 사설 합의가 어느 쪽 단말이 그것을 배치했다는 증거는 아니다. 신뢰할 수 있는 기록은 이용 가능한 역량에서 선택된 정책으로, 피어 동의로, 관찰된 효과로의 전이를 보존한다.

이 네 부분 모델은 추론이며, RFC 1547에 그대로 기술된 언어는 아니다. 그럼에도 이는 꺼짐, 거절, 대체 경로를 유의미한 상태로 다루는 표준의 실용적 결과이다.

최소 계약은 이후의 로컬 결정을 보호할 수 있다

Lu Heng의 '최소 초기 명세, 지역화된 미래 결정 및 자발적 채택(Minimum Initial Specification, Localized Future Decision and Voluntary Adoption)' 학설은 이 구조에 대한 현대적 어휘를 제공한다. 최소 명세는 결정론적 호환성 집합에 필요한 엄격한 문법을 정의한다. 이후의 결정은 로컬에 남는다. 출판이 채택을 현실로 바꾸지 않는다. 작동 중인 시스템과 자발적 조율이 그렇게 한다.

이 관점에서 읽으면, RFC 1547은 기능을 끌 수 있게 허용함으로써 표준을 약화시킨 것이 아니라, 로컬 선택이 링크를 분열시키지 않고 달라질 수 있도록 공통 바닥을 강화했다. 압축, 추가 오류 정정, 활성 감지 정책은 거절이 여전히 유효한 곳으로 이어지는 한에서 가장자리에서 진화할 수 있었다.

이 관점을 역사적 증명으로 오해해서는 안 된다. RFC 1547의 저자들은 Lu Heng의 후대 용어를 사용하지 않았고, RFC는 그들의 주관적 동조를 확립하지 않는다. 이 비교가 가치 있는 이유는 같은 구조적 움직임을 확인하기 때문이다. 공통 작동을 보존할 만큼 충분히 명세하되, 되돌릴 수 있는 개선은 동의에 맡긴다.

1993년 출판이 증명하는 것은 승리 서사보다 더 좁고 더 유용하다. 지점 간 표준은 양쪽 끝이 '예'라고 말할 때 무엇이 일어났는지뿐 아니라, 한쪽 끝이 '아니오'라고 말할 때 무엇이 여전히 가능한지로 평가되었다. 기능은 부재할 수 있었다. 프로토콜은 그와 함께 피어를 부재로 취급할 수는 없었다.

출처