Re: [babel] [netmod] NULL value for uint16

Jürgen Schönwälder <j.schoenwaelder@jacobs-university.de> Tue, 14 September 2021 19:16 UTC

Return-Path: <J.Schoenwaelder@jacobs-university.de>
X-Original-To: babel@ietfa.amsl.com
Delivered-To: babel@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 374B93A298F; Tue, 14 Sep 2021 12:16:31 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
X-Spam-Status: No, score=-1.9 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, MSGID_FROM_MTA_HEADER=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) 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 dmsRSi8nyJHu; Tue, 14 Sep 2021 12:16:26 -0700 (PDT)
Received: from EUR04-HE1-obe.outbound.protection.outlook.com (mail-eopbgr70071.outbound.protection.outlook.com [40.107.7.71]) (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 295163A2998; Tue, 14 Sep 2021 12:16:26 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=KWssFbrhyhuTE4pm29mxaz6WhEkKR9kTsHBD0naFBHyH+oHgScHGbY7dKVm2fH32fWr+9oQladBF+/tt/iK3B7Rjsaqm57Q6TrMGwufJYP3uI0u193+TssMO5fmtId1KGDg0p2ppUcrATaztoXwOExWwk6Mi8qWtv351+ysTLzT7Tllg7OvvG9cFZQo8mzlsuNvYATE6lLpaiAbZthWmTzsIH5lYlmyFB5l6fDbM+nJoTxxqNZSJ4XlPwB1Diq12WAgL6F6ewRusPIGzLKb++Brl6ipPs1hNQ9Ooe5HCTBBYGqxYJF7ceN83zrZO/bLAu/jCv8R9cNMSGvm4skCYLg==
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; bh=p5KWalm53nNo/KPnHPuVmUyrE+AjgQipnoZ0imz7+yQ=; b=ESpI2Db7SvpaL4PfiymcQ4kjHgfBjapzdycCF3zMQPfxRtgLhGrKvc5PlYpkwk71UTIh6sUCBeK08CfBZMLvSHRTMEiSRbyJ8gbT9VIUfoNyfz6XgFdIv9c1jqcOrOcMps0Xs/7pbyEOCcRLy40Foy3OwWIMLw7ZPJMYuqRLrkdMERon4QzkUlAFTUOn35+gid7NqHlPHgm9cPTAq01quHuY/mHf1qKlpiA8mt4I/BPjYLcnBcaW5Vj+DeHkMgNI36Kn0S2U1xn7QCPiYKSfSBo3O6AbreMsKoj/6L+WelzKCs8KWQk14LfuH3+ZMmx1ZNHIE3RvVdYGd+5Tqk6gLA==
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=p5KWalm53nNo/KPnHPuVmUyrE+AjgQipnoZ0imz7+yQ=; b=S4yQFnyEpPPLDacwEoWd7C/WuSnpdYK1yzIHPtKcSrrdaY9O+5R4B6U+DOExAybsWSVFKkq07vW3d0FQgPa5a75hCjGQiI/YvG++uFjxvCb+6Ddg9c3Pw1Qi7oUHH8t/2SzOxKtZBzLkdXiBeGea8uGkmOhpuZOOm/oewV/mJAI=
Authentication-Results: tzi.org; dkim=none (message not signed) header.d=none;tzi.org; dmarc=none action=none header.from=jacobs-university.de;
Received: from AM0P190MB0641.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:194::23) by AM9P190MB1186.EURP190.PROD.OUTLOOK.COM (2603:10a6:20b:263::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4523.14; Tue, 14 Sep 2021 19:16:20 +0000
Received: from AM0P190MB0641.EURP190.PROD.OUTLOOK.COM ([fe80::6539:572:25dd:e6ab]) by AM0P190MB0641.EURP190.PROD.OUTLOOK.COM ([fe80::6539:572:25dd:e6ab%7]) with mapi id 15.20.4500.019; Tue, 14 Sep 2021 19:16:20 +0000
Date: Tue, 14 Sep 2021 21:16:18 +0200
From: Jürgen Schönwälder <j.schoenwaelder@jacobs-university.de>
To: Carsten Bormann <cabo@tzi.org>
Cc: "STARK, BARBARA H" <bs7652@att.com>, Babel at IETF <babel@ietf.org>, "netmod@ietf.org" <netmod@ietf.org>
Message-ID: <20210914191618.khcicr6o4x5sdki3@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: Carsten Bormann <cabo@tzi.org>, "STARK, BARBARA H" <bs7652@att.com>, Babel at IETF <babel@ietf.org>, "netmod@ietf.org" <netmod@ietf.org>
References: <AM7PR07MB62482A4271AF1CA5013EB136A0D69@AM7PR07MB6248.eurprd07.prod.outlook.com> <b1b1cd18-537f-561f-dcb1-9aca41b7d3c9@labn.net> <20210910200902.bic4rhyhp75bgsjz@anna.jacobs.jacobs-university.de> <BBC6AA9F-86C1-4A9C-86FD-AD77668CA9D9@gmail.com> <20210913200455.xot7lihpmqiemm5c@anna.jacobs.jacobs-university.de> <DM6PR02MB69248D2780D5C880CC647783C3D99@DM6PR02MB6924.namprd02.prod.outlook.com> <AM7PR07MB6248BBB558136D1E6F8C1549A0DA9@AM7PR07MB6248.eurprd07.prod.outlook.com> <DM6PR02MB692446F49506791E90B0D23EC3DA9@DM6PR02MB6924.namprd02.prod.outlook.com> <20210914171729.ph5q77zm46z3zvxi@anna.jacobs.jacobs-university.de> <FAE5986C-BE56-44A9-A6A5-1A37D9539F61@tzi.org>
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <FAE5986C-BE56-44A9-A6A5-1A37D9539F61@tzi.org>
X-ClientProxiedBy: PR1PR01CA0030.eurprd01.prod.exchangelabs.com (2603:10a6:102::43) To AM0P190MB0641.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:194::23)
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from localhost (212.201.44.244) by PR1PR01CA0030.eurprd01.prod.exchangelabs.com (2603:10a6:102::43) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4500.15 via Frontend Transport; Tue, 14 Sep 2021 19:16:19 +0000
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: f80a9204-40dc-4131-dd9b-08d977b42211
X-MS-TrafficTypeDiagnostic: AM9P190MB1186:
X-MS-Exchange-Transport-Forked: True
X-Microsoft-Antispam-PRVS: <AM9P190MB1186E758D732BF4961380FF5DEDA9@AM9P190MB1186.EURP190.PROD.OUTLOOK.COM>
X-MS-Oob-TLC-OOBClassifiers: OLM:8882;
X-MS-Exchange-SenderADCheck: 1
X-MS-Exchange-AntiSpam-Relay: 0
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: OIyUg2Q5jvCl9b4ujliDojXhVqcuU65EyE8C2wLFG+U5wUbJKqzEqV5jh3LKJhvqVyrQ33TWQXX+XRVpdcxBgnUquDLarNszPORo1VZg0rYyt1c3MNPy0C1M2wICC06n/ZW37MglPUwFvUwF/n5n9P4+G1SHYP30jOsCOPwPPePx21dSXsEAO9A6SF6861lcYxSn44C7cyGY0KXd711nOUHqVpA9xwrMgqAnfM4azy8G58y+m5Zvvf77RRB/C8IQvCQoFac4H4ag+A0vq7IzBRFLOgPRrUXYi2+e4iDqq38beuJY3lcADMHSyB140WYKNWfQlAaQo02LAbT/7t5XWpJeZqWxRba7ObpSLR5grXCR1el710kqykvDdgM2na2EHzFN5lbHmeXk0L3oL0VUyQ5dlLe3iF8CVTQ92Ub3OacmfuMvm6trVg7N53+1k8yIxMGVWgvHpQ6S4xCkRDEZl721kKGrWe5/0k0RF+im0z2IximsDK8pbjcQ4vv2Jsge9IczmFFNXL+ebmhG+j4Hlu3Z7KrZEZAyya92XBGck7As5C8D80x9j2LN2apRAcU+AJjv0XdEi7p035kg+6Jn4KpLqdG2WOIysOs85XA/ZxORITO65gak0wxa+7iSAhGIrmzVu+SSp6s8tvmOLZ2Ax0B0fuTBLhfn+D6hXhfqVIAYIPAd/pDV6njxpLCrQhXK0z6UOaJOCLk82y2o4W5cWEOl4J/qWNTT0t6DFQBYtgEyXENdWBlUONHRZdqpGTk1I/IF4l24ZYJUBNkrkYiaIPfS0VyZZxNQiY2Za3aTaXQ=
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:AM0P190MB0641.EURP190.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(376002)(346002)(39850400004)(396003)(136003)(366004)(8936002)(86362001)(66574015)(956004)(3450700001)(83380400001)(2906002)(85202003)(66556008)(66476007)(66946007)(4326008)(26005)(186003)(5660300002)(6496006)(8676002)(52116002)(478600001)(6486002)(38350700002)(38100700002)(54906003)(316002)(1076003)(40140700001)(6916009)(85182001); DIR:OUT; SFP:1101;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: EOtjX6nZKBvb0+DZth8Dz48AF0P8Bb2VRYme7LTRZO4Uusa98ECZm6HYkD/oQQqvKy1aIhOt3/ZriCOr7B+NCnHW5GAXwIC+kdbSKslX0L+CJQS8X5YMVqM/IWEjdjY43T8aVCYQFSyZ1OgnN3azxmJ027atjr2Ew11UN6RNbH3xM17XDvGFhvD0mO79GEQ+3uvoYSNv5s58SPpFZroSjw5i0rdPzHTPZlOWZ4llFvL1D3hIZasXqOYm0JpG1uqJY8Hp3FDjYeb43NALX5xqJFwZx2OVMRLyaNAkQyCwpsWEP+lwJ6HZ/HHZJdV4bxC/zUhBGt4b/Y7E/g/I+2O7gjZBhaFdjapuj4vyoDYvJ4nxrI8EoqSsbnvDjOabWUsxBLdEA7XzsycNhj11k4oVyviiXCNnEGOQvRmL8Zr+H4wsmFz0tUY3g5g8EBbLqXBkrZk0yEpSieVP0uE4fmh7NvsfptabL6Ao1zSubJaYNHupf1Fm+C+ZEULn7SP517XbGAWnvQUUtSqL+Dn3MFG6c8bkmc0Jr5pVIscYSOvvNeMDpupy4tRGMbHCUkEgASoHyobmNtorjrVEaJYcgh9yETYrNA6dZnRub3uPwlOln1dl8UgJJNx1xaPYZUmEbsTK4ucsNMUHzIuetGMw+pfiyp3f61G+d0vdkPotrVtooAQzZaJrEBlZPpDvC+9aUQcDRqmV+jgkt0lk0lqPymviyBQgyvFk5LSlOQysf2Fmc8RCmh+VV9Xp3aEfOcQBMrjBNTdvrrGoBCfj6LXgmyLQpQX6+xc52nrJvX+JJGcxlYFLMuN57vjAJg8hKZYOyDTLTCvsAqVWPpesXqFUorArOJKTzYmD6wL8NvY4Lk8O4YZETu8MBREP1wWq3jlI+AprnWIBZYDl9J9chpXwTYZM5ZWEg3X2CJH6tCfSwcALoRsrC6Pgp5TyApA8kstRYHdVulIYA3Gndb3Jlu+BMidrolhEyqVtreEhY/bu61LZ1ANUPf2MHLub9oxKc9R0k3/JdpTUkPFUsj2CSs9oIyTpK8kojo8O09ljMMXgYCmt9uqEzvRHXLGkCVi7LXvsgepL2VIyTPRaEOg8gMiwMRS63Dk/X1FnZXY6vgkVSNtJ0gHKkh+JWmhdN8EhkeihKq86S5T3b6Vjfu1Ye3SNPx23eP/TI1CUZYIG2/2XGP3wX9t1AXVpnE0OPJk/JUlhh3BK8eRRj7zstQk9WeUHccaf8G+ExFto2xA6Y1ldlxx4oiPTBRH3otixNKUvTDz2/07AK5baQafPRr7nbGLR/kdU8JVZ/uSxv9Qd6/LNMjjScPQhpoXOOoA3vxkAT3JE/smZ
X-OriginatorOrg: jacobs-university.de
X-MS-Exchange-CrossTenant-Network-Message-Id: f80a9204-40dc-4131-dd9b-08d977b42211
X-MS-Exchange-CrossTenant-AuthSource: AM0P190MB0641.EURP190.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Sep 2021 19:16:20.0444 (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: k8pbEnJdPgyk91oQUamC23j9+nURBo3vg7MaUSMiZIQyiOf73lTfkKxFDmyCi2VpwFfPG/ZElmlOVhAqQ34853PvEmACw4dGlnvGoPKbOPI=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM9P190MB1186
Archived-At: <https://mailarchive.ietf.org/arch/msg/babel/-h9R9B7idhilePfbEuJ8YmP60-4>
Subject: Re: [babel] [netmod] NULL value for uint16
X-BeenThere: babel@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "A list for discussion of the Babel Routing Protocol." <babel.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/babel>, <mailto:babel-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/babel/>
List-Post: <mailto:babel@ietf.org>
List-Help: <mailto:babel-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/babel>, <mailto:babel-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 14 Sep 2021 19:16:32 -0000

Carsten,

whatever you do, you will at the end need an extra bit. If BBF already
defined to use -1, so be it.

The alternative is to not instantiate the leaf if there is no value
and to accept that a client can't tell the difference between 'there
is no value' and 'the value has been suppressed by authorization'.

/js

PS: You can define a maybe-uint16 type as a union in YANG but yes
    there is no syntactic sugar to generalize this.

On Tue, Sep 14, 2021 at 08:36:12PM +0200, Carsten Bormann wrote:
> On 14. Sep 2021, at 19:17, Jürgen Schönwälder <j.schoenwaelder@jacobs-university.de> wrote:
> > 
> > If other data models use an extended integer range and -1 to indicate
> > a special case, then this may be a strong reason to do the same in the
> > IETF YANG data model.
> 
> Any data model based on FORTRAN certainly will do.
> Most other data modeling languages by now should have nullable/optional/Maybe types.
> 
> Going from the actual data type, uint16, to int32, just to accommodate the “not present” case, strikes me as a mistake.
> (Which doesn’t mean that you may not want to do this in an implementation, after having validated the input data.)
> 
> Grüße, Carsten
> 

-- 
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/>