Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?

Ole Troan <otroan@employees.org> Mon, 10 June 2019 20:03 UTC

Return-Path: <otroan@employees.org>
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 67A3E120180 for <ipv6@ietfa.amsl.com>; Mon, 10 Jun 2019 13:03:30 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 0.091
X-Spam-Level:
X-Spam-Status: No, score=0.091 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HTML_MESSAGE=0.001, HTTPS_HTTP_MISMATCH=1.989, MIME_QP_LONG_LINE=0.001, SPF_HELO_NONE=0.001, 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 7Jgjgj8QHh7M for <ipv6@ietfa.amsl.com>; Mon, 10 Jun 2019 13:03:28 -0700 (PDT)
Received: from bugle.employees.org (accordion.employees.org [IPv6:2607:7c80:54:3::74]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 101E71201C9 for <ipv6@ietf.org>; Mon, 10 Jun 2019 13:03:28 -0700 (PDT)
Received: from [192.168.10.188] (30.51-175-112.customer.lyse.net [51.175.112.30]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by bugle.employees.org (Postfix) with ESMTPSA id D13FFFECBEB0; Mon, 10 Jun 2019 20:03:26 +0000 (UTC)
Content-Type: multipart/alternative; boundary="Apple-Mail-C1D3FEF5-815A-4967-A3A8-E5ABF79FB98E"
Mime-Version: 1.0 (1.0)
Subject: Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?
From: Ole Troan <otroan@employees.org>
X-Mailer: iPhone Mail (16F203)
In-Reply-To: <CAAedzxrRXeP5KJByMhFL3Mt0MzC3X3iWffbHABWyxxPvaM3UPQ@mail.gmail.com>
Date: Mon, 10 Jun 2019 22:03:23 +0200
Cc: Yucel Guven <yucel.guven@gmail.com>, "Mudric, Dusan (Dusan)" <dmudric@avaya.com>, "ipv6@ietf.org" <ipv6@ietf.org>
Content-Transfer-Encoding: 7bit
Message-Id: <0AF61F9D-30EC-4E50-9187-D7FB904807CA@employees.org>
References: <DM6PR15MB2506E62560613C85F74A1FF8BB100@DM6PR15MB2506.namprd15.prod.outlook.com> <CALx6S36vVpD9bAPSBQmhV+daR0Yr4heQ-LaiB4hABAs8ofVfNQ@mail.gmail.com> <DM6PR15MB25063BAF058C1825E2B63E30BB130@DM6PR15MB2506.namprd15.prod.outlook.com> <CAKQ4NaW-QRZDO52zDZTSqz_MsfrS1uQHdz6zFjo+gXvtYVnFxA@mail.gmail.com> <DM6PR15MB2506E06165EA22E66BBB9524BB130@DM6PR15MB2506.namprd15.prod.outlook.com> <CAKQ4NaX=ydmGC9L8-qbt_Dv9X+Ldp9ev+vLfHX17vt_6hpoDow@mail.gmail.com> <CAAedzxrRXeP5KJByMhFL3Mt0MzC3X3iWffbHABWyxxPvaM3UPQ@mail.gmail.com>
To: ek@loon.com
Archived-At: <https://mailarchive.ietf.org/arch/msg/ipv6/IHBQGVuKiqwYR66nvEV4pI7UvEo>
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: Mon, 10 Jun 2019 20:03:37 -0000

> Why is this thread even a thing?!
> 
> There is no issue here.

Indeed, the sort of self flagellation shown here serves no purpose.

Please stop posting on this thread as well as on any topic along the same vein. 

There are hundreds of participants on this list. Not only does this cost people’s time, it also limits this mailing list from being used for real relevant work. 

Ole,
6man co-chair. 


> 
>> On Mon, 10 Jun 2019 at 09:43, Yucel Guven <yucel.guven@gmail.com> wrote:
>> RFC 4291 sec.2.5.6  does NOT define a range. 10 bits are fixed, 54 bits are zero, and the remaining 64 bits are for interface ID, that's all.
>> 
>> The topic of this thread/chain is: "Is 1111 1110 10 equal to 0xfe80 or 0x3fa?"
>> If you want to make comparison, you must take care of all 128 bits of the 0xfe80,
>> but not only a part of it.
>> In fact it should be written as '0xfe800000000000000000000000000000'
>> because it's a one complete number.
>>  
>> 1111: this is 'f'
>> 1110: this is 'e'
>> 10??: Why do you take only two bits? Your answer will be: "Because it's /10".
>> 
>> That approach is not true when you convert the number back to hexadecimal notation.
>> You MUST think/care of ALL the 128bits, not only a part of it,
>> otherwise you destroy/change the original number.
>> 
>> Reg.'s
>> Yucel
>> 
>>> On Mon, Jun 10, 2019 at 6:09 PM Mudric, Dusan (Dusan) <dmudric@avaya.com> wrote:
>>>  
>>> 
>>>  
>>> 
>>> From: Yucel Guven <yucel.guven@gmail.com> 
>>> Sent: Monday, June 10, 2019 12:47 PM
>>> To: Mudric, Dusan (Dusan) <dmudric@avaya.com>
>>> Cc: Tom Herbert <tom@herbertland.com>; ipv6@ietf.org
>>> Subject: Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?
>>> 
>>>  
>>> 
>>> No need to define as a range.
>>> 
>>> When you specify the prefix-length, it already defines a range.
>>> 
>>> e.g. FE80::/10 (absolutely not  FE8::/10)  has the range of 
>>> 
>>> fe80:0000:0000:0000::/10 - febf:ffff:ffff:ffff::/10
>>> 
>>> [Dusan] I agree that FE80::/10 is the FE80::/10 – FEBF::/10 range. However, it is not define like a range in RFC 4291 and if often misinterpreted as just one value of FE80:0000:0000:0000. The question is how to write it to make it clear this definition is a range?
>>> 
>>>  
>>> 
>>> https://tools.ietf.org/html/rfc4291#section-2.5...6 defines LL as the address with 64 bit FE80:0000:0000:0000 prefix, not as the fe80:0000:0000:0000::/10 - febf:ffff:ffff:ffff::/10 range. There are applications that need more flexibility for the LL prefix, like draft-petrescu-6man-ll-prefix-len. For these applications, FE80::/10 would be defined as LL identifier, not a prefix. The LL prefix would start with LL identifier and can have a variable length.
>>> 
>>>  
>>> 
>>> Is there any strong reason to keep 54 bits of zeros in this definition, other than backward compatibility?
>>> 
>>>    |   10     |
>>> 
>>>    |  bits    |         54 bits         |          64 bits           |
>>> 
>>>    +----------+-------------------------+----------------------------+
>>> 
>>>    |1111111010|           0             |       interface ID         |
>>> 
>>>    +----------+-------------------------+----------------------------+
>>> 
>>>  
>>> 
>>>  
>>> 
>>> Reg.'s
>>> 
>>> Yucel
>>> 
>>>  
>>> 
>>> On Mon, Jun 10, 2019 at 3:58 PM Mudric, Dusan (Dusan) <dmudric@avaya.com> wrote:
>>> 
>>> > On Friday, June 7, 2019 at 3:48 PM Tom Herbert
>>> > <tom@herbertland.com> wrote
>>> > >
>>> > > >
>>> > > > Message: 3
>>> > > > Date: Fri, 7 Jun 2019 10:53:28 -0700
>>> > > > From: Fred Baker <fredbaker.ietf@gmail.com>
>>> > > > To: Alexandre Petrescu <alexandre.petrescu@gmail.com>
>>> > > > Cc: IPv6 <ipv6@ietf.org>
>>> > > > Subject: Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?
>>> > > > Message-ID: <A722E202-7671-4111-BA92-8A67B3D3B924@gmail.com>
>>> > > > Content-Type: text/plain; charset="us-ascii"
>>> > > >
>>> > > >
>>> > > >
>>> > > > If I have prefix fe80::/10, as described in RFC 4291, the next bit
>>> > > > is bit 11. Doing the same subdivision of the prefix is fe80::/11 and
>>> > fea0::/11.
>>> > > [Dusan] The hexadecimal definition for LL address is not syntactically
>>> > correct. The binary 10 bit prefix 1111111010 cannot be presented as
>>> > hexadecimal FE80::/10. It is rather a range FE80::/10 - FEBF::/10. In this
>>> > notation, FE80::/10 = FEBF::/10,  because the first 10 bits are equal and other
>>> > 6 should be ignored. 111 1111010 can be defined as FE80::/10 only if every
>>> > time it is also mentioned that the trailing 6 bits are all zero.
>>> > 
>>> > By that logic, we'd have to mention that the trailing 118 bits are zero.  E.g.
>>> > FE80::/10 == FEBD:F676:BBBB:C654:FEBD:F676:BBBB:C654/10
>>> > also. It's obviously convenient canonical notication to express all the trailing
>>> > bits as zeroes for a prefix, but not required. For instance, ifconfig shows my
>>> > host address as fe80::ac2f:ea58:94a:438/64 which in one string indicates both
>>> > a fully qualified address and it's prefix bits.
>>> [Dusan] In this example fe80::ac2f:ea58:94a:438/64 is LL address with 0xfe80 0x0000 0x0000 0x0000 prefix. Based on LL prefix definition, this LL address can have a value of feab::ac2f:ea58:94a:438/64 and still have the binary 10 bit prefix 1111111010
>>> 
>>> May be LL address can be defined in hex notation as a range FE8::/10 - FEB::/10? This range always has the same well know LL identifier, the binary 10 bit prefix 1111111010.
>>> 
>>> > 
>>> > Tom
>>> > 
>>> --------------------------------------------------------------------
>>> IETF IPv6 working group mailing list
>>> ipv6@ietf.org
>>> Administrative Requests: https://www.ietf.org/mailman/listinfo/ipv6
>>> --------------------------------------------------------------------
>>> 
>> --------------------------------------------------------------------
>> IETF IPv6 working group mailing list
>> ipv6@ietf.org
>> Administrative Requests: https://www.ietf.org/mailman/listinfo/ipv6
>> --------------------------------------------------------------------
> --------------------------------------------------------------------
> IETF IPv6 working group mailing list
> ipv6@ietf.org
> Administrative Requests: https://www.ietf.org/mailman/listinfo/ipv6
> --------------------------------------------------------------------