Re: [netconf] YANG encoding in CBOR

[Juergen Schoenwaelder <[e-mail]>]

I think we need to look at the whole picture and in which direction we
want to go. In the longer term, I would prefer a solution where the
values of a union are discriminated. The current XML encoding
behaviour of 'first match wins' is fragile (for example, if someone
adds an enum to a type, the interpretation of data can change).

Look at this:

typedef bar {
  type union {
    type enumeration { enum "1"; value 2; enum "2"; value 1; }
    type uint8;
  }
}

We have some encodings that send the string representations of the
values and some encodings that prefer to send numeric representations
where possible. In order to have a robust solution, encodings should
likely indicate to which type the value belongs.

/js

On Sat, Mar 23, 2019 at 10:03:32AM +0100, Carsten Bormann wrote:
> Well, if that is a problem, we can go for a longer representation within unions (section 6.12).  Theoretically, we could do that only of there is more than one enum in the union type (so things stay efficient if there is only one), but that might pose difficulties with model evolution.
> 
> Going for a string representation repeats the feature of XML YANG (which was ported over to JSON YANG):
> 
> typedef foo {
>   type union {
>     type enumeration {
>       enum red { value 1; }
>       enum breen { value 2; }
>       enum glue { value 3; }
>     }
>     type enumeration {
>       enum tacks { value 1; }
>       enum nails { value 2; }
>       enum glue { value 3; }
>     }
>   }
> }
> 
> If you use “glue”, you don’t know which of the enumerations are being used.
> 
> Using SIDs, we can do better.
> 
> So what do we have to do to get the SID tool to allocate SIDs for enum values?
> 
> We could then define the CBOR tag for enums in unions to take the usual SID difference (delta relative to the environment, I’d think), not an integer value.
> 
> Several of us are at the hackathon and could make something happen today and tomorrow.
> 
> Grüße, Carsten
> 
> 
> > On Mar 22, 2019, at 18:30, Rob Wilton (rwilton) <[e-mail]> wrote:
> > 
> > I guess that the concern is that this introduces more variation in how data is interpreted between the different XML/JSON/CBOR encodings.
> > 
> > E.g. if someone switched from XML to CBOR, suddenly the configuration or state data may have a different meaning.
> > 
> > Thanks,
> > Rob
> > 
> > 
> >> -----Original Message-----
> >> From: Carsten Bormann <[e-mail]>
> >> Sent: 22 March 2019 16:08
> >> To: Michel Veillette <[e-mail]>
> >> Cc: Rob Wilton (rwilton) <[e-mail]>; [e-mail];
> >> [e-mail]
> >> Subject: Re: [netconf] YANG encoding in CBOR
> >> 
> >> On Mar 22, 2019, at 16:45, Michel Veillette <[e-mail]>
> >> wrote:
> >>> 
> >>> The only potential problem I aware is when multiple enumerations are part of
> >> the same union.
> >>> Value 4 from enumeration A will be encoded the same way as Value 4 from
> >> enumeration B.
> >> 
> >> … and that is not a problem for the XML version, because the string is being used
> >> instead of the value.  (But then if two enumerations share a string, you have the
> >> equivalent problem in the XML serialization.)
> >> 
> >> Anyway, I haven’t seen a piece of real-world YANG that actually has this
> >> problem, so I would be a bit reluctant to make CBOR-based implementations
> >> more complex (and less efficient) so solve this (non-?)problem.
> >> 
> >> Grüße, Carsten
> > 
> > 
> > 
> 
> _______________________________________________
> netconf mailing list
> [e-mail]
> https://www.ietf.org/mailman/listinfo/netconf

-- 
Juergen Schoenwaelder           Jacobs University Bremen gGmbH
Phone: [phone]         Campus Ring 1 | 28759 Bremen | Germany
Fax:   [phone]         <https://www.jacobs-university.de/>


On Sat, Mar 23, 2019 at 10:03:32AM +0100, Carsten Bormann wrote:
> Well, if that is a problem, we can go for a longer representation within unions (section 6.12).  Theoretically, we could do that only of there is more than one enum in the union type (so things stay efficient if there is only one), but that might pose difficulties with model evolution.
> 
> Going for a string representation repeats the feature of XML YANG (which was ported over to JSON YANG):
> 
> typedef foo {
>   type union {
>     type enumeration {
>       enum red { value 1; }
>       enum breen { value 2; }
>       enum glue { value 3; }
>     }
>     type enumeration {
>       enum tacks { value 1; }
>       enum nails { value 2; }
>       enum glue { value 3; }
>     }
>   }
> }
> 
> If you use “glue”, you don’t know which of the enumerations are being used.
> 
> Using SIDs, we can do better.
> 
> So what do we have to do to get the SID tool to allocate SIDs for enum values?
> 
> We could then define the CBOR tag for enums in unions to take the usual SID difference (delta relative to the environment, I’d think), not an integer value.
> 
> Several of us are at the hackathon and could make something happen today and tomorrow.
> 
> Grüße, Carsten
> 
> 
> > On Mar 22, 2019, at 18:30, Rob Wilton (rwilton) <[e-mail]> wrote:
> > 
> > I guess that the concern is that this introduces more variation in how data is interpreted between the different XML/JSON/CBOR encodings.
> > 
> > E.g. if someone switched from XML to CBOR, suddenly the configuration or state data may have a different meaning.
> > 
> > Thanks,
> > Rob
> > 
> > 
> >> -----Original Message-----
> >> From: Carsten Bormann <[e-mail]>
> >> Sent: 22 March 2019 16:08
> >> To: Michel Veillette <[e-mail]>
> >> Cc: Rob Wilton (rwilton) <[e-mail]>; [e-mail];
> >> [e-mail]
> >> Subject: Re: [netconf] YANG encoding in CBOR
> >> 
> >> On Mar 22, 2019, at 16:45, Michel Veillette <[e-mail]>
> >> wrote:
> >>> 
> >>> The only potential problem I aware is when multiple enumerations are part of
> >> the same union.
> >>> Value 4 from enumeration A will be encoded the same way as Value 4 from
> >> enumeration B.
> >> 
> >> … and that is not a problem for the XML version, because the string is being used
> >> instead of the value.  (But then if two enumerations share a string, you have the
> >> equivalent problem in the XML serialization.)
> >> 
> >> Anyway, I haven’t seen a piece of real-world YANG that actually has this
> >> problem, so I would be a bit reluctant to make CBOR-based implementations
> >> more complex (and less efficient) so solve this (non-?)problem.
> >> 
> >> Grüße, Carsten
> > 
> > 
> > 
> 
> _______________________________________________
> netconf mailing list
> [e-mail]
> https://www.ietf.org/mailman/listinfo/netconf

-- 
Juergen Schoenwaelder           Jacobs University Bremen gGmbH
Phone: [phone]         Campus Ring 1 | 28759 Bremen | Germany
Fax:   [phone]         <https://www.jacobs-university.de/>