Re: Forwarding Packets With Link Local Destination Addresses

Alexandre Petrescu <alexandre.petrescu@gmail.com> Fri, 08 January 2021 09:32 UTC

Return-Path: <alexandre.petrescu@gmail.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 8A8DC3A11BC for <ipv6@ietfa.amsl.com>; Fri, 8 Jan 2021 01:32:55 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 0.406
X-Spam-Level:
X-Spam-Status: No, score=0.406 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_ADSP_CUSTOM_MED=0.001, FORGED_GMAIL_RCVD=1, FREEMAIL_FROM=0.001, NICE_REPLY_A=-0.262, NML_ADSP_CUSTOM_MED=0.9, SPF_HELO_NONE=0.001, SPF_SOFTFAIL=0.665] autolearn=no 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 aqIvVuUhWqwQ for <ipv6@ietfa.amsl.com>; Fri, 8 Jan 2021 01:32:54 -0800 (PST)
Received: from oxalide-smtp-out.extra.cea.fr (oxalide-smtp-out.extra.cea.fr [132.168.224.13]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id D7B553A11BB for <ipv6@ietf.org>; Fri, 8 Jan 2021 01:32:53 -0800 (PST)
Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 1089WpA7021005; Fri, 8 Jan 2021 10:32:51 +0100
Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id ED93D20507A; Fri, 8 Jan 2021 10:32:50 +0100 (CET)
Received: from muguet2-smtp-out.intra.cea.fr (muguet2-smtp-out.intra.cea.fr [132.166.192.13]) by pisaure.intra.cea.fr (Postfix) with ESMTP id DF18D204FE4; Fri, 8 Jan 2021 10:32:50 +0100 (CET)
Received: from [10.8.35.150] (is154594.intra.cea.fr [10.8.35.150]) by muguet2-sys.intra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 1089Wojp012922; Fri, 8 Jan 2021 10:32:50 +0100
Subject: Re: Forwarding Packets With Link Local Destination Addresses
To: 神明達哉 <jinmei@wide.ad.jp>
Cc: IPv6 IPv6 List <ipv6@ietf.org>
References: <DM6PR05MB6348A18046C5DDC7CF2AED76AEAF0@DM6PR05MB6348.namprd05.prod.outlook.com> <CAJE_bqdYv1uO7fZjG8hvD7Zf=f_TL6zH0bcgxxzxHG1ZkA8XGw@mail.gmail.com> <DM6PR05MB634852C42F4CCDBFA137EAE2AEAF0@DM6PR05MB6348.namprd05.prod.outlook.com> <5cf537dc-b7e8-7de9-f461-26a25b5d31fe@gmail.com> <CAJE_bqctRQzbb0V4E=FT91oPpLDfd=+F0cXsWH_S8iLbgLsqVQ@mail.gmail.com>
From: Alexandre Petrescu <alexandre.petrescu@gmail.com>
Message-ID: <e363a94f-cc18-8255-89c7-ad1d07f0b16c@gmail.com>
Date: Fri, 08 Jan 2021 10:32:51 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.6.0
MIME-Version: 1.0
In-Reply-To: <CAJE_bqctRQzbb0V4E=FT91oPpLDfd=+F0cXsWH_S8iLbgLsqVQ@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Language: fr
Content-Transfer-Encoding: 8bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/ipv6/z07OIzTyxfjHDmhys58D4nqO2XI>
X-BeenThere: ipv6@ietf.org
X-Mailman-Version: 2.1.29
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: Fri, 08 Jan 2021 09:32:56 -0000


Le 08/01/2021 à 06:52, 神明達哉 a écrit :
> At Thu, 7 Jan 2021 20:05:47 +0100, Alexandre Petrescu
> <alexandre.petrescu@gmail.com> wrote:
> 
>>> Thanks! I think that the following text from RFC 4007 covers the 
>>> issue:
>>> 
>>> "   A node that receives a packet addressed to itself and
>>> containing a Routing Header with more than zero Segments Left
>>> (Section 4.4 of [3]) first checks the scope of the next address
>>> in the Routing Header.  If the scope of the next address is
>>> smaller than the scope of the original destination address, the
>>> node MUST discard the packet. "
>> 
>> Are scopes bigger one than another?
>> 
>> In multicast that may be true, but in unicast it's hard to say a
>> scope might be smaller or bigger than another scope.
>> 
>> In unicast, there might be only two scopes: LL and global.  It
>> might be that there is no inclusion from one into another, or it
>> might be that a size comparison might not be possible.
> 
> RFC 4007 explicitly defines the size relationship between scopes:
> 
> There is a size relationship among scopes:
> 
> o  For unicast scopes, link-local is a smaller scope than global.

I do not disagree with you, and I think many more people than just me
understand that ok.

This is about the semantics of words.

'Smaller' scope is not clear what it means.  These unicast addresses
dont have a number in them that is called 'scope' and that could be
compared.

Other RFC uses also the term 'broader' scope, instead of 'larger' scope.

Other RFC also tells that the IID itself (not the address) could be of a
certain scope, which we usually assume to be a characteristic of the
address not just the IID part.  Or says 'local scope' vs 'universal
scope', neglecting that the Globe and the Universe might be not the same
thing.  A Global scope on an IPv6-enabled Mars lander might have a
strange meaning.

Maybe the scope comparison in unicast could make sense when there were
were site-locals, but no more site-locals.

It's the notion of type that makes sense in comparing unicast addresses,
not that of scope.

And, when trying to identify whether a particular address is of a
particular type one absolutely needs the value and the number of bits to
compare.  For LLs one does not have the precise number of bits to
compare, because some RFC says that is 64 others say that is 10.  In
this situation it is impossible to precisely answer whether a particular
address is a link-local address or not.

Of course, we could say  that all addresses that start with fe80 are LLs
but then there are too counter-intuitive examples too that one could
easily build.


> o  For multicast scopes, scopes with lesser values in the "scop" 
> subfield of the multicast address (Section 2.7 of [1]) are smaller 
> than scopes with greater values, with interface-local being the 
> smallest and global being the largest.

Yes, for multicast addresses the notion of scope is different than for
unicast addresses.  In these mcast addresses there is a number that
represents scope and that could be compared and issue results like
'bigger than' or 'smaller than'.

Alex

> 
> The above cited text should be interpreted with this definition.
> 
> -- JINMEI, Tatuya
>