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

Erik Kline <ek@loon.com> Mon, 10 June 2019 17:54 UTC

Return-Path: <ek@google.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 4830A1201F2 for <ipv6@ietfa.amsl.com>; Mon, 10 Jun 2019 10:54:26 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.509
X-Spam-Level:
X-Spam-Status: No, score=-7.509 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.001, HTML_MESSAGE=0.001, HTTPS_HTTP_MISMATCH=1.989, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, USER_IN_DEF_SPF_WL=-7.5] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=loon.com
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 j_omnB_Vsgbo for <ipv6@ietfa.amsl.com>; Mon, 10 Jun 2019 10:54:23 -0700 (PDT)
Received: from mail-io1-xd2e.google.com (mail-io1-xd2e.google.com [IPv6:2607:f8b0:4864:20::d2e]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 0EE8112022D for <ipv6@ietf.org>; Mon, 10 Jun 2019 10:54:11 -0700 (PDT)
Received: by mail-io1-xd2e.google.com with SMTP id e3so7570815ioc.12 for <ipv6@ietf.org>; Mon, 10 Jun 2019 10:54:11 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=loon.com; s=google; h=mime-version:references:in-reply-to:reply-to:from:date:message-id :subject:to:cc; bh=4BybtNh5GBpJo9ZVGG6XS4pJ70d4VHeFcB+3L9+LwNY=; b=c19NQMPkTFXGd8EjwOPEDE8IvM/iKvIfKwJVtP37z4RaBcfp56utjUbu1A1uaIUcGD gt/20ZUrASmuC9A+je00g23R0qw+OuzxvqLZ0Msf8SfNJvrs5RfKXc5gc4hh6va1/aam ZIGFKTWpa/BEAg2qRhEFNXqwB88V0ZdzCd/kA=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:reply-to :from:date:message-id:subject:to:cc; bh=4BybtNh5GBpJo9ZVGG6XS4pJ70d4VHeFcB+3L9+LwNY=; b=Xm6yLdY/LuSQN+bN0t6n79cdiXorOh9jObmWvsClupfLAdyDBrWtr8FSaAKnYwjP9D Q/e6TwBTMpQhChV6FGZSBhdyYmzMxE6x3KqqeoZJ1HdbN4aZS/+swvP1qz48GU0tOCON lyH5UnQF2RSQpQX5ANkysgCov2P+fajq7C69wNZIW7+bSpODnEmVVVZ92oCPsYvAWUaF s3Sz+YVsDcAykUnTSXLToRIsRrmW2gpyFo6siaoTUhHBgUYb8z+4zMtcpZ/yFY+dwrjn EcLoGD9xqg173fTV/t8Ct15Ppb/XVt/vakEfipPXd7dDxEYm/JL2MVY930BLkD/HrFl6 H3kw==
X-Gm-Message-State: APjAAAW6kt/GCv+q7JKi2Z+3amozOnJdLKDDBo9Qj7uzn29h6hixrwPm D+z5+FvsO05M4z/FtDHJK/JBJleVVFrsqLlBAbKF5A==
X-Google-Smtp-Source: APXvYqw8ER27AwkydciUJaWUq7n6ixlBPVojD5bFhYNh3QkFUh0DWcKultb77JTKxR8MkTTprFKMnQjjoEivyX/kEQ8=
X-Received: by 2002:a6b:6012:: with SMTP id r18mr21012264iog.241.1560189249931; Mon, 10 Jun 2019 10:54:09 -0700 (PDT)
MIME-Version: 1.0
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>
In-Reply-To: <CAKQ4NaX=ydmGC9L8-qbt_Dv9X+Ldp9ev+vLfHX17vt_6hpoDow@mail.gmail.com>
Reply-To: ek@loon.com
From: Erik Kline <ek@loon.com>
Date: Mon, 10 Jun 2019 10:53:56 -0700
Message-ID: <CAAedzxrRXeP5KJByMhFL3Mt0MzC3X3iWffbHABWyxxPvaM3UPQ@mail.gmail.com>
Subject: Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?
To: Yucel Guven <yucel.guven@gmail.com>
Cc: "Mudric, Dusan (Dusan)" <dmudric@avaya.com>, "ipv6@ietf.org" <ipv6@ietf.org>
Content-Type: multipart/alternative; boundary="00000000000006b11b058afbdede"
Archived-At: <https://mailarchive.ietf.org/arch/msg/ipv6/0Iu5kfdIHiLyqsKhAqs-OJ7s_2c>
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 17:54:26 -0000

Why is this thread even a thing?!

There is no issue here.

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 <yucel..guven@gmail.com>>
>> Sent: Monday, June 10, 2019 12:47 PM To: Mudric, Dusan (Dusan)
>> <dmudric@avaya.com <dmudric@avaya.com>> Cc: Tom Herbert
>> <tom@herbertland.com <tom@herbertland.com>>; ipv6@ietf.org <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
>> <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 <dmudric@avaya.com>> wrote: > On Friday, June 7, 2019 at
>> 3:48 PM Tom Herbert > <tom@herbertland.com <tom@herbertland.com>> wrote > >
>> > > > > > > Message: 3 > > > Date: Fri, 7 Jun 2019 10:53:28 -0700 > > >
>> From: Fred Baker <fredbaker.ietf@gmail.com <fredbaker.ietf@gmail.com>> > >
>> > To: Alexandre Petrescu <alexandre.petrescu@gmail.com
>> <alexandre.petrescu@gmail.com>> > > > Cc: IPv6 <ipv6@ietf.org
>> <ipv6@ietf.org>> > > > Subject: Re: Is 1111 1110 10 equal to 0xfe80 or
>> 0x3fa? > > > Message-ID: <A722E202-7671-4111-BA92-8A67B3D3B924@gmail.com
>> <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 <ipv6@ietf.org>
>> Administrative Requests: https://www.ietf.org/mailman/listinfo/ipv6
>> <https://urldefense.proofpoint.com/v2/url?u=https-3A__www.ietf.org_mailman_listinfo_ipv6&d=DwMFaQ&c=BFpWQw8bsuKpl1SgiZH64Q&r=UT3Bk9cbLeaJxhf3iCrhIoUWB8YLZU23029sMQGQ2kY&m=BRDXJNikWmU_24IGmmgxydVbBKn0npUsCUzJlQGjN50&s=KXz9utU1mhnWkWv2-Qq1lkcJ-zsSoTl5OlPaaUOPd-Y&e=>
>> -------------------------------------------------------------------- *
>>
> --------------------------------------------------------------------
> IETF IPv6 working group mailing list
> ipv6@ietf.org
> Administrative Requests: https://www.ietf.org/mailman/listinfo/ipv6
> --------------------------------------------------------------------
>