This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
8f5f7b03da68ab1325d783d6c762c34f63c06c58
[perl5.git] / dist / Storable / Storable.pm
1 #
2 #  Copyright (c) 1995-2000, Raphael Manfredi
3 #  
4 #  You may redistribute only under the same terms as Perl 5, as specified
5 #  in the README file that comes with the distribution.
6 #
7
8 require XSLoader;
9 require Exporter;
10 package Storable; @ISA = qw(Exporter);
11
12 @EXPORT = qw(store retrieve);
13 @EXPORT_OK = qw(
14         nstore store_fd nstore_fd fd_retrieve
15         freeze nfreeze thaw
16         dclone
17         retrieve_fd
18         lock_store lock_nstore lock_retrieve
19         file_magic read_magic
20 );
21
22 use vars qw($canonical $forgive_me $VERSION);
23
24 $VERSION = '2.44';
25
26 BEGIN {
27     if (eval { local $SIG{__DIE__}; require Log::Agent; 1 }) {
28         Log::Agent->import;
29     }
30     #
31     # Use of Log::Agent is optional. If it hasn't imported these subs then
32     # provide a fallback implementation.
33     #
34     unless ($Storable::{logcroak} && *{$Storable::{logcroak}}{CODE}) {
35         require Carp;
36         *logcroak = sub {
37             Carp::croak(@_);
38         };
39     }
40     unless ($Storable::{logcarp} && *{$Storable::{logcarp}}{CODE}) {
41         require Carp;
42         *logcarp = sub {
43           Carp::carp(@_);
44         };
45     }
46 }
47
48 #
49 # They might miss :flock in Fcntl
50 #
51
52 BEGIN {
53         if (eval { require Fcntl; 1 } && exists $Fcntl::EXPORT_TAGS{'flock'}) {
54                 Fcntl->import(':flock');
55         } else {
56                 eval q{
57                         sub LOCK_SH ()  {1}
58                         sub LOCK_EX ()  {2}
59                 };
60         }
61 }
62
63 sub CLONE {
64     # clone context under threads
65     Storable::init_perinterp();
66 }
67
68 # By default restricted hashes are downgraded on earlier perls.
69
70 $Storable::downgrade_restricted = 1;
71 $Storable::accept_future_minor = 1;
72
73 XSLoader::load('Storable', $Storable::VERSION);
74
75 #
76 # Determine whether locking is possible, but only when needed.
77 #
78
79 sub CAN_FLOCK; my $CAN_FLOCK; sub CAN_FLOCK {
80         return $CAN_FLOCK if defined $CAN_FLOCK;
81         require Config; import Config;
82         return $CAN_FLOCK =
83                 $Config{'d_flock'} ||
84                 $Config{'d_fcntl_can_lock'} ||
85                 $Config{'d_lockf'};
86 }
87
88 sub show_file_magic {
89     print <<EOM;
90 #
91 # To recognize the data files of the Perl module Storable,
92 # the following lines need to be added to the local magic(5) file,
93 # usually either /usr/share/misc/magic or /etc/magic.
94 #
95 0       string  perl-store      perl Storable(v0.6) data
96 >4      byte    >0      (net-order %d)
97 >>4     byte    &01     (network-ordered)
98 >>4     byte    =3      (major 1)
99 >>4     byte    =2      (major 1)
100
101 0       string  pst0    perl Storable(v0.7) data
102 >4      byte    >0
103 >>4     byte    &01     (network-ordered)
104 >>4     byte    =5      (major 2)
105 >>4     byte    =4      (major 2)
106 >>5     byte    >0      (minor %d)
107 EOM
108 }
109
110 sub file_magic {
111     require IO::File;
112
113     my $file = shift;
114     my $fh = IO::File->new;
115     open($fh, "<". $file) || die "Can't open '$file': $!";
116     binmode($fh);
117     defined(sysread($fh, my $buf, 32)) || die "Can't read from '$file': $!";
118     close($fh);
119
120     $file = "./$file" unless $file;  # ensure TRUE value
121
122     return read_magic($buf, $file);
123 }
124
125 sub read_magic {
126     my($buf, $file) = @_;
127     my %info;
128
129     my $buflen = length($buf);
130     my $magic;
131     if ($buf =~ s/^(pst0|perl-store)//) {
132         $magic = $1;
133         $info{file} = $file || 1;
134     }
135     else {
136         return undef if $file;
137         $magic = "";
138     }
139
140     return undef unless length($buf);
141
142     my $net_order;
143     if ($magic eq "perl-store" && ord(substr($buf, 0, 1)) > 1) {
144         $info{version} = -1;
145         $net_order = 0;
146     }
147     else {
148         $buf =~ s/(.)//s;
149         my $major = (ord $1) >> 1;
150         return undef if $major > 4; # sanity (assuming we never go that high)
151         $info{major} = $major;
152         $net_order = (ord $1) & 0x01;
153         if ($major > 1) {
154             return undef unless $buf =~ s/(.)//s;
155             my $minor = ord $1;
156             $info{minor} = $minor;
157             $info{version} = "$major.$minor";
158             $info{version_nv} = sprintf "%d.%03d", $major, $minor;
159         }
160         else {
161             $info{version} = $major;
162         }
163     }
164     $info{version_nv} ||= $info{version};
165     $info{netorder} = $net_order;
166
167     unless ($net_order) {
168         return undef unless $buf =~ s/(.)//s;
169         my $len = ord $1;
170         return undef unless length($buf) >= $len;
171         return undef unless $len == 4 || $len == 8;  # sanity
172         @info{qw(byteorder intsize longsize ptrsize)}
173             = unpack "a${len}CCC", $buf;
174         (substr $buf, 0, $len + 3) = '';
175         if ($info{version_nv} >= 2.002) {
176             return undef unless $buf =~ s/(.)//s;
177             $info{nvsize} = ord $1;
178         }
179     }
180     $info{hdrsize} = $buflen - length($buf);
181
182     return \%info;
183 }
184
185 sub BIN_VERSION_NV {
186     sprintf "%d.%03d", BIN_MAJOR(), BIN_MINOR();
187 }
188
189 sub BIN_WRITE_VERSION_NV {
190     sprintf "%d.%03d", BIN_MAJOR(), BIN_WRITE_MINOR();
191 }
192
193 #
194 # store
195 #
196 # Store target object hierarchy, identified by a reference to its root.
197 # The stored object tree may later be retrieved to memory via retrieve.
198 # Returns undef if an I/O error occurred, in which case the file is
199 # removed.
200 #
201 sub store {
202         return _store(\&pstore, @_, 0);
203 }
204
205 #
206 # nstore
207 #
208 # Same as store, but in network order.
209 #
210 sub nstore {
211         return _store(\&net_pstore, @_, 0);
212 }
213
214 #
215 # lock_store
216 #
217 # Same as store, but flock the file first (advisory locking).
218 #
219 sub lock_store {
220         return _store(\&pstore, @_, 1);
221 }
222
223 #
224 # lock_nstore
225 #
226 # Same as nstore, but flock the file first (advisory locking).
227 #
228 sub lock_nstore {
229         return _store(\&net_pstore, @_, 1);
230 }
231
232 # Internal store to file routine
233 sub _store {
234         my $xsptr = shift;
235         my $self = shift;
236         my ($file, $use_locking) = @_;
237         logcroak "not a reference" unless ref($self);
238         logcroak "wrong argument number" unless @_ == 2;        # No @foo in arglist
239         local *FILE;
240         if ($use_locking) {
241                 open(FILE, ">>$file") || logcroak "can't write into $file: $!";
242                 unless (&CAN_FLOCK) {
243                         logcarp "Storable::lock_store: fcntl/flock emulation broken on $^O";
244                         return undef;
245                 }
246                 flock(FILE, LOCK_EX) ||
247                         logcroak "can't get exclusive lock on $file: $!";
248                 truncate FILE, 0;
249                 # Unlocking will happen when FILE is closed
250         } else {
251                 open(FILE, ">$file") || logcroak "can't create $file: $!";
252         }
253         binmode FILE;                           # Archaic systems...
254         my $da = $@;                            # Don't mess if called from exception handler
255         my $ret;
256         # Call C routine nstore or pstore, depending on network order
257         eval { $ret = &$xsptr(*FILE, $self) };
258         # close will return true on success, so the or short-circuits, the ()
259         # expression is true, and for that case the block will only be entered
260         # if $@ is true (ie eval failed)
261         # if close fails, it returns false, $ret is altered, *that* is (also)
262         # false, so the () expression is false, !() is true, and the block is
263         # entered.
264         if (!(close(FILE) or undef $ret) || $@) {
265                 unlink($file) or warn "Can't unlink $file: $!\n";
266         }
267         logcroak $@ if $@ =~ s/\.?\n$/,/;
268         $@ = $da;
269         return $ret;
270 }
271
272 #
273 # store_fd
274 #
275 # Same as store, but perform on an already opened file descriptor instead.
276 # Returns undef if an I/O error occurred.
277 #
278 sub store_fd {
279         return _store_fd(\&pstore, @_);
280 }
281
282 #
283 # nstore_fd
284 #
285 # Same as store_fd, but in network order.
286 #
287 sub nstore_fd {
288         my ($self, $file) = @_;
289         return _store_fd(\&net_pstore, @_);
290 }
291
292 # Internal store routine on opened file descriptor
293 sub _store_fd {
294         my $xsptr = shift;
295         my $self = shift;
296         my ($file) = @_;
297         logcroak "not a reference" unless ref($self);
298         logcroak "too many arguments" unless @_ == 1;   # No @foo in arglist
299         my $fd = fileno($file);
300         logcroak "not a valid file descriptor" unless defined $fd;
301         my $da = $@;                            # Don't mess if called from exception handler
302         my $ret;
303         # Call C routine nstore or pstore, depending on network order
304         eval { $ret = &$xsptr($file, $self) };
305         logcroak $@ if $@ =~ s/\.?\n$/,/;
306         local $\; print $file '';       # Autoflush the file if wanted
307         $@ = $da;
308         return $ret;
309 }
310
311 #
312 # freeze
313 #
314 # Store object and its hierarchy in memory and return a scalar
315 # containing the result.
316 #
317 sub freeze {
318         _freeze(\&mstore, @_);
319 }
320
321 #
322 # nfreeze
323 #
324 # Same as freeze but in network order.
325 #
326 sub nfreeze {
327         _freeze(\&net_mstore, @_);
328 }
329
330 # Internal freeze routine
331 sub _freeze {
332         my $xsptr = shift;
333         my $self = shift;
334         logcroak "not a reference" unless ref($self);
335         logcroak "too many arguments" unless @_ == 0;   # No @foo in arglist
336         my $da = $@;                            # Don't mess if called from exception handler
337         my $ret;
338         # Call C routine mstore or net_mstore, depending on network order
339         eval { $ret = &$xsptr($self) };
340         logcroak $@ if $@ =~ s/\.?\n$/,/;
341         $@ = $da;
342         return $ret ? $ret : undef;
343 }
344
345 #
346 # retrieve
347 #
348 # Retrieve object hierarchy from disk, returning a reference to the root
349 # object of that tree.
350 #
351 sub retrieve {
352         _retrieve($_[0], 0);
353 }
354
355 #
356 # lock_retrieve
357 #
358 # Same as retrieve, but with advisory locking.
359 #
360 sub lock_retrieve {
361         _retrieve($_[0], 1);
362 }
363
364 # Internal retrieve routine
365 sub _retrieve {
366         my ($file, $use_locking) = @_;
367         local *FILE;
368         open(FILE, $file) || logcroak "can't open $file: $!";
369         binmode FILE;                                                   # Archaic systems...
370         my $self;
371         my $da = $@;                                                    # Could be from exception handler
372         if ($use_locking) {
373                 unless (&CAN_FLOCK) {
374                         logcarp "Storable::lock_store: fcntl/flock emulation broken on $^O";
375                         return undef;
376                 }
377                 flock(FILE, LOCK_SH) || logcroak "can't get shared lock on $file: $!";
378                 # Unlocking will happen when FILE is closed
379         }
380         eval { $self = pretrieve(*FILE) };              # Call C routine
381         close(FILE);
382         logcroak $@ if $@ =~ s/\.?\n$/,/;
383         $@ = $da;
384         return $self;
385 }
386
387 #
388 # fd_retrieve
389 #
390 # Same as retrieve, but perform from an already opened file descriptor instead.
391 #
392 sub fd_retrieve {
393         my ($file) = @_;
394         my $fd = fileno($file);
395         logcroak "not a valid file descriptor" unless defined $fd;
396         my $self;
397         my $da = $@;                                                    # Could be from exception handler
398         eval { $self = pretrieve($file) };              # Call C routine
399         logcroak $@ if $@ =~ s/\.?\n$/,/;
400         $@ = $da;
401         return $self;
402 }
403
404 sub retrieve_fd { &fd_retrieve }                # Backward compatibility
405
406 #
407 # thaw
408 #
409 # Recreate objects in memory from an existing frozen image created
410 # by freeze.  If the frozen image passed is undef, return undef.
411 #
412 sub thaw {
413         my ($frozen) = @_;
414         return undef unless defined $frozen;
415         my $self;
416         my $da = $@;                                                    # Could be from exception handler
417         eval { $self = mretrieve($frozen) };    # Call C routine
418         logcroak $@ if $@ =~ s/\.?\n$/,/;
419         $@ = $da;
420         return $self;
421 }
422
423 1;
424 __END__
425
426 =head1 NAME
427
428 Storable - persistence for Perl data structures
429
430 =head1 SYNOPSIS
431
432  use Storable;
433  store \%table, 'file';
434  $hashref = retrieve('file');
435
436  use Storable qw(nstore store_fd nstore_fd freeze thaw dclone);
437
438  # Network order
439  nstore \%table, 'file';
440  $hashref = retrieve('file');   # There is NO nretrieve()
441
442  # Storing to and retrieving from an already opened file
443  store_fd \@array, \*STDOUT;
444  nstore_fd \%table, \*STDOUT;
445  $aryref = fd_retrieve(\*SOCKET);
446  $hashref = fd_retrieve(\*SOCKET);
447
448  # Serializing to memory
449  $serialized = freeze \%table;
450  %table_clone = %{ thaw($serialized) };
451
452  # Deep (recursive) cloning
453  $cloneref = dclone($ref);
454
455  # Advisory locking
456  use Storable qw(lock_store lock_nstore lock_retrieve)
457  lock_store \%table, 'file';
458  lock_nstore \%table, 'file';
459  $hashref = lock_retrieve('file');
460
461 =head1 DESCRIPTION
462
463 The Storable package brings persistence to your Perl data structures
464 containing SCALAR, ARRAY, HASH or REF objects, i.e. anything that can be
465 conveniently stored to disk and retrieved at a later time.
466
467 It can be used in the regular procedural way by calling C<store> with
468 a reference to the object to be stored, along with the file name where
469 the image should be written.
470
471 The routine returns C<undef> for I/O problems or other internal error,
472 a true value otherwise. Serious errors are propagated as a C<die> exception.
473
474 To retrieve data stored to disk, use C<retrieve> with a file name.
475 The objects stored into that file are recreated into memory for you,
476 and a I<reference> to the root object is returned. In case an I/O error
477 occurs while reading, C<undef> is returned instead. Other serious
478 errors are propagated via C<die>.
479
480 Since storage is performed recursively, you might want to stuff references
481 to objects that share a lot of common data into a single array or hash
482 table, and then store that object. That way, when you retrieve back the
483 whole thing, the objects will continue to share what they originally shared.
484
485 At the cost of a slight header overhead, you may store to an already
486 opened file descriptor using the C<store_fd> routine, and retrieve
487 from a file via C<fd_retrieve>. Those names aren't imported by default,
488 so you will have to do that explicitly if you need those routines.
489 The file descriptor you supply must be already opened, for read
490 if you're going to retrieve and for write if you wish to store.
491
492         store_fd(\%table, *STDOUT) || die "can't store to stdout\n";
493         $hashref = fd_retrieve(*STDIN);
494
495 You can also store data in network order to allow easy sharing across
496 multiple platforms, or when storing on a socket known to be remotely
497 connected. The routines to call have an initial C<n> prefix for I<network>,
498 as in C<nstore> and C<nstore_fd>. At retrieval time, your data will be
499 correctly restored so you don't have to know whether you're restoring
500 from native or network ordered data.  Double values are stored stringified
501 to ensure portability as well, at the slight risk of loosing some precision
502 in the last decimals.
503
504 When using C<fd_retrieve>, objects are retrieved in sequence, one
505 object (i.e. one recursive tree) per associated C<store_fd>.
506
507 If you're more from the object-oriented camp, you can inherit from
508 Storable and directly store your objects by invoking C<store> as
509 a method. The fact that the root of the to-be-stored tree is a
510 blessed reference (i.e. an object) is special-cased so that the
511 retrieve does not provide a reference to that object but rather the
512 blessed object reference itself. (Otherwise, you'd get a reference
513 to that blessed object).
514
515 =head1 MEMORY STORE
516
517 The Storable engine can also store data into a Perl scalar instead, to
518 later retrieve them. This is mainly used to freeze a complex structure in
519 some safe compact memory place (where it can possibly be sent to another
520 process via some IPC, since freezing the structure also serializes it in
521 effect). Later on, and maybe somewhere else, you can thaw the Perl scalar
522 out and recreate the original complex structure in memory.
523
524 Surprisingly, the routines to be called are named C<freeze> and C<thaw>.
525 If you wish to send out the frozen scalar to another machine, use
526 C<nfreeze> instead to get a portable image.
527
528 Note that freezing an object structure and immediately thawing it
529 actually achieves a deep cloning of that structure:
530
531     dclone(.) = thaw(freeze(.))
532
533 Storable provides you with a C<dclone> interface which does not create
534 that intermediary scalar but instead freezes the structure in some
535 internal memory space and then immediately thaws it out.
536
537 =head1 ADVISORY LOCKING
538
539 The C<lock_store> and C<lock_nstore> routine are equivalent to
540 C<store> and C<nstore>, except that they get an exclusive lock on
541 the file before writing.  Likewise, C<lock_retrieve> does the same
542 as C<retrieve>, but also gets a shared lock on the file before reading.
543
544 As with any advisory locking scheme, the protection only works if you
545 systematically use C<lock_store> and C<lock_retrieve>.  If one side of
546 your application uses C<store> whilst the other uses C<lock_retrieve>,
547 you will get no protection at all.
548
549 The internal advisory locking is implemented using Perl's flock()
550 routine.  If your system does not support any form of flock(), or if
551 you share your files across NFS, you might wish to use other forms
552 of locking by using modules such as LockFile::Simple which lock a
553 file using a filesystem entry, instead of locking the file descriptor.
554
555 =head1 SPEED
556
557 The heart of Storable is written in C for decent speed. Extra low-level
558 optimizations have been made when manipulating perl internals, to
559 sacrifice encapsulation for the benefit of greater speed.
560
561 =head1 CANONICAL REPRESENTATION
562
563 Normally, Storable stores elements of hashes in the order they are
564 stored internally by Perl, i.e. pseudo-randomly.  If you set
565 C<$Storable::canonical> to some C<TRUE> value, Storable will store
566 hashes with the elements sorted by their key.  This allows you to
567 compare data structures by comparing their frozen representations (or
568 even the compressed frozen representations), which can be useful for
569 creating lookup tables for complicated queries.
570
571 Canonical order does not imply network order; those are two orthogonal
572 settings.
573
574 =head1 CODE REFERENCES
575
576 Since Storable version 2.05, CODE references may be serialized with
577 the help of L<B::Deparse>. To enable this feature, set
578 C<$Storable::Deparse> to a true value. To enable deserialization,
579 C<$Storable::Eval> should be set to a true value. Be aware that
580 deserialization is done through C<eval>, which is dangerous if the
581 Storable file contains malicious data. You can set C<$Storable::Eval>
582 to a subroutine reference which would be used instead of C<eval>. See
583 below for an example using a L<Safe> compartment for deserialization
584 of CODE references.
585
586 If C<$Storable::Deparse> and/or C<$Storable::Eval> are set to false
587 values, then the value of C<$Storable::forgive_me> (see below) is
588 respected while serializing and deserializing.
589
590 =head1 FORWARD COMPATIBILITY
591
592 This release of Storable can be used on a newer version of Perl to
593 serialize data which is not supported by earlier Perls.  By default,
594 Storable will attempt to do the right thing, by C<croak()>ing if it
595 encounters data that it cannot deserialize.  However, the defaults
596 can be changed as follows:
597
598 =over 4
599
600 =item utf8 data
601
602 Perl 5.6 added support for Unicode characters with code points > 255,
603 and Perl 5.8 has full support for Unicode characters in hash keys.
604 Perl internally encodes strings with these characters using utf8, and
605 Storable serializes them as utf8.  By default, if an older version of
606 Perl encounters a utf8 value it cannot represent, it will C<croak()>.
607 To change this behaviour so that Storable deserializes utf8 encoded
608 values as the string of bytes (effectively dropping the I<is_utf8> flag)
609 set C<$Storable::drop_utf8> to some C<TRUE> value.  This is a form of
610 data loss, because with C<$drop_utf8> true, it becomes impossible to tell
611 whether the original data was the Unicode string, or a series of bytes
612 that happen to be valid utf8.
613
614 =item restricted hashes
615
616 Perl 5.8 adds support for restricted hashes, which have keys
617 restricted to a given set, and can have values locked to be read only.
618 By default, when Storable encounters a restricted hash on a perl
619 that doesn't support them, it will deserialize it as a normal hash,
620 silently discarding any placeholder keys and leaving the keys and
621 all values unlocked.  To make Storable C<croak()> instead, set
622 C<$Storable::downgrade_restricted> to a C<FALSE> value.  To restore
623 the default set it back to some C<TRUE> value.
624
625 =item files from future versions of Storable
626
627 Earlier versions of Storable would immediately croak if they encountered
628 a file with a higher internal version number than the reading Storable
629 knew about.  Internal version numbers are increased each time new data
630 types (such as restricted hashes) are added to the vocabulary of the file
631 format.  This meant that a newer Storable module had no way of writing a
632 file readable by an older Storable, even if the writer didn't store newer
633 data types.
634
635 This version of Storable will defer croaking until it encounters a data
636 type in the file that it does not recognize.  This means that it will
637 continue to read files generated by newer Storable modules which are careful
638 in what they write out, making it easier to upgrade Storable modules in a
639 mixed environment.
640
641 The old behaviour of immediate croaking can be re-instated by setting
642 C<$Storable::accept_future_minor> to some C<FALSE> value.
643
644 =back
645
646 All these variables have no effect on a newer Perl which supports the
647 relevant feature.
648
649 =head1 ERROR REPORTING
650
651 Storable uses the "exception" paradigm, in that it does not try to workaround
652 failures: if something bad happens, an exception is generated from the
653 caller's perspective (see L<Carp> and C<croak()>).  Use eval {} to trap
654 those exceptions.
655
656 When Storable croaks, it tries to report the error via the C<logcroak()>
657 routine from the C<Log::Agent> package, if it is available.
658
659 Normal errors are reported by having store() or retrieve() return C<undef>.
660 Such errors are usually I/O errors (or truncated stream errors at retrieval).
661
662 =head1 WIZARDS ONLY
663
664 =head2 Hooks
665
666 Any class may define hooks that will be called during the serialization
667 and deserialization process on objects that are instances of that class.
668 Those hooks can redefine the way serialization is performed (and therefore,
669 how the symmetrical deserialization should be conducted).
670
671 Since we said earlier:
672
673     dclone(.) = thaw(freeze(.))
674
675 everything we say about hooks should also hold for deep cloning. However,
676 hooks get to know whether the operation is a mere serialization, or a cloning.
677
678 Therefore, when serializing hooks are involved,
679
680     dclone(.) <> thaw(freeze(.))
681
682 Well, you could keep them in sync, but there's no guarantee it will always
683 hold on classes somebody else wrote.  Besides, there is little to gain in
684 doing so: a serializing hook could keep only one attribute of an object,
685 which is probably not what should happen during a deep cloning of that
686 same object.
687
688 Here is the hooking interface:
689
690 =over 4
691
692 =item C<STORABLE_freeze> I<obj>, I<cloning>
693
694 The serializing hook, called on the object during serialization.  It can be
695 inherited, or defined in the class itself, like any other method.
696
697 Arguments: I<obj> is the object to serialize, I<cloning> is a flag indicating
698 whether we're in a dclone() or a regular serialization via store() or freeze().
699
700 Returned value: A LIST C<($serialized, $ref1, $ref2, ...)> where $serialized
701 is the serialized form to be used, and the optional $ref1, $ref2, etc... are
702 extra references that you wish to let the Storable engine serialize.
703
704 At deserialization time, you will be given back the same LIST, but all the
705 extra references will be pointing into the deserialized structure.
706
707 The B<first time> the hook is hit in a serialization flow, you may have it
708 return an empty list.  That will signal the Storable engine to further
709 discard that hook for this class and to therefore revert to the default
710 serialization of the underlying Perl data.  The hook will again be normally
711 processed in the next serialization.
712
713 Unless you know better, serializing hook should always say:
714
715     sub STORABLE_freeze {
716         my ($self, $cloning) = @_;
717         return if $cloning;         # Regular default serialization
718         ....
719     }
720
721 in order to keep reasonable dclone() semantics.
722
723 =item C<STORABLE_thaw> I<obj>, I<cloning>, I<serialized>, ...
724
725 The deserializing hook called on the object during deserialization.
726 But wait: if we're deserializing, there's no object yet... right?
727
728 Wrong: the Storable engine creates an empty one for you.  If you know Eiffel,
729 you can view C<STORABLE_thaw> as an alternate creation routine.
730
731 This means the hook can be inherited like any other method, and that
732 I<obj> is your blessed reference for this particular instance.
733
734 The other arguments should look familiar if you know C<STORABLE_freeze>:
735 I<cloning> is true when we're part of a deep clone operation, I<serialized>
736 is the serialized string you returned to the engine in C<STORABLE_freeze>,
737 and there may be an optional list of references, in the same order you gave
738 them at serialization time, pointing to the deserialized objects (which
739 have been processed courtesy of the Storable engine).
740
741 When the Storable engine does not find any C<STORABLE_thaw> hook routine,
742 it tries to load the class by requiring the package dynamically (using
743 the blessed package name), and then re-attempts the lookup.  If at that
744 time the hook cannot be located, the engine croaks.  Note that this mechanism
745 will fail if you define several classes in the same file, but L<perlmod>
746 warned you.
747
748 It is up to you to use this information to populate I<obj> the way you want.
749
750 Returned value: none.
751
752 =item C<STORABLE_attach> I<class>, I<cloning>, I<serialized>
753
754 While C<STORABLE_freeze> and C<STORABLE_thaw> are useful for classes where
755 each instance is independent, this mechanism has difficulty (or is
756 incompatible) with objects that exist as common process-level or
757 system-level resources, such as singleton objects, database pools, caches
758 or memoized objects.
759
760 The alternative C<STORABLE_attach> method provides a solution for these
761 shared objects. Instead of C<STORABLE_freeze> --E<gt> C<STORABLE_thaw>,
762 you implement C<STORABLE_freeze> --E<gt> C<STORABLE_attach> instead.
763
764 Arguments: I<class> is the class we are attaching to, I<cloning> is a flag
765 indicating whether we're in a dclone() or a regular de-serialization via
766 thaw(), and I<serialized> is the stored string for the resource object.
767
768 Because these resource objects are considered to be owned by the entire
769 process/system, and not the "property" of whatever is being serialized,
770 no references underneath the object should be included in the serialized
771 string. Thus, in any class that implements C<STORABLE_attach>, the
772 C<STORABLE_freeze> method cannot return any references, and C<Storable>
773 will throw an error if C<STORABLE_freeze> tries to return references.
774
775 All information required to "attach" back to the shared resource object
776 B<must> be contained B<only> in the C<STORABLE_freeze> return string.
777 Otherwise, C<STORABLE_freeze> behaves as normal for C<STORABLE_attach>
778 classes.
779
780 Because C<STORABLE_attach> is passed the class (rather than an object),
781 it also returns the object directly, rather than modifying the passed
782 object.
783
784 Returned value: object of type C<class>
785
786 =back
787
788 =head2 Predicates
789
790 Predicates are not exportable.  They must be called by explicitly prefixing
791 them with the Storable package name.
792
793 =over 4
794
795 =item C<Storable::last_op_in_netorder>
796
797 The C<Storable::last_op_in_netorder()> predicate will tell you whether
798 network order was used in the last store or retrieve operation.  If you
799 don't know how to use this, just forget about it.
800
801 =item C<Storable::is_storing>
802
803 Returns true if within a store operation (via STORABLE_freeze hook).
804
805 =item C<Storable::is_retrieving>
806
807 Returns true if within a retrieve operation (via STORABLE_thaw hook).
808
809 =back
810
811 =head2 Recursion
812
813 With hooks comes the ability to recurse back to the Storable engine.
814 Indeed, hooks are regular Perl code, and Storable is convenient when
815 it comes to serializing and deserializing things, so why not use it
816 to handle the serialization string?
817
818 There are a few things you need to know, however:
819
820 =over 4
821
822 =item *
823
824 You can create endless loops if the things you serialize via freeze()
825 (for instance) point back to the object we're trying to serialize in
826 the hook.
827
828 =item *
829
830 Shared references among objects will not stay shared: if we're serializing
831 the list of object [A, C] where both object A and C refer to the SAME object
832 B, and if there is a serializing hook in A that says freeze(B), then when
833 deserializing, we'll get [A', C'] where A' refers to B', but C' refers to D,
834 a deep clone of B'.  The topology was not preserved.
835
836 =back
837
838 That's why C<STORABLE_freeze> lets you provide a list of references
839 to serialize.  The engine guarantees that those will be serialized in the
840 same context as the other objects, and therefore that shared objects will
841 stay shared.
842
843 In the above [A, C] example, the C<STORABLE_freeze> hook could return:
844
845         ("something", $self->{B})
846
847 and the B part would be serialized by the engine.  In C<STORABLE_thaw>, you
848 would get back the reference to the B' object, deserialized for you.
849
850 Therefore, recursion should normally be avoided, but is nonetheless supported.
851
852 =head2 Deep Cloning
853
854 There is a Clone module available on CPAN which implements deep cloning
855 natively, i.e. without freezing to memory and thawing the result.  It is
856 aimed to replace Storable's dclone() some day.  However, it does not currently
857 support Storable hooks to redefine the way deep cloning is performed.
858
859 =head1 Storable magic
860
861 Yes, there's a lot of that :-) But more precisely, in UNIX systems
862 there's a utility called C<file>, which recognizes data files based on
863 their contents (usually their first few bytes).  For this to work,
864 a certain file called F<magic> needs to taught about the I<signature>
865 of the data.  Where that configuration file lives depends on the UNIX
866 flavour; often it's something like F</usr/share/misc/magic> or
867 F</etc/magic>.  Your system administrator needs to do the updating of
868 the F<magic> file.  The necessary signature information is output to
869 STDOUT by invoking Storable::show_file_magic().  Note that the GNU
870 implementation of the C<file> utility, version 3.38 or later,
871 is expected to contain support for recognising Storable files
872 out-of-the-box, in addition to other kinds of Perl files.
873
874 You can also use the following functions to extract the file header
875 information from Storable images:
876
877 =over
878
879 =item $info = Storable::file_magic( $filename )
880
881 If the given file is a Storable image return a hash describing it.  If
882 the file is readable, but not a Storable image return C<undef>.  If
883 the file does not exist or is unreadable then croak.
884
885 The hash returned has the following elements:
886
887 =over
888
889 =item C<version>
890
891 This returns the file format version.  It is a string like "2.7".
892
893 Note that this version number is not the same as the version number of
894 the Storable module itself.  For instance Storable v0.7 create files
895 in format v2.0 and Storable v2.15 create files in format v2.7.  The
896 file format version number only increment when additional features
897 that would confuse older versions of the module are added.
898
899 Files older than v2.0 will have the one of the version numbers "-1",
900 "0" or "1".  No minor number was used at that time.
901
902 =item C<version_nv>
903
904 This returns the file format version as number.  It is a string like
905 "2.007".  This value is suitable for numeric comparisons.
906
907 The constant function C<Storable::BIN_VERSION_NV> returns a comparable
908 number that represents the highest file version number that this
909 version of Storable fully supports (but see discussion of
910 C<$Storable::accept_future_minor> above).  The constant
911 C<Storable::BIN_WRITE_VERSION_NV> function returns what file version
912 is written and might be less than C<Storable::BIN_VERSION_NV> in some
913 configurations.
914
915 =item C<major>, C<minor>
916
917 This also returns the file format version.  If the version is "2.7"
918 then major would be 2 and minor would be 7.  The minor element is
919 missing for when major is less than 2.
920
921 =item C<hdrsize>
922
923 The is the number of bytes that the Storable header occupies.
924
925 =item C<netorder>
926
927 This is TRUE if the image store data in network order.  This means
928 that it was created with nstore() or similar.
929
930 =item C<byteorder>
931
932 This is only present when C<netorder> is FALSE.  It is the
933 $Config{byteorder} string of the perl that created this image.  It is
934 a string like "1234" (32 bit little endian) or "87654321" (64 bit big
935 endian).  This must match the current perl for the image to be
936 readable by Storable.
937
938 =item C<intsize>, C<longsize>, C<ptrsize>, C<nvsize>
939
940 These are only present when C<netorder> is FALSE. These are the sizes of
941 various C datatypes of the perl that created this image.  These must
942 match the current perl for the image to be readable by Storable.
943
944 The C<nvsize> element is only present for file format v2.2 and
945 higher.
946
947 =item C<file>
948
949 The name of the file.
950
951 =back
952
953 =item $info = Storable::read_magic( $buffer )
954
955 =item $info = Storable::read_magic( $buffer, $must_be_file )
956
957 The $buffer should be a Storable image or the first few bytes of it.
958 If $buffer starts with a Storable header, then a hash describing the
959 image is returned, otherwise C<undef> is returned.
960
961 The hash has the same structure as the one returned by
962 Storable::file_magic().  The C<file> element is true if the image is a
963 file image.
964
965 If the $must_be_file argument is provided and is TRUE, then return
966 C<undef> unless the image looks like it belongs to a file dump.
967
968 The maximum size of a Storable header is currently 21 bytes.  If the
969 provided $buffer is only the first part of a Storable image it should
970 at least be this long to ensure that read_magic() will recognize it as
971 such.
972
973 =back
974
975 =head1 EXAMPLES
976
977 Here are some code samples showing a possible usage of Storable:
978
979         use Storable qw(store retrieve freeze thaw dclone);
980
981         %color = ('Blue' => 0.1, 'Red' => 0.8, 'Black' => 0, 'White' => 1);
982
983         store(\%color, 'mycolors') or die "Can't store %a in mycolors!\n";
984
985         $colref = retrieve('mycolors');
986         die "Unable to retrieve from mycolors!\n" unless defined $colref;
987         printf "Blue is still %lf\n", $colref->{'Blue'};
988
989         $colref2 = dclone(\%color);
990
991         $str = freeze(\%color);
992         printf "Serialization of %%color is %d bytes long.\n", length($str);
993         $colref3 = thaw($str);
994
995 which prints (on my machine):
996
997         Blue is still 0.100000
998         Serialization of %color is 102 bytes long.
999
1000 Serialization of CODE references and deserialization in a safe
1001 compartment:
1002
1003 =for example begin
1004
1005         use Storable qw(freeze thaw);
1006         use Safe;
1007         use strict;
1008         my $safe = new Safe;
1009         # because of opcodes used in "use strict":
1010         $safe->permit(qw(:default require));
1011         local $Storable::Deparse = 1;
1012         local $Storable::Eval = sub { $safe->reval($_[0]) };
1013         my $serialized = freeze(sub { 42 });
1014         my $code = thaw($serialized);
1015         $code->() == 42;
1016
1017 =for example end
1018
1019 =for example_testing
1020         is( $code->(), 42 );
1021
1022 =head1 SECURITY WARNING
1023
1024 B<Do not accept Storable documents from untrusted sources!>
1025
1026 Some features of Storable can lead to security vulnerabilities if you
1027 accept Storable documents from untrusted sources. Most obviously, the
1028 optional (off by default) CODE reference serialization feature allows
1029 transfer of code to the deserializing process. Furthermore, any
1030 serialized object will cause Storable to helpfully load the module
1031 corresponding to the class of the object in the deserializing module.
1032 For manipulated module names, this can load almost arbitrary code.
1033 Finally, the deserialized object's destructors will be invoked when
1034 the objects get destroyed in the deserializing process. Maliciously
1035 crafted Storable documents may put such objects in the value of
1036 a hash key that is overridden by another key/value pair in the
1037 same hash, thus causing immediate destructor execution.
1038
1039 In a future version of Storable, we intend to provide options to disable
1040 loading modules for classes and to disable deserializing objects
1041 altogether. I<Nonetheless, Storable deserializing documents from
1042 untrusted sources is expected to have other, yet undiscovered,
1043 security concerns such as allowing an attacker to cause the deserializer
1044 to crash hard.>
1045
1046 B<Therefore, let me repeat: Do not accept Storable documents from
1047 untrusted sources!>
1048
1049 If your application requires accepting data from untrusted sources, you
1050 are best off with a less powerful and more-likely safe serialization format
1051 and implementation. If your data is sufficiently simple, JSON is a good
1052 choice and offers maximum interoperability.
1053
1054 =head1 WARNING
1055
1056 If you're using references as keys within your hash tables, you're bound
1057 to be disappointed when retrieving your data. Indeed, Perl stringifies
1058 references used as hash table keys. If you later wish to access the
1059 items via another reference stringification (i.e. using the same
1060 reference that was used for the key originally to record the value into
1061 the hash table), it will work because both references stringify to the
1062 same string.
1063
1064 It won't work across a sequence of C<store> and C<retrieve> operations,
1065 however, because the addresses in the retrieved objects, which are
1066 part of the stringified references, will probably differ from the
1067 original addresses. The topology of your structure is preserved,
1068 but not hidden semantics like those.
1069
1070 On platforms where it matters, be sure to call C<binmode()> on the
1071 descriptors that you pass to Storable functions.
1072
1073 Storing data canonically that contains large hashes can be
1074 significantly slower than storing the same data normally, as
1075 temporary arrays to hold the keys for each hash have to be allocated,
1076 populated, sorted and freed.  Some tests have shown a halving of the
1077 speed of storing -- the exact penalty will depend on the complexity of
1078 your data.  There is no slowdown on retrieval.
1079
1080 =head1 BUGS
1081
1082 You can't store GLOB, FORMLINE, REGEXP, etc.... If you can define semantics
1083 for those operations, feel free to enhance Storable so that it can
1084 deal with them.
1085
1086 The store functions will C<croak> if they run into such references
1087 unless you set C<$Storable::forgive_me> to some C<TRUE> value. In that
1088 case, the fatal message is turned in a warning and some
1089 meaningless string is stored instead.
1090
1091 Setting C<$Storable::canonical> may not yield frozen strings that
1092 compare equal due to possible stringification of numbers. When the
1093 string version of a scalar exists, it is the form stored; therefore,
1094 if you happen to use your numbers as strings between two freezing
1095 operations on the same data structures, you will get different
1096 results.
1097
1098 When storing doubles in network order, their value is stored as text.
1099 However, you should also not expect non-numeric floating-point values
1100 such as infinity and "not a number" to pass successfully through a
1101 nstore()/retrieve() pair.
1102
1103 As Storable neither knows nor cares about character sets (although it
1104 does know that characters may be more than eight bits wide), any difference
1105 in the interpretation of character codes between a host and a target
1106 system is your problem.  In particular, if host and target use different
1107 code points to represent the characters used in the text representation
1108 of floating-point numbers, you will not be able be able to exchange
1109 floating-point data, even with nstore().
1110
1111 C<Storable::drop_utf8> is a blunt tool.  There is no facility either to
1112 return B<all> strings as utf8 sequences, or to attempt to convert utf8
1113 data back to 8 bit and C<croak()> if the conversion fails.
1114
1115 Prior to Storable 2.01, no distinction was made between signed and
1116 unsigned integers on storing.  By default Storable prefers to store a
1117 scalars string representation (if it has one) so this would only cause
1118 problems when storing large unsigned integers that had never been converted
1119 to string or floating point.  In other words values that had been generated
1120 by integer operations such as logic ops and then not used in any string or
1121 arithmetic context before storing.
1122
1123 =head2 64 bit data in perl 5.6.0 and 5.6.1
1124
1125 This section only applies to you if you have existing data written out
1126 by Storable 2.02 or earlier on perl 5.6.0 or 5.6.1 on Unix or Linux which
1127 has been configured with 64 bit integer support (not the default)
1128 If you got a precompiled perl, rather than running Configure to build
1129 your own perl from source, then it almost certainly does not affect you,
1130 and you can stop reading now (unless you're curious). If you're using perl
1131 on Windows it does not affect you.
1132
1133 Storable writes a file header which contains the sizes of various C
1134 language types for the C compiler that built Storable (when not writing in
1135 network order), and will refuse to load files written by a Storable not
1136 on the same (or compatible) architecture.  This check and a check on
1137 machine byteorder is needed because the size of various fields in the file
1138 are given by the sizes of the C language types, and so files written on
1139 different architectures are incompatible.  This is done for increased speed.
1140 (When writing in network order, all fields are written out as standard
1141 lengths, which allows full interworking, but takes longer to read and write)
1142
1143 Perl 5.6.x introduced the ability to optional configure the perl interpreter
1144 to use C's C<long long> type to allow scalars to store 64 bit integers on 32
1145 bit systems.  However, due to the way the Perl configuration system
1146 generated the C configuration files on non-Windows platforms, and the way
1147 Storable generates its header, nothing in the Storable file header reflected
1148 whether the perl writing was using 32 or 64 bit integers, despite the fact
1149 that Storable was storing some data differently in the file.  Hence Storable
1150 running on perl with 64 bit integers will read the header from a file
1151 written by a 32 bit perl, not realise that the data is actually in a subtly
1152 incompatible format, and then go horribly wrong (possibly crashing) if it
1153 encountered a stored integer.  This is a design failure.
1154
1155 Storable has now been changed to write out and read in a file header with
1156 information about the size of integers.  It's impossible to detect whether
1157 an old file being read in was written with 32 or 64 bit integers (they have
1158 the same header) so it's impossible to automatically switch to a correct
1159 backwards compatibility mode.  Hence this Storable defaults to the new,
1160 correct behaviour.
1161
1162 What this means is that if you have data written by Storable 1.x running
1163 on perl 5.6.0 or 5.6.1 configured with 64 bit integers on Unix or Linux
1164 then by default this Storable will refuse to read it, giving the error
1165 I<Byte order is not compatible>.  If you have such data then you
1166 should set C<$Storable::interwork_56_64bit> to a true value to make this
1167 Storable read and write files with the old header.  You should also
1168 migrate your data, or any older perl you are communicating with, to this
1169 current version of Storable.
1170
1171 If you don't have data written with specific configuration of perl described
1172 above, then you do not and should not do anything.  Don't set the flag -
1173 not only will Storable on an identically configured perl refuse to load them,
1174 but Storable a differently configured perl will load them believing them
1175 to be correct for it, and then may well fail or crash part way through
1176 reading them.
1177
1178 =head1 CREDITS
1179
1180 Thank you to (in chronological order):
1181
1182         Jarkko Hietaniemi <jhi@iki.fi>
1183         Ulrich Pfeifer <pfeifer@charly.informatik.uni-dortmund.de>
1184         Benjamin A. Holzman <bholzman@earthlink.net>
1185         Andrew Ford <A.Ford@ford-mason.co.uk>
1186         Gisle Aas <gisle@aas.no>
1187         Jeff Gresham <gresham_jeffrey@jpmorgan.com>
1188         Murray Nesbitt <murray@activestate.com>
1189         Marc Lehmann <pcg@opengroup.org>
1190         Justin Banks <justinb@wamnet.com>
1191         Jarkko Hietaniemi <jhi@iki.fi> (AGAIN, as perl 5.7.0 Pumpkin!)
1192         Salvador Ortiz Garcia <sog@msg.com.mx>
1193         Dominic Dunlop <domo@computer.org>
1194         Erik Haugan <erik@solbors.no>
1195     Benjamin A. Holzman <ben.holzman@grantstreet.com>
1196
1197 for their bug reports, suggestions and contributions.
1198
1199 Benjamin Holzman contributed the tied variable support, Andrew Ford
1200 contributed the canonical order for hashes, and Gisle Aas fixed
1201 a few misunderstandings of mine regarding the perl internals,
1202 and optimized the emission of "tags" in the output streams by
1203 simply counting the objects instead of tagging them (leading to
1204 a binary incompatibility for the Storable image starting at version
1205 0.6--older images are, of course, still properly understood).
1206 Murray Nesbitt made Storable thread-safe.  Marc Lehmann added overloading
1207 and references to tied items support.  Benjamin Holzman added a performance
1208 improvement for overloaded classes; thanks to Grant Street Group for footing
1209 the bill.
1210
1211 =head1 AUTHOR
1212
1213 Storable was written by Raphael Manfredi F<E<lt>Raphael_Manfredi@pobox.comE<gt>>
1214 Maintenance is now done by the perl5-porters F<E<lt>perl5-porters@perl.orgE<gt>>
1215
1216 Please e-mail us with problems, bug fixes, comments and complaints,
1217 although if you have compliments you should send them to Raphael.
1218 Please don't e-mail Raphael with problems, as he no longer works on
1219 Storable, and your message will be delayed while he forwards it to us.
1220
1221 =head1 SEE ALSO
1222
1223 L<Clone>.
1224
1225 =cut