Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?
Yucel Guven <yucel.guven@gmail.com> Mon, 10 June 2019 16:43 UTC
Return-Path: <yucel.guven@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 3EABB120100 for <ipv6@ietfa.amsl.com>; Mon, 10 Jun 2019 09:43:06 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.009
X-Spam-Level:
X-Spam-Status: No, score=-0.009 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=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] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.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 hyGjFzki9gpK for <ipv6@ietfa.amsl.com>; Mon, 10 Jun 2019 09:43:02 -0700 (PDT)
Received: from mail-ot1-x336.google.com (mail-ot1-x336.google.com [IPv6:2607:f8b0:4864:20::336]) (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 658B31200B8 for <ipv6@ietf.org>; Mon, 10 Jun 2019 09:43:02 -0700 (PDT)
Received: by mail-ot1-x336.google.com with SMTP id z24so8946800oto.1 for <ipv6@ietf.org>; Mon, 10 Jun 2019 09:43:02 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=IZlukuxmjigUHaYLoy9JgkFIFZ6DrAxoPzn5yFKopcE=; b=RWFVd7eu1OiH7WmCfbfeojyP9H0yQ+gPeyIs4cv2UOxc8kohwjAhAyLU7xRaTbL/6Y sH1PombDrM2VBpJTmVWdxdT5F1+WzuYqmersDEbr8aKRNOTwxC2aGl0kph4pEfkyx1HH fqhk3S1nq8SkLrU/EiLTAPQzFdBzy1dpH9cjdo3Ar8Q8UItw3RwgUK/4pN+6kN7liEPB gdmcGwLEr3LsX5PMOlEYo+vt/YoWoy/WwXhafKpG7jYCt5sFSpmdnEzcYY0W1XCSSs1X zRHfhD5eRsnEH5QExdDPtvwc7AipGqIjGiWcH4XCvxuJzmmJG5HYof81RjFy69p/4Di/ RUag==
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:from:date :message-id:subject:to:cc; bh=IZlukuxmjigUHaYLoy9JgkFIFZ6DrAxoPzn5yFKopcE=; b=E7YnwvwY8V5BpuyVElO8Zm38UGzn4/D3jMazPYhaQgYfY0851DP8yNGODMtQtKfjxV DGJ3WZoKq49bkH6BrHSnC8js0baRxYMHjh0kWAZqz1vRnB2qVKvCjLjn32ANjCNoMc2H I7bwIPYTa318ZGRojGFnHQnEJ4N+442rchO1p3sVLAbRfjmJO76Vb2CxswAgQcCnm8QG ySptXQgWgDmrC5INHVai2mjRRe3EBLSV+bMAUi1cCX86hmP+b7FTHsO+rxC4qg4xpMbn e/0Fr9nHmeDX7mubZrHMcOIgb0d0h+0gDgtEzGNzYwoOki1z4S1P/gXfZrxfPO2yFOYo 71lA==
X-Gm-Message-State: APjAAAUUwx6c0AlS7//IcMKQ/qci+dmcr+MDP0wHe9pw9nayFjoVxbZG hsZjHiagEDXmSHqyy2blJDKDAPC8NQQmxcSUUVU=
X-Google-Smtp-Source: APXvYqw8iDvoKkE4DzSMq3fEetumgFTpUxV76CJs1o236mE0ctBzrLVwjbDhCMPfA0U8DGCZ8ltxifJJ4IPFDelxFUU=
X-Received: by 2002:a9d:7352:: with SMTP id l18mr26397820otk.292.1560184981786; Mon, 10 Jun 2019 09:43:01 -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>
In-Reply-To: <DM6PR15MB2506E06165EA22E66BBB9524BB130@DM6PR15MB2506.namprd15.prod.outlook.com>
From: Yucel Guven <yucel.guven@gmail.com>
Date: Mon, 10 Jun 2019 19:42:45 +0200
Message-ID: <CAKQ4NaX=ydmGC9L8-qbt_Dv9X+Ldp9ev+vLfHX17vt_6hpoDow@mail.gmail.com>
Subject: Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?
To: "Mudric, Dusan (Dusan)" <dmudric@avaya.com>
Cc: Tom Herbert <tom@herbertland.com>, "ipv6@ietf.org" <ipv6@ietf.org>
Content-Type: multipart/alternative; boundary="0000000000009f953c058afadf23"
Archived-At: <https://mailarchive.ietf.org/arch/msg/ipv6/BSLGNtygYc-v8qaHxMdNnbEoB4A>
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 16:43:06 -0000
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=> > -------------------------------------------------------------------- * >
- Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Bob Hinden
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Tom Herbert
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Sander Steffann
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Warren Kumari
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Fred Baker
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Karl Auer
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Bless, Roland (TM)
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Fred Baker
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Mudric, Dusan (Dusan)
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Tom Herbert
- Re: Is 1111 1110 10 equal to 0xfe80 or... Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or... James R Cutler
- RE: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Mudric, Dusan (Dusan)
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Tom Herbert
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Yucel Guven
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Yucel Guven
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Yucel Guven
- RE: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Mudric, Dusan (Dusan)
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Yucel Guven
- IPv6 Link Local Addresses [was Re: Is 1111 1110 1… Bob Hinden
- RE: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Mudric, Dusan (Dusan)
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Erik Kline
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Dennis Ferguson
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Ross Finlayson
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Ole Troan
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Fred Baker
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Dennis Ferguson
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Ole Troan
- Re: IPv6 Link Local Addresses Alexandre Petrescu
- Re: IPv6 Link Local Addresses Kerry Lynn
- Re: IPv6 Link Local Addresses Erik Kline
- Re: IPv6 Link Local Addresses Brian E Carpenter
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Gyan Mishra
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Ole Troan
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Gyan Mishra
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Yucel Guven
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Gyan Mishra
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Mark Smith
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Ola Thoresen
- Re: IPv6 Link Local Addresses [was Re: Is 1111 11… Yucel Guven
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or Alexandre Petrescu
- Re: 1111 1110 10 equals 0xfe80 to 0xfebf Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or... Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Alexandre Petrescu
- Re: IPv6 Link Local Addresses Alexandre Petrescu
- Re: IPv6 Link Local Addresses Alexandre Petrescu
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Warren Kumari
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Warren Kumari
- Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Sander Steffann
- Re: 1111 1110 10 equals 0xfe80 to 0xfebf Simon Hobson
- RE: Is 1111 1110 10 equal to 0xfe80 or 0x3fa? Manfredi (US), Albert E
- Re: IPv6 Link Local Addresses Gyan Mishra
- Re: IPv6 Link Local Addresses Gyan Mishra
- Re: correct Alexandre Petrescu