Re: [Cbor] CDDL sockets (was: Re: [Anima] GRASP packet header extensions (CBOR question))

Carsten Bormann <cabo@tzi.org> Tue, 23 August 2022 11:55 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: cbor@ietfa.amsl.com
Delivered-To: cbor@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 2D1F4C14CE27; Tue, 23 Aug 2022 04:55:06 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.21
X-Spam-Level:
X-Spam-Status: No, score=-4.21 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 3Pt05JEl4I5R; Tue, 23 Aug 2022 04:55:02 -0700 (PDT)
Received: from gabriel-smtp.zfn.uni-bremen.de (gabriel-smtp.zfn.uni-bremen.de [134.102.50.15]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 2A29EC1526E3; Tue, 23 Aug 2022 04:54:47 -0700 (PDT)
Received: from [192.168.217.124] (p5089abf5.dip0.t-ipconnect.de [80.137.171.245]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-smtp.zfn.uni-bremen.de (Postfix) with ESMTPSA id 4MBnhh4mQjzDCf5; Tue, 23 Aug 2022 13:54:44 +0200 (CEST)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\))
From: Carsten Bormann <cabo@tzi.org>
X-Priority: 3 (Normal)
In-Reply-To: <4c4c6718939c6596fff92167598f048c.squirrel@mail2.ihtfp.org>
Date: Tue, 23 Aug 2022 13:54:44 +0200
Cc: Toerless Eckert <tte@cs.fau.de>, cbor@ietf.org, anima@ietf.org
X-Mao-Original-Outgoing-Id: 682948484.809001-00a948666440f7d5e4228d89275ce888
Content-Transfer-Encoding: quoted-printable
Message-Id: <E6627C2B-9607-489D-96A7-94C889B7919F@tzi.org>
References: <Yv+miC76QMc887cJ@faui48e.informatik.uni-erlangen.de> <A303E7B3-A83F-4B04-9C6F-5143E4A0B54D@tzi.org> <5fa4a9c7-bc0a-cba0-04fb-4cf5e7777c9e@gmail.com> <4E167B3F-9C68-4333-BB76-36119B8F39DF@tzi.org> <fa2a8d32-929d-46ec-97b3-b67ad33c23b7@gmail.com> <YwNHvF1wzS0yaZGe@faui48e.informatik.uni-erlangen.de> <899DC56C-C1B5-4DC2-99DA-694B3FEF7C56@tzi.org> <YwSsV4bPcjWSgVIj@faui48e.informatik.uni-erlangen.de> <4c4c6718939c6596fff92167598f048c.squirrel@mail2.ihtfp.org>
To: Derek Atkins <derek@ihtfp.com>
X-Mailer: Apple Mail (2.3608.120.23.2.7)
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/mHy3nq4f8vVYVyO4L4WXo1PTPJE>
Subject: Re: [Cbor] CDDL sockets (was: Re: [Anima] GRASP packet header extensions (CBOR question))
X-BeenThere: cbor@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: "Concise Binary Object Representation \(CBOR\)" <cbor.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/cbor>, <mailto:cbor-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cbor/>
List-Post: <mailto:cbor@ietf.org>
List-Help: <mailto:cbor-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/cbor>, <mailto:cbor-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 23 Aug 2022 11:55:06 -0000

On 2022-08-23, at 13:27, Derek Atkins <derek@ihtfp.com> wrote:
> 
>            tcp-header = {seq: uint, ack: uint, * $$tcp-option}

Right.  For the full set of extensibility, today we’d probably say:

tcp-header = {seq: uint, 
              ack: uint, 
              * $$tcp-option,
              * label .feature "Unrecognized TCP Header Extension" => any
             }

label = text

So the options that are known to the implementation land in the socket tcp-option, and the other ones land in the feature-tagged catch-all.

Grüße, Carsten