Re: [tcpm] RFC793bis AD review

Martin Duke <martin.h.duke@gmail.com> Thu, 01 July 2021 18:25 UTC

Return-Path: <martin.h.duke@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 E772D3A1406; Thu, 1 Jul 2021 11:25:21 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.097
X-Spam-Level:
X-Spam-Status: No, score=-2.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, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] 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 ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id fj1ucvVQt18N; Thu, 1 Jul 2021 11:25:17 -0700 (PDT)
Received: from mail-io1-xd33.google.com (mail-io1-xd33.google.com [IPv6:2607:f8b0:4864:20::d33]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 4A36D3A1407; Thu, 1 Jul 2021 11:24:59 -0700 (PDT)
Received: by mail-io1-xd33.google.com with SMTP id l5so8674159iok.7; Thu, 01 Jul 2021 11:24:59 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=l2SkDBPpEhGBIPvBwQQSDJFeN33B/sJVdx0DupISQcM=; b=dqogZ3OOQq9NRwp7p9QddiYkn4xzEmIvNeJcCPbSHLbCheSB2aPcI3z1M6b9MZduiC XeyEZZLVlEF3nY156iBluqw5hwKZ9VKh5vdOEQbug91cMAT93yqkbC0+u1t1wTHLYdiE Lp690ku64XCykeqUiVz8MOFl7bOwbJanQHdYgQ6Dh2psOBAXTIBRVYRAsry3hW0S/4jO QyQI30eQJpHXYhdpRaPOjD41VNQWY+j5te5NG8gUznQHyh9+51DCDmxugFEDjN1+wetz 6oqlqV8BH5avo/2OYD4bzs4ANgyE97eYps2Q+skfwAmLmvN+QfRHH1M8qGLzKEkmZmIE 4fBQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=l2SkDBPpEhGBIPvBwQQSDJFeN33B/sJVdx0DupISQcM=; b=csFQkQaGCVa4YrxvfxaQGOk22aSWJvWftonvBvcpEAXjes0xuiYH7svfcwy0hs5eVL GBfCZdC06elgD0+uToL0pHBFr1EXbh0HO6nkkW8l/Lzlqcr49yfmej89a0ZIOJevzd6i gWVpGhyXSbpkVC3fzSDDsbVk9HB0zJJZyM42iz/DDjsxhhVA/BFScSiLX2x/zScTjD2L hSIXhbrqfoKDJjwV6ZxIf8EPgQGAyX/x+TdRL0fWf1jxaDo21K6G+CnT8Jdu2P1IpSRD aWNvbmOWgjmXEOhFGxPy756tJxZ+eE6tnkfswQ8Z+F/TyuI81QdspvFoglsIGXsvDBga kQQg==
X-Gm-Message-State: AOAM533e+ltHoqct0qUbIPTReXZm+HluUYX7XAYiLedZxf6p4z51sD7g YtfHPTKGhw0WVfA/qXAm0igC4QXI9j6JbRGc2BGRE2MWblQ=
X-Google-Smtp-Source: ABdhPJwpAwP/XZPTVym8/jyDZTMnxVHadIAsnDpM08w/kSWpA0Bo3bTePmk9tFJd5YQJUoGgyV8H1SUN+Re3bgE6/iE=
X-Received: by 2002:a02:3705:: with SMTP id r5mr1029021jar.144.1625163897356; Thu, 01 Jul 2021 11:24:57 -0700 (PDT)
MIME-Version: 1.0
References: <CAM4esxQggOyqpO4RhE151En2mATce8jL0s4dt6CEeqEAqaXkQw@mail.gmail.com> <59e1d10e-542c-3f1f-7098-4f1d8932da5b@mti-systems.com>
In-Reply-To: <59e1d10e-542c-3f1f-7098-4f1d8932da5b@mti-systems.com>
From: Martin Duke <martin.h.duke@gmail.com>
Date: Thu, 1 Jul 2021 11:24:47 -0700
Message-ID: <CAM4esxQRstfNwbU=jQiK6V_P_JF9nQiuZuBRRgGmnHbKzqJqsA@mail.gmail.com>
To: Wesley Eddy <wes@mti-systems.com>
Cc: draft-ietf-tcpm-rfc793bis.all@ietf.org, "tcpm@ietf.org Extensions" <tcpm@ietf.org>
Content-Type: multipart/alternative; boundary="000000000000cdc56805c613f422"
Archived-At: <https://mailarchive.ietf.org/arch/msg/tcpm/CyFIZMHUBkRWshHQ5iLtSuJFQWU>
Subject: Re: [tcpm] RFC793bis AD review
X-BeenThere: tcpm@ietf.org
X-Mailman-Version: 2.1.29
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: Thu, 01 Jul 2021 18:25:22 -0000

On Wed, Jun 30, 2021 at 2:50 PM Wesley Eddy <wes@mti-systems.com> wrote:

> Here are my replies on each finding, with proposed changes to make sure
> you agree, before cutting another revision of the document:
>
>
> On 6/24/2021 4:12 PM, Martin Duke wrote:
>
>
> (Document Header) Please update the Intended Status to "Internet Standard".
>
> There doesn't seem to be a way to force this in xml2rfc3; the 'category'
> attribute is set to 'std' (Standards Track) and there's no distinction
> (this looks consistent with other recent Internet Standard RFCs).
>
> So, I think no change is needed on this.
>

OK


>
> (3.8.3) R1 and R2 can be measured in retransmissions or seconds; the
> proposed bounds are in retransmissions for R1 and seconds for R2. So if I
> have a time-based R1, should that be 3? If I have a retransmission based
> R2, should I compare that to the value of RTO somehow?
>
> This is heritage from RFC 1122.  The text on R1 mentions "at the current
> RTO", so I think RO is definitely the intended conversion factor, but since
> you asked, maybe it's not clear enough?  Do you think maybe in part (a) of
> 3.8.3 we could just change:
>
>     R1 and R2 might be measured in time units or as a count of
> retransmissions.
>
> to:
>
>     R1 and R2 might be measured in time units or as a count of
> retransmissions (with the current RTO as a conversion factor, if needed).
>
> I like that, thanks.


>
> (3.8.5)  This section is unclear as to whether the sender can cause the
> Urgent Pointer to recede (move to the left), and if so, if that MUST be
> reported to the application like a pointer advance.
>
> Receding looks the same as advancing so much that it wraps.  So, if not
> already in urgent mode, that would seem to cause a change to urgent mode,
> while if not already in urgent mode, that would fall under the existing
> rule of:
>
>     If the urgent pointer is updated while the user is in "urgent mode",
> the update will be invisible to the user.
>
> So ... also given that the use of urgent pointer is deprecated anyways and
> we don't want to cause changes to TCP in this doc, I'm proposing we do
> nothing to clarify this, if you agree?
>
I don't think

SEQ 5000 URG 3000
SEQ 5001 URG 1500

would have a common-sense interpretation that the urg ptr was now 7501 +
2^32. I share your grumpiness about sweating the useless urgent pointer,
but it would appear there is a gap in the spec and that in principle these
recedes could exist in the wild. This spec mostly matters for new
implementations; maybe the safest thing is for those new implementations to
prepare to handle a receding pointer, but that senders MUST NOT recede. I
would welcome a quick question to the WG if that logic seems spurious to
you.

Meanwhile, it appears we've uncovered a contradiction! In 3.8.5 we have

If the urgent pointer is updated while the user is in "urgent mode", the
   update will be invisible to the user.

A TCP implementation MUST (MUST-32) inform the application layer
   asynchronously whenever it receives an Urgent pointer and there was
   previously no pending urgent data, or whenever the Urgent pointer
   advances in the data stream.

 If the latter text is correct, AND we decide to allow receding, we should
decide what to do with recedes here.

> (3.8.6.1)
>
> The sending TCP peer must be prepared to accept from the user and
>    send at least one octet of new data even if the send window is zero.
>    The sending TCP peer must regularly retransmit to the receiving TCP
>    peer even when the window is zero
>
> Please clarify that these probes only happen when there is new data, if
> that's the intent.
>
> The "accept from the user" part means that new data was written already,
> right?  If the user doesn't write data into the socket, there's nothing to
> be sent.
>
I have been messing with QUIC too long and may have forgotten how this
works. But IIRC, this text kind of confuses a few different kinds of
transmissions with zero window probes. It might be helpful to actually
define "zero window probe" -- a segment of one byte of data designed to
elicit an ack with a window update. The retransmission discussion is
related but somewhat confusing as currently written. There are four
zero-window scenarios that I can see.

1) If there is outstanding in-window data, we will get ACKs so there is no
need for a ZWP.

