Re: [netmod] 6021 ipv4-prefix
Ladislav Lhotka <lhotka@nic.cz> Fri, 26 April 2019 11:28 UTC
Return-Path: <lhotka@nic.cz>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id C5E78120059 for <netmod@ietfa.amsl.com>; Fri, 26 Apr 2019 04:28:18 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.999
X-Spam-Level:
X-Spam-Status: No, score=-6.999 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_HI=-5, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=nic.cz
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 ue6Djr7XH--h for <netmod@ietfa.amsl.com>; Fri, 26 Apr 2019 04:28:15 -0700 (PDT)
Received: from mail.nic.cz (mail.nic.cz [217.31.204.67]) (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 01B11120021 for <netmod@ietf.org>; Fri, 26 Apr 2019 04:28:13 -0700 (PDT)
Received: from birdie (unknown [IPv6:2001:718:1a02:1::380]) by mail.nic.cz (Postfix) with ESMTPSA id 9290463390 for <netmod@ietf.org>; Fri, 26 Apr 2019 13:28:10 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nic.cz; s=default; t=1556278090; bh=NXWeFOXnM1oskQLP0tdoSk9O/U6Y8rLvKwhnCEHJ2R8=; h=From:To:Date; b=mS9Pr1iFIml1VbixGnskv58F0AyLTPhiTIoVT4W6F7likz9WZhbjIxu3HdXkyumJX FJ5WGwRLqAIh3Wj4TXYx4VxckPHc+CDD9s7Of/QFq2fnl+kbs521JjFvzyf3peGrwZ Xzte52R6LYAuWCL4q1jZnDogBBdRjTvVPt4MaWFE=
Message-ID: <fad9a5504320aeca0c0bfbd5249c31ef20d3bcbd.camel@nic.cz>
From: Ladislav Lhotka <lhotka@nic.cz>
To: netmod@ietf.org
Date: Fri, 26 Apr 2019 13:28:10 +0200
In-Reply-To: <5d6b915d-2b6b-2844-6343-5e42abe01e3b@spritelink.net>
References: <003301d4f498$4f593640$ee0ba2c0$@gmail.com> <alpine.DEB.2.20.1904180906360.3490@uplift.swm.pp.se> <20190418080643.gcdi5x4dtn64adwc@anna.jacobs.jacobs-university.de> <alpine.DEB.2.20.1904181128480.3490@uplift.swm.pp.se> <20190418102604.y5wyqflcudiywj2i@anna.jacobs.jacobs-university.de> <alpine.DEB.2.20.1904181251000.3490@uplift.swm.pp.se> <20190418111241.5csf5kkgwgxwtsnm@anna.jacobs.jacobs-university.de> <227a2452-69f9-6786-2643-822e70dc636d@spritelink.net> <20190425215134.pabdl3bbbjoivbaj@anna.jacobs.jacobs-university.de> <24fff697cde3ac2e0c9a09cf2dfa1153ca61bd90.camel@nic.cz> <5d6b915d-2b6b-2844-6343-5e42abe01e3b@spritelink.net>
Organization: CZ.NIC
Content-Type: text/plain; charset="UTF-8"
User-Agent: Evolution 3.32.1
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
X-Virus-Scanned: clamav-milter 0.99.2 at mail
X-Virus-Status: Clean
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/2vmulBPhrSaSO2OH7v3gNZw8TC0>
Subject: Re: [netmod] 6021 ipv4-prefix
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 26 Apr 2019 11:28:19 -0000
On Fri, 2019-04-26 at 12:56 +0200, Kristian Larsson wrote: > > On 2019-04-26 09:39, Ladislav Lhotka wrote: > > On Thu, 2019-04-25 at 23:51 +0200, Juergen Schoenwaelder wrote: > > > On Thu, Apr 25, 2019 at 11:20:57PM +0200, Kristian Larsson wrote: > > > > On 2019-04-18 13:12, Juergen Schoenwaelder wrote: > > > > > On Thu, Apr 18, 2019 at 12:53:22PM +0200, Mikael Abrahamsson wrote: > > > > > > On Thu, 18 Apr 2019, Juergen Schoenwaelder wrote: > > > > > > > On Thu, Apr 18, 2019 at 11:43:05AM +0200, Mikael Abrahamsson > > > > > > > wrote: > > > > > > > +17.4 is not an integer, so this is an error (not because of the + > > > > > > > but > > > > > > > because of the . followed by additional digits). +17 is I think a > > > > > > > valid > > > > > > > integer value but the + will be dropped in the canonical > > > > > > > representation. > > > > > > > > > > > > Yes, but 2001:db8::1/64 isn't valid prefix (because the host portion > > > > > > of > > > > > > the > > > > > > prefix isn't 0) so why should it be "rounded" when 17.4 shouldn't be > > > > > > rounded > > > > > > if an integer input is expected? > > > > > > > > > > The non-prefix bits are irrelevant for the prefix and the canonical > > > > > format has the non-prefix bits all set to zero. I understand that you > > > > > prefer 2001:db8::1/64 to be an error but RFC 6021 and RFC 6991 > > > > > consider this as valid input that can be safely interpreted to mean > > > > > 2001:db8::0/64. > > > > > > > > Vice versa, if an implementation does treat 2001:db8::1/64 as a syntax > > > > error, is that implementation incorrect? > > > > > > > > > > I think so. The types do not require that non-prefix bits are zero > > > when a value is received. However, a server must report the canonical > > > value, in this case 2001:db8::/64. > > > > Agreed. The description only says (and only for ipv6-prefix > > I think it says it for ipv4-prefix too: > > ... > The canonical format of an IPv4 prefix has all bits of > the IPv4 address set to zero that are not part of the > IPv4 prefix."; This defines the canonical format, and Juergen explained its role earlier in this thread. > > > > ) that the host bits > > should be zero, i.e. no strict requirement. > There is no strict requirement of what? Accepting the data? Throwing an That the value of the ipv[46]-prefix type must have the host bits set to zero. In other words, values that do not have this property are still valid. > > error? Ambiguity of what you are referencing makes it impossible for me > to parse your sentence. Please elaborate. > > I'm having trouble unifying the following: > - Juergen says RFC6021 and 6991 consider 2001:db8::1/64 to be valid > input that can safely be interpreted to mean 2001:db8::/64 > - NSO instead treats 2001:db8::1/64 as a syntax error > > If 6021+6991 says it is valid input, then NSO must accept it, no? I am not familiar with NSO. If it uses the the types from ietf-inet-types and refuses to accept such input values from a NETCONF/RESTCONF client, then it looks like a bug to me. > > Or does 6021+6991 say such a value MAY be treated as valid input? And if It IS a valid value: it matches the regex pattern and nothing in the description says otherwise. > > it does accept it, it must then store or at least always return it in > the canonical format? RFC 7950 says in sec. 9.1 that the server MUST return values in the canonical form and that the values are conceptually stored in the canonical form (in a datastore). Lada > > kll > > _______________________________________________ > netmod mailing list > netmod@ietf.org > https://www.ietf.org/mailman/listinfo/netmod -- Ladislav Lhotka Head, CZ.NIC Labs PGP Key ID: 0xB8F92B08A9F76C67
- [netmod] 6021 ipv4-prefix 7riw77
- Re: [netmod] 6021 ipv4-prefix Mikael Abrahamsson
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Acee Lindem (acee)
- Re: [netmod] 6021 ipv4-prefix Mikael Abrahamsson
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Mikael Abrahamsson
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Lou Berger
- Re: [netmod] 6021 ipv4-prefix William Lupton
- Re: [netmod] 6021 ipv4-prefix Acee Lindem (acee)
- Re: [netmod] 6021 ipv4-prefix Kristian Larsson
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Kristian Larsson
- Re: [netmod] 6021 ipv4-prefix Jeff Tantsura
- Re: [netmod] 6021 ipv4-prefix Ladislav Lhotka
- Re: [netmod] 6021 ipv4-prefix Ladislav Lhotka
- Re: [netmod] 6021 ipv4-prefix Kristian Larsson
- Re: [netmod] 6021 ipv4-prefix Acee Lindem (acee)
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Ladislav Lhotka
- Re: [netmod] 6021 ipv4-prefix Kristian Larsson
- Re: [netmod] 6021 ipv4-prefix Kristian Larsson
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Acee Lindem (acee)
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix tom petch
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Ladislav Lhotka
- Re: [netmod] 6021 ipv4-prefix Martin Bjorklund
- Re: [netmod] 6021 ipv4-prefix Ladislav Lhotka
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Rob Wilton (rwilton)
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Rob Wilton (rwilton)
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Rob Wilton (rwilton)
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Rob Wilton (rwilton)
- Re: [netmod] 6021 ipv4-prefix Ladislav Lhotka
- Re: [netmod] 6021 ipv4-prefix Rob Wilton (rwilton)
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Ladislav Lhotka
- Re: [netmod] 6021 ipv4-prefix Rob Wilton (rwilton)
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Rob Wilton (rwilton)
- Re: [netmod] 6021 ipv4-prefix Ladislav Lhotka
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Mikael Abrahamsson
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Mikael Abrahamsson
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Randy Presuhn
- Re: [netmod] 6021 ipv4-prefix Mikael Abrahamsson
- Re: [netmod] 6021 ipv4-prefix Mikael Abrahamsson
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Mikael Abrahamsson
- Re: [netmod] 6021 ipv4-prefix Rob Wilton (rwilton)
- Re: [netmod] 6021 ipv4-prefix Juergen Schoenwaelder
- Re: [netmod] 6021 ipv4-prefix Rob Wilton (rwilton)
- Re: [netmod] 6021 ipv4-prefix Mikael Abrahamsson
- Re: [netmod] 6021 ipv4-prefix Randy Presuhn
- Re: [netmod] 6021 ipv4-prefix tom petch
- Re: [netmod] 6021 ipv4-prefix Mikael Abrahamsson
- Re: [netmod] 6021 ipv4-prefix Ladislav Lhotka
- Re: [netmod] 6021 ipv4-prefix Rob Wilton (rwilton)
- Re: [netmod] 6021 ipv4-prefix Ladislav Lhotka
- [netmod] convert it and not throw an error was Re… tom petch
- Re: [netmod] convert it and not throw an error wa… Christian Hopps