Re: [Idr] Poll on the RFC5575bis implementations about the suggested changes during IETF review

Jeffrey Haas <jhaas@pfrc.org> Wed, 06 May 2020 17:04 UTC

Return-Path: <jhaas@slice.pfrc.org>
X-Original-To: idr@ietfa.amsl.com
Delivered-To: idr@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 1E9743A07DE; Wed, 6 May 2020 10:04:39 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.901
X-Spam-Level:
X-Spam-Status: No, score=-1.901 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
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 yGq7MBsuw4tm; Wed, 6 May 2020 10:04:36 -0700 (PDT)
Received: from slice.pfrc.org (slice.pfrc.org [67.207.130.108]) by ietfa.amsl.com (Postfix) with ESMTP id 8242D3A0820; Wed, 6 May 2020 10:04:36 -0700 (PDT)
Received: by slice.pfrc.org (Postfix, from userid 1001) id 691341E2D6; Wed, 6 May 2020 13:11:59 -0400 (EDT)
Date: Wed, 06 May 2020 13:11:59 -0400
From: Jeffrey Haas <jhaas@pfrc.org>
To: "Dongjie (Jimmy)" <jie.dong@huawei.com>
Cc: "Kirill.Kasavchenko@netscout.com" <Kirill.Kasavchenko@netscout.com>, "thomas.mangin@exa.net.uk" <thomas.mangin@exa.net.uk>, "jhaas@juniper.net" <jhaas@juniper.net>, "bduvivie@cisco.com" <bduvivie@cisco.com>, IDR List <idr@ietf.org>, "idr-chairs@ietf.org" <idr-chairs@ietf.org>
Message-ID: <20200506171159.GA32374@pfrc.org>
References: <14293c9f9c2e41219a13f09adacb6289@huawei.com> <20200430024817.GE28692@pfrc.org> <3bc53ae2d7524813b1b4d18f4fc51d99@huawei.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <3bc53ae2d7524813b1b4d18f4fc51d99@huawei.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Archived-At: <https://mailarchive.ietf.org/arch/msg/idr/-Rs0a5uAHLrM-BvurVcTfF0S-Qk>
Subject: Re: [Idr] Poll on the RFC5575bis implementations about the suggested changes during IETF review
X-BeenThere: idr@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Inter-Domain Routing <idr.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/idr>, <mailto:idr-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/idr/>
List-Post: <mailto:idr@ietf.org>
List-Help: <mailto:idr-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/idr>, <mailto:idr-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 06 May 2020 17:04:40 -0000

Jie,

On Wed, May 06, 2020 at 04:10:03PM +0000, Dongjie (Jimmy) wrote:
> > > In summary, it is suggested that in the bit/flag descriptions, “SHOULD be
> > set to 0…”  is replaced with “MUST be set to 0…”.
> > 
> > The pattern we normally want to see is "MUST be set to zero and SHOULD be
> > ignored on receipt".
> > 
> > By requiring it to be set, you have expectations for a compliant
> > implementation of a given draft.
> > 
> > By ignoring it on receipt, you permit the field to be used for something
> > further in the future.
> > 
> > The above is consistent with Postel's Maxim.
> 
> Both descriptions work for me, and both can be found in existing RFCs. 
> 
> Perhaps my understanding to Postel’s Maxim is slightly different (I'm not a native English speaker:), to me "MUST be ignored" aligns more with "be liberal in what you accept", as the reserved Flags are always ignored, hence always accepted on receipt.

Your understanding is a valid one.

Where the story is perhaps easier to understand is think about it from the
perspective of the feature that then uses these bits.  There are two inputs:
- If you are expecting to be talking to a conformant v1 of a specification
  that says "MUST be set to zero", your expectation is that it is safe to
  use these bits for the next version of a thing, because:
- Conformant v1 will ignore it when that is no longer true. 

If you have the reverse:
- If you are expecting that the values SHOULD be set to zero in v1, it is
  the same as saying they may be otherwise in v1.
- If you are saying that they MUST be ignored, in v2 you're saying don't
  ignore some of them.  Is that okay given the uncertainty for v1 vs v2?

This is a very subtle area.  It would be nice if IETF chooses one.

Regardless of the language, our desire is v1 leaves them as zero and pays no
attention to them so that v2 can set them and v1 doesn't care.

> > With regard to Juniper's implementation:
> > - In sections 4.2.1.1 and 4.2.1.2 for operators, we originate zeroes when
> >   generating new NLRI in the reserved bits and we ignore them on receipt.
> >   However, we also propagate what we are sent and use when we're not the
> >   originator of that NLRI.
> > - In section 7.3 (traffic action), we similarly originate only the two bits
> >   in question and zero the rest of the fields if we set the community, but
> >   otherwise ignore the rest of the bits on receipt.
> > - In section 7.5 (DSCP), we originate zero and ignore the top order bit and
> >   any other bits that should be zero.
> 
> Thanks for providing the implementation information. 
> 
> I'd also like to provide information about Huawei's implementation, the behavior is similar: The reserved bits are set to zero on originator, and are ignored on receipt. Also the reserved bits are kept unchanged when the route is further propagated. 

We have similar behavior then.

This is another point worth putting into a FAQ because the behavioral
changes for originating vs. propagating can be confusing to new people.

> > However, there are related things you're not asking:
> > - If we receive two NLRI that are otherwise functionally equivalent but have
> >   the must-be-zero bits set differently, they are different NLRI per the
> >   memcmp rule.
> > - The BGP extended communities suffer the common curse of all "magic"
> >   communities: More than one such extended community is present, we will
> >   pick the "first" one for use, where first is the internal lexicographical
> > ordering
> >   of the collection of extended communities (again, roughly memcmp order).
> > We
> >   will also propagate all such received communities.
> 
> Both the above cases you mentioned are valid, and IMO they reflect generic issues which deserve some further discussion. Based on discussion, maybe we could produce a set of generic rules related to the setting, receipt and processing of the reserved fields in both NLRI and BGP attributes, or even other protocols. Such rules could provide guidance for the specification of the reserved fields in future.
> 
> What do you think?

I agree.

-- Jeff