Re: [spring] Proposed policy on reporting implementation and interoperability

Robert Raszuk <robert@raszuk.net> Fri, 19 August 2022 16:05 UTC

Return-Path: <robert@raszuk.net>
X-Original-To: spring@ietfa.amsl.com
Delivered-To: spring@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 18B26C1522BD for <spring@ietfa.amsl.com>; Fri, 19 Aug 2022 09:05:50 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.106
X-Spam-Level:
X-Spam-Status: No, score=-2.106 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, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=raszuk.net
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 Hgw5-_Y1esYI for <spring@ietfa.amsl.com>; Fri, 19 Aug 2022 09:05:46 -0700 (PDT)
Received: from mail-ed1-x533.google.com (mail-ed1-x533.google.com [IPv6:2a00:1450:4864:20::533]) (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 26817C14F722 for <spring@ietf.org>; Fri, 19 Aug 2022 09:05:45 -0700 (PDT)
Received: by mail-ed1-x533.google.com with SMTP id w3so6217251edc.2 for <spring@ietf.org>; Fri, 19 Aug 2022 09:05:45 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=raszuk.net; s=google; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc; bh=zW3i726l8DYGArAxgZKg+Prlnxo30Qpll80Dvkmiipw=; b=UKSL1sDLmTsmBDuEXkq1eL1UWAHCm0sLVBMEjsw3cu1uAzGTbyf9y1shMCz8iT5+h6 3Q+x+8+KsfI0bJqXgJY4YvCyuwA1N42D2UbQjcrbdc/UvGtV9x4qE2ASP63KLujZ+TWQ Bh4gmtPClfaKF5gdtFoHeQ2Ef55Lr+vnEOzWgEtnvMvbWdfVdwN1mtWJ3RXDMylcCozm imw4pCb3zqG7/hRBiaxmSITREjsA6W0FKbul3Itjr5Iy1c1Kj4IHT2M8pUtxDAdG01nG ovd/RZlyS+NmtzP1srQgoekOWApEubE6Snl3KcmMJw8xAQNdTbJNy1HkmK/J6o6YrcP2 78Ug==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc; bh=zW3i726l8DYGArAxgZKg+Prlnxo30Qpll80Dvkmiipw=; b=pCydN4QsLHDm0H4+kyxRmPEPZ3olz6O9JtoSM8d9mVmb6CbkvCol/A+7qcqTx9uLsv amM9ReRb2RpYP8UAqmeGGg+n++om4/Zp5me8R/oIo28/AXWViG584Rt2f7JdxExRULML IfIX/qt0bzuTXFAWD2bZCrZVbjFfj7Xym26xnUVZxrOmFZCuiG7IlPu67O/W+MwKP3Eg If46Y2bQhMkdzDy5S/FA3r5tcJjk0TMskLuS+OvkwUROc68UYj5yO1xPaunBVwkstWSk ziklW5FG0oHXkByPhWoYK6zR6xHx/+lxrt2LtF4Op9UazeGKyHNqt+j9mgh/rb1y9ata W8SA==
X-Gm-Message-State: ACgBeo2GBO0jWQfSoM5wwuOwycwCz1GVVNrs/p4Rv1ccSoaeSSkIhTNN fOtppz29df21uf/CBKrWkvO3ozwc357QzcTG5xGlSA==
X-Google-Smtp-Source: AA6agR56xa6XYibCgPQvyCdFC8nqNWRF/Uja+uk663SC+g91rFkkWdva12NRtwoyAmSosRHI/TeXM+AG0nnqs3KE6pM=
X-Received: by 2002:a05:6402:5192:b0:43d:cc0d:6ea4 with SMTP id q18-20020a056402519200b0043dcc0d6ea4mr6580601edd.111.1660925143950; Fri, 19 Aug 2022 09:05:43 -0700 (PDT)
MIME-Version: 1.0
References: <9c7ac280-c1f7-956c-cdbb-2b0745aaf2fa@joelhalpern.com> <CAH6gdPzYmxoVbOaAp3waUWFOCJPVoW1R3iN75SoqimyrkY769w@mail.gmail.com> <fe51b706-dac2-1796-4972-9a561c3bd17a@joelhalpern.com> <CAOj+MMEmXRcESZV5AjJOrgFCEF821CPB0ag7rx3OYz4HSp2gbg@mail.gmail.com> <b17cd0b6-0ac4-e41f-854f-0914c7ac53f7@joelhalpern.com> <CAOj+MMFcaOzUe0CEOjsBr4=S8a6Ku=0qHXvaGw0w+hYZY84A2A@mail.gmail.com> <CAH6gdPwkAsWKFdD47=hrbnuHpAP8Ay_szWEc1AuLsSggnsg5cA@mail.gmail.com> <CAOj+MMHWbamLg_t6fcC-xYY3CUQmEK=ZW_aDBuc1nYh_kATpRw@mail.gmail.com> <CAH6gdPxosfYDxj2hMAMggemPTN+LqFA2giK27T83E-WnUa5F1A@mail.gmail.com>
In-Reply-To: <CAH6gdPxosfYDxj2hMAMggemPTN+LqFA2giK27T83E-WnUa5F1A@mail.gmail.com>
From: Robert Raszuk <robert@raszuk.net>
Date: Fri, 19 Aug 2022 18:05:33 +0200
Message-ID: <CAOj+MMF+ZnX-kLnxbFhtCSacc8XX+tLcY90XOGZQUXsCaTWAHw@mail.gmail.com>
To: Ketan Talaulikar <ketant.ietf@gmail.com>
Cc: Joel Halpern <jmh@joelhalpern.com>, SPRING WG <spring@ietf.org>
Content-Type: multipart/alternative; boundary="00000000000034425605e69a458d"
Archived-At: <https://mailarchive.ietf.org/arch/msg/spring/YK3_7AzOuQpn1XFGJ0jCaaHVbes>
Subject: Re: [spring] Proposed policy on reporting implementation and interoperability
X-BeenThere: spring@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: "Source Packet Routing in NetworkinG \(SPRING\)" <spring.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/spring>, <mailto:spring-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/spring/>
List-Post: <mailto:spring@ietf.org>
List-Help: <mailto:spring-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/spring>, <mailto:spring-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 19 Aug 2022 16:05:50 -0000

Hey Ketan,

Ok so take RFC8667 as example. Let's assume implementation of SID/Label
Binding TLV is optional (is it really :) ?

So yes it has few MUSTs there ... but those MUSTs apply to protocol
encoding in the context of this TLV. And no implementation can cherry pick
to implement some MUSTs in this TLV and not the others.

So I am really confused on Joel's point.

Implementation report should here focus on which TLVs or sub-TLVs are
implemented .. never dive into which MUSTs of given TLVs/sub-TLVs got
implemented.

Many thx,
Robert



On Fri, Aug 19, 2022 at 5:56 PM Ketan Talaulikar <ketant.ietf@gmail.com>
wrote:

> Hi Robert,
>
> Indeed, writing implementation reports for architecture documents (which
> is what we mostly do in SPRING WG) is more challenging than protocol specs.
> This was my point as well. For an operator, considering a solution
> deployment, perhaps the implementation report for the protocol spec is as
> important (if not more) than the architecture.
>
> Coming to your question, we can consider RFC8667 which has several
> TLVs/sub-TLVs for different segment-type advertisements. For example,
> features like SRMS or Mirror SID are optional, but should one implement
> their support, they would need to deal with some MUST clauses specific to
> those advertisements and their processing.
>
> Thanks,
> Ketan
>
>
> On Fri, Aug 19, 2022 at 9:18 PM Robert Raszuk <robert@raszuk.net> wrote:
>
>> Thx Ketan.
>>
>> Yes indeed but this is an architecture document ... In such type of
>> documents it is hard to imagine an implementation report. You implement
>> protocol specification not an architecture.
>>
>> I was more curious how many protocol extension RFCs say from IDR or LSR
>> WGs have such "issue".
>>
>> Thx,
>> R.
>>
>> On Fri, Aug 19, 2022 at 5:43 PM Ketan Talaulikar <ketant.ietf@gmail.com>
>> wrote:
>>
>>> Hi Robert,
>>>
>>> Let us consider RFC8402 which has a whole bunch of MUST clauses. An
>>> implementation may choose not to support IGP Anycast Segment. The spec does
>>> not say that any of the Segments are mandatory for SR. However, there are
>>> some MUST clauses to follow should implementation support it.
>>>
>>> I hope that clarifies.
>>>
>>> Thanks,
>>> Ketan
>>>
>>>
>>> On Fri, Aug 19, 2022 at 9:01 PM Robert Raszuk <robert@raszuk.net> wrote:
>>>
>>>> Hi Joel,
>>>>
>>>> Would you mind providing a few such examples of reality in the
>>>> published standard track RFCs coming via Routing Area ?
>>>>
>>>> Many thx,
>>>> Robert
>>>>
>>>>
>>>>
>>>> On Fri, Aug 19, 2022 at 5:23 PM Joel Halpern <jmh@joelhalpern.com>
>>>> wrote:
>>>>
>>>>> While what you propose may be cleaner, what Ketan asked about is a
>>>>> common practice.  So it seems useful to recognize that reality.
>>>>>
>>>>> Yours,
>>>>>
>>>>> Joel
>>>>> On 8/19/2022 10:58 AM, Robert Raszuk wrote:
>>>>>
>>>>> Joel,
>>>>>
>>>>>> I would be interested in hearing from the WG on this.  My
>>>>>> expectations is that if someone says they implement optional feature X, and
>>>>>> X has MUSTs conditioned on it, then they have to explain whether they
>>>>>> comply with those MUSTs.
>>>>>>
>>>>> When I look at BCP-14 or RFC2119 I do not see any distinction for
>>>>> categorizing MUSTs into main MUSTs or MUSTs under optional features.
>>>>>
>>>>>
>>>>> *1. MUST   This word, or the terms "REQUIRED" or "SHALL", mean that
>>>>> the    definition is an absolute requirement of the specification.*
>>>>>
>>>>> While technically sound I am not even sure if any optional feature can
>>>>> have any mandatory MUSTs which apply only when someone chooses to
>>>>> implement such a feature.
>>>>>
>>>>> In such cases IMO it would be much cleaner to just separate those
>>>>> features into separate documents and still MUST be a top level normative
>>>>> clause.
>>>>>
>>>>> Many thx,
>>>>> R.
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>