Re: [Idr] WKLC transitivity considerations (was Re: Adoption call for draft-heitz-idr-wklc-02 (3/9 to 3/23))

["Jakob Heitz (jheitz)" <[e-mail]>]

Yes.

Regards,
Jakob.

-----Original Message-----
From: Jeffrey Haas <[e-mail]> 
Sent: Friday, March 19, 2021 2:44 PM
To: Jakob Heitz (jheitz) <[e-mail]>
Cc: [e-mail]
Subject: Re: [Idr] WKLC transitivity considerations (was Re: Adoption call for draft-heitz-idr-wklc-02 (3/9 to 3/23))

Jakob,

On Fri, Mar 19, 2021 at 08:40:15PM +0000, Jakob Heitz (jheitz) wrote:
> I'm glad you brought that up.
> IMO, it's "don't care".
> 
> It matters in duplicate detection.
> If the LC attribute contains a particular WKLC and the same WKLC
> were to be added, say by a route-policy statement, but with a
> different transitivity, do you add both of them or just one of
> them and if so, which one do you keep?
> 
> I'm just going to stick my neck out and say:
> keep the value with the longest transitivity.
> So, in the draft, the highest numerical transitivity.
> 
> The reasoning:
> Suppose you keep both. What is the behavior?
> Assume that the decision taken by a BGP speaker at a WKLC match
> does not depend on the transitivity, but only on the other bits.
> If two identical community values exist in a community attribute,
> then the decision is exactly the same as if there were only one.
> Therefore discarding the value with the shorter transitivity
> does not change routing behavior.
> 
> The transitivity should matter only in the decision to propagate
> and no other decision. If that's a good assumption, then it should work.
> 
> I just made this up on the spot, so I might have missed something.

I understand your thinking here.  A few related observations:

Since large communities will exist prior to this feature being added, policy
may occur on some implementation without WKLC that adds communities that
could be duplicate.  This means we already need to be ready to deal with
handling duplicates.

Your policy now has to deal with being able to alter scope.  E.g.:
if match wklc-foo:
	 set wklc-transitivity non-transitive;


-- Jeff