요약

  • 1998년 Padhye–Firoiu–Towsley–Kurose 모델은 명시적으로 정의된 관찰과 가정에 근거해 포화 상태의 벌크 TCP Reno 흐름이 안정 상태에서 보내는 스루풋을 예측합니다.
  • 이 스루풋은 패킷의 최종 운명과 무관하게 전송된 패킷을 셉니다. 따라서 결과는 애플리케이션 굿푸트도 아니고, 링크 용량, 가용 대역폭, 공정 점유율 또는 권한의 측정치도 아닙니다.
  • 이 모델의 가치는 출처 맥락을 보존하는 데서 나옵니다. 관찰 창, 손실 이벤트 묶음 규칙, RTT와 타임아웃 동작, 수신자 윈도우, ACK 가정, TCP 변종, 검증 환경, 그리고 오차가 그 대상입니다.

천장처럼 보였던 그 숫자

모니터링 화면이 어떤 연결이 초당 특정 바이트 수를 “받아야 한다”고 보고한다고 가정해 봅시다. 그 숫자는 정밀합니다. 손실이 늘거나 왕복 지연 시간이 줄어들면 바뀝니다. 긴 전송을 상당히 잘 따라가기도 합니다.

유혹은 그것의 이름을 바꾸는 것입니다. 예측된 스루풋이 가용 대역폭으로 불립니다. 가용 대역폭은 용량이 됩니다. 용량은 권리가 됩니다. 발신자가 그보다 적게 얻는다면 누군가 무언가를 빼앗았다고 판단하게 되죠.

그러나 그런 단계 어느 것도 이 방정식이 허용하는 바가 아닙니다.

1998년 SIGCOMM에서 발표된Modeling TCP Throughput: A Simple Model and its Empirical Validation에서 Jitendra Padhye, Victor Firoiu, Don Towsley, Jim Kurose는 벌크 TCP 전송의 안정 상태 동작을 연구했습니다. 발신자는 포화 상태입니다. 즉 언제나 보낼 데이터를 가지고 있습니다. 전송 계층은 혼잡 회피 단계의 Reno입니다. 손실 표시와 타임아웃이 혼잡 윈도우를 바꾸고, 왕복 지연 시간이 주기를 조율합니다. 이 모델은 명시된 조건 아래에서 그 특정 제어 과정이 무엇을 보내게 될지를 예측합니다.

병목 링크는 전혀 다른 대상입니다. 다른 트래픽이 그 링크를 공유할 수 있습니다. 큐잉은 시간에 따라 변합니다. 수신자가 흐름을 제한할 수 있습니다. 애플리케이션이 바이트 생성을 멈출 수도 있습니다. 헤더와 재전송은 전송 스루풋과 실제 유용한 전달을 분리합니다. 자원 사용을 허가하는 것은 공식이 아니라 정책이나 할당 시스템입니다.

정밀함이 이런 구분을 지워주지는 않습니다. 오히려 그 구분을 더 중요하게 만듭니다.

스루풋은 의도적으로 굿푸트가 아니었다

논문은 스루풋을, 패킷의 최종 운명과 무관하게 단위 시간당 전송된 패킷으로 정의합니다. 그 한 구절이 대시보드가 종종 지워버리는 경계를 확립합니다.

재전송된 패킷은 전송 스루풋에 다시 기여합니다. 나중에 버려진 패킷도 발신자의 전송 과정을 점유했습니다. 애플리케이션 굿푸트는 다른 질문을 던집니다. 일정 시간 동안 관련 수신자에게 도달한 새로운 유용한 페이로드는 얼마인가? 용량은 명시된 방법 아래에서 어떤 물리적·논리적 자원이 담을 수 있는 양을 묻습니다. 가용 대역폭은 어떤 구간 동안 사용되지 않았거나 획득 가능한 점유율을 묻습니다. 이 양들은 서로 영향을 주지만 동의어는 아닙니다.

포화 가정 역시 똑같이 중요합니다. 언제나 데이터를 가진 발신자를 다룬 모델은, 애플리케이션에 제한된 흐름이 왜 조용한지 설명할 수 없습니다. 텔레메트리 시스템이 유휴 기간에 이 방정식에 값을 넣고 결과를 “예상 이용률”이라고 이름을 붙인다면, 그것은 가상의 제어율과 실제 수요를 섞은 것입니다.

논문 자체는 그 오류를 범하지 않았습니다. 자신의 대상 환경을 명명했습니다. 이후 사용자가 기록에서 그 환경을 지워버릴 때 오류가 생깁니다.

손실 이벤트는 잃어버린 패킷 하나가 아니었다

손실 입력은 맥락 없는 백분율이 아닙니다. Reno는 손실 표시에 반응해 혼잡 윈도우를 줄입니다. 하나의 윈도우 안에서 여러 패킷이 사라지는 것은 여러 독립적인 제어 이벤트가 아니라 하나의 혼잡 사건에 속할 수 있습니다.

