ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/CBOR-XS/README
Revision: 1.16
Committed: Mon Feb 8 04:37:12 2016 UTC (8 years, 3 months ago) by root
Branch: MAIN
CVS Tags: rel-1_4, rel-1_41
Changes since 1.15: +2 -2 lines
Log Message:
1.4

File Contents

# User Rev Content
1 root 1.2 NAME
2     CBOR::XS - Concise Binary Object Representation (CBOR, RFC7049)
3    
4     SYNOPSIS
5     use CBOR::XS;
6    
7     $binary_cbor_data = encode_cbor $perl_value;
8     $perl_value = decode_cbor $binary_cbor_data;
9    
10     # OO-interface
11    
12     $coder = CBOR::XS->new;
13 root 1.5 $binary_cbor_data = $coder->encode ($perl_value);
14     $perl_value = $coder->decode ($binary_cbor_data);
15    
16     # prefix decoding
17    
18     my $many_cbor_strings = ...;
19     while (length $many_cbor_strings) {
20     my ($data, $length) = $cbor->decode_prefix ($many_cbor_strings);
21     # data was decoded
22     substr $many_cbor_strings, 0, $length, ""; # remove decoded cbor string
23     }
24 root 1.2
25     DESCRIPTION
26 root 1.4 This module converts Perl data structures to the Concise Binary Object
27     Representation (CBOR) and vice versa. CBOR is a fast binary
28 root 1.10 serialisation format that aims to use an (almost) superset of the JSON
29     data model, i.e. when you can represent something useful in JSON, you
30     should be able to represent it in CBOR.
31 root 1.4
32 root 1.10 In short, CBOR is a faster and quite compact binary alternative to JSON,
33 root 1.6 with the added ability of supporting serialisation of Perl objects.
34 root 1.7 (JSON often compresses better than CBOR though, so if you plan to
35 root 1.10 compress the data later and speed is less important you might want to
36     compare both formats first).
37 root 1.4
38 root 1.8 To give you a general idea about speed, with texts in the megabyte
39     range, "CBOR::XS" usually encodes roughly twice as fast as Storable or
40     JSON::XS and decodes about 15%-30% faster than those. The shorter the
41     data, the worse Storable performs in comparison.
42    
43 root 1.10 Regarding compactness, "CBOR::XS"-encoded data structures are usually
44     about 20% smaller than the same data encoded as (compact) JSON or
45     Storable.
46 root 1.8
47 root 1.9 In addition to the core CBOR data format, this module implements a
48 root 1.10 number of extensions, to support cyclic and shared data structures (see
49 root 1.11 "allow_sharing" and "allow_cycles"), string deduplication (see
50     "pack_strings") and scalar references (always enabled).
51 root 1.9
52 root 1.4 The primary goal of this module is to be *correct* and the secondary
53     goal is to be *fast*. To reach the latter goal it was written in C.
54 root 1.2
55     See MAPPING, below, on how CBOR::XS maps perl values to CBOR values and
56     vice versa.
57    
58     FUNCTIONAL INTERFACE
59     The following convenience methods are provided by this module. They are
60     exported by default:
61    
62     $cbor_data = encode_cbor $perl_scalar
63     Converts the given Perl data structure to CBOR representation.
64     Croaks on error.
65    
66     $perl_scalar = decode_cbor $cbor_data
67     The opposite of "encode_cbor": expects a valid CBOR string to parse,
68     returning the resulting perl scalar. Croaks on error.
69    
70     OBJECT-ORIENTED INTERFACE
71     The object oriented interface lets you configure your own encoding or
72     decoding style, within the limits of supported formats.
73    
74     $cbor = new CBOR::XS
75     Creates a new CBOR::XS object that can be used to de/encode CBOR
76     strings. All boolean flags described below are by default
77     *disabled*.
78    
79     The mutators for flags all return the CBOR object again and thus
80     calls can be chained:
81    
82 root 1.9 my $cbor = CBOR::XS->new->encode ({a => [1,2]});
83 root 1.2
84     $cbor = $cbor->max_depth ([$maximum_nesting_depth])
85     $max_depth = $cbor->get_max_depth
86     Sets the maximum nesting level (default 512) accepted while encoding
87     or decoding. If a higher nesting level is detected in CBOR data or a
88     Perl data structure, then the encoder and decoder will stop and
89     croak at that point.
90    
91     Nesting level is defined by number of hash- or arrayrefs that the
92     encoder needs to traverse to reach a given point or the number of
93     "{" or "[" characters without their matching closing parenthesis
94     crossed to reach a given character in a string.
95    
96     Setting the maximum depth to one disallows any nesting, so that
97     ensures that the object is only a single hash/object or array.
98    
99     If no argument is given, the highest possible setting will be used,
100     which is rarely useful.
101    
102     Note that nesting is implemented by recursion in C. The default
103     value has been chosen to be as large as typical operating systems
104     allow without crashing.
105    
106     See SECURITY CONSIDERATIONS, below, for more info on why this is
107     useful.
108    
109     $cbor = $cbor->max_size ([$maximum_string_size])
110     $max_size = $cbor->get_max_size
111     Set the maximum length a CBOR string may have (in bytes) where
112     decoding is being attempted. The default is 0, meaning no limit.
113     When "decode" is called on a string that is longer then this many
114     bytes, it will not attempt to decode the string but throw an
115     exception. This setting has no effect on "encode" (yet).
116    
117     If no argument is given, the limit check will be deactivated (same
118     as when 0 is specified).
119    
120     See SECURITY CONSIDERATIONS, below, for more info on why this is
121     useful.
122    
123 root 1.9 $cbor = $cbor->allow_unknown ([$enable])
124     $enabled = $cbor->get_allow_unknown
125     If $enable is true (or missing), then "encode" will *not* throw an
126     exception when it encounters values it cannot represent in CBOR (for
127     example, filehandles) but instead will encode a CBOR "error" value.
128    
129     If $enable is false (the default), then "encode" will throw an
130     exception when it encounters anything it cannot encode as CBOR.
131    
132     This option does not affect "decode" in any way, and it is
133     recommended to leave it off unless you know your communications
134     partner.
135    
136     $cbor = $cbor->allow_sharing ([$enable])
137     $enabled = $cbor->get_allow_sharing
138     If $enable is true (or missing), then "encode" will not
139     double-encode values that have been referenced before (e.g. when the
140     same object, such as an array, is referenced multiple times), but
141     instead will emit a reference to the earlier value.
142    
143     This means that such values will only be encoded once, and will not
144     result in a deep cloning of the value on decode, in decoders
145 root 1.10 supporting the value sharing extension. This also makes it possible
146 root 1.11 to encode cyclic data structures (which need "allow_cycles" to ne
147     enabled to be decoded by this module).
148 root 1.9
149     It is recommended to leave it off unless you know your communication
150     partner supports the value sharing extensions to CBOR
151 root 1.10 (<http://cbor.schmorp.de/value-sharing>), as without decoder
152     support, the resulting data structure might be unusable.
153 root 1.9
154     Detecting shared values incurs a runtime overhead when values are
155     encoded that have a reference counter large than one, and might
156     unnecessarily increase the encoded size, as potentially shared
157 root 1.11 values are encode as shareable whether or not they are actually
158 root 1.9 shared.
159    
160     At the moment, only targets of references can be shared (e.g.
161     scalars, arrays or hashes pointed to by a reference). Weirder
162     constructs, such as an array with multiple "copies" of the *same*
163     string, which are hard but not impossible to create in Perl, are not
164 root 1.10 supported (this is the same as with Storable).
165 root 1.9
166 root 1.10 If $enable is false (the default), then "encode" will encode shared
167     data structures repeatedly, unsharing them in the process. Cyclic
168     data structures cannot be encoded in this mode.
169 root 1.9
170     This option does not affect "decode" in any way - shared values and
171     references will always be decoded properly if present.
172    
173 root 1.11 $cbor = $cbor->allow_cycles ([$enable])
174     $enabled = $cbor->get_allow_cycles
175     If $enable is true (or missing), then "decode" will happily decode
176     self-referential (cyclic) data structures. By default these will not
177     be decoded, as they need manual cleanup to avoid memory leaks, so
178     code that isn't prepared for this will not leak memory.
179    
180     If $enable is false (the default), then "decode" will throw an error
181     when it encounters a self-referential/cyclic data structure.
182    
183 root 1.14 FUTURE DIRECTION: the motivation behind this option is to avoid
184     *real* cycles - future versions of this module might chose to decode
185     cyclic data structures using weak references when this option is
186     off, instead of throwing an error.
187    
188 root 1.11 This option does not affect "encode" in any way - shared values and
189 root 1.14 references will always be encoded properly if present.
190 root 1.11
191 root 1.10 $cbor = $cbor->pack_strings ([$enable])
192     $enabled = $cbor->get_pack_strings
193 root 1.9 If $enable is true (or missing), then "encode" will try not to
194     encode the same string twice, but will instead encode a reference to
195 root 1.10 the string instead. Depending on your data format, this can save a
196 root 1.9 lot of space, but also results in a very large runtime overhead
197     (expect encoding times to be 2-4 times as high as without).
198    
199     It is recommended to leave it off unless you know your
200     communications partner supports the stringref extension to CBOR
201 root 1.10 (<http://cbor.schmorp.de/stringref>), as without decoder support,
202     the resulting data structure might not be usable.
203 root 1.9
204 root 1.10 If $enable is false (the default), then "encode" will encode strings
205     the standard CBOR way.
206 root 1.9
207     This option does not affect "decode" in any way - string references
208     will always be decoded properly if present.
209    
210 root 1.12 $cbor = $cbor->validate_utf8 ([$enable])
211     $enabled = $cbor->get_validate_utf8
212     If $enable is true (or missing), then "decode" will validate that
213     elements (text strings) containing UTF-8 data in fact contain valid
214     UTF-8 data (instead of blindly accepting it). This validation
215     obviously takes extra time during decoding.
216    
217     The concept of "valid UTF-8" used is perl's concept, which is a
218     superset of the official UTF-8.
219    
220     If $enable is false (the default), then "decode" will blindly accept
221     UTF-8 data, marking them as valid UTF-8 in the resulting data
222     structure regardless of whether thats true or not.
223    
224     Perl isn't too happy about corrupted UTF-8 in strings, but should
225     generally not crash or do similarly evil things. Extensions might be
226     not so forgiving, so it's recommended to turn on this setting if you
227     receive untrusted CBOR.
228    
229     This option does not affect "encode" in any way - strings that are
230     supposedly valid UTF-8 will simply be dumped into the resulting CBOR
231     string without checking whether that is, in fact, true or not.
232    
233 root 1.9 $cbor = $cbor->filter ([$cb->($tag, $value)])
234     $cb_or_undef = $cbor->get_filter
235     Sets or replaces the tagged value decoding filter (when $cb is
236     specified) or clears the filter (if no argument or "undef" is
237     provided).
238    
239     The filter callback is called only during decoding, when a
240     non-enforced tagged value has been decoded (see "TAG HANDLING AND
241     EXTENSIONS" for a list of enforced tags). For specific tags, it's
242     often better to provide a default converter using the
243     %CBOR::XS::FILTER hash (see below).
244    
245     The first argument is the numerical tag, the second is the (decoded)
246     value that has been tagged.
247    
248     The filter function should return either exactly one value, which
249     will replace the tagged value in the decoded data structure, or no
250     values, which will result in default handling, which currently means
251     the decoder creates a "CBOR::XS::Tagged" object to hold the tag and
252     the value.
253    
254     When the filter is cleared (the default state), the default filter
255     function, "CBOR::XS::default_filter", is used. This function simply
256     looks up the tag in the %CBOR::XS::FILTER hash. If an entry exists
257     it must be a code reference that is called with tag and value, and
258     is responsible for decoding the value. If no entry exists, it
259     returns no values.
260    
261     Example: decode all tags not handled internally into
262 root 1.10 "CBOR::XS::Tagged" objects, with no other special handling (useful
263 root 1.9 when working with potentially "unsafe" CBOR data).
264    
265     CBOR::XS->new->filter (sub { })->decode ($cbor_data);
266    
267     Example: provide a global filter for tag 1347375694, converting the
268     value into some string form.
269    
270     $CBOR::XS::FILTER{1347375694} = sub {
271     my ($tag, $value);
272    
273     "tag 1347375694 value $value"
274     };
275    
276 root 1.2 $cbor_data = $cbor->encode ($perl_scalar)
277     Converts the given Perl data structure (a scalar value) to its CBOR
278     representation.
279    
280     $perl_scalar = $cbor->decode ($cbor_data)
281     The opposite of "encode": expects CBOR data and tries to parse it,
282     returning the resulting simple scalar or reference. Croaks on error.
283    
284     ($perl_scalar, $octets) = $cbor->decode_prefix ($cbor_data)
285     This works like the "decode" method, but instead of raising an
286     exception when there is trailing garbage after the CBOR string, it
287     will silently stop parsing there and return the number of characters
288     consumed so far.
289    
290     This is useful if your CBOR texts are not delimited by an outer
291     protocol and you need to know where the first CBOR string ends amd
292     the next one starts.
293    
294     CBOR::XS->new->decode_prefix ("......")
295     => ("...", 3)
296    
297 root 1.13 INCREMENTAL PARSING
298     In some cases, there is the need for incremental parsing of JSON texts.
299     While this module always has to keep both CBOR text and resulting Perl
300     data structure in memory at one time, it does allow you to parse a CBOR
301     stream incrementally, using a similar to using "decode_prefix" to see if
302     a full CBOR object is available, but is much more efficient.
303    
304     It basically works by parsing as much of a CBOR string as possible - if
305     the CBOR data is not complete yet, the pasrer will remember where it
306     was, to be able to restart when more data has been accumulated. Once
307     enough data is available to either decode a complete CBOR value or raise
308     an error, a real decode will be attempted.
309    
310     A typical use case would be a network protocol that consists of sending
311     and receiving CBOR-encoded messages. The solution that works with CBOR
312     and about anything else is by prepending a length to every CBOR value,
313     so the receiver knows how many octets to read. More compact (and
314     slightly slower) would be to just send CBOR values back-to-back, as
315     "CBOR::XS" knows where a CBOR value ends, and doesn't need an explicit
316     length.
317    
318     The following methods help with this:
319    
320     @decoded = $cbor->incr_parse ($buffer)
321     This method attempts to decode exactly one CBOR value from the
322     beginning of the given $buffer. The value is removed from the
323     $buffer on success. When $buffer doesn't contain a complete value
324     yet, it returns nothing. Finally, when the $buffer doesn't start
325     with something that could ever be a valid CBOR value, it raises an
326     exception, just as "decode" would. In the latter case the decoder
327     state is undefined and must be reset before being able to parse
328     further.
329    
330     This method modifies the $buffer in place. When no CBOR value can be
331     decoded, the decoder stores the current string offset. On the next
332     call, continues decoding at the place where it stopped before. For
333     this to make sense, the $buffer must begin with the same octets as
334     on previous unsuccessful calls.
335    
336     You can call this method in scalar context, in which case it either
337     returns a decoded value or "undef". This makes it impossible to
338     distinguish between CBOR null values (which decode to "undef") and
339     an unsuccessful decode, which is often acceptable.
340    
341     @decoded = $cbor->incr_parse_multiple ($buffer)
342     Same as "incr_parse", but attempts to decode as many CBOR values as
343     possible in one go, instead of at most one. Calls to "incr_parse"
344     and "incr_parse_multiple" can be interleaved.
345    
346     $cbor->incr_reset
347     Resets the incremental decoder. This throws away any saved state, so
348     that subsequent calls to "incr_parse" or "incr_parse_multiple" start
349     to parse a new CBOR value from the beginning of the $buffer again.
350    
351     This method can be caled at any time, but it *must* be called if you
352     want to change your $buffer or there was a decoding error and you
353     want to reuse the $cbor object for future incremental parsings.
354    
355 root 1.2 MAPPING
356     This section describes how CBOR::XS maps Perl values to CBOR values and
357     vice versa. These mappings are designed to "do the right thing" in most
358     circumstances automatically, preserving round-tripping characteristics
359     (what you put in comes out as something equivalent).
360    
361     For the more enlightened: note that in the following descriptions,
362     lowercase *perl* refers to the Perl interpreter, while uppercase *Perl*
363     refers to the abstract Perl language itself.
364    
365     CBOR -> PERL
366 root 1.4 integers
367     CBOR integers become (numeric) perl scalars. On perls without 64 bit
368     support, 64 bit integers will be truncated or otherwise corrupted.
369    
370     byte strings
371 root 1.10 Byte strings will become octet strings in Perl (the Byte values
372 root 1.4 0..255 will simply become characters of the same value in Perl).
373    
374     UTF-8 strings
375     UTF-8 strings in CBOR will be decoded, i.e. the UTF-8 octets will be
376     decoded into proper Unicode code points. At the moment, the validity
377     of the UTF-8 octets will not be validated - corrupt input will
378     result in corrupted Perl strings.
379    
380     arrays, maps
381     CBOR arrays and CBOR maps will be converted into references to a
382     Perl array or hash, respectively. The keys of the map will be
383     stringified during this process.
384    
385 root 1.5 null
386     CBOR null becomes "undef" in Perl.
387    
388     true, false, undefined
389     These CBOR values become "Types:Serialiser::true",
390     "Types:Serialiser::false" and "Types::Serialiser::error",
391 root 1.2 respectively. They are overloaded to act almost exactly like the
392 root 1.5 numbers 1 and 0 (for true and false) or to throw an exception on
393     access (for error). See the Types::Serialiser manpage for details.
394    
395 root 1.9 tagged values
396     Tagged items consists of a numeric tag and another CBOR value.
397 root 1.2
398 root 1.9 See "TAG HANDLING AND EXTENSIONS" and the description of "->filter"
399 root 1.10 for details on which tags are handled how.
400 root 1.4
401     anything else
402     Anything else (e.g. unsupported simple values) will raise a decoding
403     error.
404 root 1.2
405     PERL -> CBOR
406     The mapping from Perl to CBOR is slightly more difficult, as Perl is a
407 root 1.10 typeless language. That means this module can only guess which CBOR type
408     is meant by a perl value.
409 root 1.2
410     hash references
411     Perl hash references become CBOR maps. As there is no inherent
412     ordering in hash keys (or CBOR maps), they will usually be encoded
413 root 1.10 in a pseudo-random order. This order can be different each time a
414     hahs is encoded.
415 root 1.2
416 root 1.4 Currently, tied hashes will use the indefinite-length format, while
417     normal hashes will use the fixed-length format.
418    
419 root 1.2 array references
420 root 1.4 Perl array references become fixed-length CBOR arrays.
421 root 1.2
422     other references
423 root 1.10 Other unblessed references will be represented using the indirection
424     tag extension (tag value 22098,
425     <http://cbor.schmorp.de/indirection>). CBOR decoders are guaranteed
426     to be able to decode these values somehow, by either "doing the
427     right thing", decoding into a generic tagged object, simply ignoring
428     the tag, or something else.
429 root 1.4
430     CBOR::XS::Tagged objects
431     Objects of this type must be arrays consisting of a single "[tag,
432     value]" pair. The (numerical) tag will be encoded as a CBOR tag, the
433 root 1.10 value will be encoded as appropriate for the value. You must use
434 root 1.7 "CBOR::XS::tag" to create such objects.
435 root 1.2
436 root 1.5 Types::Serialiser::true, Types::Serialiser::false,
437     Types::Serialiser::error
438     These special values become CBOR true, CBOR false and CBOR undefined
439     values, respectively. You can also use "\1", "\0" and "\undef"
440     directly if you want.
441    
442     other blessed objects
443     Other blessed objects are serialised via "TO_CBOR" or "FREEZE". See
444 root 1.9 "TAG HANDLING AND EXTENSIONS" for specific classes handled by this
445     module, and "OBJECT SERIALISATION" for generic object serialisation.
446 root 1.2
447     simple scalars
448 root 1.9 Simple Perl scalars (any scalar that is not a reference) are the
449     most difficult objects to encode: CBOR::XS will encode undefined
450 root 1.4 scalars as CBOR null values, scalars that have last been used in a
451 root 1.2 string context before encoding as CBOR strings, and anything else as
452     number value:
453    
454     # dump as number
455     encode_cbor [2] # yields [2]
456     encode_cbor [-3.0e17] # yields [-3e+17]
457     my $value = 5; encode_cbor [$value] # yields [5]
458    
459 root 1.10 # used as string, so dump as string (either byte or text)
460 root 1.2 print $value;
461     encode_cbor [$value] # yields ["5"]
462    
463     # undef becomes null
464     encode_cbor [undef] # yields [null]
465    
466     You can force the type to be a CBOR string by stringifying it:
467    
468     my $x = 3.1; # some variable containing a number
469     "$x"; # stringified
470     $x .= ""; # another, more awkward way to stringify
471     print $x; # perl does it for you, too, quite often
472    
473 root 1.10 You can force whether a string ie encoded as byte or text string by
474     using "utf8::upgrade" and "utf8::downgrade"):
475    
476     utf8::upgrade $x; # encode $x as text string
477     utf8::downgrade $x; # encode $x as byte string
478    
479     Perl doesn't define what operations up- and downgrade strings, so if
480     the difference between byte and text is important, you should up- or
481     downgrade your string as late as possible before encoding.
482    
483 root 1.2 You can force the type to be a CBOR number by numifying it:
484    
485     my $x = "3"; # some variable containing a string
486     $x += 0; # numify it, ensuring it will be dumped as a number
487     $x *= 1; # same thing, the choice is yours.
488    
489     You can not currently force the type in other, less obscure, ways.
490     Tell me if you need this capability (but don't forget to explain why
491     it's needed :).
492    
493 root 1.4 Perl values that seem to be integers generally use the shortest
494     possible representation. Floating-point values will use either the
495     IEEE single format if possible without loss of precision, otherwise
496     the IEEE double format will be used. Perls that use formats other
497     than IEEE double to represent numerical values are supported, but
498     might suffer loss of precision.
499 root 1.2
500 root 1.5 OBJECT SERIALISATION
501 root 1.11 This module implements both a CBOR-specific and the generic
502     Types::Serialier object serialisation protocol. The following
503     subsections explain both methods.
504    
505     ENCODING
506 root 1.5 This module knows two way to serialise a Perl object: The CBOR-specific
507     way, and the generic way.
508    
509 root 1.11 Whenever the encoder encounters a Perl object that it cannot serialise
510 root 1.5 directly (most of them), it will first look up the "TO_CBOR" method on
511     it.
512    
513     If it has a "TO_CBOR" method, it will call it with the object as only
514     argument, and expects exactly one return value, which it will then
515     substitute and encode it in the place of the object.
516    
517     Otherwise, it will look up the "FREEZE" method. If it exists, it will
518     call it with the object as first argument, and the constant string
519     "CBOR" as the second argument, to distinguish it from other serialisers.
520    
521     The "FREEZE" method can return any number of values (i.e. zero or more).
522     These will be encoded as CBOR perl object, together with the classname.
523    
524 root 1.11 These methods *MUST NOT* change the data structure that is being
525     serialised. Failure to comply to this can result in memory corruption -
526     and worse.
527    
528 root 1.5 If an object supports neither "TO_CBOR" nor "FREEZE", encoding will fail
529     with an error.
530    
531 root 1.11 DECODING
532     Objects encoded via "TO_CBOR" cannot (normally) be automatically
533     decoded, but objects encoded via "FREEZE" can be decoded using the
534     following protocol:
535 root 1.5
536     When an encoded CBOR perl object is encountered by the decoder, it will
537     look up the "THAW" method, by using the stored classname, and will fail
538     if the method cannot be found.
539    
540     After the lookup it will call the "THAW" method with the stored
541     classname as first argument, the constant string "CBOR" as second
542     argument, and all values returned by "FREEZE" as remaining arguments.
543    
544     EXAMPLES
545     Here is an example "TO_CBOR" method:
546    
547     sub My::Object::TO_CBOR {
548     my ($obj) = @_;
549    
550     ["this is a serialised My::Object object", $obj->{id}]
551     }
552    
553     When a "My::Object" is encoded to CBOR, it will instead encode a simple
554     array with two members: a string, and the "object id". Decoding this
555     CBOR string will yield a normal perl array reference in place of the
556     object.
557    
558     A more useful and practical example would be a serialisation method for
559     the URI module. CBOR has a custom tag value for URIs, namely 32:
560    
561     sub URI::TO_CBOR {
562     my ($self) = @_;
563     my $uri = "$self"; # stringify uri
564     utf8::upgrade $uri; # make sure it will be encoded as UTF-8 string
565 root 1.10 CBOR::XS::tag 32, "$_[0]"
566 root 1.5 }
567    
568     This will encode URIs as a UTF-8 string with tag 32, which indicates an
569     URI.
570    
571     Decoding such an URI will not (currently) give you an URI object, but
572     instead a CBOR::XS::Tagged object with tag number 32 and the string -
573     exactly what was returned by "TO_CBOR".
574    
575     To serialise an object so it can automatically be deserialised, you need
576     to use "FREEZE" and "THAW". To take the URI module as example, this
577     would be a possible implementation:
578    
579     sub URI::FREEZE {
580     my ($self, $serialiser) = @_;
581     "$self" # encode url string
582     }
583    
584     sub URI::THAW {
585     my ($class, $serialiser, $uri) = @_;
586    
587     $class->new ($uri)
588     }
589    
590     Unlike "TO_CBOR", multiple values can be returned by "FREEZE". For
591     example, a "FREEZE" method that returns "type", "id" and "variant"
592     values would cause an invocation of "THAW" with 5 arguments:
593    
594     sub My::Object::FREEZE {
595     my ($self, $serialiser) = @_;
596    
597     ($self->{type}, $self->{id}, $self->{variant})
598     }
599    
600     sub My::Object::THAW {
601     my ($class, $serialiser, $type, $id, $variant) = @_;
602    
603     $class-<new (type => $type, id => $id, variant => $variant)
604     }
605    
606     MAGIC HEADER
607 root 1.3 There is no way to distinguish CBOR from other formats programmatically.
608     To make it easier to distinguish CBOR from other formats, the CBOR
609     specification has a special "magic string" that can be prepended to any
610 root 1.9 CBOR string without changing its meaning.
611 root 1.3
612     This string is available as $CBOR::XS::MAGIC. This module does not
613 root 1.9 prepend this string to the CBOR data it generates, but it will ignore it
614 root 1.3 if present, so users can prepend this string as a "file type" indicator
615     as required.
616    
617 root 1.7 THE CBOR::XS::Tagged CLASS
618     CBOR has the concept of tagged values - any CBOR value can be tagged
619     with a numeric 64 bit number, which are centrally administered.
620    
621     "CBOR::XS" handles a few tags internally when en- or decoding. You can
622     also create tags yourself by encoding "CBOR::XS::Tagged" objects, and
623     the decoder will create "CBOR::XS::Tagged" objects itself when it hits
624     an unknown tag.
625    
626     These objects are simply blessed array references - the first member of
627     the array being the numerical tag, the second being the value.
628    
629     You can interact with "CBOR::XS::Tagged" objects in the following ways:
630    
631     $tagged = CBOR::XS::tag $tag, $value
632     This function(!) creates a new "CBOR::XS::Tagged" object using the
633     given $tag (0..2**64-1) to tag the given $value (which can be any
634     Perl value that can be encoded in CBOR, including serialisable Perl
635     objects and "CBOR::XS::Tagged" objects).
636    
637     $tagged->[0]
638     $tagged->[0] = $new_tag
639     $tag = $tagged->tag
640     $new_tag = $tagged->tag ($new_tag)
641     Access/mutate the tag.
642    
643     $tagged->[1]
644     $tagged->[1] = $new_value
645     $value = $tagged->value
646     $new_value = $tagged->value ($new_value)
647     Access/mutate the tagged value.
648    
649     EXAMPLES
650     Here are some examples of "CBOR::XS::Tagged" uses to tag objects.
651    
652     You can look up CBOR tag value and emanings in the IANA registry at
653     <http://www.iana.org/assignments/cbor-tags/cbor-tags.xhtml>.
654    
655     Prepend a magic header ($CBOR::XS::MAGIC):
656    
657     my $cbor = encode_cbor CBOR::XS::tag 55799, $value;
658     # same as:
659     my $cbor = $CBOR::XS::MAGIC . encode_cbor $value;
660    
661     Serialise some URIs and a regex in an array:
662    
663     my $cbor = encode_cbor [
664     (CBOR::XS::tag 32, "http://www.nethype.de/"),
665     (CBOR::XS::tag 32, "http://software.schmorp.de/"),
666     (CBOR::XS::tag 35, "^[Pp][Ee][Rr][lL]\$"),
667     ];
668    
669     Wrap CBOR data in CBOR:
670    
671     my $cbor_cbor = encode_cbor
672     CBOR::XS::tag 24,
673     encode_cbor [1, 2, 3];
674    
675 root 1.9 TAG HANDLING AND EXTENSIONS
676     This section describes how this module handles specific tagged values
677     and extensions. If a tag is not mentioned here and no additional filters
678     are provided for it, then the default handling applies (creating a
679     CBOR::XS::Tagged object on decoding, and only encoding the tag when
680     explicitly requested).
681    
682     Tags not handled specifically are currently converted into a
683     CBOR::XS::Tagged object, which is simply a blessed array reference
684     consisting of the numeric tag value followed by the (decoded) CBOR
685     value.
686    
687     Future versions of this module reserve the right to special case
688     additional tags (such as base64url).
689    
690     ENFORCED TAGS
691     These tags are always handled when decoding, and their handling cannot
692     be overriden by the user.
693    
694 root 1.10 26 (perl-object, <http://cbor.schmorp.de/perl-object>)
695 root 1.9 These tags are automatically created (and decoded) for serialisable
696     objects using the "FREEZE/THAW" methods (the Types::Serialier object
697     serialisation protocol). See "OBJECT SERIALISATION" for details.
698    
699 root 1.16 28, 29 (shareable, sharedref, <http://cbor.schmorp.de/value-sharing>)
700 root 1.11 These tags are automatically decoded when encountered (and they do
701     not result in a cyclic data structure, see "allow_cycles"),
702     resulting in shared values in the decoded object. They are only
703     encoded, however, when "allow_sharing" is enabled.
704    
705     Not all shared values can be successfully decoded: values that
706     reference themselves will *currently* decode as "undef" (this is not
707     the same as a reference pointing to itself, which will be
708     represented as a value that contains an indirect reference to itself
709     - these will be decoded properly).
710    
711     Note that considerably more shared value data structures can be
712     decoded than will be encoded - currently, only values pointed to by
713     references will be shared, others will not. While non-reference
714     shared values can be generated in Perl with some effort, they were
715     considered too unimportant to be supported in the encoder. The
716     decoder, however, will decode these values as shared values.
717 root 1.9
718 root 1.16 256, 25 (stringref-namespace, stringref,
719 root 1.9 <http://cbor.schmorp.de/stringref>)
720     These tags are automatically decoded when encountered. They are only
721 root 1.10 encoded, however, when "pack_strings" is enabled.
722 root 1.9
723     22098 (indirection, <http://cbor.schmorp.de/indirection>)
724     This tag is automatically generated when a reference are encountered
725     (with the exception of hash and array refernces). It is converted to
726     a reference when decoding.
727    
728     55799 (self-describe CBOR, RFC 7049)
729     This value is not generated on encoding (unless explicitly requested
730     by the user), and is simply ignored when decoding.
731    
732     NON-ENFORCED TAGS
733     These tags have default filters provided when decoding. Their handling
734     can be overriden by changing the %CBOR::XS::FILTER entry for the tag, or
735     by providing a custom "filter" callback when decoding.
736    
737     When they result in decoding into a specific Perl class, the module
738     usually provides a corresponding "TO_CBOR" method as well.
739    
740     When any of these need to load additional modules that are not part of
741     the perl core distribution (e.g. URI), it is (currently) up to the user
742     to provide these modules. The decoding usually fails with an exception
743     if the required module cannot be loaded.
744    
745 root 1.12 0, 1 (date/time string, seconds since the epoch)
746     These tags are decoded into Time::Piece objects. The corresponding
747     "Time::Piece::TO_CBOR" method always encodes into tag 1 values
748     currently.
749    
750     The Time::Piece API is generally surprisingly bad, and fractional
751     seconds are only accidentally kept intact, so watch out. On the plus
752     side, the module comes with perl since 5.10, which has to count for
753     something.
754    
755 root 1.9 2, 3 (positive/negative bignum)
756     These tags are decoded into Math::BigInt objects. The corresponding
757     "Math::BigInt::TO_CBOR" method encodes "small" bigints into normal
758     CBOR integers, and others into positive/negative CBOR bignums.
759    
760     4, 5 (decimal fraction/bigfloat)
761     Both decimal fractions and bigfloats are decoded into Math::BigFloat
762     objects. The corresponding "Math::BigFloat::TO_CBOR" method *always*
763     encodes into a decimal fraction.
764    
765     CBOR cannot represent bigfloats with *very* large exponents -
766     conversion of such big float objects is undefined.
767    
768     Also, NaN and infinities are not encoded properly.
769    
770     21, 22, 23 (expected later JSON conversion)
771     CBOR::XS is not a CBOR-to-JSON converter, and will simply ignore
772     these tags.
773    
774     32 (URI)
775     These objects decode into URI objects. The corresponding
776     "URI::TO_CBOR" method again results in a CBOR URI value.
777    
778 root 1.5 CBOR and JSON
779 root 1.4 CBOR is supposed to implement a superset of the JSON data model, and is,
780     with some coercion, able to represent all JSON texts (something that
781     other "binary JSON" formats such as BSON generally do not support).
782    
783     CBOR implements some extra hints and support for JSON interoperability,
784     and the spec offers further guidance for conversion between CBOR and
785     JSON. None of this is currently implemented in CBOR, and the guidelines
786     in the spec do not result in correct round-tripping of data. If JSON
787     interoperability is improved in the future, then the goal will be to
788     ensure that decoded JSON data will round-trip encoding and decoding to
789     CBOR intact.
790 root 1.2
791     SECURITY CONSIDERATIONS
792     When you are using CBOR in a protocol, talking to untrusted potentially
793     hostile creatures requires relatively few measures.
794    
795     First of all, your CBOR decoder should be secure, that is, should not
796     have any buffer overflows. Obviously, this module should ensure that and
797     I am trying hard on making that true, but you never know.
798    
799     Second, you need to avoid resource-starving attacks. That means you
800     should limit the size of CBOR data you accept, or make sure then when
801     your resources run out, that's just fine (e.g. by using a separate
802     process that can crash safely). The size of a CBOR string in octets is
803     usually a good indication of the size of the resources required to
804     decode it into a Perl structure. While CBOR::XS can check the size of
805     the CBOR text, it might be too late when you already have it in memory,
806     so you might want to check the size before you accept the string.
807    
808     Third, CBOR::XS recurses using the C stack when decoding objects and
809     arrays. The C stack is a limited resource: for instance, on my amd64
810     machine with 8MB of stack size I can decode around 180k nested arrays
811     but only 14k nested CBOR objects (due to perl itself recursing deeply on
812     croak to free the temporary). If that is exceeded, the program crashes.
813     To be conservative, the default nesting limit is set to 512. If your
814     process has a smaller stack, you should adjust this setting accordingly
815     with the "max_depth" method.
816    
817     Something else could bomb you, too, that I forgot to think of. In that
818     case, you get to keep the pieces. I am always open for hints, though...
819    
820     Also keep in mind that CBOR::XS might leak contents of your Perl data
821     structures in its error messages, so when you serialise sensitive
822     information you might want to make sure that exceptions thrown by
823     CBOR::XS will not end up in front of untrusted eyes.
824    
825     CBOR IMPLEMENTATION NOTES
826     This section contains some random implementation notes. They do not
827     describe guaranteed behaviour, but merely behaviour as-is implemented
828     right now.
829    
830     64 bit integers are only properly decoded when Perl was built with 64
831     bit support.
832    
833     Strings and arrays are encoded with a definite length. Hashes as well,
834     unless they are tied (or otherwise magical).
835    
836     Only the double data type is supported for NV data types - when Perl
837     uses long double to represent floating point values, they might not be
838     encoded properly. Half precision types are accepted, but not encoded.
839    
840     Strict mode and canonical mode are not implemented.
841    
842 root 1.11 LIMITATIONS ON PERLS WITHOUT 64-BIT INTEGER SUPPORT
843     On perls that were built without 64 bit integer support (these are rare
844 root 1.15 nowadays, even on 32 bit architectures, as all major Perl distributions
845     are built with 64 bit integer support), support for any kind of 64 bit
846 root 1.11 integer in CBOR is very limited - most likely, these 64 bit values will
847     be truncated, corrupted, or otherwise not decoded correctly. This also
848     includes string, array and map sizes that are stored as 64 bit integers.
849    
850 root 1.2 THREADS
851     This module is *not* guaranteed to be thread safe and there are no plans
852     to change this until Perl gets thread support (as opposed to the
853     horribly slow so-called "threads" which are simply slow and bloated
854     process simulations - use fork, it's *much* faster, cheaper, better).
855    
856     (It might actually work, but you have been warned).
857    
858     BUGS
859     While the goal of this module is to be correct, that unfortunately does
860     not mean it's bug-free, only that I think its design is bug-free. If you
861     keep reporting bugs they will be fixed swiftly, though.
862    
863     Please refrain from using rt.cpan.org or any other bug reporting
864     service. I put the contact address into my modules for a reason.
865    
866     SEE ALSO
867     The JSON and JSON::XS modules that do similar, but human-readable,
868     serialisation.
869    
870 root 1.5 The Types::Serialiser module provides the data model for true, false and
871     error values.
872    
873 root 1.2 AUTHOR
874     Marc Lehmann <schmorp@schmorp.de>
875     http://home.schmorp.de/
876