Re: [tcpm] I-D Action: draft-ietf-tcpm-prr-rfc6937bis-05.txt

Yoshifumi Nishida <nsd.ietf@gmail.com> Tue, 06 February 2024 19:00 UTC

Return-Path: <nsd.ietf@gmail.com>
X-Original-To: tcpm@ietfa.amsl.com
Delivered-To: tcpm@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E0624C14CF1A for <tcpm@ietfa.amsl.com>; Tue, 6 Feb 2024 11:00:41 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.097
X-Spam-Level:
X-Spam-Status: No, score=-7.097 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_KAM_HTML_FONT_INVALID=0.01, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id QvEkFOwhiyha for <tcpm@ietfa.amsl.com>; Tue, 6 Feb 2024 11:00:37 -0800 (PST)
Received: from mail-wr1-x436.google.com (mail-wr1-x436.google.com [IPv6:2a00:1450:4864:20::436]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 4189AC14F748 for <tcpm@ietf.org>; Tue, 6 Feb 2024 11:00:37 -0800 (PST)
Received: by mail-wr1-x436.google.com with SMTP id ffacd0b85a97d-33b0f36b808so3919327f8f.3 for <tcpm@ietf.org>; Tue, 06 Feb 2024 11:00:37 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707246036; x=1707850836; darn=ietf.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=lkuttLDP3R7NgKvpi6BmgTBrpn0JKE9msD6cx9lWGXE=; b=kWhJRpZ/0+8hEHJiOr5qDbgsMerJaYsZQlVRRjF5dWyRFLmSmH3DWulpm7ayK/G6o6 NIFdLsaju2Jq205jv+Luy3yvEV/6Jq6OrcaMVrw5J5lBPAsDvAUJRB4tnKDkaE8C4zyD siwjIjqsN0pfdvFp9yvBMqzfStHbHidhUCjCir8MbRbIsWPiQQotvJX3c0bpp9erB2KF Yb1E6Qs62qIBiT/pq6hwmC9Kvc/7c3yM/092bnCopXTE3578XHqBaT6cDESvuOFQLDm4 1Pz0jvkgNjQzXXnwzCpI56y4V7yQBzLP3KG29qBSt0Us2877Y2AAFyqyVKtItt3dx6di p9jw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707246036; x=1707850836; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=lkuttLDP3R7NgKvpi6BmgTBrpn0JKE9msD6cx9lWGXE=; b=q14LEWDbVYAPBQtlJgpsVqtnvKnrcJwmn0A1l75kZgW9X9Y6VAc8vDagu3NIwZycoP 5z4xNbBqMdkfbSVztnsZeblaoep/4l9fSpNRCdIUcLot0Q8DqHy5Gs4kGfv6tNCsYka+ +pqHUzuj9jIO/PbpY6eJl+0izSEGT9e+WZCC5/1dA/MSEc3rfv7ispgfpDoTHlpqkvMg +4hYJW1eeQmNbZ7dBOj9HtitZ3WJoYU3bo+wOQH3qvVWt2zJGobaUxpj0D8XaHhXpqax PkSpZfcxd44Y5ZjNemAIP3XKcxwzqZmqo5fN91P9936wYIFmU+cpw2902+53NcoYHBWf 4WjA==
X-Gm-Message-State: AOJu0Yymjm2Rk0zuF8n8mysaSc2uwJOVOtM0vWZ4zvh9+3Wgwb8svEUm PgbcEYnE0W/s8yzl/gPySoTQF35eWMdZT6zjdzHWtqQqt/w32S5uNRNoHcXXjZ2QrfhLC9uqfAh X+YAcYhi0O8C5lmaCM8vsUA/Hg3M=
X-Google-Smtp-Source: AGHT+IF0k7TEjcU11JHRBIlSwwvUQkyiEZxLdYBroP7IAzQSKWoZOhmdj4lEIegPj/wBSt9HW/4HUshQ5//yv1RZD7M=
X-Received: by 2002:a05:6000:186e:b0:33b:254b:6954 with SMTP id d14-20020a056000186e00b0033b254b6954mr2237768wri.36.1707246035478; Tue, 06 Feb 2024 11:00:35 -0800 (PST)
MIME-Version: 1.0
References: <170657898135.64951.13444558093264676035@ietfa.amsl.com> <4cbabb73-10ff-44ef-a0ee-0d7bdbe124ff@gmx.at> <CADVnQy=nEQQiW=VNNfr=2z5RzuMj2Yu0FyXwjKvFvBbnMSxbDQ@mail.gmail.com> <CAAK044QXrJ4Wk9iAQqZjDKzGbi9oLQB3-5Um6ysGLir_T4FGew@mail.gmail.com> <CADVnQynL7CKNfmCCi3y3vZGaA8i4ZggsH_t_VFRL2QjecLR1gA@mail.gmail.com> <CAAK044Rz9Ad78xGs+kOSnMC8ybKf=+m7Ymhqi8siBTRxGb9Rnw@mail.gmail.com> <CADVnQy=c=3RX5WCZOSFi70ZgGrDhJ6bNgo7q6yZu=_eWmdK=ow@mail.gmail.com>
In-Reply-To: <CADVnQy=c=3RX5WCZOSFi70ZgGrDhJ6bNgo7q6yZu=_eWmdK=ow@mail.gmail.com>
From: Yoshifumi Nishida <nsd.ietf@gmail.com>
Date: Tue, 06 Feb 2024 11:00:24 -0800
Message-ID: <CAAK044SZjsZdeJxsyW3tQ5KVqJZuZnJ=0Jg74y0dHW9kk5C==g@mail.gmail.com>
To: Neal Cardwell <ncardwell@google.com>
Cc: rs.ietf@gmx.at, tcpm@ietf.org, Matt Mathis <mattmathis@measurementlab.net>, Yuchung Cheng <ycheng@google.com>, Nandita Dukkipati <nanditad@google.com>
Content-Type: multipart/alternative; boundary="0000000000007d2bb20610bb3152"
Archived-At: <https://mailarchive.ietf.org/arch/msg/tcpm/nfqE4dVBKrFmZIarxvboDcZ0Zg8>
Subject: Re: [tcpm] I-D Action: draft-ietf-tcpm-prr-rfc6937bis-05.txt
X-BeenThere: tcpm@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: TCP Maintenance and Minor Extensions Working Group <tcpm.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tcpm>, <mailto:tcpm-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tcpm/>
List-Post: <mailto:tcpm@ietf.org>
List-Help: <mailto:tcpm-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tcpm>, <mailto:tcpm-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 06 Feb 2024 19:00:42 -0000

Hi Neal,

Sounds good to me. I just would like to check if some folks have any
opinions.
If this is fine, we will think about submitting it to IESG.
Thanks,
--
Yoshi

On Mon, Feb 5, 2024 at 2:29 PM Neal Cardwell <ncardwell@google.com> wrote:

>
>
> On Mon, Feb 5, 2024 at 11:51 AM Yoshifumi Nishida <nsd.ietf@gmail.com>
> wrote:
>
>>
>>
>> On Mon, Feb 5, 2024 at 8:25 AM Neal Cardwell <ncardwell@google.com>
>> wrote:
>>
>>>
>>>
>>> On Mon, Feb 5, 2024 at 12:04 AM Yoshifumi Nishida <nsd.ietf@gmail.com>
>>> wrote:
>>>
>>>> Hi Neal,
>>>>
>>>> On Wed, Jan 31, 2024 at 8:43 AM Neal Cardwell <ncardwell=
>>>> 40google.com@dmarc.ietf.org> wrote:
>>>>
>>>>>
>>>>>
>>>>> On Wed, Jan 31, 2024 at 11:04 AM <rs.ietf=40gmx.at@dmarc.ietf.org>
>>>>> wrote:
>>>>>
>>>>>>
>>>>>> Hi,
>>>>>>
>>>>>> I'm slightly surprised that PRR removes any specific mentioned to the
>>>>>> SACK loss recovery (with already SACKed data) vs. non-SACK loss
>>>>>> recovery. The wording changed in section 5 makes it more ambigious if
>>>>>> delivered data (SACKed) at the initialization of PRR loss recovery
>>>>>> should be included or not...
>>>>>>
>>>>>> This is the one technical change in this revision; excluding SACKed
>>>>>> data
>>>>>> on entering PRR loss recovery, doesn't that either add complexity
>>>>>> (tracking what SACKed / retransmitted / lost data was at the start of
>>>>>> PRR and excluding this subsequently), or inflate the transmission
>>>>>> opportunities when SndCnd is calculated?
>>>>>>
>>>>>
>>>>> Good points. What do folks think of the following proposed edits:
>>>>>
>>>>> proposed edit 1:
>>>>> ---
>>>>> Old version from version 05:
>>>>>   RecoverFS is the number of unacknowledged bytes upon entering fast
>>>>> recovery, and as such it remains constant during a given fast recovery
>>>>> episode..
>>>>>
>>>>> Proposed:
>>>>>   Upon entering fast recovery, PRR initializes RecoverFS to the value
>>>>> of "pipe", the sender's estimate of the number of bytes outstanding in the
>>>>> network, where "pipe" is computed as specified in RFC 6675. RecoverFS
>>>>> remains constant during a given fast recovery episode.
>>>>>
>>>>> proposed edit 2:
>>>>> ---
>>>>> Old version from version 05:
>>>>>   RecoverFS = snd.nxt - snd.una // FlightSize right before recovery
>>>>>
>>>>> Proposed:
>>>>>
>>>>>    pipe = (RFC 6675 pipe algorithm)
>>>>>
>>>>>    RecoverFS = pipe              // RFC 6675 pipe before recovery
>>>>>
>>>>
>>>> Hmm. but, if SACK is not used, can we use pipe?
>>>> Wouldn't it be something like this?
>>>>
>>>> pipe = (SACK is used)?(RFC 6675 pipe algorithm):(snd_nxt - snd.usa)
>>>>
>>>
>>> Why not use pipe for non-SACK connections? AFAICT the pipe definition
>>> can be used for non-SACK connections.
>>>
>>> If we take the RFC 6675 definition of pipe literally, then for non-SACK
>>> connections AFAICT IsLost (S1) returns false for every packet between
>>> SND.UNA and SND.NXT, so that pipe will be SND.NXT - SND.UNA? And that would
>>> match the answer from this proposed logic, AFAICT?
>>>
>>> If we take the notion of pipe semantically, then for non-SACK
>>> connections AFAICT this encourages TCP implementations to initialize
>>> RecoverFS to their estimate of the amount of data outstanding in the
>>> network. Implementations may have a non-SACK notion of pipe that is better
>>> than SND.NXT - SND.UNA. For example, Linux TCP has a non-SACK pipe estimate
>>> that, upon entry to fast recovery, would be esssentially SND.NXT - SND.UNA
>>> - (num_dupacks_received*SMSS). That's a better (more accurate) value to use
>>> than SND.NXT - SND.UNA .
>>>
>>
>> OK. I see your point. Thanks for the clarification.
>> Do we want to specify the better value for non-sack case than the current
>> one or leave it to implementations?
>>
>
> Good question. Matt and I chatted about this just now. We have updated the
> proposed draft text describing RecoverFS so that it now reads as:
> ---
> RecoverFS is the "recovery flight size", the number of bytes the sender
> estimates are in flight in the network upon entering fast recovery. PRR
> uses RecoverFS to compute a smooth sending rate. Upon entering fast
> recovery, PRR initializes RecoverFS to the sender's best estimate of the
> number of bytes outstanding in the network; for connections with SACK this
> is typically "pipe" as specified in RFC 6675. RecoverFS remains constant
> during a given fast recovery episode.
> ---
>
> The initialization proposed pseudocode still reads as:
> ---
>
>    pipe = (RFC 6675 pipe algorithm)
>    RecoverFS = pipe              // RFC 6675 pipe before recovery
> ---
>
> Our sense was that this approach is general enough to encompass both SACK
> and non-SACK cases.
>
> We could indeed spell out the pseudocode for the non-SACK case, but we
> wanted to avoid specifying something that might accidentally conflict with
> other standards, now or in the future.
>
> How does that sound?
>
> best regards,
> neal
>
>