1998년 분석은 손실을 라운드 간에는 독립적, 라운드 내부에는 상관된 것으로 취급하며, 저자들은 이 패턴을 drop-tail 큐와 연관시킵니다. 그 확률은 윈도우에 영향을 주는 이벤트에 관한 것입니다. 동일한 패킷 기록 밑에 있더라도 묶음 규칙을 바꾸면 입력이 바뀝니다.

이것은 운영적으로 중요합니다. 어떤 관찰자는 모든 빠진 시퀀스 번호를 셉니다. 다른 관찰자는 하나의 RTT 안의 손실을 묶습니다. 세 번째는 다른 클럭과 불완전한 재정렬 정보를 가진 수신자 보고를 사용합니다. 모두가 “손실”이라는 소수점 숫자를 발표할 수 있지만, 방정식에 실질적으로 다른 사실을 넣고 있습니다.

따라서 감사 가능한 추정치는 원시 표시 자체 또는 그에 대한 내구성 있는 참조, 관찰 구간, 이벤트 묶음 규칙, 그리고 그 이벤트에 의미를 부여하는 전송 계층 동작이 필요합니다. 이런 기록이 없다면, 둘 다 백분율 기호를 쓴다는 이유만으로 두 숫자를 비교할 수 없습니다.

타임아웃이 설명의 상당 부분을 담당했다

더 단순한 모델은 triple-duplicate 확인응답만으로는 Reno를 설명할 수 없습니다. Padhye와 그의 공동 연구자들은 그것으로 부족하다는 사실을 발견했습니다. 그들의 표에는 재전송 타임아웃이 있었고, 빠른 재전송 이벤트보다 타임아웃 이벤트가 더 많은 경우가 많았습니다. 따라서 더 완전한 모델과 그 근사식은 두 경로를 모두 반영합니다.

이 포함은 단순히 계수 하나를 바꾸는 것 이상을 합니다. 타임아웃은 발신자를 멈추고 빠른 재전송과는 다른 복구 과정을 불러옵니다. 재전송 타임아웃 추정치, 지연된 확인응답, 최대 수신자 윈도우 모두 예측률에 영향을 줍니다. 익숙한 근사 방정식은 이런 동작들을 압축하지만, 그것들을 없애지는 않습니다.

논문은 또한 단순화 가정을 명시합니다. 하나의 라운드는 하나의 RTT이고, 현재 윈도우는 그 라운드 안에서 전송될 수 있습니다. 슬로우 스타트는 안정 상태 계산에서 무시할 수 있습니다. 빠른 복구의 모든 세부 사항이 모델링된 것은 아닙니다. 이것들은 분석 도구로서 타당한 선택이지 자연 법칙이 아닙니다.

전송 계층 스택, 확인응답 정책 또는 작업 부하가 바뀔 때, 맞는 질문은 유명한 공식이 여전히 유명한가 하는 것이 아닙니다. 증거가 여전히 그 도구에 맞는가 하는 것입니다.

37개 연결은 시험이었지 우주가 아니었다

실증 검증은 진지했습니다. 저자들은 미국과 유럽의 18대 호스트 사이에서 37개 TCP 연결을 연구했습니다. 24개의 표본 기록은 1시간 동안 수집되었습니다. 13개의 추가 데이터 세트는 직렬로 이어진 100초짜리 연결들이었습니다. 트래픽은 무한 출처에서 오는 단방향 벌크 전송이었습니다.

이 관찰들 전반에서 모델은 triple-duplicate 손실 복구만 고려한 버전보다 스루풋을 대체로 더 잘 설명했습니다. 근사 방정식은 더 완전한 모델을 유용할 정도로 충실히 따라갔습니다. 이 실증 작업이 논문이 오래 살아남은 주된 이유이며, ACM SIGCOMM은 이 논문을 2008년 Test of Time Award 수상작으로 소개합니다.

그러나 검증이 37개 연결을 모든 경로로 만들지는 못했습니다. 모뎀 사례는 불일치를 드러냈습니다. 전용 버퍼, 왕복 지연 시간, 윈도우가 모델이 잘 포착하지 못한 방식으로 상호작용했습니다. Linux, Irix, SunOS의 TCP 구현들도 서로 달랐고, 모델은 모든 구현에 맞춰 조정되지 않았습니다.

저자들은 추가 연구 과제도 남겨 두었습니다. 빠른 복구의 세부 사항, 윈도우 진화, 손실 분포, 저속 링크, 구현 효과 등입니다. 이것이 책임 있는 모델링의 모습입니다. 잘 맞지 않는 사례는 지워버릴 수 없는 부끄러움이 아니라, 도구의 경계를 표시하는 것입니다.

TFRC는 추정치를 제어 루프 안에 재사용했다

