Re: [netmod] [Technical Errata Reported] RFC7950 (6031)

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Fri, 03 April 2020 16:55 UTC

Return-Path: <J.Schoenwaelder@jacobs-university.de>
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 B5F133A0964 for <netmod@ietfa.amsl.com>; Fri, 3 Apr 2020 09:55:58 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.699
X-Spam-Level:
X-Spam-Status: No, score=-1.699 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_INVALID=0.1, DKIM_SIGNED=0.1, MSGID_FROM_MTA_HEADER=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=fail (1024-bit key) reason="fail (body has been altered)" header.d=jacobsuniversity.onmicrosoft.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 2mbGYfLOQnvy for <netmod@ietfa.amsl.com>; Fri, 3 Apr 2020 09:55:56 -0700 (PDT)
Received: from EUR04-VI1-obe.outbound.protection.outlook.com (mail-eopbgr80045.outbound.protection.outlook.com [40.107.8.45]) (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 9B44D3A089B for <netmod@ietf.org>; Fri, 3 Apr 2020 09:55:42 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=JcP5d2aVTxfFxdr6H7BSNiqQwNWV3FTNbj6f9bxU4a8ZQlGwpA8YpQbtR+PGJr4lI37XALqQd8KP2IYlJ5qifO7h1QJwNZeLwpODlbp+MCL49wazJQ1WeludU2PYCVxLzBF4bvoBKHF5ADFBpWIzSZxgnpWgFKNZrldloyvaTA6WL1XF7biEIh4RdpRLyudjAS17hBqmuOARgG2iXeT/A8tDyplmCCiyHinIjPY5AFFcEVL9cI+0JNsDRcp32cUZdj0uhWgM8kMonz8mwfQDqMNvUu3UBRJiUv/Kx1TYbivddkOu1AjhGw+G8InYU1vLOBS/yoq/pKdx0tArvD3xrA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=pkdzAJNYHe0J9aRxrPDamcbcFTtCytQeDlKb+A0g7rg=; b=BT2MgHokgcXtkLYRf4OSvvSm5ReQlsPmIiGs2pdDXH10Mei/Rb/QgUKbUtrbhE34Waxg8gvWncc/bPbOAXkl9dlJj2RBCYmq4IsuwbRPc9WyrFcXG6UMhBCZU9GuJL2XqAfP6XQU+N4+5Pa9uK3rDV9bf+LP5eGqvxl4Gd9afun8jvv7TZtn7Q+6GQtUxba0aDMGh36KEOIJVQ2psTt9jr1yn0kSkcp5ppQEPWc4rzHxgnDa1/6DuV1s5Y8gj0LsnivDhcpCzC8GLj3FdY6u0/W8Z9Rsmz4ssbPfAvsUBX05YEWVCEsS8eCUe6fGDfXdzqcu+ziz7twKQYF1mebHhQ==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=jacobs-university.de; dmarc=pass action=none header.from=jacobs-university.de; dkim=pass header.d=jacobs-university.de; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jacobsuniversity.onmicrosoft.com; s=selector2-jacobsuniversity-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=pkdzAJNYHe0J9aRxrPDamcbcFTtCytQeDlKb+A0g7rg=; b=UWxvsYC7NQ1eY0DpwrkA0883Rciyb/XQWD0YT+T/btIEP3b4NYvruPOFfxSsVAushjU4KpfjoRrxa4Ajit9qj5iqYrra0BfXLmJMHNZNiYNTqENsbf2AQUR23SY7VqszbBnfjRXEt66lTemIfMfOY49RuUznZE9caZfSd7TVD6s=
Authentication-Results: spf=none (sender IP is ) smtp.mailfrom=J.Schoenwaelder@jacobs-university.de;
Received: from DB6P190MB0310.EURP190.PROD.OUTLOOK.COM (10.165.186.141) by DB6P190MB0166.EURP190.PROD.OUTLOOK.COM (10.172.231.17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2878.16; Fri, 3 Apr 2020 16:55:40 +0000
Received: from DB6P190MB0310.EURP190.PROD.OUTLOOK.COM ([fe80::b999:3826:8a06:8653]) by DB6P190MB0310.EURP190.PROD.OUTLOOK.COM ([fe80::b999:3826:8a06:8653%6]) with mapi id 15.20.2878.017; Fri, 3 Apr 2020 16:55:40 +0000
Date: Fri, 3 Apr 2020 18:55:38 +0200
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: "Rob Wilton (rwilton)" <rwilton=40cisco.com@dmarc.ietf.org>
Cc: Ladislav Lhotka <lhotka@nic.cz>, "netmod@ietf.org" <netmod@ietf.org>
Message-ID: <20200403165538.2lk4x5j32e3ctl4t@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: "Rob Wilton (rwilton)" <rwilton=40cisco.com@dmarc.ietf.org>, Ladislav Lhotka <lhotka@nic.cz>, "netmod@ietf.org" <netmod@ietf.org>
References: <20200327161318.ykrx2s36bhmaglxq@anna.jacobs.jacobs-university.de> <MN2PR11MB43666AB22069D14FC3FB9A66B5C70@MN2PR11MB4366.namprd11.prod.outlook.com> <DM5PR08MB26333FAB53D3C4C781AB7B6B9BC70@DM5PR08MB2633.namprd08.prod.outlook.com> <20200403.155421.968858617291773287.id@4668.se> <DM5PR08MB263377515563D05220D299919BC70@DM5PR08MB2633.namprd08.prod.outlook.com> <9c3ee87c0e9d14c8921796c4b53d44620b53a942.camel@nic.cz> <MN2PR11MB4366BB6982E7A530F5654789B5C70@MN2PR11MB4366.namprd11.prod.outlook.com>
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <MN2PR11MB4366BB6982E7A530F5654789B5C70@MN2PR11MB4366.namprd11.prod.outlook.com>
X-ClientProxiedBy: AM3PR07CA0057.eurprd07.prod.outlook.com (2603:10a6:207:4::15) To DB6P190MB0310.EURP190.PROD.OUTLOOK.COM (2603:10a6:6:3e::13)
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from localhost (2001:638:709:5::7) by AM3PR07CA0057.eurprd07.prod.outlook.com (2603:10a6:207:4::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2900.6 via Frontend Transport; Fri, 3 Apr 2020 16:55:39 +0000
X-Originating-IP: [2001:638:709:5::7]
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: de197d56-3aeb-4496-5185-08d7d7efd6fc
X-MS-TrafficTypeDiagnostic: DB6P190MB0166:
X-MS-Exchange-Transport-Forked: True
X-Microsoft-Antispam-PRVS: <DB6P190MB0166F0C022DFED0ED9B387DBDEC70@DB6P190MB0166.EURP190.PROD.OUTLOOK.COM>
X-MS-Oob-TLC-OOBClassifiers: OLM:9508;
X-Forefront-PRVS: 0362BF9FDB
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:DB6P190MB0310.EURP190.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFTY:; SFS:(10009020)(39850400004)(136003)(396003)(376002)(366004)(346002)(478600001)(81166006)(3450700001)(54906003)(1076003)(86362001)(66574012)(6486002)(66556008)(66476007)(66946007)(2906002)(966005)(8676002)(8936002)(81156014)(5660300002)(4326008)(316002)(786003)(53546011)(52116002)(186003)(16526019)(6496006); DIR:OUT; SFP:1101;
Received-SPF: None (protection.outlook.com: jacobs-university.de does not designate permitted sender hosts)
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: CpFzvkdZmz1gaZ2FNrnYgCP1ZICGsO4YpkjPYf6mhyk30Tlzy7HUIPBPprEKbHk8uixUK1LqhVQXZlQROOOJ/ivvaiLnLJVoqWctHSrpl/5CQYNOxk2IzZKnn7lHz2rAFf72bUW7aXELbPfidnmSzUaR8eRy95pk0wbtvnvfvokja+EOxOgYVQ2ZkqLMG+yDctiKmljqblw0Vn2yPSCrKt3lAjSKGJk8+3r2BgNgIuIm/MvgqaALp0LiFmeGEukmZbS+tangphRN7sPpG0l2EH5lyOGQVJt6ylW1wiJN09iFlusjQ1cNUPO5VTCRGqqy4C57VS168ENE47OT2bAad4FznGPFVqEpME1DphK7JTnV+T572SA1Ow/GFFmPbx14RJ5ZRyeOLZL/AibMVapPSzthuY3SUVmlGJQ554U/oJ5xbT6BE867bIZE95G5bwpSXjh5/xyifpoOrt7qGmbnWHUaVKjoywy8x+rRBG+whNG7+2k5pW5maIZSMVbJkjWsmDn/oyBIMm4Q1z7eYN4Elw==
X-MS-Exchange-AntiSpam-MessageData: TRX9F0rFmh/oJ99rMyDyoNyKr6J0I7BKnDi1BqwM5fksIOVuckxKUivZ3NVK+7DLmHi53RxlizBKx3jNFBZIYUEcfwM+WofMNX/h10QK0pPTUMp2ketn2aYxltZYUE7821UjQfiuktUj8sk6JAtLuxnKyH8xxCWJSulh9I9GuKw=
X-OriginatorOrg: jacobs-university.de
X-MS-Exchange-CrossTenant-Network-Message-Id: de197d56-3aeb-4496-5185-08d7d7efd6fc
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 03 Apr 2020 16:55:40.2438 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: f78e973e-5c0b-4ab8-bbd7-9887c95a8ebd
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: Y9+h45J60JNipb3Bn6cGS5Vtms4M3dbcgEgFvfmb8RHsScD7jGc6YjIFh5QToPVLV3YpW6whTApyQjATNbw2lBg6bhysqibxZBR9pgCAa6Y=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB6P190MB0166
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/H3NG-_CrT7Ix698FgiuZ4Cjps9g>
Subject: Re: [netmod] [Technical Errata Reported] RFC7950 (6031)
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, 03 Apr 2020 16:56:05 -0000

I propose option 1) and add an issue on yang-next (if not already
there yet).

/js

On Fri, Apr 03, 2020 at 04:24:35PM +0000, Rob Wilton (rwilton) wrote:
> For the errata, it looks like there are two choices:
> 
> 1) We reject this errata, on the grounds that it is unclear on what the behaviour was expected to be.  It is left unspecified as to whether require-instance is allowed in a typedef.  We add an issue on the YANG.Next issue tracker to sort this out in a future revision of YANG.
> 
> 2) We agree on what the expected behaviour should be, in which case it may be possible that this can be "Hold for document update", although it still seems questionable whether this really fits as an errata.
> 
> Regards,
> Rob
>  
> 
> > -----Original Message-----
> > From: netmod <netmod-bounces@ietf.org> On Behalf Of Ladislav Lhotka
> > Sent: 03 April 2020 15:52
> > To: netmod@ietf.org
> > Subject: Re: [netmod] [Technical Errata Reported] RFC7950 (6031)
> > 
> > On Fri, 2020-04-03 at 14:01 +0000, Sterne, Jason (Nokia - CA/Ottawa)
> > wrote:
> > > Hi Martin,
> > >
> > > I believe you that the technical "value space" doesn't change, but
> > > that leaf would suddenly accept more values than it did before right?
> > > I'm wondering if we want to follow the "spirit" here, or stick with the
> > "value space" argument.
> > 
> > I agree with Martin here. Moreover, if such a derived type is added, it
> > doesn't change anything related to existing data, because they use the
> > base type as before. New data nodes may use the new type but no confusion
> > can arise - their type has "require-instance false", which is correct.
> > 
> > Lada
> > 
> > >
> > > I'm not really certain what the implications are (and maybe someone
> > > has an example of why it is better to allow it?) but overwriting
> > > require-instance with 'false' doesn't feel right.
> > >
> > > Jason
> > >
> > > > -----Original Message-----
> > > > From: Martin Björklund <mbj+ietf@4668.se>
> > > > Sent: Friday, April 3, 2020 9:54 AM
> > > > To: Sterne, Jason (Nokia - CA/Ottawa) <jason.sterne@nokia.com>
> > > > Cc: rwilton=40cisco.com@dmarc.ietf.org; j.schoenwaelder@jacobs-
> > > > university.de; mbj+ietf@4668.se; warren@kumari.net; netmod@ietf.org;
> > > > rfc- editor@rfc-editor.org
> > > > Subject: Re: [netmod] [Technical Errata Reported] RFC7950 (6031)
> > > >
> > > > Hi,
> > > >
> > > > "Sterne, Jason (Nokia - CA/Ottawa)" <jason.sterne@nokia.com> wrote:
> > > > > I don't think we should allow overwriting a require-instance true
> > > > > with a require-instance false in a derived type. It seems to go
> > > > > against the spirit of avoiding expansion of allowable values.
> > > >
> > > > As I wrote earlier in this thread, the value space doesn't change
> > > > with require-instance.
> > > >
> > > >
> > > > /martin
> > > >
> > > >
> > > >
> > > > > From section 4.1 of RFC7950:
> > > > >
> > > > >         Derived types can restrict their base type's set of valid
> > > > > values
> > > > >
> > > > > And this text in section 7.3.4 implies that derived types only do
> > > > > further restriction:
> > > > >
> > > > >     If the type's default value is not valid according to the new
> > > > >    restrictions specified in a derived type or leaf definition, the
> > > > >    derived type or leaf definition MUST specify a new default value
> > > > >    compatible with the restrictions.
> > > > >
> > > > > Going the other direction (overwriting with require-instance true)
> > > > > seems OK to me.
> > > > >
> > > > > Jason
> > > > >
> > > > >
> > > > > > -----Original Message-----
> > > > > > From: netmod <netmod-bounces@ietf.org> On Behalf Of Rob Wilton
> > > > > > (rwilton)
> > > > > > Sent: Friday, April 3, 2020 8:06 AM
> > > > > > To: Juergen Schoenwaelder
> > > > > > <j.schoenwaelder@jacobs-university.de>de>;
> > > > > > Martin
> > > > > > Björklund <mbj+ietf@4668.se>
> > > > > > Cc: warren@kumari.net; netmod@ietf.org;
> > > > > > rfc-editor@rfc-editor.org
> > > > > > Subject: Re: [netmod] [Technical Errata Reported] RFC7950 (6031)
> > > > > >
> > > > > >
> > > > > >
> > > > > > > -----Original Message-----
> > > > > > > From: netmod <netmod-bounces@ietf.org> On Behalf Of Juergen
> > > > > > Schoenwaelder
> > > > > > > Sent: 27 March 2020 16:13
> > > > > > > To: Martin Björklund <mbj+ietf@4668.se>
> > > > > > > Cc: ibagdona@gmail.com; warren@kumari.net; netmod@ietf.org;
> > > > > > > rfc- editor@rfc-editor.org
> > > > > > > Subject: Re: [netmod] [Technical Errata Reported] RFC7950
> > > > > > > (6031)
> > > > > > >
> > > > > > > On Fri, Mar 27, 2020 at 04:35:44PM +0100, Martin Björklund
> > wrote:
> > > > > > > > [re-sent w/ correct address]
> > > > > > > >
> > > > > > > > Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
> > > > wrote:
> > > > > > > > > Hi,
> > > > > > > > >
> > > > > > > > > two comments:
> > > > > > > > >
> > > > > > > > > - It is unclear to me whether this really qualifies as an
> > errata.
> > > > > > > > >
> > > > > > > > > - If we add this, then there should probably text about
> > which
> > > > > > > > >   combinations are allowed. For example, for pattern and
> > > > > > > > > ranges,
> > > > there
> > > > > > > > >   is explicit text that says further restrictions of the
> > > > > > > > > value space
> > > > > > > > >   are possible, bot not expansions. If we follow that
> > > > > > > > > logic, then
> > > > > > > > >
> > > > > > > > >   typedef a {
> > > > > > > > >     type leaf-ref {
> > > > > > > > >       path "/some/thing";
> > > > > > > > >       require-instance true;
> > > > > > > > >     }
> > > > > > > > >   }
> > > > > > > > >
> > > > > > > > >   typedef b {
> > > > > > > > >     type a {
> > > > > > > > >       require-instance false;
> > > > > > > > >     }
> > > > > > > > >   }
> > > > > > > > >
> > > > > > > > >   might be illegal since b has a larger value space than a.
> > > > > > > >
> > > > > > > > The value space of b is the same as for a. "require-instance"
> > > > > > > > doesn't
> > > > > > > > change the value space; it changes semantic validation of
> > > > > > > > the given values ((see my mail from 17 Mar, "Require-instance
> > problem").
> > > > > > > >
> > > > > > > > /martin
> > > > > > >
> > > > > > > OK. If we consider require-instance a constraint and not a
> > > > > > > restriction, then the motivation for this errata is at least
> > > > > > > confusing:
> > > > > > >
> > > > > > >   Since no one argued against this understanding, this errata
> > changes
> > > > > > >   the text to the same form as in other restrictions applicable
> > to
> > > > > > >   derived types.
> > > > > > >
> > > > > > > Simply put: Do you think it is OK to overwrite a
> > > > > > > require-instance true with a require-instance false in a derived
> > type?
> > > > > > [RW]
> > > > > > I'm not sure, but going in the other direction seems plausible.
> > > > > >
> > > > > > E.g. you start with a typedef that is explicitly
> > > > > > require-instance false that is then refined by a typedef to be
> > > > > > require-instance true.
> > > > > >
> > > > > > Regards,
> > > > > > Rob
> > > > > >
> > > > > >
> > > > > > > /js
> > > > > > >
> > > > > > > --
> > > > > > > Juergen Schoenwaelder           Jacobs University Bremen gGmbH
> > > > > > > Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen |
> > Germany
> > > > > > > Fax:   +49 421 200 3103         <https://www.jacobs-
> > university.de/>
> > > > > > >
> > > > > > > _______________________________________________
> > > > > > > netmod mailing list
> > > > > > > netmod@ietf.org
> > > > > > > https://www.ietf.org/mailman/listinfo/netmod
> > > > > >
> > > > > > _______________________________________________
> > > > > > netmod mailing list
> > > > > > netmod@ietf.org
> > > > > > https://www.ietf.org/mailman/listinfo/netmod
> > >
> > > _______________________________________________
> > > netmod mailing list
> > > netmod@ietf.org
> > > https://www.ietf.org/mailman/listinfo/netmod
> > --
> > Ladislav Lhotka
> > Head, CZ.NIC Labs
> > PGP Key ID: 0xB8F92B08A9F76C67
> > 
> > _______________________________________________
> > netmod mailing list
> > netmod@ietf.org
> > https://www.ietf.org/mailman/listinfo/netmod
> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod

-- 
Juergen Schoenwaelder           Jacobs University Bremen gGmbH
Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
Fax:   +49 421 200 3103         <https://www.jacobs-university.de/>