Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 Ind

10 Serialization support

10.1 Serialization support

HPC-GAP has support to serialize most GAP data. While functions in particular cannot be serialized, it is possible to serialize all primitive types (booleans, integers, cyclotomics, permutations, floats, etc.) as well as all lists and records.

Custom serialization support can be written for data objects, positional objects, and component objects; serialization of compressed vectors is already supported by the standard library.

10.1-1 SerializeToNativeString
 ‣ SerializeToNativeString( obj ) ( function )

SerializeToNativeString takes the object passed as an argument and turns it into a string, from which a copy of the original can be extracted using DeserializeNativeString (10.1-2).

10.1-2 DeserializeNativeString
 ‣ DeserializeNativeString( str ) ( function )

DeserializeNativeString reverts the serialization process.

Example:

gap> DeserializeNativeString(SerializeToNativeString([1,2,3]));
[ 1, 2, 3 ]


10.1-3 InstallTypeSerializationTag
 ‣ InstallTypeSerializationTag( type, tag ) ( function )

InstallTypeSerializationTag allows the serialization of data objects, positional objects, and component objects. The value of tag must be unique for each type; it can be a string or integer. Non-negative integers are reserved for use by the standard library; users should use negative integers or strings instead.

Objects of such a type are serialized in a straightforward way: During serialization, data objects are converted into byte streams, positional objects into lists, and component objects into records. These objects are then serialized along with their tags; deserialization uses the type corresponding to the tag in conjunction with Objectify (Reference: Objectify) to reconstruct a copy of the original object.

Note that this functionality may be inadequate for objects that have complex data structures attached that are not meant to be replicated. The following alternative is meant for such objects.

10.1-4 InstallSerializer
 ‣ InstallSerializer( description, filters, method ) ( function )

The more general InstallSerializer allows for arbitarily complex serialization code. It installs method as the method to serialize objects matching filters; description has the same role as for InstallMethod (Reference: InstallMethod).

The method must return a plain list matching a specific format. The first element must be a non-negative integer, the second must be a string descriptor that is unique to the serializer; these can then be followed by an arbitrary number of arguments.

As many of the arguments (starting with the third element of the list) as specified by the first element of the list will be converted from their object representation into a serializable representation. Data objects will be converted into untyped data objects, positional objects will be converted into plain lists, and component objects into records. Conversion will not modify the objects in place, but work on copies. The remaining arguments will remain untouched.

Upon deserialization, these arguments will be passed to a function specified by the second element of the list.

Example:

InstallSerializer("8-bit vectors", [ Is8BitVectorRep ], function(obj)
return [1, "Vec8Bit", obj, Q_VEC8BIT(obj), IS_MUTABLE_OBJ(obj)];
end);


Here, obj will be converted into its underlying representation, while the remaining arguments are left alone. "Vec8Bit" is the name that is used to look up the deserializer function.

10.1-5 InstallDeserializer
 ‣ InstallDeserializer( descriptor, func ) ( function )

The descriptor value must be the same as the second element of the list returned by the serializer; func must be a function that takes as many arguments as there were arguments after the second element of that list. For deserialization, this function is invoked and needs to return the deserialized object constructed from the arguments.

Example:

InstallDeserializer("Vec8Bit", function(obj, q, mut)
SET_TYPE_OBJ(obj, TYPE_VEC8BIT(q, mut));
return obj;
end);


Here, the untyped obj that was passed to the deserializer needs to be given the correct type, which is calculated from q and mut.

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 Ind

generated by GAPDoc2HTML