Re: [IPv6] [Technical Errata Reported] RFC8754 (7102)

Joel Halpern <jmh@joelhalpern.com> Tue, 30 May 2023 17:46 UTC

Return-Path: <jmh@joelhalpern.com>
X-Original-To: ipv6@ietfa.amsl.com
Delivered-To: ipv6@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 1ABABC14F73F for <ipv6@ietfa.amsl.com>; Tue, 30 May 2023 10:46:03 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.095
X-Spam-Level:
X-Spam-Status: No, score=-7.095 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, HTML_MESSAGE=0.001, NICE_REPLY_A=-0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=joelhalpern.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 MrqRFXb1JUu5 for <ipv6@ietfa.amsl.com>; Tue, 30 May 2023 10:45:59 -0700 (PDT)
Received: from mailb1.tigertech.net (mailb1.tigertech.net [208.80.4.153]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 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 28A3CC16B5A8 for <ipv6@ietf.org>; Tue, 30 May 2023 10:45:59 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1]) by mailb1.tigertech.net (Postfix) with ESMTP id 4QW0Dk5tbWz5bbVK; Tue, 30 May 2023 10:45:58 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=joelhalpern.com; s=2.tigertech; t=1685468758; bh=NxIZKN28jFWz1xwXy+XiPnzEtESsJoqGqhYrcJT1q48=; h=Date:Subject:To:Cc:References:From:In-Reply-To:From; b=A3ZfASBGdYfLWhO1RdCoMX/KdPHfQq70GQJuBBZtfYraE/Kgu9hsZckm57hRRk28u 9hya6YGLmPlusiGvi8JWWIm7JICHq2jBgKdVkpGLVtfKJhGn4Jwhyd+TTwPeaBiKm5 e7tZF0NLYnSK4x4cj0UzQ524novy6fmlnhVNB9Go=
X-Quarantine-ID: <cbe3iw1_fuC4>
X-Virus-Scanned: Debian amavisd-new at b1.tigertech.net
Received: from [192.168.22.80] (unknown [50.233.136.230]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by mailb1.tigertech.net (Postfix) with ESMTPSA id 4QW0Dj0cVKz5bbTS; Tue, 30 May 2023 10:45:56 -0700 (PDT)
Content-Type: multipart/alternative; boundary="------------KdckasXlUG1ZSOiT5Np0fdGu"
Message-ID: <6fa56677-df7f-83df-e8c9-052e0591a9fa@joelhalpern.com>
Date: Tue, 30 May 2023 13:45:55 -0400
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.11.2
Content-Language: en-US
To: "Darren Dukes (ddukes)" <ddukes@cisco.com>, Greg Mirsky <gregimirsky@gmail.com>
Cc: "ipv6@ietf.org" <ipv6@ietf.org>, "stefano@previdi.net" <stefano@previdi.net>, "Clarence Filsfils (cfilsfil)" <cfilsfil@cisco.com>, "bob.hinden@gmail.com" <bob.hinden@gmail.com>, "satoru.matsushima@g.softbank.co.jp" <satoru.matsushima@g.softbank.co.jp>
References: <20220823193827.8334B877CD@rfcpa.amsl.com> <CAMGpriUPOnWWBYynvbH=2CL_4FgAD6Yut1SMKOuqHzEwXEHJZQ@mail.gmail.com> <0d88478a-34a2-3f48-20bc-a6b057d9a3a3@joelhalpern.com> <CA+RyBmUbxiTQ8MazXTpUXFzRLBRNeUNAEATG=cGbRCiX3GiYEQ@mail.gmail.com> <e3908883-f0c9-c0a0-79d1-5fe6ae128d36@joelhalpern.com> <BL1PR11MB5366AECDC2328A425C105BBBC84B9@BL1PR11MB5366.namprd11.prod.outlook.com>
From: Joel Halpern <jmh@joelhalpern.com>
In-Reply-To: <BL1PR11MB5366AECDC2328A425C105BBBC84B9@BL1PR11MB5366.namprd11.prod.outlook.com>
Archived-At: <https://mailarchive.ietf.org/arch/msg/ipv6/vNcTNNVWFZqUiCKKaE-OUjnNz7E>
Subject: Re: [IPv6] [Technical Errata Reported] RFC8754 (7102)
X-BeenThere: ipv6@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: "IPv6 Maintenance Working Group \(6man\)" <ipv6.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/ipv6>, <mailto:ipv6-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ipv6/>
List-Post: <mailto:ipv6@ietf.org>
List-Help: <mailto:ipv6-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/ipv6>, <mailto:ipv6-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 30 May 2023 17:46:03 -0000

I am inclined to "Segment List", but can live with "Segment List field" 
if others feel that is helkpful.

Yours,

Joel

On 5/30/2023 11:12 AM, Darren Dukes (ddukes) wrote:
>
> Hi Greg and Joel, I’m happy with:
>
> Segments Left: Defined in [RFC8200], Section 4.4.
> Specifically, for the SRH, the number of unprocessed
>
> 128-bit entries in the Segment List.
>
> It’s the more precise description. Now “Segment List field” or 
> “Segment List”?
>
> Thanks!
>
> Darren
>
> On 2023-05-29, 10:46 PM, "ipv6" <ipv6-bounces@ietf.org> wrote:
>
> Good point.  That works for me. That wording seems better than simply 
> relying on people understanding "remaining".
>
> Yours,
>
> Joel
>
> On 5/29/2023 10:17 PM, Greg Mirsky wrote:
>
>     Hi, Joel et al.,
>
>     as I understand it, segments are not removed from the Segment
>     List. If that is correct, then, according to the proposed
>     definition, the value of the Segments Left field is constant
>     throughout the lifetime of a given SRH. But that is not how it is
>     supposed to be used, Right? I think that the following might
>     better reflect the use of the field:
>
>     NEW TEXT:
>
>     Segments Left:  Defined in [RFC8200], Section 4.4.
>     Specifically, for the SRH, the number of unprocessed
>
>     segments in the Segment List.
>
>     Similarly, following up on your point about the need to use more
>     general terminology:
>
>     NEW TEXT:
>
>     Segments Left:  Defined in [RFC8200], Section 4.4.
>     Specifically, for the SRH, the number of unprocessed
>
>     128-bit entries in the Segment List.
>
>     WDYT?
>
>     Regards,
>
>     Greg
>
>     On Mon, May 29, 2023 at 6:59 PM Joel Halpern <jmh@joelhalpern.com>
>     wrote:
>
>         I think there are two issues, both easily resolved.
>
>         Given that different people may have been reading the existing
>         text
>         differently, I think that we need to make sure 6man agrees on
>         what it
>         should have meant.   To solve this, we "merely" need folks to
>         speak up.
>
>         The second issue is that we want the wording to end up correct
>         even when
>         we add compressed SID containers, without introducing a normative
>         dependence on a WG I-D.
>
>         The proposed clarifying text currently reads:
>
>         Segments Left:  Defined in [RFC8200], Section 4.4.
>         Specifically, for the SRH, the number of segments
>         remaining in the Segment List.
>
>         If I try to interpret that looking forward to compressed SID
>         containers, I end up confused as to what is intended.  (I know
>         what the various pieces of pseudo-code add up to, but the
>         definition should be clear.)  I think the following may help:
>
>         Segments Left:  Defined in [RFC8200], Section 4.4.
>         Specifically, for the SRH, the number of 1228 bit entries
>         remaining in the Segment List.
>
>         I had earlier thought that maybe we could say "the number of
>         128 bit SIDs or SID containers", but I fear that would produce
>         an improper dependence since we don't have containers defined
>         anywhere.
>
>         Thoughts?
>         Joel
>
>         On 5/29/2023 6:40 PM, Erik Kline wrote:
>         > There has been a request to engage in some word-smithing before
>         > returning this to Verified.
>         >
>         > May I ask that it be put back into Reported state while this
>         is discussed?
>         >
>         > On Tue, Aug 23, 2022 at 12:38 PM RFC Errata System
>         > <rfc-editor@rfc-editor.org> wrote:
>         >> The following errata report has been submitted for RFC8754,
>         >> "IPv6 Segment Routing Header (SRH)".
>         >>
>         >> --------------------------------------
>         >> You may review the report below and at:
>         >> https://www.rfc-editor.org/errata/eid7102
>         >>
>         >> --------------------------------------
>         >> Type: Technical
>         >> Reported by: Darren Dukes <ddukes@cisco.com>
>         >>
>         >> Section: 2
>         >>
>         >> Original Text
>         >> -------------
>         >> Segments Left:  Defined in [RFC8200], Section 4.4.
>         >>
>         >> Corrected Text
>         >> --------------
>         >> Segments Left:  Defined in [RFC8200], Section 4.4.
>         >> Specifically, for the SRH, the number of segments
>         >> remaining in the Segment List.
>         >>
>         >> Notes
>         >> -----
>         >> RFC8754 describes “The encoding of IPv6 segments in the
>         SRH” where IPv6 segments are defined in RFC8402.  RFC8402
>         describes binding SIDs and adjacency SIDs for SRv6. Both these
>         SID types identify more than a single explicitly listed
>         intermediate node to be visited.
>         >> The current definition of Segments Left only indicates it
>         is defined in RFC8200, and RFC8200 defines it as “Number of
>         route  segments remaining, i.e., number of explicitly listed
>         intermediate nodes still to be visited before reaching the
>         final destination”.
>         >>
>         >> Previous versions of draft-ietf-6man-segment-routing-header
>         (0-11) referenced RFC2460/RFC8200 and described the Segments
>         Left field by use in the SRH; as an index into the Segment
>         List. This was removed in later versions (12/13) to
>         consolidate the use of segments left to be specific to the
>         segment processed (now section 4.3.1).  However, that removed
>         the definition of its meaning in the SRH which led to the
>         current issue.
>         >>
>         >> The corrected text restores the meaning of Segments Left
>         for the SRH in relation to Segment List (which is not defined
>         in RFC8200), while still leaving its use during segment
>         processing to the segment definition (section 4.3.1 or future
>         documents).
>         >>
>         >> Instructions:
>         >> -------------
>         >> This erratum is currently posted as "Reported". If
>         necessary, please
>         >> use "Reply All" to discuss whether it should be verified or
>         >> rejected. When a decision is reached, the verifying party
>         >> can log in to change the status and edit the report, if
>         necessary.
>         >>
>         >> --------------------------------------
>         >> RFC8754 (draft-ietf-6man-segment-routing-header-26)
>         >> --------------------------------------
>         >> Title               : IPv6 Segment Routing Header (SRH)
>         >> Publication Date    : March 2020
>         >> Author(s)           : C. Filsfils, Ed., D. Dukes, Ed., S.
>         Previdi, J. Leddy, S. Matsushima, D. Voyer
>         >> Category            : PROPOSED STANDARD
>         >> Source              : IPv6 Maintenance
>         >> Area                : Internet
>         >> Stream              : IETF
>         >> Verifying Party     : IESG
>         >
>         --------------------------------------------------------------------
>         > IETF IPv6 working group mailing list
>         > ipv6@ietf.org
>         > Administrative Requests:
>         https://www.ietf.org/mailman/listinfo/ipv6
>         >
>         --------------------------------------------------------------------
>
>         --------------------------------------------------------------------
>         IETF IPv6 working group mailing list
>         ipv6@ietf.org
>         Administrative Requests:
>         https://www.ietf.org/mailman/listinfo/ipv6
>         --------------------------------------------------------------------
>