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

Toerless Eckert <tte@cs.fau.de> Tue, 23 August 2022 12:28 UTC

Return-Path: <eckert@i4.informatik.uni-erlangen.de>
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 BAB19C157B43; Tue, 23 Aug 2022 05:28:05 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.96
X-Spam-Level:
X-Spam-Status: No, score=-3.96 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.249, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, 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 zPruOeY-jyeI; Tue, 23 Aug 2022 05:28:01 -0700 (PDT)
Received: from faui40.informatik.uni-erlangen.de (faui40.informatik.uni-erlangen.de [131.188.34.40]) (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 9694AC152702; Tue, 23 Aug 2022 05:27:59 -0700 (PDT)
Received: from faui48e.informatik.uni-erlangen.de (faui48e.informatik.uni-erlangen.de [IPv6:2001:638:a000:4134::ffff:51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by faui40.informatik.uni-erlangen.de (Postfix) with ESMTPS id 4A48458C4AF; Tue, 23 Aug 2022 14:27:56 +0200 (CEST)
Received: by faui48e.informatik.uni-erlangen.de (Postfix, from userid 10463) id 46B354EB82B; Tue, 23 Aug 2022 14:27:56 +0200 (CEST)
Date: Tue, 23 Aug 2022 14:27:56 +0200
From: Toerless Eckert <tte@cs.fau.de>
To: Carsten Bormann <cabo@tzi.org>
Cc: Derek Atkins <derek@ihtfp.com>, cbor@ietf.org, anima@ietf.org
Message-ID: <YwTHzPtjC6glv0yl@faui48e.informatik.uni-erlangen.de>
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> <E6627C2B-9607-489D-96A7-94C889B7919F@tzi.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <E6627C2B-9607-489D-96A7-94C889B7919F@tzi.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/p61t-ullug8CoxQPl1qVqw8tVuk>
Subject: Re: [Cbor] [Anima] CDDL sockets (was: Re: 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 12:28:05 -0000

How about any of this in array context ?

On Tue, Aug 23, 2022 at 01:54:44PM +0200, Carsten Bormann wrote:
> 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