Sally Floyd, Mark Handley, J. Padhye, J. Widmer가 작성한 RFC 5348은 이후 Reno 방정식을 약간 단순화한 형태를 TCP Friendly Rate Control(TFRC)에 사용했습니다. TFRC는 손실 이벤트율과 RTT를 측정하고, 허용되는 전송률을 계산하고, 더 매끄러운 레이트 기반 발신자를 조정합니다.

RFC는 그 명사에 신중합니다. 이 방정식은 대략 TCP의 전송률을 기술합니다. 세그먼트 크기, RTT, 손실 이벤트율, 타임아웃, 확인응답당 패킷 수 같은 변수를 정의합니다. 계산 결과를 측정된 수신률에 상대적으로 제한합니다. 이 추가 상한 자체가, 이 방정식이 경로의 신탁이 아니라 피드백 시스템의 한 구성 요소라는 증거입니다.

TFRC는 TCP와의 합리적 공존을 추구했습니다. RFC는 동일 조건에서 규격에 맞는 TCP 흐름과 대체로 2배 이내의 비율 안에 드는 전송률을 기술하며, 수치적 동일성은 아니라고 합니다. 또한 트레이드오프도 기술합니다. 전송률 변동이 더 매끄럽지만, 가용 대역폭 변화에 대한 반응은 더 느립니다. TFRC는 신뢰성 프로토콜이 아닙니다.

따라서 이후 표준은 원래 추정치를 용량으로 확대하지 않습니다. 그것은 추정치에 직업을 줍니다. 정의된 제어 환경에서 발신자를 제한하는 역할입니다.

중심의 이름은 네 명의 저자에게 속한다

Microsoft Research는 1998년 논문을 “Jitu Padhye”와 Firoiu, Towsley, Kurose의 이름 아래에 등재합니다. 논문 자체는 Jitendra Padhye로 표기합니다. 2010년 Microsoft Research의 공식 글은 단체 사진 속 그를 확인하고 당시 그의 역할을 설명합니다. 이 자료들은 신원과 시점이 기록된 맥락을 확립할 뿐, 현재 직함을 만들어내는 근거가 아닙니다.

Padhye가 이 글의 전기적 중심인 이유는, 그 모델이 널리 그의 이름과 결부되고, 그가 이후 TFRC 저자들 가운데 나타나기 때문입니다. 그러나 PFTK로 흔히 축약되는 방정식에 이니셜이 네 개인 데는 이유가 있습니다. 분석 모델, 그 실증 검증, 그리고 논문의 한계는 공동 작업입니다.

그 표기 경계는 글의 논지와 분리되어 있지 않습니다. 출처가 없는 숫자는 어떤 것이든 대변하도록 만들어질 수 있습니다. 저자, 버전, 검증 환경이 없는 모델은 무엇이든 예측하도록 만들어질 수 있습니다. 출처 표기를 지키는 것은 범위를 지키는 한 방법입니다.

추정기는 자체 대장이 필요하다

책임 있는 배치는 다음 질문들에 답할 수 있어야 합니다.

  • 어떤 원시 관찰이 손실 이벤트를 만들었고, 어느 구간에 걸쳐 있었는가?
  • 어떤 RTT 분포와 타임아웃 추정치가 사용되었는가?
  • 어떤 세그먼트 크기, ACK 동작, 최대 수신자 윈도우, 전송 계층 변종이 적용되었는가?
  • 발신자가 실제로 포화 상태였는가, 아니면 애플리케이션이 흐름을 제한했는가?
  • 어떤 방정식과 상한이 결과를 만들었는가?
  • 예측된 전송 스루풋은 실제 전송률과 전달된 굿푸트와 어떻게 비교되는가?
  • 오차가 커질 때, 어느 가정이 무너졌는가?

기록은 이 답들을 함께 보관해야 합니다. 최종 전송률만 공개하면 그것을 재현하거나 도전할 수단이 버려집니다. 그리고 결과를 “용량”이라 부르는 순간, 뒷받침 증거가 사라진 바로 그 시점에 뒷받침되지 않는 의미가 덧붙여집니다.

Lu Heng의 Running-Code Primacy는 유용한 현재의 렌즈를 제공합니다. 설정된 모델이나 저장된 추정치는 관찰된 전송 계층 동작에 종속되며, 실시간 관찰 역시 그 자체로 관찰 지점과 측정 방법에 의해 한계를 지닙니다. 이것은 편집적 비교이며, 1998년 또는 2008년 저자들이 후대의 원칙을 따랐다는 주장이 아닙니다.

실용적 규칙은 소박합니다. 방정식에게 그것이 설계된 말만 하게 하십시오. 그것은 정의된 증거 아래에서 정의된 전송 계층의 장기 전송률을 예측합니다. 입력, 가정, 잔여 오차를 함께 보존하십시오. 용량은 별도로 측정하십시오. 전달도 별도로, 할당도 별도로 기록하십시오. 모델에게 그것들을 연기하도록 요구하지 않을 때, 모델은 오히려 더 유용해집니다.

출처