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