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

Joel Halpern <jmh@joelhalpern.com> Tue, 30 May 2023 01:59 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 13FE9C151707 for <ipv6@ietfa.amsl.com>; Mon, 29 May 2023 18:59:42 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.797
X-Spam-Level:
X-Spam-Status: No, score=-2.797 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, NICE_REPLY_A=-0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_PASS=-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 ylnweIUlcXGI for <ipv6@ietfa.amsl.com>; Mon, 29 May 2023 18:59:37 -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 DF542C151089 for <ipv6@ietf.org>; Mon, 29 May 2023 18:59:37 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1]) by mailb1.tigertech.net (Postfix) with ESMTP id 4QVbDn4Npxz5bZvB; Mon, 29 May 2023 18:59:37 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=joelhalpern.com; s=2.tigertech; t=1685411977; bh=2HatayNAnQb5LZWOWnp3fNVr47EldTBn1tlIdgEY8F0=; h=Date:Subject:To:Cc:References:From:In-Reply-To:From; b=bE6D5kh1HvYJoI+GRbsDGYEGAVQF7rl3QPOwYxR9itvyH/ijpARmhpcQK7IPcscuL njf3QmGyeu86ToClBq/JxZnM9kuFVF3VHTLQhFXpoYf1+Q3ovg9n7QLfMhAH5eelz6 oIuk47NXBILXHb1MIms4WoC74Oo0SudL5IUddx/U=
X-Quarantine-ID: <sPNw-53E38qT>
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) server-digest SHA256) (No client certificate requested) by mailb1.tigertech.net (Postfix) with ESMTPSA id 4QVbDl75GYz5bZv9; Mon, 29 May 2023 18:59:35 -0700 (PDT)
Message-ID: <0d88478a-34a2-3f48-20bc-a6b057d9a3a3@joelhalpern.com>
Date: Mon, 29 May 2023 21:59:33 -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: Erik Kline <ek.ietf@gmail.com>
Cc: stefano@previdi.net, cfilsfil@cisco.com, bob.hinden@gmail.com, ipv6@ietf.org, satoru.matsushima@g.softbank.co.jp
References: <20220823193827.8334B877CD@rfcpa.amsl.com> <CAMGpriUPOnWWBYynvbH=2CL_4FgAD6Yut1SMKOuqHzEwXEHJZQ@mail.gmail.com>
From: Joel Halpern <jmh@joelhalpern.com>
In-Reply-To: <CAMGpriUPOnWWBYynvbH=2CL_4FgAD6Yut1SMKOuqHzEwXEHJZQ@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 8bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/ipv6/8bXYckmSEDfaZyJ6DpmDGrU4LB8>
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 01:59:42 -0000

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
> --------------------------------------------------------------------