2) No send buffer data, but the application generates data while in
zero-window. Clearly, the spec says TCP accepts a byte and sends it.

3) TCP has previously refused application data due to window restrictions,
and now we're in zero-window. TCP needs to wake the app to send again so
that we have material for ZWP.

4) TCP accepted some data, held it for Nagle, and then the receiver
reneged; or all in-flight data is now out of window due to reneging. This
data ought to constitute a ZWP whether or not it is strictly a
"retransmission".

If you believe all of my statements correct, I am happy to propose
alternate text that is not as wordy as the above.,


(3.8.6.1) the first paragraph says

Two minutes is recommended for the retransmission interval when the
   window is zero.

but the last one says

The transmitting host SHOULD send the first zero-window probe when a
   zero window has existed for the retransmission timeout period (SHLD-
   29) (Section 3.8.1
<https://datatracker.ietf.org/doc/html/draft-ietf-tcpm-rfc793bis-23#section-3.8.1>),
and SHOULD increase exponentially the interval
   between successive probes (SHLD-30).

so is it 2 min or the RTO?

Good question ... The first sentence comes from 793 and the other from
1122.  I think we should erase the first sentence, since the 1122 intent
seems to be updating this (replacing the hard-coded 2 minute heuristic with
the RTO one which adapts to reality).  Do you agree?
Yes, I agree.

>
> (3.8.6.2.1) If I read this algorithm correctly, an un-pushed send buffer of < MSS, if D < Fs*Max(SND.WND), will sit there indefinitely without
> being transmitted; is this intentional?
>
> This comes from 1122.  I think the key to preventing what you mention is
> this part of the preceding paragraph:
>
>   To avoid a resulting deadlock, it is necessary to have a
>    timeout to force transmission of data, overriding the SWS avoidance
>    algorithm.
>
> So, SWS avoidance is not supposed to keep a sender waiting forever for the
> receiver to possibly advertise a bigger window; the sender is supposed to
> wake up and just send eventually.
>

Yes, but the override timeout is embedded in step (4), which applies PUSH
as a condition. Maybe that PUSH condition is incorrect?

>
> (3.8.2) and (3.8.6.3) Should RFC 5681 be a normative reference, given the
> congestion control requirement? If not, (3.8.6.3) shouldn't require the
> reader to go there to fully implement delayed ACKs. I suggest
>
> s/an ACK for at least every second segment/an ACK for least every 2*MSS
> bytes of data
>
> to fully state what is in 5681.
>
> Yeah, I think 5681 should be normative (since we also rely on the for
> descriptions of slow start, etc. that we didn't try to duplicate within
> 793bis), but we should also fix the "second segment" sentence to match more
> exactly the text in 5681 about 2*RMSS.
>

OK, there's currently the pointer to 5681 about sub-MSS stuff, so it's
technically correct, but really clunky to force people to go there when
it's so easy to state correctly. I think we agree.

>
> <snip>
>
>
> (3.10, OPEN/LISTEN)
>
> If active and the remote socket is specified, then change the
>          connection from passive to active,
>
> I think you mean "If passive"?
>
> Actually, I think to be more clear this should say:
>
> "If the OPEN call is active ...", since it's referring to the case where
> an active OPEN is called when the socket is in LISTEN (passive).
>
> It's technically correct currently (just not very clear), if you read the
> "If active" as referring to the OPEN call rather than the socket (and it
> must be that way since a socket in the LISTEN state is the result of a
> passive OPEN).
>

Yes, let's clarify


> (3.10, SEGMENT ARRIVES/LISTEN) Step 4 mentions RST but those have already
> been handled in Step 1.
>
> Yeah, you're definitely right, and in both cases the action is to ignore
> it, so this part of step 4 is irrelevant, but at least consistent.
>
> It looks like this is an errata to file on 793; should we do that quickly
> and then fix this doc accordingly?
>
If that is better for your process, then sure.


> *NITS:*
>
> <snip>
>
>
> (3.1, Options) "
>
>    Options: [TCP Option]; Options#Size == (DOffset-5)*32; present only
>    when DOffset > 5.
>
> What is this notation?
>
> It is a little odd, but comes from reference [61] for
> draft-mcquistin-augmented-ascii-diagrams-08.
>

OK


> <snip>
>
> I'm good with changing all of these above.
>
> Thank you for the detailed review!
>