7166 lines
202 KiB
C
7166 lines
202 KiB
C
#include "Python.h"
|
|
#include "structmember.h"
|
|
|
|
PyDoc_STRVAR(pickle_module_doc,
|
|
"Optimized C implementation for the Python pickle module.");
|
|
|
|
/*[clinic input]
|
|
output preset file
|
|
module _pickle
|
|
class _pickle.Pickler "PicklerObject *" "&Pickler_Type"
|
|
class _pickle.PicklerMemoProxy "PicklerMemoProxyObject *" "&PicklerMemoProxyType"
|
|
class _pickle.Unpickler "UnpicklerObject *" "&Unpickler_Type"
|
|
class _pickle.UnpicklerMemoProxy "UnpicklerMemoProxyObject *" "&UnpicklerMemoProxyType"
|
|
[clinic start generated code]*/
|
|
/*[clinic end generated code: output=da39a3ee5e6b4b0d input=11c45248a41dd3fc]*/
|
|
|
|
/* Bump this when new opcodes are added to the pickle protocol. */
|
|
enum {
|
|
HIGHEST_PROTOCOL = 4,
|
|
DEFAULT_PROTOCOL = 3
|
|
};
|
|
|
|
/* Pickle opcodes. These must be kept updated with pickle.py.
|
|
Extensive docs are in pickletools.py. */
|
|
enum opcode {
|
|
MARK = '(',
|
|
STOP = '.',
|
|
POP = '0',
|
|
POP_MARK = '1',
|
|
DUP = '2',
|
|
FLOAT = 'F',
|
|
INT = 'I',
|
|
BININT = 'J',
|
|
BININT1 = 'K',
|
|
LONG = 'L',
|
|
BININT2 = 'M',
|
|
NONE = 'N',
|
|
PERSID = 'P',
|
|
BINPERSID = 'Q',
|
|
REDUCE = 'R',
|
|
STRING = 'S',
|
|
BINSTRING = 'T',
|
|
SHORT_BINSTRING = 'U',
|
|
UNICODE = 'V',
|
|
BINUNICODE = 'X',
|
|
APPEND = 'a',
|
|
BUILD = 'b',
|
|
GLOBAL = 'c',
|
|
DICT = 'd',
|
|
EMPTY_DICT = '}',
|
|
APPENDS = 'e',
|
|
GET = 'g',
|
|
BINGET = 'h',
|
|
INST = 'i',
|
|
LONG_BINGET = 'j',
|
|
LIST = 'l',
|
|
EMPTY_LIST = ']',
|
|
OBJ = 'o',
|
|
PUT = 'p',
|
|
BINPUT = 'q',
|
|
LONG_BINPUT = 'r',
|
|
SETITEM = 's',
|
|
TUPLE = 't',
|
|
EMPTY_TUPLE = ')',
|
|
SETITEMS = 'u',
|
|
BINFLOAT = 'G',
|
|
|
|
/* Protocol 2. */
|
|
PROTO = '\x80',
|
|
NEWOBJ = '\x81',
|
|
EXT1 = '\x82',
|
|
EXT2 = '\x83',
|
|
EXT4 = '\x84',
|
|
TUPLE1 = '\x85',
|
|
TUPLE2 = '\x86',
|
|
TUPLE3 = '\x87',
|
|
NEWTRUE = '\x88',
|
|
NEWFALSE = '\x89',
|
|
LONG1 = '\x8a',
|
|
LONG4 = '\x8b',
|
|
|
|
/* Protocol 3 (Python 3.x) */
|
|
BINBYTES = 'B',
|
|
SHORT_BINBYTES = 'C',
|
|
|
|
/* Protocol 4 */
|
|
SHORT_BINUNICODE = '\x8c',
|
|
BINUNICODE8 = '\x8d',
|
|
BINBYTES8 = '\x8e',
|
|
EMPTY_SET = '\x8f',
|
|
ADDITEMS = '\x90',
|
|
FROZENSET = '\x91',
|
|
NEWOBJ_EX = '\x92',
|
|
STACK_GLOBAL = '\x93',
|
|
MEMOIZE = '\x94',
|
|
FRAME = '\x95'
|
|
};
|
|
|
|
enum {
|
|
/* Keep in synch with pickle.Pickler._BATCHSIZE. This is how many elements
|
|
batch_list/dict() pumps out before doing APPENDS/SETITEMS. Nothing will
|
|
break if this gets out of synch with pickle.py, but it's unclear that would
|
|
help anything either. */
|
|
BATCHSIZE = 1000,
|
|
|
|
/* Nesting limit until Pickler, when running in "fast mode", starts
|
|
checking for self-referential data-structures. */
|
|
FAST_NESTING_LIMIT = 50,
|
|
|
|
/* Initial size of the write buffer of Pickler. */
|
|
WRITE_BUF_SIZE = 4096,
|
|
|
|
/* Prefetch size when unpickling (disabled on unpeekable streams) */
|
|
PREFETCH = 8192 * 16,
|
|
|
|
FRAME_SIZE_TARGET = 64 * 1024,
|
|
|
|
FRAME_HEADER_SIZE = 9
|
|
};
|
|
|
|
/*************************************************************************/
|
|
|
|
/* State of the pickle module, per PEP 3121. */
|
|
typedef struct {
|
|
/* Exception classes for pickle. */
|
|
PyObject *PickleError;
|
|
PyObject *PicklingError;
|
|
PyObject *UnpicklingError;
|
|
|
|
/* copyreg.dispatch_table, {type_object: pickling_function} */
|
|
PyObject *dispatch_table;
|
|
|
|
/* For the extension opcodes EXT1, EXT2 and EXT4. */
|
|
|
|
/* copyreg._extension_registry, {(module_name, function_name): code} */
|
|
PyObject *extension_registry;
|
|
/* copyreg._extension_cache, {code: object} */
|
|
PyObject *extension_cache;
|
|
/* copyreg._inverted_registry, {code: (module_name, function_name)} */
|
|
PyObject *inverted_registry;
|
|
|
|
/* Import mappings for compatibility with Python 2.x */
|
|
|
|
/* _compat_pickle.NAME_MAPPING,
|
|
{(oldmodule, oldname): (newmodule, newname)} */
|
|
PyObject *name_mapping_2to3;
|
|
/* _compat_pickle.IMPORT_MAPPING, {oldmodule: newmodule} */
|
|
PyObject *import_mapping_2to3;
|
|
/* Same, but with REVERSE_NAME_MAPPING / REVERSE_IMPORT_MAPPING */
|
|
PyObject *name_mapping_3to2;
|
|
PyObject *import_mapping_3to2;
|
|
|
|
/* codecs.encode, used for saving bytes in older protocols */
|
|
PyObject *codecs_encode;
|
|
} PickleState;
|
|
|
|
/* Forward declaration of the _pickle module definition. */
|
|
static struct PyModuleDef _picklemodule;
|
|
|
|
/* Given a module object, get its per-module state. */
|
|
static PickleState *
|
|
_Pickle_GetState(PyObject *module)
|
|
{
|
|
return (PickleState *)PyModule_GetState(module);
|
|
}
|
|
|
|
/* Find the module instance imported in the currently running sub-interpreter
|
|
and get its state. */
|
|
static PickleState *
|
|
_Pickle_GetGlobalState(void)
|
|
{
|
|
return _Pickle_GetState(PyState_FindModule(&_picklemodule));
|
|
}
|
|
|
|
/* Clear the given pickle module state. */
|
|
static void
|
|
_Pickle_ClearState(PickleState *st)
|
|
{
|
|
Py_CLEAR(st->PickleError);
|
|
Py_CLEAR(st->PicklingError);
|
|
Py_CLEAR(st->UnpicklingError);
|
|
Py_CLEAR(st->dispatch_table);
|
|
Py_CLEAR(st->extension_registry);
|
|
Py_CLEAR(st->extension_cache);
|
|
Py_CLEAR(st->inverted_registry);
|
|
Py_CLEAR(st->name_mapping_2to3);
|
|
Py_CLEAR(st->import_mapping_2to3);
|
|
Py_CLEAR(st->name_mapping_3to2);
|
|
Py_CLEAR(st->import_mapping_3to2);
|
|
Py_CLEAR(st->codecs_encode);
|
|
}
|
|
|
|
/* Initialize the given pickle module state. */
|
|
static int
|
|
_Pickle_InitState(PickleState *st)
|
|
{
|
|
PyObject *copyreg = NULL;
|
|
PyObject *compat_pickle = NULL;
|
|
PyObject *codecs = NULL;
|
|
|
|
copyreg = PyImport_ImportModule("copyreg");
|
|
if (!copyreg)
|
|
goto error;
|
|
st->dispatch_table = PyObject_GetAttrString(copyreg, "dispatch_table");
|
|
if (!st->dispatch_table)
|
|
goto error;
|
|
if (!PyDict_CheckExact(st->dispatch_table)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"copyreg.dispatch_table should be a dict, not %.200s",
|
|
Py_TYPE(st->dispatch_table)->tp_name);
|
|
goto error;
|
|
}
|
|
st->extension_registry = \
|
|
PyObject_GetAttrString(copyreg, "_extension_registry");
|
|
if (!st->extension_registry)
|
|
goto error;
|
|
if (!PyDict_CheckExact(st->extension_registry)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"copyreg._extension_registry should be a dict, "
|
|
"not %.200s", Py_TYPE(st->extension_registry)->tp_name);
|
|
goto error;
|
|
}
|
|
st->inverted_registry = \
|
|
PyObject_GetAttrString(copyreg, "_inverted_registry");
|
|
if (!st->inverted_registry)
|
|
goto error;
|
|
if (!PyDict_CheckExact(st->inverted_registry)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"copyreg._inverted_registry should be a dict, "
|
|
"not %.200s", Py_TYPE(st->inverted_registry)->tp_name);
|
|
goto error;
|
|
}
|
|
st->extension_cache = PyObject_GetAttrString(copyreg, "_extension_cache");
|
|
if (!st->extension_cache)
|
|
goto error;
|
|
if (!PyDict_CheckExact(st->extension_cache)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"copyreg._extension_cache should be a dict, "
|
|
"not %.200s", Py_TYPE(st->extension_cache)->tp_name);
|
|
goto error;
|
|
}
|
|
Py_CLEAR(copyreg);
|
|
|
|
/* Load the 2.x -> 3.x stdlib module mapping tables */
|
|
compat_pickle = PyImport_ImportModule("_compat_pickle");
|
|
if (!compat_pickle)
|
|
goto error;
|
|
st->name_mapping_2to3 = \
|
|
PyObject_GetAttrString(compat_pickle, "NAME_MAPPING");
|
|
if (!st->name_mapping_2to3)
|
|
goto error;
|
|
if (!PyDict_CheckExact(st->name_mapping_2to3)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"_compat_pickle.NAME_MAPPING should be a dict, not %.200s",
|
|
Py_TYPE(st->name_mapping_2to3)->tp_name);
|
|
goto error;
|
|
}
|
|
st->import_mapping_2to3 = \
|
|
PyObject_GetAttrString(compat_pickle, "IMPORT_MAPPING");
|
|
if (!st->import_mapping_2to3)
|
|
goto error;
|
|
if (!PyDict_CheckExact(st->import_mapping_2to3)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"_compat_pickle.IMPORT_MAPPING should be a dict, "
|
|
"not %.200s", Py_TYPE(st->import_mapping_2to3)->tp_name);
|
|
goto error;
|
|
}
|
|
/* ... and the 3.x -> 2.x mapping tables */
|
|
st->name_mapping_3to2 = \
|
|
PyObject_GetAttrString(compat_pickle, "REVERSE_NAME_MAPPING");
|
|
if (!st->name_mapping_3to2)
|
|
goto error;
|
|
if (!PyDict_CheckExact(st->name_mapping_3to2)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"_compat_pickle.REVERSE_NAME_MAPPING should be a dict, "
|
|
"not %.200s", Py_TYPE(st->name_mapping_3to2)->tp_name);
|
|
goto error;
|
|
}
|
|
st->import_mapping_3to2 = \
|
|
PyObject_GetAttrString(compat_pickle, "REVERSE_IMPORT_MAPPING");
|
|
if (!st->import_mapping_3to2)
|
|
goto error;
|
|
if (!PyDict_CheckExact(st->import_mapping_3to2)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"_compat_pickle.REVERSE_IMPORT_MAPPING should be a dict, "
|
|
"not %.200s", Py_TYPE(st->import_mapping_3to2)->tp_name);
|
|
goto error;
|
|
}
|
|
Py_CLEAR(compat_pickle);
|
|
|
|
codecs = PyImport_ImportModule("codecs");
|
|
if (codecs == NULL)
|
|
goto error;
|
|
st->codecs_encode = PyObject_GetAttrString(codecs, "encode");
|
|
if (st->codecs_encode == NULL) {
|
|
goto error;
|
|
}
|
|
if (!PyCallable_Check(st->codecs_encode)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"codecs.encode should be a callable, not %.200s",
|
|
Py_TYPE(st->codecs_encode)->tp_name);
|
|
goto error;
|
|
}
|
|
Py_CLEAR(codecs);
|
|
|
|
return 0;
|
|
|
|
error:
|
|
Py_CLEAR(copyreg);
|
|
Py_CLEAR(compat_pickle);
|
|
Py_CLEAR(codecs);
|
|
_Pickle_ClearState(st);
|
|
return -1;
|
|
}
|
|
|
|
/* Helper for calling a function with a single argument quickly.
|
|
|
|
This function steals the reference of the given argument. */
|
|
static PyObject *
|
|
_Pickle_FastCall(PyObject *func, PyObject *obj)
|
|
{
|
|
PyObject *result;
|
|
PyObject *arg_tuple = PyTuple_New(1);
|
|
|
|
/* Note: this function used to reuse the argument tuple. This used to give
|
|
a slight performance boost with older pickle implementations where many
|
|
unbuffered reads occurred (thus needing many function calls).
|
|
|
|
However, this optimization was removed because it was too complicated
|
|
to get right. It abused the C API for tuples to mutate them which led
|
|
to subtle reference counting and concurrency bugs. Furthermore, the
|
|
introduction of protocol 4 and the prefetching optimization via peek()
|
|
significantly reduced the number of function calls we do. Thus, the
|
|
benefits became marginal at best. */
|
|
|
|
if (arg_tuple == NULL) {
|
|
Py_DECREF(obj);
|
|
return NULL;
|
|
}
|
|
PyTuple_SET_ITEM(arg_tuple, 0, obj);
|
|
result = PyObject_Call(func, arg_tuple, NULL);
|
|
Py_CLEAR(arg_tuple);
|
|
return result;
|
|
}
|
|
|
|
/*************************************************************************/
|
|
|
|
static int
|
|
stack_underflow(void)
|
|
{
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->UnpicklingError, "unpickling stack underflow");
|
|
return -1;
|
|
}
|
|
|
|
/* Internal data type used as the unpickling stack. */
|
|
typedef struct {
|
|
PyObject_VAR_HEAD
|
|
PyObject **data;
|
|
Py_ssize_t allocated; /* number of slots in data allocated */
|
|
} Pdata;
|
|
|
|
static void
|
|
Pdata_dealloc(Pdata *self)
|
|
{
|
|
Py_ssize_t i = Py_SIZE(self);
|
|
while (--i >= 0) {
|
|
Py_DECREF(self->data[i]);
|
|
}
|
|
PyMem_FREE(self->data);
|
|
PyObject_Del(self);
|
|
}
|
|
|
|
static PyTypeObject Pdata_Type = {
|
|
PyVarObject_HEAD_INIT(NULL, 0)
|
|
"_pickle.Pdata", /*tp_name*/
|
|
sizeof(Pdata), /*tp_basicsize*/
|
|
0, /*tp_itemsize*/
|
|
(destructor)Pdata_dealloc, /*tp_dealloc*/
|
|
};
|
|
|
|
static PyObject *
|
|
Pdata_New(void)
|
|
{
|
|
Pdata *self;
|
|
|
|
if (!(self = PyObject_New(Pdata, &Pdata_Type)))
|
|
return NULL;
|
|
Py_SIZE(self) = 0;
|
|
self->allocated = 8;
|
|
self->data = PyMem_MALLOC(self->allocated * sizeof(PyObject *));
|
|
if (self->data)
|
|
return (PyObject *)self;
|
|
Py_DECREF(self);
|
|
return PyErr_NoMemory();
|
|
}
|
|
|
|
|
|
/* Retain only the initial clearto items. If clearto >= the current
|
|
* number of items, this is a (non-erroneous) NOP.
|
|
*/
|
|
static int
|
|
Pdata_clear(Pdata *self, Py_ssize_t clearto)
|
|
{
|
|
Py_ssize_t i = Py_SIZE(self);
|
|
|
|
if (clearto < 0)
|
|
return stack_underflow();
|
|
if (clearto >= i)
|
|
return 0;
|
|
|
|
while (--i >= clearto) {
|
|
Py_CLEAR(self->data[i]);
|
|
}
|
|
Py_SIZE(self) = clearto;
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
Pdata_grow(Pdata *self)
|
|
{
|
|
PyObject **data = self->data;
|
|
size_t allocated = (size_t)self->allocated;
|
|
size_t new_allocated;
|
|
|
|
new_allocated = (allocated >> 3) + 6;
|
|
/* check for integer overflow */
|
|
if (new_allocated > (size_t)PY_SSIZE_T_MAX - allocated)
|
|
goto nomemory;
|
|
new_allocated += allocated;
|
|
if (new_allocated > ((size_t)PY_SSIZE_T_MAX / sizeof(PyObject *)))
|
|
goto nomemory;
|
|
data = PyMem_REALLOC(data, new_allocated * sizeof(PyObject *));
|
|
if (data == NULL)
|
|
goto nomemory;
|
|
|
|
self->data = data;
|
|
self->allocated = (Py_ssize_t)new_allocated;
|
|
return 0;
|
|
|
|
nomemory:
|
|
PyErr_NoMemory();
|
|
return -1;
|
|
}
|
|
|
|
/* D is a Pdata*. Pop the topmost element and store it into V, which
|
|
* must be an lvalue holding PyObject*. On stack underflow, UnpicklingError
|
|
* is raised and V is set to NULL.
|
|
*/
|
|
static PyObject *
|
|
Pdata_pop(Pdata *self)
|
|
{
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
if (Py_SIZE(self) == 0) {
|
|
PyErr_SetString(st->UnpicklingError, "bad pickle data");
|
|
return NULL;
|
|
}
|
|
return self->data[--Py_SIZE(self)];
|
|
}
|
|
#define PDATA_POP(D, V) do { (V) = Pdata_pop((D)); } while (0)
|
|
|
|
static int
|
|
Pdata_push(Pdata *self, PyObject *obj)
|
|
{
|
|
if (Py_SIZE(self) == self->allocated && Pdata_grow(self) < 0) {
|
|
return -1;
|
|
}
|
|
self->data[Py_SIZE(self)++] = obj;
|
|
return 0;
|
|
}
|
|
|
|
/* Push an object on stack, transferring its ownership to the stack. */
|
|
#define PDATA_PUSH(D, O, ER) do { \
|
|
if (Pdata_push((D), (O)) < 0) return (ER); } while(0)
|
|
|
|
/* Push an object on stack, adding a new reference to the object. */
|
|
#define PDATA_APPEND(D, O, ER) do { \
|
|
Py_INCREF((O)); \
|
|
if (Pdata_push((D), (O)) < 0) return (ER); } while(0)
|
|
|
|
static PyObject *
|
|
Pdata_poptuple(Pdata *self, Py_ssize_t start)
|
|
{
|
|
PyObject *tuple;
|
|
Py_ssize_t len, i, j;
|
|
|
|
len = Py_SIZE(self) - start;
|
|
tuple = PyTuple_New(len);
|
|
if (tuple == NULL)
|
|
return NULL;
|
|
for (i = start, j = 0; j < len; i++, j++)
|
|
PyTuple_SET_ITEM(tuple, j, self->data[i]);
|
|
|
|
Py_SIZE(self) = start;
|
|
return tuple;
|
|
}
|
|
|
|
static PyObject *
|
|
Pdata_poplist(Pdata *self, Py_ssize_t start)
|
|
{
|
|
PyObject *list;
|
|
Py_ssize_t len, i, j;
|
|
|
|
len = Py_SIZE(self) - start;
|
|
list = PyList_New(len);
|
|
if (list == NULL)
|
|
return NULL;
|
|
for (i = start, j = 0; j < len; i++, j++)
|
|
PyList_SET_ITEM(list, j, self->data[i]);
|
|
|
|
Py_SIZE(self) = start;
|
|
return list;
|
|
}
|
|
|
|
typedef struct {
|
|
PyObject *me_key;
|
|
Py_ssize_t me_value;
|
|
} PyMemoEntry;
|
|
|
|
typedef struct {
|
|
Py_ssize_t mt_mask;
|
|
Py_ssize_t mt_used;
|
|
Py_ssize_t mt_allocated;
|
|
PyMemoEntry *mt_table;
|
|
} PyMemoTable;
|
|
|
|
typedef struct PicklerObject {
|
|
PyObject_HEAD
|
|
PyMemoTable *memo; /* Memo table, keep track of the seen
|
|
objects to support self-referential objects
|
|
pickling. */
|
|
PyObject *pers_func; /* persistent_id() method, can be NULL */
|
|
PyObject *dispatch_table; /* private dispatch_table, can be NULL */
|
|
|
|
PyObject *write; /* write() method of the output stream. */
|
|
PyObject *output_buffer; /* Write into a local bytearray buffer before
|
|
flushing to the stream. */
|
|
Py_ssize_t output_len; /* Length of output_buffer. */
|
|
Py_ssize_t max_output_len; /* Allocation size of output_buffer. */
|
|
int proto; /* Pickle protocol number, >= 0 */
|
|
int bin; /* Boolean, true if proto > 0 */
|
|
int framing; /* True when framing is enabled, proto >= 4 */
|
|
Py_ssize_t frame_start; /* Position in output_buffer where the
|
|
where the current frame begins. -1 if there
|
|
is no frame currently open. */
|
|
|
|
Py_ssize_t buf_size; /* Size of the current buffered pickle data */
|
|
int fast; /* Enable fast mode if set to a true value.
|
|
The fast mode disable the usage of memo,
|
|
therefore speeding the pickling process by
|
|
not generating superfluous PUT opcodes. It
|
|
should not be used if with self-referential
|
|
objects. */
|
|
int fast_nesting;
|
|
int fix_imports; /* Indicate whether Pickler should fix
|
|
the name of globals for Python 2.x. */
|
|
PyObject *fast_memo;
|
|
} PicklerObject;
|
|
|
|
typedef struct UnpicklerObject {
|
|
PyObject_HEAD
|
|
Pdata *stack; /* Pickle data stack, store unpickled objects. */
|
|
|
|
/* The unpickler memo is just an array of PyObject *s. Using a dict
|
|
is unnecessary, since the keys are contiguous ints. */
|
|
PyObject **memo;
|
|
Py_ssize_t memo_size; /* Capacity of the memo array */
|
|
Py_ssize_t memo_len; /* Number of objects in the memo */
|
|
|
|
PyObject *pers_func; /* persistent_load() method, can be NULL. */
|
|
|
|
Py_buffer buffer;
|
|
char *input_buffer;
|
|
char *input_line;
|
|
Py_ssize_t input_len;
|
|
Py_ssize_t next_read_idx;
|
|
Py_ssize_t prefetched_idx; /* index of first prefetched byte */
|
|
|
|
PyObject *read; /* read() method of the input stream. */
|
|
PyObject *readline; /* readline() method of the input stream. */
|
|
PyObject *peek; /* peek() method of the input stream, or NULL */
|
|
|
|
char *encoding; /* Name of the encoding to be used for
|
|
decoding strings pickled using Python
|
|
2.x. The default value is "ASCII" */
|
|
char *errors; /* Name of errors handling scheme to used when
|
|
decoding strings. The default value is
|
|
"strict". */
|
|
Py_ssize_t *marks; /* Mark stack, used for unpickling container
|
|
objects. */
|
|
Py_ssize_t num_marks; /* Number of marks in the mark stack. */
|
|
Py_ssize_t marks_size; /* Current allocated size of the mark stack. */
|
|
int proto; /* Protocol of the pickle loaded. */
|
|
int fix_imports; /* Indicate whether Unpickler should fix
|
|
the name of globals pickled by Python 2.x. */
|
|
} UnpicklerObject;
|
|
|
|
typedef struct {
|
|
PyObject_HEAD
|
|
PicklerObject *pickler; /* Pickler whose memo table we're proxying. */
|
|
} PicklerMemoProxyObject;
|
|
|
|
typedef struct {
|
|
PyObject_HEAD
|
|
UnpicklerObject *unpickler;
|
|
} UnpicklerMemoProxyObject;
|
|
|
|
/* Forward declarations */
|
|
static int save(PicklerObject *, PyObject *, int);
|
|
static int save_reduce(PicklerObject *, PyObject *, PyObject *);
|
|
static PyTypeObject Pickler_Type;
|
|
static PyTypeObject Unpickler_Type;
|
|
|
|
#include "clinic/_pickle.c.h"
|
|
|
|
/*************************************************************************
|
|
A custom hashtable mapping void* to Python ints. This is used by the pickler
|
|
for memoization. Using a custom hashtable rather than PyDict allows us to skip
|
|
a bunch of unnecessary object creation. This makes a huge performance
|
|
difference. */
|
|
|
|
#define MT_MINSIZE 8
|
|
#define PERTURB_SHIFT 5
|
|
|
|
|
|
static PyMemoTable *
|
|
PyMemoTable_New(void)
|
|
{
|
|
PyMemoTable *memo = PyMem_MALLOC(sizeof(PyMemoTable));
|
|
if (memo == NULL) {
|
|
PyErr_NoMemory();
|
|
return NULL;
|
|
}
|
|
|
|
memo->mt_used = 0;
|
|
memo->mt_allocated = MT_MINSIZE;
|
|
memo->mt_mask = MT_MINSIZE - 1;
|
|
memo->mt_table = PyMem_MALLOC(MT_MINSIZE * sizeof(PyMemoEntry));
|
|
if (memo->mt_table == NULL) {
|
|
PyMem_FREE(memo);
|
|
PyErr_NoMemory();
|
|
return NULL;
|
|
}
|
|
memset(memo->mt_table, 0, MT_MINSIZE * sizeof(PyMemoEntry));
|
|
|
|
return memo;
|
|
}
|
|
|
|
static PyMemoTable *
|
|
PyMemoTable_Copy(PyMemoTable *self)
|
|
{
|
|
Py_ssize_t i;
|
|
PyMemoTable *new = PyMemoTable_New();
|
|
if (new == NULL)
|
|
return NULL;
|
|
|
|
new->mt_used = self->mt_used;
|
|
new->mt_allocated = self->mt_allocated;
|
|
new->mt_mask = self->mt_mask;
|
|
/* The table we get from _New() is probably smaller than we wanted.
|
|
Free it and allocate one that's the right size. */
|
|
PyMem_FREE(new->mt_table);
|
|
new->mt_table = PyMem_MALLOC(self->mt_allocated * sizeof(PyMemoEntry));
|
|
if (new->mt_table == NULL) {
|
|
PyMem_FREE(new);
|
|
PyErr_NoMemory();
|
|
return NULL;
|
|
}
|
|
for (i = 0; i < self->mt_allocated; i++) {
|
|
Py_XINCREF(self->mt_table[i].me_key);
|
|
}
|
|
memcpy(new->mt_table, self->mt_table,
|
|
sizeof(PyMemoEntry) * self->mt_allocated);
|
|
|
|
return new;
|
|
}
|
|
|
|
static Py_ssize_t
|
|
PyMemoTable_Size(PyMemoTable *self)
|
|
{
|
|
return self->mt_used;
|
|
}
|
|
|
|
static int
|
|
PyMemoTable_Clear(PyMemoTable *self)
|
|
{
|
|
Py_ssize_t i = self->mt_allocated;
|
|
|
|
while (--i >= 0) {
|
|
Py_XDECREF(self->mt_table[i].me_key);
|
|
}
|
|
self->mt_used = 0;
|
|
memset(self->mt_table, 0, self->mt_allocated * sizeof(PyMemoEntry));
|
|
return 0;
|
|
}
|
|
|
|
static void
|
|
PyMemoTable_Del(PyMemoTable *self)
|
|
{
|
|
if (self == NULL)
|
|
return;
|
|
PyMemoTable_Clear(self);
|
|
|
|
PyMem_FREE(self->mt_table);
|
|
PyMem_FREE(self);
|
|
}
|
|
|
|
/* Since entries cannot be deleted from this hashtable, _PyMemoTable_Lookup()
|
|
can be considerably simpler than dictobject.c's lookdict(). */
|
|
static PyMemoEntry *
|
|
_PyMemoTable_Lookup(PyMemoTable *self, PyObject *key)
|
|
{
|
|
size_t i;
|
|
size_t perturb;
|
|
size_t mask = (size_t)self->mt_mask;
|
|
PyMemoEntry *table = self->mt_table;
|
|
PyMemoEntry *entry;
|
|
Py_hash_t hash = (Py_hash_t)key >> 3;
|
|
|
|
i = hash & mask;
|
|
entry = &table[i];
|
|
if (entry->me_key == NULL || entry->me_key == key)
|
|
return entry;
|
|
|
|
for (perturb = hash; ; perturb >>= PERTURB_SHIFT) {
|
|
i = (i << 2) + i + perturb + 1;
|
|
entry = &table[i & mask];
|
|
if (entry->me_key == NULL || entry->me_key == key)
|
|
return entry;
|
|
}
|
|
assert(0); /* Never reached */
|
|
return NULL;
|
|
}
|
|
|
|
/* Returns -1 on failure, 0 on success. */
|
|
static int
|
|
_PyMemoTable_ResizeTable(PyMemoTable *self, Py_ssize_t min_size)
|
|
{
|
|
PyMemoEntry *oldtable = NULL;
|
|
PyMemoEntry *oldentry, *newentry;
|
|
Py_ssize_t new_size = MT_MINSIZE;
|
|
Py_ssize_t to_process;
|
|
|
|
assert(min_size > 0);
|
|
|
|
/* Find the smallest valid table size >= min_size. */
|
|
while (new_size < min_size && new_size > 0)
|
|
new_size <<= 1;
|
|
if (new_size <= 0) {
|
|
PyErr_NoMemory();
|
|
return -1;
|
|
}
|
|
/* new_size needs to be a power of two. */
|
|
assert((new_size & (new_size - 1)) == 0);
|
|
|
|
/* Allocate new table. */
|
|
oldtable = self->mt_table;
|
|
self->mt_table = PyMem_MALLOC(new_size * sizeof(PyMemoEntry));
|
|
if (self->mt_table == NULL) {
|
|
self->mt_table = oldtable;
|
|
PyErr_NoMemory();
|
|
return -1;
|
|
}
|
|
self->mt_allocated = new_size;
|
|
self->mt_mask = new_size - 1;
|
|
memset(self->mt_table, 0, sizeof(PyMemoEntry) * new_size);
|
|
|
|
/* Copy entries from the old table. */
|
|
to_process = self->mt_used;
|
|
for (oldentry = oldtable; to_process > 0; oldentry++) {
|
|
if (oldentry->me_key != NULL) {
|
|
to_process--;
|
|
/* newentry is a pointer to a chunk of the new
|
|
mt_table, so we're setting the key:value pair
|
|
in-place. */
|
|
newentry = _PyMemoTable_Lookup(self, oldentry->me_key);
|
|
newentry->me_key = oldentry->me_key;
|
|
newentry->me_value = oldentry->me_value;
|
|
}
|
|
}
|
|
|
|
/* Deallocate the old table. */
|
|
PyMem_FREE(oldtable);
|
|
return 0;
|
|
}
|
|
|
|
/* Returns NULL on failure, a pointer to the value otherwise. */
|
|
static Py_ssize_t *
|
|
PyMemoTable_Get(PyMemoTable *self, PyObject *key)
|
|
{
|
|
PyMemoEntry *entry = _PyMemoTable_Lookup(self, key);
|
|
if (entry->me_key == NULL)
|
|
return NULL;
|
|
return &entry->me_value;
|
|
}
|
|
|
|
/* Returns -1 on failure, 0 on success. */
|
|
static int
|
|
PyMemoTable_Set(PyMemoTable *self, PyObject *key, Py_ssize_t value)
|
|
{
|
|
PyMemoEntry *entry;
|
|
|
|
assert(key != NULL);
|
|
|
|
entry = _PyMemoTable_Lookup(self, key);
|
|
if (entry->me_key != NULL) {
|
|
entry->me_value = value;
|
|
return 0;
|
|
}
|
|
Py_INCREF(key);
|
|
entry->me_key = key;
|
|
entry->me_value = value;
|
|
self->mt_used++;
|
|
|
|
/* If we added a key, we can safely resize. Otherwise just return!
|
|
* If used >= 2/3 size, adjust size. Normally, this quaduples the size.
|
|
*
|
|
* Quadrupling the size improves average table sparseness
|
|
* (reducing collisions) at the cost of some memory. It also halves
|
|
* the number of expensive resize operations in a growing memo table.
|
|
*
|
|
* Very large memo tables (over 50K items) use doubling instead.
|
|
* This may help applications with severe memory constraints.
|
|
*/
|
|
if (!(self->mt_used * 3 >= (self->mt_mask + 1) * 2))
|
|
return 0;
|
|
return _PyMemoTable_ResizeTable(self,
|
|
(self->mt_used > 50000 ? 2 : 4) * self->mt_used);
|
|
}
|
|
|
|
#undef MT_MINSIZE
|
|
#undef PERTURB_SHIFT
|
|
|
|
/*************************************************************************/
|
|
|
|
|
|
static int
|
|
_Pickler_ClearBuffer(PicklerObject *self)
|
|
{
|
|
Py_CLEAR(self->output_buffer);
|
|
self->output_buffer =
|
|
PyBytes_FromStringAndSize(NULL, self->max_output_len);
|
|
if (self->output_buffer == NULL)
|
|
return -1;
|
|
self->output_len = 0;
|
|
self->frame_start = -1;
|
|
return 0;
|
|
}
|
|
|
|
static void
|
|
_write_size64(char *out, size_t value)
|
|
{
|
|
size_t i;
|
|
|
|
assert(sizeof(size_t) <= 8);
|
|
|
|
for (i = 0; i < sizeof(size_t); i++) {
|
|
out[i] = (unsigned char)((value >> (8 * i)) & 0xff);
|
|
}
|
|
for (i = sizeof(size_t); i < 8; i++) {
|
|
out[i] = 0;
|
|
}
|
|
}
|
|
|
|
static void
|
|
_Pickler_WriteFrameHeader(PicklerObject *self, char *qdata, size_t frame_len)
|
|
{
|
|
qdata[0] = FRAME;
|
|
_write_size64(qdata + 1, frame_len);
|
|
}
|
|
|
|
static int
|
|
_Pickler_CommitFrame(PicklerObject *self)
|
|
{
|
|
size_t frame_len;
|
|
char *qdata;
|
|
|
|
if (!self->framing || self->frame_start == -1)
|
|
return 0;
|
|
frame_len = self->output_len - self->frame_start - FRAME_HEADER_SIZE;
|
|
qdata = PyBytes_AS_STRING(self->output_buffer) + self->frame_start;
|
|
_Pickler_WriteFrameHeader(self, qdata, frame_len);
|
|
self->frame_start = -1;
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
_Pickler_OpcodeBoundary(PicklerObject *self)
|
|
{
|
|
Py_ssize_t frame_len;
|
|
|
|
if (!self->framing || self->frame_start == -1)
|
|
return 0;
|
|
frame_len = self->output_len - self->frame_start - FRAME_HEADER_SIZE;
|
|
if (frame_len >= FRAME_SIZE_TARGET)
|
|
return _Pickler_CommitFrame(self);
|
|
else
|
|
return 0;
|
|
}
|
|
|
|
static PyObject *
|
|
_Pickler_GetString(PicklerObject *self)
|
|
{
|
|
PyObject *output_buffer = self->output_buffer;
|
|
|
|
assert(self->output_buffer != NULL);
|
|
|
|
if (_Pickler_CommitFrame(self))
|
|
return NULL;
|
|
|
|
self->output_buffer = NULL;
|
|
/* Resize down to exact size */
|
|
if (_PyBytes_Resize(&output_buffer, self->output_len) < 0)
|
|
return NULL;
|
|
return output_buffer;
|
|
}
|
|
|
|
static int
|
|
_Pickler_FlushToFile(PicklerObject *self)
|
|
{
|
|
PyObject *output, *result;
|
|
|
|
assert(self->write != NULL);
|
|
|
|
/* This will commit the frame first */
|
|
output = _Pickler_GetString(self);
|
|
if (output == NULL)
|
|
return -1;
|
|
|
|
result = _Pickle_FastCall(self->write, output);
|
|
Py_XDECREF(result);
|
|
return (result == NULL) ? -1 : 0;
|
|
}
|
|
|
|
static Py_ssize_t
|
|
_Pickler_Write(PicklerObject *self, const char *s, Py_ssize_t data_len)
|
|
{
|
|
Py_ssize_t i, n, required;
|
|
char *buffer;
|
|
int need_new_frame;
|
|
|
|
assert(s != NULL);
|
|
need_new_frame = (self->framing && self->frame_start == -1);
|
|
|
|
if (need_new_frame)
|
|
n = data_len + FRAME_HEADER_SIZE;
|
|
else
|
|
n = data_len;
|
|
|
|
required = self->output_len + n;
|
|
if (required > self->max_output_len) {
|
|
/* Make place in buffer for the pickle chunk */
|
|
if (self->output_len >= PY_SSIZE_T_MAX / 2 - n) {
|
|
PyErr_NoMemory();
|
|
return -1;
|
|
}
|
|
self->max_output_len = (self->output_len + n) / 2 * 3;
|
|
if (_PyBytes_Resize(&self->output_buffer, self->max_output_len) < 0)
|
|
return -1;
|
|
}
|
|
buffer = PyBytes_AS_STRING(self->output_buffer);
|
|
if (need_new_frame) {
|
|
/* Setup new frame */
|
|
Py_ssize_t frame_start = self->output_len;
|
|
self->frame_start = frame_start;
|
|
for (i = 0; i < FRAME_HEADER_SIZE; i++) {
|
|
/* Write an invalid value, for debugging */
|
|
buffer[frame_start + i] = 0xFE;
|
|
}
|
|
self->output_len += FRAME_HEADER_SIZE;
|
|
}
|
|
if (data_len < 8) {
|
|
/* This is faster than memcpy when the string is short. */
|
|
for (i = 0; i < data_len; i++) {
|
|
buffer[self->output_len + i] = s[i];
|
|
}
|
|
}
|
|
else {
|
|
memcpy(buffer + self->output_len, s, data_len);
|
|
}
|
|
self->output_len += data_len;
|
|
return data_len;
|
|
}
|
|
|
|
static PicklerObject *
|
|
_Pickler_New(void)
|
|
{
|
|
PicklerObject *self;
|
|
|
|
self = PyObject_GC_New(PicklerObject, &Pickler_Type);
|
|
if (self == NULL)
|
|
return NULL;
|
|
|
|
self->pers_func = NULL;
|
|
self->dispatch_table = NULL;
|
|
self->write = NULL;
|
|
self->proto = 0;
|
|
self->bin = 0;
|
|
self->framing = 0;
|
|
self->frame_start = -1;
|
|
self->fast = 0;
|
|
self->fast_nesting = 0;
|
|
self->fix_imports = 0;
|
|
self->fast_memo = NULL;
|
|
self->max_output_len = WRITE_BUF_SIZE;
|
|
self->output_len = 0;
|
|
|
|
self->memo = PyMemoTable_New();
|
|
self->output_buffer = PyBytes_FromStringAndSize(NULL,
|
|
self->max_output_len);
|
|
|
|
if (self->memo == NULL || self->output_buffer == NULL) {
|
|
Py_DECREF(self);
|
|
return NULL;
|
|
}
|
|
return self;
|
|
}
|
|
|
|
static int
|
|
_Pickler_SetProtocol(PicklerObject *self, PyObject *protocol, int fix_imports)
|
|
{
|
|
long proto;
|
|
|
|
if (protocol == NULL || protocol == Py_None) {
|
|
proto = DEFAULT_PROTOCOL;
|
|
}
|
|
else {
|
|
proto = PyLong_AsLong(protocol);
|
|
if (proto < 0) {
|
|
if (proto == -1 && PyErr_Occurred())
|
|
return -1;
|
|
proto = HIGHEST_PROTOCOL;
|
|
}
|
|
else if (proto > HIGHEST_PROTOCOL) {
|
|
PyErr_Format(PyExc_ValueError, "pickle protocol must be <= %d",
|
|
HIGHEST_PROTOCOL);
|
|
return -1;
|
|
}
|
|
}
|
|
self->proto = (int)proto;
|
|
self->bin = proto > 0;
|
|
self->fix_imports = fix_imports && proto < 3;
|
|
return 0;
|
|
}
|
|
|
|
/* Returns -1 (with an exception set) on failure, 0 on success. This may
|
|
be called once on a freshly created Pickler. */
|
|
static int
|
|
_Pickler_SetOutputStream(PicklerObject *self, PyObject *file)
|
|
{
|
|
_Py_IDENTIFIER(write);
|
|
assert(file != NULL);
|
|
self->write = _PyObject_GetAttrId(file, &PyId_write);
|
|
if (self->write == NULL) {
|
|
if (PyErr_ExceptionMatches(PyExc_AttributeError))
|
|
PyErr_SetString(PyExc_TypeError,
|
|
"file must have a 'write' attribute");
|
|
return -1;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Returns the size of the input on success, -1 on failure. This takes its
|
|
own reference to `input`. */
|
|
static Py_ssize_t
|
|
_Unpickler_SetStringInput(UnpicklerObject *self, PyObject *input)
|
|
{
|
|
if (self->buffer.buf != NULL)
|
|
PyBuffer_Release(&self->buffer);
|
|
if (PyObject_GetBuffer(input, &self->buffer, PyBUF_CONTIG_RO) < 0)
|
|
return -1;
|
|
self->input_buffer = self->buffer.buf;
|
|
self->input_len = self->buffer.len;
|
|
self->next_read_idx = 0;
|
|
self->prefetched_idx = self->input_len;
|
|
return self->input_len;
|
|
}
|
|
|
|
static int
|
|
_Unpickler_SkipConsumed(UnpicklerObject *self)
|
|
{
|
|
Py_ssize_t consumed;
|
|
PyObject *r;
|
|
|
|
consumed = self->next_read_idx - self->prefetched_idx;
|
|
if (consumed <= 0)
|
|
return 0;
|
|
|
|
assert(self->peek); /* otherwise we did something wrong */
|
|
/* This makes an useless copy... */
|
|
r = PyObject_CallFunction(self->read, "n", consumed);
|
|
if (r == NULL)
|
|
return -1;
|
|
Py_DECREF(r);
|
|
|
|
self->prefetched_idx = self->next_read_idx;
|
|
return 0;
|
|
}
|
|
|
|
static const Py_ssize_t READ_WHOLE_LINE = -1;
|
|
|
|
/* If reading from a file, we need to only pull the bytes we need, since there
|
|
may be multiple pickle objects arranged contiguously in the same input
|
|
buffer.
|
|
|
|
If `n` is READ_WHOLE_LINE, read a whole line. Otherwise, read up to `n`
|
|
bytes from the input stream/buffer.
|
|
|
|
Update the unpickler's input buffer with the newly-read data. Returns -1 on
|
|
failure; on success, returns the number of bytes read from the file.
|
|
|
|
On success, self->input_len will be 0; this is intentional so that when
|
|
unpickling from a file, the "we've run out of data" code paths will trigger,
|
|
causing the Unpickler to go back to the file for more data. Use the returned
|
|
size to tell you how much data you can process. */
|
|
static Py_ssize_t
|
|
_Unpickler_ReadFromFile(UnpicklerObject *self, Py_ssize_t n)
|
|
{
|
|
PyObject *data;
|
|
Py_ssize_t read_size;
|
|
|
|
assert(self->read != NULL);
|
|
|
|
if (_Unpickler_SkipConsumed(self) < 0)
|
|
return -1;
|
|
|
|
if (n == READ_WHOLE_LINE) {
|
|
PyObject *empty_tuple = PyTuple_New(0);
|
|
data = PyObject_Call(self->readline, empty_tuple, NULL);
|
|
Py_DECREF(empty_tuple);
|
|
}
|
|
else {
|
|
PyObject *len;
|
|
/* Prefetch some data without advancing the file pointer, if possible */
|
|
if (self->peek && n < PREFETCH) {
|
|
len = PyLong_FromSsize_t(PREFETCH);
|
|
if (len == NULL)
|
|
return -1;
|
|
data = _Pickle_FastCall(self->peek, len);
|
|
if (data == NULL) {
|
|
if (!PyErr_ExceptionMatches(PyExc_NotImplementedError))
|
|
return -1;
|
|
/* peek() is probably not supported by the given file object */
|
|
PyErr_Clear();
|
|
Py_CLEAR(self->peek);
|
|
}
|
|
else {
|
|
read_size = _Unpickler_SetStringInput(self, data);
|
|
Py_DECREF(data);
|
|
self->prefetched_idx = 0;
|
|
if (n <= read_size)
|
|
return n;
|
|
}
|
|
}
|
|
len = PyLong_FromSsize_t(n);
|
|
if (len == NULL)
|
|
return -1;
|
|
data = _Pickle_FastCall(self->read, len);
|
|
}
|
|
if (data == NULL)
|
|
return -1;
|
|
|
|
read_size = _Unpickler_SetStringInput(self, data);
|
|
Py_DECREF(data);
|
|
return read_size;
|
|
}
|
|
|
|
/* Read `n` bytes from the unpickler's data source, storing the result in `*s`.
|
|
|
|
This should be used for all data reads, rather than accessing the unpickler's
|
|
input buffer directly. This method deals correctly with reading from input
|
|
streams, which the input buffer doesn't deal with.
|
|
|
|
Note that when reading from a file-like object, self->next_read_idx won't
|
|
be updated (it should remain at 0 for the entire unpickling process). You
|
|
should use this function's return value to know how many bytes you can
|
|
consume.
|
|
|
|
Returns -1 (with an exception set) on failure. On success, return the
|
|
number of chars read. */
|
|
static Py_ssize_t
|
|
_Unpickler_Read(UnpicklerObject *self, char **s, Py_ssize_t n)
|
|
{
|
|
Py_ssize_t num_read;
|
|
|
|
if (self->next_read_idx + n <= self->input_len) {
|
|
*s = self->input_buffer + self->next_read_idx;
|
|
self->next_read_idx += n;
|
|
return n;
|
|
}
|
|
if (!self->read) {
|
|
PyErr_Format(PyExc_EOFError, "Ran out of input");
|
|
return -1;
|
|
}
|
|
num_read = _Unpickler_ReadFromFile(self, n);
|
|
if (num_read < 0)
|
|
return -1;
|
|
if (num_read < n) {
|
|
PyErr_Format(PyExc_EOFError, "Ran out of input");
|
|
return -1;
|
|
}
|
|
*s = self->input_buffer;
|
|
self->next_read_idx = n;
|
|
return n;
|
|
}
|
|
|
|
static Py_ssize_t
|
|
_Unpickler_CopyLine(UnpicklerObject *self, char *line, Py_ssize_t len,
|
|
char **result)
|
|
{
|
|
char *input_line = PyMem_Realloc(self->input_line, len + 1);
|
|
if (input_line == NULL) {
|
|
PyErr_NoMemory();
|
|
return -1;
|
|
}
|
|
|
|
memcpy(input_line, line, len);
|
|
input_line[len] = '\0';
|
|
self->input_line = input_line;
|
|
*result = self->input_line;
|
|
return len;
|
|
}
|
|
|
|
/* Read a line from the input stream/buffer. If we run off the end of the input
|
|
before hitting \n, return the data we found.
|
|
|
|
Returns the number of chars read, or -1 on failure. */
|
|
static Py_ssize_t
|
|
_Unpickler_Readline(UnpicklerObject *self, char **result)
|
|
{
|
|
Py_ssize_t i, num_read;
|
|
|
|
for (i = self->next_read_idx; i < self->input_len; i++) {
|
|
if (self->input_buffer[i] == '\n') {
|
|
char *line_start = self->input_buffer + self->next_read_idx;
|
|
num_read = i - self->next_read_idx + 1;
|
|
self->next_read_idx = i + 1;
|
|
return _Unpickler_CopyLine(self, line_start, num_read, result);
|
|
}
|
|
}
|
|
if (self->read) {
|
|
num_read = _Unpickler_ReadFromFile(self, READ_WHOLE_LINE);
|
|
if (num_read < 0)
|
|
return -1;
|
|
self->next_read_idx = num_read;
|
|
return _Unpickler_CopyLine(self, self->input_buffer, num_read, result);
|
|
}
|
|
|
|
/* If we get here, we've run off the end of the input string. Return the
|
|
remaining string and let the caller figure it out. */
|
|
*result = self->input_buffer + self->next_read_idx;
|
|
num_read = i - self->next_read_idx;
|
|
self->next_read_idx = i;
|
|
return num_read;
|
|
}
|
|
|
|
/* Returns -1 (with an exception set) on failure, 0 on success. The memo array
|
|
will be modified in place. */
|
|
static int
|
|
_Unpickler_ResizeMemoList(UnpicklerObject *self, Py_ssize_t new_size)
|
|
{
|
|
Py_ssize_t i;
|
|
PyObject **memo;
|
|
|
|
assert(new_size > self->memo_size);
|
|
|
|
memo = PyMem_REALLOC(self->memo, new_size * sizeof(PyObject *));
|
|
if (memo == NULL) {
|
|
PyErr_NoMemory();
|
|
return -1;
|
|
}
|
|
self->memo = memo;
|
|
for (i = self->memo_size; i < new_size; i++)
|
|
self->memo[i] = NULL;
|
|
self->memo_size = new_size;
|
|
return 0;
|
|
}
|
|
|
|
/* Returns NULL if idx is out of bounds. */
|
|
static PyObject *
|
|
_Unpickler_MemoGet(UnpicklerObject *self, Py_ssize_t idx)
|
|
{
|
|
if (idx < 0 || idx >= self->memo_size)
|
|
return NULL;
|
|
|
|
return self->memo[idx];
|
|
}
|
|
|
|
/* Returns -1 (with an exception set) on failure, 0 on success.
|
|
This takes its own reference to `value`. */
|
|
static int
|
|
_Unpickler_MemoPut(UnpicklerObject *self, Py_ssize_t idx, PyObject *value)
|
|
{
|
|
PyObject *old_item;
|
|
|
|
if (idx >= self->memo_size) {
|
|
if (_Unpickler_ResizeMemoList(self, idx * 2) < 0)
|
|
return -1;
|
|
assert(idx < self->memo_size);
|
|
}
|
|
Py_INCREF(value);
|
|
old_item = self->memo[idx];
|
|
self->memo[idx] = value;
|
|
if (old_item != NULL) {
|
|
Py_DECREF(old_item);
|
|
}
|
|
else {
|
|
self->memo_len++;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
static PyObject **
|
|
_Unpickler_NewMemo(Py_ssize_t new_size)
|
|
{
|
|
PyObject **memo = PyMem_MALLOC(new_size * sizeof(PyObject *));
|
|
if (memo == NULL) {
|
|
PyErr_NoMemory();
|
|
return NULL;
|
|
}
|
|
memset(memo, 0, new_size * sizeof(PyObject *));
|
|
return memo;
|
|
}
|
|
|
|
/* Free the unpickler's memo, taking care to decref any items left in it. */
|
|
static void
|
|
_Unpickler_MemoCleanup(UnpicklerObject *self)
|
|
{
|
|
Py_ssize_t i;
|
|
PyObject **memo = self->memo;
|
|
|
|
if (self->memo == NULL)
|
|
return;
|
|
self->memo = NULL;
|
|
i = self->memo_size;
|
|
while (--i >= 0) {
|
|
Py_XDECREF(memo[i]);
|
|
}
|
|
PyMem_FREE(memo);
|
|
}
|
|
|
|
static UnpicklerObject *
|
|
_Unpickler_New(void)
|
|
{
|
|
UnpicklerObject *self;
|
|
|
|
self = PyObject_GC_New(UnpicklerObject, &Unpickler_Type);
|
|
if (self == NULL)
|
|
return NULL;
|
|
|
|
self->pers_func = NULL;
|
|
self->input_buffer = NULL;
|
|
self->input_line = NULL;
|
|
self->input_len = 0;
|
|
self->next_read_idx = 0;
|
|
self->prefetched_idx = 0;
|
|
self->read = NULL;
|
|
self->readline = NULL;
|
|
self->peek = NULL;
|
|
self->encoding = NULL;
|
|
self->errors = NULL;
|
|
self->marks = NULL;
|
|
self->num_marks = 0;
|
|
self->marks_size = 0;
|
|
self->proto = 0;
|
|
self->fix_imports = 0;
|
|
memset(&self->buffer, 0, sizeof(Py_buffer));
|
|
self->memo_size = 32;
|
|
self->memo_len = 0;
|
|
self->memo = _Unpickler_NewMemo(self->memo_size);
|
|
self->stack = (Pdata *)Pdata_New();
|
|
|
|
if (self->memo == NULL || self->stack == NULL) {
|
|
Py_DECREF(self);
|
|
return NULL;
|
|
}
|
|
|
|
return self;
|
|
}
|
|
|
|
/* Returns -1 (with an exception set) on failure, 0 on success. This may
|
|
be called once on a freshly created Pickler. */
|
|
static int
|
|
_Unpickler_SetInputStream(UnpicklerObject *self, PyObject *file)
|
|
{
|
|
_Py_IDENTIFIER(peek);
|
|
_Py_IDENTIFIER(read);
|
|
_Py_IDENTIFIER(readline);
|
|
|
|
self->peek = _PyObject_GetAttrId(file, &PyId_peek);
|
|
if (self->peek == NULL) {
|
|
if (PyErr_ExceptionMatches(PyExc_AttributeError))
|
|
PyErr_Clear();
|
|
else
|
|
return -1;
|
|
}
|
|
self->read = _PyObject_GetAttrId(file, &PyId_read);
|
|
self->readline = _PyObject_GetAttrId(file, &PyId_readline);
|
|
if (self->readline == NULL || self->read == NULL) {
|
|
if (PyErr_ExceptionMatches(PyExc_AttributeError))
|
|
PyErr_SetString(PyExc_TypeError,
|
|
"file must have 'read' and 'readline' attributes");
|
|
Py_CLEAR(self->read);
|
|
Py_CLEAR(self->readline);
|
|
Py_CLEAR(self->peek);
|
|
return -1;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
/* Returns -1 (with an exception set) on failure, 0 on success. This may
|
|
be called once on a freshly created Pickler. */
|
|
static int
|
|
_Unpickler_SetInputEncoding(UnpicklerObject *self,
|
|
const char *encoding,
|
|
const char *errors)
|
|
{
|
|
if (encoding == NULL)
|
|
encoding = "ASCII";
|
|
if (errors == NULL)
|
|
errors = "strict";
|
|
|
|
self->encoding = _PyMem_Strdup(encoding);
|
|
self->errors = _PyMem_Strdup(errors);
|
|
if (self->encoding == NULL || self->errors == NULL) {
|
|
PyErr_NoMemory();
|
|
return -1;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
/* Generate a GET opcode for an object stored in the memo. */
|
|
static int
|
|
memo_get(PicklerObject *self, PyObject *key)
|
|
{
|
|
Py_ssize_t *value;
|
|
char pdata[30];
|
|
Py_ssize_t len;
|
|
|
|
value = PyMemoTable_Get(self->memo, key);
|
|
if (value == NULL) {
|
|
PyErr_SetObject(PyExc_KeyError, key);
|
|
return -1;
|
|
}
|
|
|
|
if (!self->bin) {
|
|
pdata[0] = GET;
|
|
PyOS_snprintf(pdata + 1, sizeof(pdata) - 1,
|
|
"%" PY_FORMAT_SIZE_T "d\n", *value);
|
|
len = strlen(pdata);
|
|
}
|
|
else {
|
|
if (*value < 256) {
|
|
pdata[0] = BINGET;
|
|
pdata[1] = (unsigned char)(*value & 0xff);
|
|
len = 2;
|
|
}
|
|
else if ((size_t)*value <= 0xffffffffUL) {
|
|
pdata[0] = LONG_BINGET;
|
|
pdata[1] = (unsigned char)(*value & 0xff);
|
|
pdata[2] = (unsigned char)((*value >> 8) & 0xff);
|
|
pdata[3] = (unsigned char)((*value >> 16) & 0xff);
|
|
pdata[4] = (unsigned char)((*value >> 24) & 0xff);
|
|
len = 5;
|
|
}
|
|
else { /* unlikely */
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->PicklingError,
|
|
"memo id too large for LONG_BINGET");
|
|
return -1;
|
|
}
|
|
}
|
|
|
|
if (_Pickler_Write(self, pdata, len) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Store an object in the memo, assign it a new unique ID based on the number
|
|
of objects currently stored in the memo and generate a PUT opcode. */
|
|
static int
|
|
memo_put(PicklerObject *self, PyObject *obj)
|
|
{
|
|
char pdata[30];
|
|
Py_ssize_t len;
|
|
Py_ssize_t idx;
|
|
|
|
const char memoize_op = MEMOIZE;
|
|
|
|
if (self->fast)
|
|
return 0;
|
|
|
|
idx = PyMemoTable_Size(self->memo);
|
|
if (PyMemoTable_Set(self->memo, obj, idx) < 0)
|
|
return -1;
|
|
|
|
if (self->proto >= 4) {
|
|
if (_Pickler_Write(self, &memoize_op, 1) < 0)
|
|
return -1;
|
|
return 0;
|
|
}
|
|
else if (!self->bin) {
|
|
pdata[0] = PUT;
|
|
PyOS_snprintf(pdata + 1, sizeof(pdata) - 1,
|
|
"%" PY_FORMAT_SIZE_T "d\n", idx);
|
|
len = strlen(pdata);
|
|
}
|
|
else {
|
|
if (idx < 256) {
|
|
pdata[0] = BINPUT;
|
|
pdata[1] = (unsigned char)idx;
|
|
len = 2;
|
|
}
|
|
else if ((size_t)idx <= 0xffffffffUL) {
|
|
pdata[0] = LONG_BINPUT;
|
|
pdata[1] = (unsigned char)(idx & 0xff);
|
|
pdata[2] = (unsigned char)((idx >> 8) & 0xff);
|
|
pdata[3] = (unsigned char)((idx >> 16) & 0xff);
|
|
pdata[4] = (unsigned char)((idx >> 24) & 0xff);
|
|
len = 5;
|
|
}
|
|
else { /* unlikely */
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->PicklingError,
|
|
"memo id too large for LONG_BINPUT");
|
|
return -1;
|
|
}
|
|
}
|
|
if (_Pickler_Write(self, pdata, len) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
|
|
static PyObject *
|
|
get_dotted_path(PyObject *obj, PyObject *name, int allow_qualname) {
|
|
_Py_static_string(PyId_dot, ".");
|
|
_Py_static_string(PyId_locals, "<locals>");
|
|
PyObject *dotted_path;
|
|
Py_ssize_t i, n;
|
|
|
|
dotted_path = PyUnicode_Split(name, _PyUnicode_FromId(&PyId_dot), -1);
|
|
if (dotted_path == NULL)
|
|
return NULL;
|
|
n = PyList_GET_SIZE(dotted_path);
|
|
assert(n >= 1);
|
|
if (!allow_qualname && n > 1) {
|
|
PyErr_Format(PyExc_AttributeError,
|
|
"Can't get qualified attribute %R on %R;"
|
|
"use protocols >= 4 to enable support",
|
|
name, obj);
|
|
Py_DECREF(dotted_path);
|
|
return NULL;
|
|
}
|
|
for (i = 0; i < n; i++) {
|
|
PyObject *subpath = PyList_GET_ITEM(dotted_path, i);
|
|
PyObject *result = PyUnicode_RichCompare(
|
|
subpath, _PyUnicode_FromId(&PyId_locals), Py_EQ);
|
|
int is_equal = (result == Py_True);
|
|
assert(PyBool_Check(result));
|
|
Py_DECREF(result);
|
|
if (is_equal) {
|
|
PyErr_Format(PyExc_AttributeError,
|
|
"Can't get local attribute %R on %R", name, obj);
|
|
Py_DECREF(dotted_path);
|
|
return NULL;
|
|
}
|
|
}
|
|
return dotted_path;
|
|
}
|
|
|
|
static PyObject *
|
|
get_deep_attribute(PyObject *obj, PyObject *names)
|
|
{
|
|
Py_ssize_t i, n;
|
|
|
|
assert(PyList_CheckExact(names));
|
|
Py_INCREF(obj);
|
|
n = PyList_GET_SIZE(names);
|
|
for (i = 0; i < n; i++) {
|
|
PyObject *name = PyList_GET_ITEM(names, i);
|
|
PyObject *tmp;
|
|
tmp = PyObject_GetAttr(obj, name);
|
|
Py_DECREF(obj);
|
|
if (tmp == NULL)
|
|
return NULL;
|
|
obj = tmp;
|
|
}
|
|
return obj;
|
|
}
|
|
|
|
static void
|
|
reformat_attribute_error(PyObject *obj, PyObject *name)
|
|
{
|
|
if (PyErr_ExceptionMatches(PyExc_AttributeError)) {
|
|
PyErr_Clear();
|
|
PyErr_Format(PyExc_AttributeError,
|
|
"Can't get attribute %R on %R", name, obj);
|
|
}
|
|
}
|
|
|
|
|
|
static PyObject *
|
|
getattribute(PyObject *obj, PyObject *name, int allow_qualname)
|
|
{
|
|
PyObject *dotted_path, *attr;
|
|
|
|
dotted_path = get_dotted_path(obj, name, allow_qualname);
|
|
if (dotted_path == NULL)
|
|
return NULL;
|
|
attr = get_deep_attribute(obj, dotted_path);
|
|
Py_DECREF(dotted_path);
|
|
if (attr == NULL)
|
|
reformat_attribute_error(obj, name);
|
|
return attr;
|
|
}
|
|
|
|
static PyObject *
|
|
whichmodule(PyObject *global, PyObject *global_name, int allow_qualname)
|
|
{
|
|
PyObject *module_name;
|
|
PyObject *modules_dict;
|
|
PyObject *module;
|
|
Py_ssize_t i;
|
|
_Py_IDENTIFIER(__module__);
|
|
_Py_IDENTIFIER(modules);
|
|
_Py_IDENTIFIER(__main__);
|
|
PyObject *dotted_path;
|
|
|
|
module_name = _PyObject_GetAttrId(global, &PyId___module__);
|
|
|
|
if (module_name == NULL) {
|
|
if (!PyErr_ExceptionMatches(PyExc_AttributeError))
|
|
return NULL;
|
|
PyErr_Clear();
|
|
}
|
|
else {
|
|
/* In some rare cases (e.g., bound methods of extension types),
|
|
__module__ can be None. If it is so, then search sys.modules for
|
|
the module of global. */
|
|
if (module_name != Py_None)
|
|
return module_name;
|
|
Py_CLEAR(module_name);
|
|
}
|
|
assert(module_name == NULL);
|
|
|
|
/* Fallback on walking sys.modules */
|
|
modules_dict = _PySys_GetObjectId(&PyId_modules);
|
|
if (modules_dict == NULL) {
|
|
PyErr_SetString(PyExc_RuntimeError, "unable to get sys.modules");
|
|
return NULL;
|
|
}
|
|
|
|
dotted_path = get_dotted_path(module, global_name, allow_qualname);
|
|
if (dotted_path == NULL)
|
|
return NULL;
|
|
|
|
i = 0;
|
|
while (PyDict_Next(modules_dict, &i, &module_name, &module)) {
|
|
PyObject *candidate;
|
|
if (PyUnicode_Check(module_name) &&
|
|
!PyUnicode_CompareWithASCIIString(module_name, "__main__"))
|
|
continue;
|
|
if (module == Py_None)
|
|
continue;
|
|
|
|
candidate = get_deep_attribute(module, dotted_path);
|
|
if (candidate == NULL) {
|
|
if (!PyErr_ExceptionMatches(PyExc_AttributeError)) {
|
|
Py_DECREF(dotted_path);
|
|
return NULL;
|
|
}
|
|
PyErr_Clear();
|
|
continue;
|
|
}
|
|
|
|
if (candidate == global) {
|
|
Py_INCREF(module_name);
|
|
Py_DECREF(dotted_path);
|
|
Py_DECREF(candidate);
|
|
return module_name;
|
|
}
|
|
Py_DECREF(candidate);
|
|
}
|
|
|
|
/* If no module is found, use __main__. */
|
|
module_name = _PyUnicode_FromId(&PyId___main__);
|
|
Py_INCREF(module_name);
|
|
Py_DECREF(dotted_path);
|
|
return module_name;
|
|
}
|
|
|
|
/* fast_save_enter() and fast_save_leave() are guards against recursive
|
|
objects when Pickler is used with the "fast mode" (i.e., with object
|
|
memoization disabled). If the nesting of a list or dict object exceed
|
|
FAST_NESTING_LIMIT, these guards will start keeping an internal
|
|
reference to the seen list or dict objects and check whether these objects
|
|
are recursive. These are not strictly necessary, since save() has a
|
|
hard-coded recursion limit, but they give a nicer error message than the
|
|
typical RuntimeError. */
|
|
static int
|
|
fast_save_enter(PicklerObject *self, PyObject *obj)
|
|
{
|
|
/* if fast_nesting < 0, we're doing an error exit. */
|
|
if (++self->fast_nesting >= FAST_NESTING_LIMIT) {
|
|
PyObject *key = NULL;
|
|
if (self->fast_memo == NULL) {
|
|
self->fast_memo = PyDict_New();
|
|
if (self->fast_memo == NULL) {
|
|
self->fast_nesting = -1;
|
|
return 0;
|
|
}
|
|
}
|
|
key = PyLong_FromVoidPtr(obj);
|
|
if (key == NULL)
|
|
return 0;
|
|
if (PyDict_GetItemWithError(self->fast_memo, key)) {
|
|
Py_DECREF(key);
|
|
PyErr_Format(PyExc_ValueError,
|
|
"fast mode: can't pickle cyclic objects "
|
|
"including object type %.200s at %p",
|
|
obj->ob_type->tp_name, obj);
|
|
self->fast_nesting = -1;
|
|
return 0;
|
|
}
|
|
if (PyErr_Occurred()) {
|
|
return 0;
|
|
}
|
|
if (PyDict_SetItem(self->fast_memo, key, Py_None) < 0) {
|
|
Py_DECREF(key);
|
|
self->fast_nesting = -1;
|
|
return 0;
|
|
}
|
|
Py_DECREF(key);
|
|
}
|
|
return 1;
|
|
}
|
|
|
|
static int
|
|
fast_save_leave(PicklerObject *self, PyObject *obj)
|
|
{
|
|
if (self->fast_nesting-- >= FAST_NESTING_LIMIT) {
|
|
PyObject *key = PyLong_FromVoidPtr(obj);
|
|
if (key == NULL)
|
|
return 0;
|
|
if (PyDict_DelItem(self->fast_memo, key) < 0) {
|
|
Py_DECREF(key);
|
|
return 0;
|
|
}
|
|
Py_DECREF(key);
|
|
}
|
|
return 1;
|
|
}
|
|
|
|
static int
|
|
save_none(PicklerObject *self, PyObject *obj)
|
|
{
|
|
const char none_op = NONE;
|
|
if (_Pickler_Write(self, &none_op, 1) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
save_bool(PicklerObject *self, PyObject *obj)
|
|
{
|
|
if (self->proto >= 2) {
|
|
const char bool_op = (obj == Py_True) ? NEWTRUE : NEWFALSE;
|
|
if (_Pickler_Write(self, &bool_op, 1) < 0)
|
|
return -1;
|
|
}
|
|
else {
|
|
/* These aren't opcodes -- they're ways to pickle bools before protocol 2
|
|
* so that unpicklers written before bools were introduced unpickle them
|
|
* as ints, but unpicklers after can recognize that bools were intended.
|
|
* Note that protocol 2 added direct ways to pickle bools.
|
|
*/
|
|
const char *bool_str = (obj == Py_True) ? "I01\n" : "I00\n";
|
|
if (_Pickler_Write(self, bool_str, strlen(bool_str)) < 0)
|
|
return -1;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
save_long(PicklerObject *self, PyObject *obj)
|
|
{
|
|
PyObject *repr = NULL;
|
|
Py_ssize_t size;
|
|
long val;
|
|
int status = 0;
|
|
|
|
const char long_op = LONG;
|
|
|
|
val= PyLong_AsLong(obj);
|
|
if (val == -1 && PyErr_Occurred()) {
|
|
/* out of range for int pickling */
|
|
PyErr_Clear();
|
|
}
|
|
else if (self->bin &&
|
|
(sizeof(long) <= 4 ||
|
|
(val <= 0x7fffffffL && val >= (-0x7fffffffL - 1)))) {
|
|
/* result fits in a signed 4-byte integer.
|
|
|
|
Note: we can't use -0x80000000L in the above condition because some
|
|
compilers (e.g., MSVC) will promote 0x80000000L to an unsigned type
|
|
before applying the unary minus when sizeof(long) <= 4. The
|
|
resulting value stays unsigned which is commonly not what we want,
|
|
so MSVC happily warns us about it. However, that result would have
|
|
been fine because we guard for sizeof(long) <= 4 which turns the
|
|
condition true in that particular case. */
|
|
char pdata[32];
|
|
Py_ssize_t len = 0;
|
|
|
|
pdata[1] = (unsigned char)(val & 0xff);
|
|
pdata[2] = (unsigned char)((val >> 8) & 0xff);
|
|
pdata[3] = (unsigned char)((val >> 16) & 0xff);
|
|
pdata[4] = (unsigned char)((val >> 24) & 0xff);
|
|
|
|
if ((pdata[4] == 0) && (pdata[3] == 0)) {
|
|
if (pdata[2] == 0) {
|
|
pdata[0] = BININT1;
|
|
len = 2;
|
|
}
|
|
else {
|
|
pdata[0] = BININT2;
|
|
len = 3;
|
|
}
|
|
}
|
|
else {
|
|
pdata[0] = BININT;
|
|
len = 5;
|
|
}
|
|
|
|
if (_Pickler_Write(self, pdata, len) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
|
|
if (self->proto >= 2) {
|
|
/* Linear-time pickling. */
|
|
size_t nbits;
|
|
size_t nbytes;
|
|
unsigned char *pdata;
|
|
char header[5];
|
|
int i;
|
|
int sign = _PyLong_Sign(obj);
|
|
|
|
if (sign == 0) {
|
|
header[0] = LONG1;
|
|
header[1] = 0; /* It's 0 -- an empty bytestring. */
|
|
if (_Pickler_Write(self, header, 2) < 0)
|
|
goto error;
|
|
return 0;
|
|
}
|
|
nbits = _PyLong_NumBits(obj);
|
|
if (nbits == (size_t)-1 && PyErr_Occurred())
|
|
goto error;
|
|
/* How many bytes do we need? There are nbits >> 3 full
|
|
* bytes of data, and nbits & 7 leftover bits. If there
|
|
* are any leftover bits, then we clearly need another
|
|
* byte. Wnat's not so obvious is that we *probably*
|
|
* need another byte even if there aren't any leftovers:
|
|
* the most-significant bit of the most-significant byte
|
|
* acts like a sign bit, and it's usually got a sense
|
|
* opposite of the one we need. The exception is ints
|
|
* of the form -(2**(8*j-1)) for j > 0. Such an int is
|
|
* its own 256's-complement, so has the right sign bit
|
|
* even without the extra byte. That's a pain to check
|
|
* for in advance, though, so we always grab an extra
|
|
* byte at the start, and cut it back later if possible.
|
|
*/
|
|
nbytes = (nbits >> 3) + 1;
|
|
if (nbytes > 0x7fffffffL) {
|
|
PyErr_SetString(PyExc_OverflowError,
|
|
"int too large to pickle");
|
|
goto error;
|
|
}
|
|
repr = PyBytes_FromStringAndSize(NULL, (Py_ssize_t)nbytes);
|
|
if (repr == NULL)
|
|
goto error;
|
|
pdata = (unsigned char *)PyBytes_AS_STRING(repr);
|
|
i = _PyLong_AsByteArray((PyLongObject *)obj,
|
|
pdata, nbytes,
|
|
1 /* little endian */ , 1 /* signed */ );
|
|
if (i < 0)
|
|
goto error;
|
|
/* If the int is negative, this may be a byte more than
|
|
* needed. This is so iff the MSB is all redundant sign
|
|
* bits.
|
|
*/
|
|
if (sign < 0 &&
|
|
nbytes > 1 &&
|
|
pdata[nbytes - 1] == 0xff &&
|
|
(pdata[nbytes - 2] & 0x80) != 0) {
|
|
nbytes--;
|
|
}
|
|
|
|
if (nbytes < 256) {
|
|
header[0] = LONG1;
|
|
header[1] = (unsigned char)nbytes;
|
|
size = 2;
|
|
}
|
|
else {
|
|
header[0] = LONG4;
|
|
size = (Py_ssize_t) nbytes;
|
|
for (i = 1; i < 5; i++) {
|
|
header[i] = (unsigned char)(size & 0xff);
|
|
size >>= 8;
|
|
}
|
|
size = 5;
|
|
}
|
|
if (_Pickler_Write(self, header, size) < 0 ||
|
|
_Pickler_Write(self, (char *)pdata, (int)nbytes) < 0)
|
|
goto error;
|
|
}
|
|
else {
|
|
char *string;
|
|
|
|
/* proto < 2: write the repr and newline. This is quadratic-time (in
|
|
the number of digits), in both directions. We add a trailing 'L'
|
|
to the repr, for compatibility with Python 2.x. */
|
|
|
|
repr = PyObject_Repr(obj);
|
|
if (repr == NULL)
|
|
goto error;
|
|
|
|
string = _PyUnicode_AsStringAndSize(repr, &size);
|
|
if (string == NULL)
|
|
goto error;
|
|
|
|
if (_Pickler_Write(self, &long_op, 1) < 0 ||
|
|
_Pickler_Write(self, string, size) < 0 ||
|
|
_Pickler_Write(self, "L\n", 2) < 0)
|
|
goto error;
|
|
}
|
|
|
|
if (0) {
|
|
error:
|
|
status = -1;
|
|
}
|
|
Py_XDECREF(repr);
|
|
|
|
return status;
|
|
}
|
|
|
|
static int
|
|
save_float(PicklerObject *self, PyObject *obj)
|
|
{
|
|
double x = PyFloat_AS_DOUBLE((PyFloatObject *)obj);
|
|
|
|
if (self->bin) {
|
|
char pdata[9];
|
|
pdata[0] = BINFLOAT;
|
|
if (_PyFloat_Pack8(x, (unsigned char *)&pdata[1], 0) < 0)
|
|
return -1;
|
|
if (_Pickler_Write(self, pdata, 9) < 0)
|
|
return -1;
|
|
}
|
|
else {
|
|
int result = -1;
|
|
char *buf = NULL;
|
|
char op = FLOAT;
|
|
|
|
if (_Pickler_Write(self, &op, 1) < 0)
|
|
goto done;
|
|
|
|
buf = PyOS_double_to_string(x, 'g', 17, 0, NULL);
|
|
if (!buf) {
|
|
PyErr_NoMemory();
|
|
goto done;
|
|
}
|
|
|
|
if (_Pickler_Write(self, buf, strlen(buf)) < 0)
|
|
goto done;
|
|
|
|
if (_Pickler_Write(self, "\n", 1) < 0)
|
|
goto done;
|
|
|
|
result = 0;
|
|
done:
|
|
PyMem_Free(buf);
|
|
return result;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
save_bytes(PicklerObject *self, PyObject *obj)
|
|
{
|
|
if (self->proto < 3) {
|
|
/* Older pickle protocols do not have an opcode for pickling bytes
|
|
objects. Therefore, we need to fake the copy protocol (i.e.,
|
|
the __reduce__ method) to permit bytes object unpickling.
|
|
|
|
Here we use a hack to be compatible with Python 2. Since in Python
|
|
2 'bytes' is just an alias for 'str' (which has different
|
|
parameters than the actual bytes object), we use codecs.encode
|
|
to create the appropriate 'str' object when unpickled using
|
|
Python 2 *and* the appropriate 'bytes' object when unpickled
|
|
using Python 3. Again this is a hack and we don't need to do this
|
|
with newer protocols. */
|
|
PyObject *reduce_value = NULL;
|
|
int status;
|
|
|
|
if (PyBytes_GET_SIZE(obj) == 0) {
|
|
reduce_value = Py_BuildValue("(O())", (PyObject*)&PyBytes_Type);
|
|
}
|
|
else {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyObject *unicode_str =
|
|
PyUnicode_DecodeLatin1(PyBytes_AS_STRING(obj),
|
|
PyBytes_GET_SIZE(obj),
|
|
"strict");
|
|
_Py_IDENTIFIER(latin1);
|
|
|
|
if (unicode_str == NULL)
|
|
return -1;
|
|
reduce_value = Py_BuildValue("(O(OO))",
|
|
st->codecs_encode, unicode_str,
|
|
_PyUnicode_FromId(&PyId_latin1));
|
|
Py_DECREF(unicode_str);
|
|
}
|
|
|
|
if (reduce_value == NULL)
|
|
return -1;
|
|
|
|
/* save_reduce() will memoize the object automatically. */
|
|
status = save_reduce(self, reduce_value, obj);
|
|
Py_DECREF(reduce_value);
|
|
return status;
|
|
}
|
|
else {
|
|
Py_ssize_t size;
|
|
char header[9];
|
|
Py_ssize_t len;
|
|
|
|
size = PyBytes_GET_SIZE(obj);
|
|
if (size < 0)
|
|
return -1;
|
|
|
|
if (size <= 0xff) {
|
|
header[0] = SHORT_BINBYTES;
|
|
header[1] = (unsigned char)size;
|
|
len = 2;
|
|
}
|
|
else if ((size_t)size <= 0xffffffffUL) {
|
|
header[0] = BINBYTES;
|
|
header[1] = (unsigned char)(size & 0xff);
|
|
header[2] = (unsigned char)((size >> 8) & 0xff);
|
|
header[3] = (unsigned char)((size >> 16) & 0xff);
|
|
header[4] = (unsigned char)((size >> 24) & 0xff);
|
|
len = 5;
|
|
}
|
|
else if (self->proto >= 4) {
|
|
header[0] = BINBYTES8;
|
|
_write_size64(header + 1, size);
|
|
len = 9;
|
|
}
|
|
else {
|
|
PyErr_SetString(PyExc_OverflowError,
|
|
"cannot serialize a bytes object larger than 4 GiB");
|
|
return -1; /* string too large */
|
|
}
|
|
|
|
if (_Pickler_Write(self, header, len) < 0)
|
|
return -1;
|
|
|
|
if (_Pickler_Write(self, PyBytes_AS_STRING(obj), size) < 0)
|
|
return -1;
|
|
|
|
if (memo_put(self, obj) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
}
|
|
|
|
/* A copy of PyUnicode_EncodeRawUnicodeEscape() that also translates
|
|
backslash and newline characters to \uXXXX escapes. */
|
|
static PyObject *
|
|
raw_unicode_escape(PyObject *obj)
|
|
{
|
|
PyObject *repr;
|
|
char *p;
|
|
Py_ssize_t i, size;
|
|
size_t expandsize;
|
|
void *data;
|
|
unsigned int kind;
|
|
|
|
if (PyUnicode_READY(obj))
|
|
return NULL;
|
|
|
|
size = PyUnicode_GET_LENGTH(obj);
|
|
data = PyUnicode_DATA(obj);
|
|
kind = PyUnicode_KIND(obj);
|
|
if (kind == PyUnicode_4BYTE_KIND)
|
|
expandsize = 10;
|
|
else
|
|
expandsize = 6;
|
|
|
|
if ((size_t)size > (size_t)PY_SSIZE_T_MAX / expandsize)
|
|
return PyErr_NoMemory();
|
|
repr = PyBytes_FromStringAndSize(NULL, expandsize * size);
|
|
if (repr == NULL)
|
|
return NULL;
|
|
if (size == 0)
|
|
return repr;
|
|
assert(Py_REFCNT(repr) == 1);
|
|
|
|
p = PyBytes_AS_STRING(repr);
|
|
for (i=0; i < size; i++) {
|
|
Py_UCS4 ch = PyUnicode_READ(kind, data, i);
|
|
/* Map 32-bit characters to '\Uxxxxxxxx' */
|
|
if (ch >= 0x10000) {
|
|
*p++ = '\\';
|
|
*p++ = 'U';
|
|
*p++ = Py_hexdigits[(ch >> 28) & 0xf];
|
|
*p++ = Py_hexdigits[(ch >> 24) & 0xf];
|
|
*p++ = Py_hexdigits[(ch >> 20) & 0xf];
|
|
*p++ = Py_hexdigits[(ch >> 16) & 0xf];
|
|
*p++ = Py_hexdigits[(ch >> 12) & 0xf];
|
|
*p++ = Py_hexdigits[(ch >> 8) & 0xf];
|
|
*p++ = Py_hexdigits[(ch >> 4) & 0xf];
|
|
*p++ = Py_hexdigits[ch & 15];
|
|
}
|
|
/* Map 16-bit characters to '\uxxxx' */
|
|
else if (ch >= 256 || ch == '\\' || ch == '\n') {
|
|
*p++ = '\\';
|
|
*p++ = 'u';
|
|
*p++ = Py_hexdigits[(ch >> 12) & 0xf];
|
|
*p++ = Py_hexdigits[(ch >> 8) & 0xf];
|
|
*p++ = Py_hexdigits[(ch >> 4) & 0xf];
|
|
*p++ = Py_hexdigits[ch & 15];
|
|
}
|
|
/* Copy everything else as-is */
|
|
else
|
|
*p++ = (char) ch;
|
|
}
|
|
size = p - PyBytes_AS_STRING(repr);
|
|
if (_PyBytes_Resize(&repr, size) < 0)
|
|
return NULL;
|
|
return repr;
|
|
}
|
|
|
|
static int
|
|
write_utf8(PicklerObject *self, char *data, Py_ssize_t size)
|
|
{
|
|
char header[9];
|
|
Py_ssize_t len;
|
|
|
|
assert(size >= 0);
|
|
if (size <= 0xff && self->proto >= 4) {
|
|
header[0] = SHORT_BINUNICODE;
|
|
header[1] = (unsigned char)(size & 0xff);
|
|
len = 2;
|
|
}
|
|
else if ((size_t)size <= 0xffffffffUL) {
|
|
header[0] = BINUNICODE;
|
|
header[1] = (unsigned char)(size & 0xff);
|
|
header[2] = (unsigned char)((size >> 8) & 0xff);
|
|
header[3] = (unsigned char)((size >> 16) & 0xff);
|
|
header[4] = (unsigned char)((size >> 24) & 0xff);
|
|
len = 5;
|
|
}
|
|
else if (self->proto >= 4) {
|
|
header[0] = BINUNICODE8;
|
|
_write_size64(header + 1, size);
|
|
len = 9;
|
|
}
|
|
else {
|
|
PyErr_SetString(PyExc_OverflowError,
|
|
"cannot serialize a string larger than 4GiB");
|
|
return -1;
|
|
}
|
|
|
|
if (_Pickler_Write(self, header, len) < 0)
|
|
return -1;
|
|
if (_Pickler_Write(self, data, size) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
write_unicode_binary(PicklerObject *self, PyObject *obj)
|
|
{
|
|
PyObject *encoded = NULL;
|
|
Py_ssize_t size;
|
|
char *data;
|
|
int r;
|
|
|
|
if (PyUnicode_READY(obj))
|
|
return -1;
|
|
|
|
data = PyUnicode_AsUTF8AndSize(obj, &size);
|
|
if (data != NULL)
|
|
return write_utf8(self, data, size);
|
|
|
|
/* Issue #8383: for strings with lone surrogates, fallback on the
|
|
"surrogatepass" error handler. */
|
|
PyErr_Clear();
|
|
encoded = PyUnicode_AsEncodedString(obj, "utf-8", "surrogatepass");
|
|
if (encoded == NULL)
|
|
return -1;
|
|
|
|
r = write_utf8(self, PyBytes_AS_STRING(encoded),
|
|
PyBytes_GET_SIZE(encoded));
|
|
Py_DECREF(encoded);
|
|
return r;
|
|
}
|
|
|
|
static int
|
|
save_unicode(PicklerObject *self, PyObject *obj)
|
|
{
|
|
if (self->bin) {
|
|
if (write_unicode_binary(self, obj) < 0)
|
|
return -1;
|
|
}
|
|
else {
|
|
PyObject *encoded;
|
|
Py_ssize_t size;
|
|
const char unicode_op = UNICODE;
|
|
|
|
encoded = raw_unicode_escape(obj);
|
|
if (encoded == NULL)
|
|
return -1;
|
|
|
|
if (_Pickler_Write(self, &unicode_op, 1) < 0) {
|
|
Py_DECREF(encoded);
|
|
return -1;
|
|
}
|
|
|
|
size = PyBytes_GET_SIZE(encoded);
|
|
if (_Pickler_Write(self, PyBytes_AS_STRING(encoded), size) < 0) {
|
|
Py_DECREF(encoded);
|
|
return -1;
|
|
}
|
|
Py_DECREF(encoded);
|
|
|
|
if (_Pickler_Write(self, "\n", 1) < 0)
|
|
return -1;
|
|
}
|
|
if (memo_put(self, obj) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* A helper for save_tuple. Push the len elements in tuple t on the stack. */
|
|
static int
|
|
store_tuple_elements(PicklerObject *self, PyObject *t, Py_ssize_t len)
|
|
{
|
|
Py_ssize_t i;
|
|
|
|
assert(PyTuple_Size(t) == len);
|
|
|
|
for (i = 0; i < len; i++) {
|
|
PyObject *element = PyTuple_GET_ITEM(t, i);
|
|
|
|
if (element == NULL)
|
|
return -1;
|
|
if (save(self, element, 0) < 0)
|
|
return -1;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* Tuples are ubiquitous in the pickle protocols, so many techniques are
|
|
* used across protocols to minimize the space needed to pickle them.
|
|
* Tuples are also the only builtin immutable type that can be recursive
|
|
* (a tuple can be reached from itself), and that requires some subtle
|
|
* magic so that it works in all cases. IOW, this is a long routine.
|
|
*/
|
|
static int
|
|
save_tuple(PicklerObject *self, PyObject *obj)
|
|
{
|
|
Py_ssize_t len, i;
|
|
|
|
const char mark_op = MARK;
|
|
const char tuple_op = TUPLE;
|
|
const char pop_op = POP;
|
|
const char pop_mark_op = POP_MARK;
|
|
const char len2opcode[] = {EMPTY_TUPLE, TUPLE1, TUPLE2, TUPLE3};
|
|
|
|
if ((len = PyTuple_Size(obj)) < 0)
|
|
return -1;
|
|
|
|
if (len == 0) {
|
|
char pdata[2];
|
|
|
|
if (self->proto) {
|
|
pdata[0] = EMPTY_TUPLE;
|
|
len = 1;
|
|
}
|
|
else {
|
|
pdata[0] = MARK;
|
|
pdata[1] = TUPLE;
|
|
len = 2;
|
|
}
|
|
if (_Pickler_Write(self, pdata, len) < 0)
|
|
return -1;
|
|
return 0;
|
|
}
|
|
|
|
/* The tuple isn't in the memo now. If it shows up there after
|
|
* saving the tuple elements, the tuple must be recursive, in
|
|
* which case we'll pop everything we put on the stack, and fetch
|
|
* its value from the memo.
|
|
*/
|
|
if (len <= 3 && self->proto >= 2) {
|
|
/* Use TUPLE{1,2,3} opcodes. */
|
|
if (store_tuple_elements(self, obj, len) < 0)
|
|
return -1;
|
|
|
|
if (PyMemoTable_Get(self->memo, obj)) {
|
|
/* pop the len elements */
|
|
for (i = 0; i < len; i++)
|
|
if (_Pickler_Write(self, &pop_op, 1) < 0)
|
|
return -1;
|
|
/* fetch from memo */
|
|
if (memo_get(self, obj) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
else { /* Not recursive. */
|
|
if (_Pickler_Write(self, len2opcode + len, 1) < 0)
|
|
return -1;
|
|
}
|
|
goto memoize;
|
|
}
|
|
|
|
/* proto < 2 and len > 0, or proto >= 2 and len > 3.
|
|
* Generate MARK e1 e2 ... TUPLE
|
|
*/
|
|
if (_Pickler_Write(self, &mark_op, 1) < 0)
|
|
return -1;
|
|
|
|
if (store_tuple_elements(self, obj, len) < 0)
|
|
return -1;
|
|
|
|
if (PyMemoTable_Get(self->memo, obj)) {
|
|
/* pop the stack stuff we pushed */
|
|
if (self->bin) {
|
|
if (_Pickler_Write(self, &pop_mark_op, 1) < 0)
|
|
return -1;
|
|
}
|
|
else {
|
|
/* Note that we pop one more than len, to remove
|
|
* the MARK too.
|
|
*/
|
|
for (i = 0; i <= len; i++)
|
|
if (_Pickler_Write(self, &pop_op, 1) < 0)
|
|
return -1;
|
|
}
|
|
/* fetch from memo */
|
|
if (memo_get(self, obj) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
else { /* Not recursive. */
|
|
if (_Pickler_Write(self, &tuple_op, 1) < 0)
|
|
return -1;
|
|
}
|
|
|
|
memoize:
|
|
if (memo_put(self, obj) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
|
|
/* iter is an iterator giving items, and we batch up chunks of
|
|
* MARK item item ... item APPENDS
|
|
* opcode sequences. Calling code should have arranged to first create an
|
|
* empty list, or list-like object, for the APPENDS to operate on.
|
|
* Returns 0 on success, <0 on error.
|
|
*/
|
|
static int
|
|
batch_list(PicklerObject *self, PyObject *iter)
|
|
{
|
|
PyObject *obj = NULL;
|
|
PyObject *firstitem = NULL;
|
|
int i, n;
|
|
|
|
const char mark_op = MARK;
|
|
const char append_op = APPEND;
|
|
const char appends_op = APPENDS;
|
|
|
|
assert(iter != NULL);
|
|
|
|
/* XXX: I think this function could be made faster by avoiding the
|
|
iterator interface and fetching objects directly from list using
|
|
PyList_GET_ITEM.
|
|
*/
|
|
|
|
if (self->proto == 0) {
|
|
/* APPENDS isn't available; do one at a time. */
|
|
for (;;) {
|
|
obj = PyIter_Next(iter);
|
|
if (obj == NULL) {
|
|
if (PyErr_Occurred())
|
|
return -1;
|
|
break;
|
|
}
|
|
i = save(self, obj, 0);
|
|
Py_DECREF(obj);
|
|
if (i < 0)
|
|
return -1;
|
|
if (_Pickler_Write(self, &append_op, 1) < 0)
|
|
return -1;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
/* proto > 0: write in batches of BATCHSIZE. */
|
|
do {
|
|
/* Get first item */
|
|
firstitem = PyIter_Next(iter);
|
|
if (firstitem == NULL) {
|
|
if (PyErr_Occurred())
|
|
goto error;
|
|
|
|
/* nothing more to add */
|
|
break;
|
|
}
|
|
|
|
/* Try to get a second item */
|
|
obj = PyIter_Next(iter);
|
|
if (obj == NULL) {
|
|
if (PyErr_Occurred())
|
|
goto error;
|
|
|
|
/* Only one item to write */
|
|
if (save(self, firstitem, 0) < 0)
|
|
goto error;
|
|
if (_Pickler_Write(self, &append_op, 1) < 0)
|
|
goto error;
|
|
Py_CLEAR(firstitem);
|
|
break;
|
|
}
|
|
|
|
/* More than one item to write */
|
|
|
|
/* Pump out MARK, items, APPENDS. */
|
|
if (_Pickler_Write(self, &mark_op, 1) < 0)
|
|
goto error;
|
|
|
|
if (save(self, firstitem, 0) < 0)
|
|
goto error;
|
|
Py_CLEAR(firstitem);
|
|
n = 1;
|
|
|
|
/* Fetch and save up to BATCHSIZE items */
|
|
while (obj) {
|
|
if (save(self, obj, 0) < 0)
|
|
goto error;
|
|
Py_CLEAR(obj);
|
|
n += 1;
|
|
|
|
if (n == BATCHSIZE)
|
|
break;
|
|
|
|
obj = PyIter_Next(iter);
|
|
if (obj == NULL) {
|
|
if (PyErr_Occurred())
|
|
goto error;
|
|
break;
|
|
}
|
|
}
|
|
|
|
if (_Pickler_Write(self, &appends_op, 1) < 0)
|
|
goto error;
|
|
|
|
} while (n == BATCHSIZE);
|
|
return 0;
|
|
|
|
error:
|
|
Py_XDECREF(firstitem);
|
|
Py_XDECREF(obj);
|
|
return -1;
|
|
}
|
|
|
|
/* This is a variant of batch_list() above, specialized for lists (with no
|
|
* support for list subclasses). Like batch_list(), we batch up chunks of
|
|
* MARK item item ... item APPENDS
|
|
* opcode sequences. Calling code should have arranged to first create an
|
|
* empty list, or list-like object, for the APPENDS to operate on.
|
|
* Returns 0 on success, -1 on error.
|
|
*
|
|
* This version is considerably faster than batch_list(), if less general.
|
|
*
|
|
* Note that this only works for protocols > 0.
|
|
*/
|
|
static int
|
|
batch_list_exact(PicklerObject *self, PyObject *obj)
|
|
{
|
|
PyObject *item = NULL;
|
|
Py_ssize_t this_batch, total;
|
|
|
|
const char append_op = APPEND;
|
|
const char appends_op = APPENDS;
|
|
const char mark_op = MARK;
|
|
|
|
assert(obj != NULL);
|
|
assert(self->proto > 0);
|
|
assert(PyList_CheckExact(obj));
|
|
|
|
if (PyList_GET_SIZE(obj) == 1) {
|
|
item = PyList_GET_ITEM(obj, 0);
|
|
if (save(self, item, 0) < 0)
|
|
return -1;
|
|
if (_Pickler_Write(self, &append_op, 1) < 0)
|
|
return -1;
|
|
return 0;
|
|
}
|
|
|
|
/* Write in batches of BATCHSIZE. */
|
|
total = 0;
|
|
do {
|
|
this_batch = 0;
|
|
if (_Pickler_Write(self, &mark_op, 1) < 0)
|
|
return -1;
|
|
while (total < PyList_GET_SIZE(obj)) {
|
|
item = PyList_GET_ITEM(obj, total);
|
|
if (save(self, item, 0) < 0)
|
|
return -1;
|
|
total++;
|
|
if (++this_batch == BATCHSIZE)
|
|
break;
|
|
}
|
|
if (_Pickler_Write(self, &appends_op, 1) < 0)
|
|
return -1;
|
|
|
|
} while (total < PyList_GET_SIZE(obj));
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
save_list(PicklerObject *self, PyObject *obj)
|
|
{
|
|
char header[3];
|
|
Py_ssize_t len;
|
|
int status = 0;
|
|
|
|
if (self->fast && !fast_save_enter(self, obj))
|
|
goto error;
|
|
|
|
/* Create an empty list. */
|
|
if (self->bin) {
|
|
header[0] = EMPTY_LIST;
|
|
len = 1;
|
|
}
|
|
else {
|
|
header[0] = MARK;
|
|
header[1] = LIST;
|
|
len = 2;
|
|
}
|
|
|
|
if (_Pickler_Write(self, header, len) < 0)
|
|
goto error;
|
|
|
|
/* Get list length, and bow out early if empty. */
|
|
if ((len = PyList_Size(obj)) < 0)
|
|
goto error;
|
|
|
|
if (memo_put(self, obj) < 0)
|
|
goto error;
|
|
|
|
if (len != 0) {
|
|
/* Materialize the list elements. */
|
|
if (PyList_CheckExact(obj) && self->proto > 0) {
|
|
if (Py_EnterRecursiveCall(" while pickling an object"))
|
|
goto error;
|
|
status = batch_list_exact(self, obj);
|
|
Py_LeaveRecursiveCall();
|
|
} else {
|
|
PyObject *iter = PyObject_GetIter(obj);
|
|
if (iter == NULL)
|
|
goto error;
|
|
|
|
if (Py_EnterRecursiveCall(" while pickling an object")) {
|
|
Py_DECREF(iter);
|
|
goto error;
|
|
}
|
|
status = batch_list(self, iter);
|
|
Py_LeaveRecursiveCall();
|
|
Py_DECREF(iter);
|
|
}
|
|
}
|
|
if (0) {
|
|
error:
|
|
status = -1;
|
|
}
|
|
|
|
if (self->fast && !fast_save_leave(self, obj))
|
|
status = -1;
|
|
|
|
return status;
|
|
}
|
|
|
|
/* iter is an iterator giving (key, value) pairs, and we batch up chunks of
|
|
* MARK key value ... key value SETITEMS
|
|
* opcode sequences. Calling code should have arranged to first create an
|
|
* empty dict, or dict-like object, for the SETITEMS to operate on.
|
|
* Returns 0 on success, <0 on error.
|
|
*
|
|
* This is very much like batch_list(). The difference between saving
|
|
* elements directly, and picking apart two-tuples, is so long-winded at
|
|
* the C level, though, that attempts to combine these routines were too
|
|
* ugly to bear.
|
|
*/
|
|
static int
|
|
batch_dict(PicklerObject *self, PyObject *iter)
|
|
{
|
|
PyObject *obj = NULL;
|
|
PyObject *firstitem = NULL;
|
|
int i, n;
|
|
|
|
const char mark_op = MARK;
|
|
const char setitem_op = SETITEM;
|
|
const char setitems_op = SETITEMS;
|
|
|
|
assert(iter != NULL);
|
|
|
|
if (self->proto == 0) {
|
|
/* SETITEMS isn't available; do one at a time. */
|
|
for (;;) {
|
|
obj = PyIter_Next(iter);
|
|
if (obj == NULL) {
|
|
if (PyErr_Occurred())
|
|
return -1;
|
|
break;
|
|
}
|
|
if (!PyTuple_Check(obj) || PyTuple_Size(obj) != 2) {
|
|
PyErr_SetString(PyExc_TypeError, "dict items "
|
|
"iterator must return 2-tuples");
|
|
return -1;
|
|
}
|
|
i = save(self, PyTuple_GET_ITEM(obj, 0), 0);
|
|
if (i >= 0)
|
|
i = save(self, PyTuple_GET_ITEM(obj, 1), 0);
|
|
Py_DECREF(obj);
|
|
if (i < 0)
|
|
return -1;
|
|
if (_Pickler_Write(self, &setitem_op, 1) < 0)
|
|
return -1;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
/* proto > 0: write in batches of BATCHSIZE. */
|
|
do {
|
|
/* Get first item */
|
|
firstitem = PyIter_Next(iter);
|
|
if (firstitem == NULL) {
|
|
if (PyErr_Occurred())
|
|
goto error;
|
|
|
|
/* nothing more to add */
|
|
break;
|
|
}
|
|
if (!PyTuple_Check(firstitem) || PyTuple_Size(firstitem) != 2) {
|
|
PyErr_SetString(PyExc_TypeError, "dict items "
|
|
"iterator must return 2-tuples");
|
|
goto error;
|
|
}
|
|
|
|
/* Try to get a second item */
|
|
obj = PyIter_Next(iter);
|
|
if (obj == NULL) {
|
|
if (PyErr_Occurred())
|
|
goto error;
|
|
|
|
/* Only one item to write */
|
|
if (save(self, PyTuple_GET_ITEM(firstitem, 0), 0) < 0)
|
|
goto error;
|
|
if (save(self, PyTuple_GET_ITEM(firstitem, 1), 0) < 0)
|
|
goto error;
|
|
if (_Pickler_Write(self, &setitem_op, 1) < 0)
|
|
goto error;
|
|
Py_CLEAR(firstitem);
|
|
break;
|
|
}
|
|
|
|
/* More than one item to write */
|
|
|
|
/* Pump out MARK, items, SETITEMS. */
|
|
if (_Pickler_Write(self, &mark_op, 1) < 0)
|
|
goto error;
|
|
|
|
if (save(self, PyTuple_GET_ITEM(firstitem, 0), 0) < 0)
|
|
goto error;
|
|
if (save(self, PyTuple_GET_ITEM(firstitem, 1), 0) < 0)
|
|
goto error;
|
|
Py_CLEAR(firstitem);
|
|
n = 1;
|
|
|
|
/* Fetch and save up to BATCHSIZE items */
|
|
while (obj) {
|
|
if (!PyTuple_Check(obj) || PyTuple_Size(obj) != 2) {
|
|
PyErr_SetString(PyExc_TypeError, "dict items "
|
|
"iterator must return 2-tuples");
|
|
goto error;
|
|
}
|
|
if (save(self, PyTuple_GET_ITEM(obj, 0), 0) < 0 ||
|
|
save(self, PyTuple_GET_ITEM(obj, 1), 0) < 0)
|
|
goto error;
|
|
Py_CLEAR(obj);
|
|
n += 1;
|
|
|
|
if (n == BATCHSIZE)
|
|
break;
|
|
|
|
obj = PyIter_Next(iter);
|
|
if (obj == NULL) {
|
|
if (PyErr_Occurred())
|
|
goto error;
|
|
break;
|
|
}
|
|
}
|
|
|
|
if (_Pickler_Write(self, &setitems_op, 1) < 0)
|
|
goto error;
|
|
|
|
} while (n == BATCHSIZE);
|
|
return 0;
|
|
|
|
error:
|
|
Py_XDECREF(firstitem);
|
|
Py_XDECREF(obj);
|
|
return -1;
|
|
}
|
|
|
|
/* This is a variant of batch_dict() above that specializes for dicts, with no
|
|
* support for dict subclasses. Like batch_dict(), we batch up chunks of
|
|
* MARK key value ... key value SETITEMS
|
|
* opcode sequences. Calling code should have arranged to first create an
|
|
* empty dict, or dict-like object, for the SETITEMS to operate on.
|
|
* Returns 0 on success, -1 on error.
|
|
*
|
|
* Note that this currently doesn't work for protocol 0.
|
|
*/
|
|
static int
|
|
batch_dict_exact(PicklerObject *self, PyObject *obj)
|
|
{
|
|
PyObject *key = NULL, *value = NULL;
|
|
int i;
|
|
Py_ssize_t dict_size, ppos = 0;
|
|
|
|
const char mark_op = MARK;
|
|
const char setitem_op = SETITEM;
|
|
const char setitems_op = SETITEMS;
|
|
|
|
assert(obj != NULL);
|
|
assert(self->proto > 0);
|
|
|
|
dict_size = PyDict_Size(obj);
|
|
|
|
/* Special-case len(d) == 1 to save space. */
|
|
if (dict_size == 1) {
|
|
PyDict_Next(obj, &ppos, &key, &value);
|
|
if (save(self, key, 0) < 0)
|
|
return -1;
|
|
if (save(self, value, 0) < 0)
|
|
return -1;
|
|
if (_Pickler_Write(self, &setitem_op, 1) < 0)
|
|
return -1;
|
|
return 0;
|
|
}
|
|
|
|
/* Write in batches of BATCHSIZE. */
|
|
do {
|
|
i = 0;
|
|
if (_Pickler_Write(self, &mark_op, 1) < 0)
|
|
return -1;
|
|
while (PyDict_Next(obj, &ppos, &key, &value)) {
|
|
if (save(self, key, 0) < 0)
|
|
return -1;
|
|
if (save(self, value, 0) < 0)
|
|
return -1;
|
|
if (++i == BATCHSIZE)
|
|
break;
|
|
}
|
|
if (_Pickler_Write(self, &setitems_op, 1) < 0)
|
|
return -1;
|
|
if (PyDict_Size(obj) != dict_size) {
|
|
PyErr_Format(
|
|
PyExc_RuntimeError,
|
|
"dictionary changed size during iteration");
|
|
return -1;
|
|
}
|
|
|
|
} while (i == BATCHSIZE);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
save_dict(PicklerObject *self, PyObject *obj)
|
|
{
|
|
PyObject *items, *iter;
|
|
char header[3];
|
|
Py_ssize_t len;
|
|
int status = 0;
|
|
|
|
if (self->fast && !fast_save_enter(self, obj))
|
|
goto error;
|
|
|
|
/* Create an empty dict. */
|
|
if (self->bin) {
|
|
header[0] = EMPTY_DICT;
|
|
len = 1;
|
|
}
|
|
else {
|
|
header[0] = MARK;
|
|
header[1] = DICT;
|
|
len = 2;
|
|
}
|
|
|
|
if (_Pickler_Write(self, header, len) < 0)
|
|
goto error;
|
|
|
|
/* Get dict size, and bow out early if empty. */
|
|
if ((len = PyDict_Size(obj)) < 0)
|
|
goto error;
|
|
|
|
if (memo_put(self, obj) < 0)
|
|
goto error;
|
|
|
|
if (len != 0) {
|
|
/* Save the dict items. */
|
|
if (PyDict_CheckExact(obj) && self->proto > 0) {
|
|
/* We can take certain shortcuts if we know this is a dict and
|
|
not a dict subclass. */
|
|
if (Py_EnterRecursiveCall(" while pickling an object"))
|
|
goto error;
|
|
status = batch_dict_exact(self, obj);
|
|
Py_LeaveRecursiveCall();
|
|
} else {
|
|
_Py_IDENTIFIER(items);
|
|
|
|
items = _PyObject_CallMethodId(obj, &PyId_items, "()");
|
|
if (items == NULL)
|
|
goto error;
|
|
iter = PyObject_GetIter(items);
|
|
Py_DECREF(items);
|
|
if (iter == NULL)
|
|
goto error;
|
|
if (Py_EnterRecursiveCall(" while pickling an object")) {
|
|
Py_DECREF(iter);
|
|
goto error;
|
|
}
|
|
status = batch_dict(self, iter);
|
|
Py_LeaveRecursiveCall();
|
|
Py_DECREF(iter);
|
|
}
|
|
}
|
|
|
|
if (0) {
|
|
error:
|
|
status = -1;
|
|
}
|
|
|
|
if (self->fast && !fast_save_leave(self, obj))
|
|
status = -1;
|
|
|
|
return status;
|
|
}
|
|
|
|
static int
|
|
save_set(PicklerObject *self, PyObject *obj)
|
|
{
|
|
PyObject *item;
|
|
int i;
|
|
Py_ssize_t set_size, ppos = 0;
|
|
Py_hash_t hash;
|
|
|
|
const char empty_set_op = EMPTY_SET;
|
|
const char mark_op = MARK;
|
|
const char additems_op = ADDITEMS;
|
|
|
|
if (self->proto < 4) {
|
|
PyObject *items;
|
|
PyObject *reduce_value;
|
|
int status;
|
|
|
|
items = PySequence_List(obj);
|
|
if (items == NULL) {
|
|
return -1;
|
|
}
|
|
reduce_value = Py_BuildValue("(O(O))", (PyObject*)&PySet_Type, items);
|
|
Py_DECREF(items);
|
|
if (reduce_value == NULL) {
|
|
return -1;
|
|
}
|
|
/* save_reduce() will memoize the object automatically. */
|
|
status = save_reduce(self, reduce_value, obj);
|
|
Py_DECREF(reduce_value);
|
|
return status;
|
|
}
|
|
|
|
if (_Pickler_Write(self, &empty_set_op, 1) < 0)
|
|
return -1;
|
|
|
|
if (memo_put(self, obj) < 0)
|
|
return -1;
|
|
|
|
set_size = PySet_GET_SIZE(obj);
|
|
if (set_size == 0)
|
|
return 0; /* nothing to do */
|
|
|
|
/* Write in batches of BATCHSIZE. */
|
|
do {
|
|
i = 0;
|
|
if (_Pickler_Write(self, &mark_op, 1) < 0)
|
|
return -1;
|
|
while (_PySet_NextEntry(obj, &ppos, &item, &hash)) {
|
|
if (save(self, item, 0) < 0)
|
|
return -1;
|
|
if (++i == BATCHSIZE)
|
|
break;
|
|
}
|
|
if (_Pickler_Write(self, &additems_op, 1) < 0)
|
|
return -1;
|
|
if (PySet_GET_SIZE(obj) != set_size) {
|
|
PyErr_Format(
|
|
PyExc_RuntimeError,
|
|
"set changed size during iteration");
|
|
return -1;
|
|
}
|
|
} while (i == BATCHSIZE);
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
save_frozenset(PicklerObject *self, PyObject *obj)
|
|
{
|
|
PyObject *iter;
|
|
|
|
const char mark_op = MARK;
|
|
const char frozenset_op = FROZENSET;
|
|
|
|
if (self->fast && !fast_save_enter(self, obj))
|
|
return -1;
|
|
|
|
if (self->proto < 4) {
|
|
PyObject *items;
|
|
PyObject *reduce_value;
|
|
int status;
|
|
|
|
items = PySequence_List(obj);
|
|
if (items == NULL) {
|
|
return -1;
|
|
}
|
|
reduce_value = Py_BuildValue("(O(O))", (PyObject*)&PyFrozenSet_Type,
|
|
items);
|
|
Py_DECREF(items);
|
|
if (reduce_value == NULL) {
|
|
return -1;
|
|
}
|
|
/* save_reduce() will memoize the object automatically. */
|
|
status = save_reduce(self, reduce_value, obj);
|
|
Py_DECREF(reduce_value);
|
|
return status;
|
|
}
|
|
|
|
if (_Pickler_Write(self, &mark_op, 1) < 0)
|
|
return -1;
|
|
|
|
iter = PyObject_GetIter(obj);
|
|
if (iter == NULL) {
|
|
return -1;
|
|
}
|
|
for (;;) {
|
|
PyObject *item;
|
|
|
|
item = PyIter_Next(iter);
|
|
if (item == NULL) {
|
|
if (PyErr_Occurred()) {
|
|
Py_DECREF(iter);
|
|
return -1;
|
|
}
|
|
break;
|
|
}
|
|
if (save(self, item, 0) < 0) {
|
|
Py_DECREF(item);
|
|
Py_DECREF(iter);
|
|
return -1;
|
|
}
|
|
Py_DECREF(item);
|
|
}
|
|
Py_DECREF(iter);
|
|
|
|
/* If the object is already in the memo, this means it is
|
|
recursive. In this case, throw away everything we put on the
|
|
stack, and fetch the object back from the memo. */
|
|
if (PyMemoTable_Get(self->memo, obj)) {
|
|
const char pop_mark_op = POP_MARK;
|
|
|
|
if (_Pickler_Write(self, &pop_mark_op, 1) < 0)
|
|
return -1;
|
|
if (memo_get(self, obj) < 0)
|
|
return -1;
|
|
return 0;
|
|
}
|
|
|
|
if (_Pickler_Write(self, &frozenset_op, 1) < 0)
|
|
return -1;
|
|
if (memo_put(self, obj) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
fix_imports(PyObject **module_name, PyObject **global_name)
|
|
{
|
|
PyObject *key;
|
|
PyObject *item;
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
|
|
key = PyTuple_Pack(2, *module_name, *global_name);
|
|
if (key == NULL)
|
|
return -1;
|
|
item = PyDict_GetItemWithError(st->name_mapping_3to2, key);
|
|
Py_DECREF(key);
|
|
if (item) {
|
|
PyObject *fixed_module_name;
|
|
PyObject *fixed_global_name;
|
|
|
|
if (!PyTuple_Check(item) || PyTuple_GET_SIZE(item) != 2) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"_compat_pickle.REVERSE_NAME_MAPPING values "
|
|
"should be 2-tuples, not %.200s",
|
|
Py_TYPE(item)->tp_name);
|
|
return -1;
|
|
}
|
|
fixed_module_name = PyTuple_GET_ITEM(item, 0);
|
|
fixed_global_name = PyTuple_GET_ITEM(item, 1);
|
|
if (!PyUnicode_Check(fixed_module_name) ||
|
|
!PyUnicode_Check(fixed_global_name)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"_compat_pickle.REVERSE_NAME_MAPPING values "
|
|
"should be pairs of str, not (%.200s, %.200s)",
|
|
Py_TYPE(fixed_module_name)->tp_name,
|
|
Py_TYPE(fixed_global_name)->tp_name);
|
|
return -1;
|
|
}
|
|
|
|
Py_CLEAR(*module_name);
|
|
Py_CLEAR(*global_name);
|
|
Py_INCREF(fixed_module_name);
|
|
Py_INCREF(fixed_global_name);
|
|
*module_name = fixed_module_name;
|
|
*global_name = fixed_global_name;
|
|
}
|
|
else if (PyErr_Occurred()) {
|
|
return -1;
|
|
}
|
|
|
|
item = PyDict_GetItemWithError(st->import_mapping_3to2, *module_name);
|
|
if (item) {
|
|
if (!PyUnicode_Check(item)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"_compat_pickle.REVERSE_IMPORT_MAPPING values "
|
|
"should be strings, not %.200s",
|
|
Py_TYPE(item)->tp_name);
|
|
return -1;
|
|
}
|
|
Py_CLEAR(*module_name);
|
|
Py_INCREF(item);
|
|
*module_name = item;
|
|
}
|
|
else if (PyErr_Occurred()) {
|
|
return -1;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
save_global(PicklerObject *self, PyObject *obj, PyObject *name)
|
|
{
|
|
PyObject *global_name = NULL;
|
|
PyObject *module_name = NULL;
|
|
PyObject *module = NULL;
|
|
PyObject *cls;
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
int status = 0;
|
|
_Py_IDENTIFIER(__name__);
|
|
_Py_IDENTIFIER(__qualname__);
|
|
|
|
const char global_op = GLOBAL;
|
|
|
|
if (name) {
|
|
Py_INCREF(name);
|
|
global_name = name;
|
|
}
|
|
else {
|
|
if (self->proto >= 4) {
|
|
global_name = _PyObject_GetAttrId(obj, &PyId___qualname__);
|
|
if (global_name == NULL) {
|
|
if (!PyErr_ExceptionMatches(PyExc_AttributeError))
|
|
goto error;
|
|
PyErr_Clear();
|
|
}
|
|
}
|
|
if (global_name == NULL) {
|
|
global_name = _PyObject_GetAttrId(obj, &PyId___name__);
|
|
if (global_name == NULL)
|
|
goto error;
|
|
}
|
|
}
|
|
|
|
module_name = whichmodule(obj, global_name, self->proto >= 4);
|
|
if (module_name == NULL)
|
|
goto error;
|
|
|
|
/* XXX: Change to use the import C API directly with level=0 to disallow
|
|
relative imports.
|
|
|
|
XXX: PyImport_ImportModuleLevel could be used. However, this bypasses
|
|
builtins.__import__. Therefore, _pickle, unlike pickle.py, will ignore
|
|
custom import functions (IMHO, this would be a nice security
|
|
feature). The import C API would need to be extended to support the
|
|
extra parameters of __import__ to fix that. */
|
|
module = PyImport_Import(module_name);
|
|
if (module == NULL) {
|
|
PyErr_Format(st->PicklingError,
|
|
"Can't pickle %R: import of module %R failed",
|
|
obj, module_name);
|
|
goto error;
|
|
}
|
|
cls = getattribute(module, global_name, self->proto >= 4);
|
|
if (cls == NULL) {
|
|
PyErr_Format(st->PicklingError,
|
|
"Can't pickle %R: attribute lookup %S on %S failed",
|
|
obj, global_name, module_name);
|
|
goto error;
|
|
}
|
|
if (cls != obj) {
|
|
Py_DECREF(cls);
|
|
PyErr_Format(st->PicklingError,
|
|
"Can't pickle %R: it's not the same object as %S.%S",
|
|
obj, module_name, global_name);
|
|
goto error;
|
|
}
|
|
Py_DECREF(cls);
|
|
|
|
if (self->proto >= 2) {
|
|
/* See whether this is in the extension registry, and if
|
|
* so generate an EXT opcode.
|
|
*/
|
|
PyObject *extension_key;
|
|
PyObject *code_obj; /* extension code as Python object */
|
|
long code; /* extension code as C value */
|
|
char pdata[5];
|
|
Py_ssize_t n;
|
|
|
|
extension_key = PyTuple_Pack(2, module_name, global_name);
|
|
if (extension_key == NULL) {
|
|
goto error;
|
|
}
|
|
code_obj = PyDict_GetItemWithError(st->extension_registry,
|
|
extension_key);
|
|
Py_DECREF(extension_key);
|
|
/* The object is not registered in the extension registry.
|
|
This is the most likely code path. */
|
|
if (code_obj == NULL) {
|
|
if (PyErr_Occurred()) {
|
|
goto error;
|
|
}
|
|
goto gen_global;
|
|
}
|
|
|
|
/* XXX: pickle.py doesn't check neither the type, nor the range
|
|
of the value returned by the extension_registry. It should for
|
|
consistency. */
|
|
|
|
/* Verify code_obj has the right type and value. */
|
|
if (!PyLong_Check(code_obj)) {
|
|
PyErr_Format(st->PicklingError,
|
|
"Can't pickle %R: extension code %R isn't an integer",
|
|
obj, code_obj);
|
|
goto error;
|
|
}
|
|
code = PyLong_AS_LONG(code_obj);
|
|
if (code <= 0 || code > 0x7fffffffL) {
|
|
if (!PyErr_Occurred())
|
|
PyErr_Format(st->PicklingError, "Can't pickle %R: extension "
|
|
"code %ld is out of range", obj, code);
|
|
goto error;
|
|
}
|
|
|
|
/* Generate an EXT opcode. */
|
|
if (code <= 0xff) {
|
|
pdata[0] = EXT1;
|
|
pdata[1] = (unsigned char)code;
|
|
n = 2;
|
|
}
|
|
else if (code <= 0xffff) {
|
|
pdata[0] = EXT2;
|
|
pdata[1] = (unsigned char)(code & 0xff);
|
|
pdata[2] = (unsigned char)((code >> 8) & 0xff);
|
|
n = 3;
|
|
}
|
|
else {
|
|
pdata[0] = EXT4;
|
|
pdata[1] = (unsigned char)(code & 0xff);
|
|
pdata[2] = (unsigned char)((code >> 8) & 0xff);
|
|
pdata[3] = (unsigned char)((code >> 16) & 0xff);
|
|
pdata[4] = (unsigned char)((code >> 24) & 0xff);
|
|
n = 5;
|
|
}
|
|
|
|
if (_Pickler_Write(self, pdata, n) < 0)
|
|
goto error;
|
|
}
|
|
else {
|
|
gen_global:
|
|
if (self->proto >= 4) {
|
|
const char stack_global_op = STACK_GLOBAL;
|
|
|
|
if (save(self, module_name, 0) < 0)
|
|
goto error;
|
|
if (save(self, global_name, 0) < 0)
|
|
goto error;
|
|
|
|
if (_Pickler_Write(self, &stack_global_op, 1) < 0)
|
|
goto error;
|
|
}
|
|
else {
|
|
/* Generate a normal global opcode if we are using a pickle
|
|
protocol < 4, or if the object is not registered in the
|
|
extension registry. */
|
|
PyObject *encoded;
|
|
PyObject *(*unicode_encoder)(PyObject *);
|
|
|
|
if (_Pickler_Write(self, &global_op, 1) < 0)
|
|
goto error;
|
|
|
|
/* For protocol < 3 and if the user didn't request against doing
|
|
so, we convert module names to the old 2.x module names. */
|
|
if (self->proto < 3 && self->fix_imports) {
|
|
if (fix_imports(&module_name, &global_name) < 0) {
|
|
goto error;
|
|
}
|
|
}
|
|
|
|
/* Since Python 3.0 now supports non-ASCII identifiers, we encode
|
|
both the module name and the global name using UTF-8. We do so
|
|
only when we are using the pickle protocol newer than version
|
|
3. This is to ensure compatibility with older Unpickler running
|
|
on Python 2.x. */
|
|
if (self->proto == 3) {
|
|
unicode_encoder = PyUnicode_AsUTF8String;
|
|
}
|
|
else {
|
|
unicode_encoder = PyUnicode_AsASCIIString;
|
|
}
|
|
encoded = unicode_encoder(module_name);
|
|
if (encoded == NULL) {
|
|
if (PyErr_ExceptionMatches(PyExc_UnicodeEncodeError))
|
|
PyErr_Format(st->PicklingError,
|
|
"can't pickle module identifier '%S' using "
|
|
"pickle protocol %i",
|
|
module_name, self->proto);
|
|
goto error;
|
|
}
|
|
if (_Pickler_Write(self, PyBytes_AS_STRING(encoded),
|
|
PyBytes_GET_SIZE(encoded)) < 0) {
|
|
Py_DECREF(encoded);
|
|
goto error;
|
|
}
|
|
Py_DECREF(encoded);
|
|
if(_Pickler_Write(self, "\n", 1) < 0)
|
|
goto error;
|
|
|
|
/* Save the name of the module. */
|
|
encoded = unicode_encoder(global_name);
|
|
if (encoded == NULL) {
|
|
if (PyErr_ExceptionMatches(PyExc_UnicodeEncodeError))
|
|
PyErr_Format(st->PicklingError,
|
|
"can't pickle global identifier '%S' using "
|
|
"pickle protocol %i",
|
|
global_name, self->proto);
|
|
goto error;
|
|
}
|
|
if (_Pickler_Write(self, PyBytes_AS_STRING(encoded),
|
|
PyBytes_GET_SIZE(encoded)) < 0) {
|
|
Py_DECREF(encoded);
|
|
goto error;
|
|
}
|
|
Py_DECREF(encoded);
|
|
if (_Pickler_Write(self, "\n", 1) < 0)
|
|
goto error;
|
|
}
|
|
/* Memoize the object. */
|
|
if (memo_put(self, obj) < 0)
|
|
goto error;
|
|
}
|
|
|
|
if (0) {
|
|
error:
|
|
status = -1;
|
|
}
|
|
Py_XDECREF(module_name);
|
|
Py_XDECREF(global_name);
|
|
Py_XDECREF(module);
|
|
|
|
return status;
|
|
}
|
|
|
|
static int
|
|
save_singleton_type(PicklerObject *self, PyObject *obj, PyObject *singleton)
|
|
{
|
|
PyObject *reduce_value;
|
|
int status;
|
|
|
|
reduce_value = Py_BuildValue("O(O)", &PyType_Type, singleton);
|
|
if (reduce_value == NULL) {
|
|
return -1;
|
|
}
|
|
status = save_reduce(self, reduce_value, obj);
|
|
Py_DECREF(reduce_value);
|
|
return status;
|
|
}
|
|
|
|
static int
|
|
save_type(PicklerObject *self, PyObject *obj)
|
|
{
|
|
if (obj == (PyObject *)&_PyNone_Type) {
|
|
return save_singleton_type(self, obj, Py_None);
|
|
}
|
|
else if (obj == (PyObject *)&PyEllipsis_Type) {
|
|
return save_singleton_type(self, obj, Py_Ellipsis);
|
|
}
|
|
else if (obj == (PyObject *)&_PyNotImplemented_Type) {
|
|
return save_singleton_type(self, obj, Py_NotImplemented);
|
|
}
|
|
return save_global(self, obj, NULL);
|
|
}
|
|
|
|
static int
|
|
save_pers(PicklerObject *self, PyObject *obj, PyObject *func)
|
|
{
|
|
PyObject *pid = NULL;
|
|
int status = 0;
|
|
|
|
const char persid_op = PERSID;
|
|
const char binpersid_op = BINPERSID;
|
|
|
|
Py_INCREF(obj);
|
|
pid = _Pickle_FastCall(func, obj);
|
|
if (pid == NULL)
|
|
return -1;
|
|
|
|
if (pid != Py_None) {
|
|
if (self->bin) {
|
|
if (save(self, pid, 1) < 0 ||
|
|
_Pickler_Write(self, &binpersid_op, 1) < 0)
|
|
goto error;
|
|
}
|
|
else {
|
|
PyObject *pid_str = NULL;
|
|
char *pid_ascii_bytes;
|
|
Py_ssize_t size;
|
|
|
|
pid_str = PyObject_Str(pid);
|
|
if (pid_str == NULL)
|
|
goto error;
|
|
|
|
/* XXX: Should it check whether the persistent id only contains
|
|
ASCII characters? And what if the pid contains embedded
|
|
newlines? */
|
|
pid_ascii_bytes = _PyUnicode_AsStringAndSize(pid_str, &size);
|
|
Py_DECREF(pid_str);
|
|
if (pid_ascii_bytes == NULL)
|
|
goto error;
|
|
|
|
if (_Pickler_Write(self, &persid_op, 1) < 0 ||
|
|
_Pickler_Write(self, pid_ascii_bytes, size) < 0 ||
|
|
_Pickler_Write(self, "\n", 1) < 0)
|
|
goto error;
|
|
}
|
|
status = 1;
|
|
}
|
|
|
|
if (0) {
|
|
error:
|
|
status = -1;
|
|
}
|
|
Py_XDECREF(pid);
|
|
|
|
return status;
|
|
}
|
|
|
|
static PyObject *
|
|
get_class(PyObject *obj)
|
|
{
|
|
PyObject *cls;
|
|
_Py_IDENTIFIER(__class__);
|
|
|
|
cls = _PyObject_GetAttrId(obj, &PyId___class__);
|
|
if (cls == NULL) {
|
|
if (PyErr_ExceptionMatches(PyExc_AttributeError)) {
|
|
PyErr_Clear();
|
|
cls = (PyObject *) Py_TYPE(obj);
|
|
Py_INCREF(cls);
|
|
}
|
|
}
|
|
return cls;
|
|
}
|
|
|
|
/* We're saving obj, and args is the 2-thru-5 tuple returned by the
|
|
* appropriate __reduce__ method for obj.
|
|
*/
|
|
static int
|
|
save_reduce(PicklerObject *self, PyObject *args, PyObject *obj)
|
|
{
|
|
PyObject *callable;
|
|
PyObject *argtup;
|
|
PyObject *state = NULL;
|
|
PyObject *listitems = Py_None;
|
|
PyObject *dictitems = Py_None;
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
Py_ssize_t size;
|
|
int use_newobj = 0, use_newobj_ex = 0;
|
|
|
|
const char reduce_op = REDUCE;
|
|
const char build_op = BUILD;
|
|
const char newobj_op = NEWOBJ;
|
|
const char newobj_ex_op = NEWOBJ_EX;
|
|
|
|
size = PyTuple_Size(args);
|
|
if (size < 2 || size > 5) {
|
|
PyErr_SetString(st->PicklingError, "tuple returned by "
|
|
"__reduce__ must contain 2 through 5 elements");
|
|
return -1;
|
|
}
|
|
|
|
if (!PyArg_UnpackTuple(args, "save_reduce", 2, 5,
|
|
&callable, &argtup, &state, &listitems, &dictitems))
|
|
return -1;
|
|
|
|
if (!PyCallable_Check(callable)) {
|
|
PyErr_SetString(st->PicklingError, "first item of the tuple "
|
|
"returned by __reduce__ must be callable");
|
|
return -1;
|
|
}
|
|
if (!PyTuple_Check(argtup)) {
|
|
PyErr_SetString(st->PicklingError, "second item of the tuple "
|
|
"returned by __reduce__ must be a tuple");
|
|
return -1;
|
|
}
|
|
|
|
if (state == Py_None)
|
|
state = NULL;
|
|
|
|
if (listitems == Py_None)
|
|
listitems = NULL;
|
|
else if (!PyIter_Check(listitems)) {
|
|
PyErr_Format(st->PicklingError, "fourth element of the tuple "
|
|
"returned by __reduce__ must be an iterator, not %s",
|
|
Py_TYPE(listitems)->tp_name);
|
|
return -1;
|
|
}
|
|
|
|
if (dictitems == Py_None)
|
|
dictitems = NULL;
|
|
else if (!PyIter_Check(dictitems)) {
|
|
PyErr_Format(st->PicklingError, "fifth element of the tuple "
|
|
"returned by __reduce__ must be an iterator, not %s",
|
|
Py_TYPE(dictitems)->tp_name);
|
|
return -1;
|
|
}
|
|
|
|
if (self->proto >= 2) {
|
|
PyObject *name;
|
|
_Py_IDENTIFIER(__name__);
|
|
|
|
name = _PyObject_GetAttrId(callable, &PyId___name__);
|
|
if (name == NULL) {
|
|
if (!PyErr_ExceptionMatches(PyExc_AttributeError)) {
|
|
return -1;
|
|
}
|
|
PyErr_Clear();
|
|
}
|
|
else if (self->proto >= 4) {
|
|
_Py_IDENTIFIER(__newobj_ex__);
|
|
use_newobj_ex = PyUnicode_Check(name) &&
|
|
PyUnicode_Compare(
|
|
name, _PyUnicode_FromId(&PyId___newobj_ex__)) == 0;
|
|
Py_DECREF(name);
|
|
}
|
|
else {
|
|
_Py_IDENTIFIER(__newobj__);
|
|
use_newobj = PyUnicode_Check(name) &&
|
|
PyUnicode_Compare(
|
|
name, _PyUnicode_FromId(&PyId___newobj__)) == 0;
|
|
Py_DECREF(name);
|
|
}
|
|
}
|
|
|
|
if (use_newobj_ex) {
|
|
PyObject *cls;
|
|
PyObject *args;
|
|
PyObject *kwargs;
|
|
|
|
if (Py_SIZE(argtup) != 3) {
|
|
PyErr_Format(st->PicklingError,
|
|
"length of the NEWOBJ_EX argument tuple must be "
|
|
"exactly 3, not %zd", Py_SIZE(argtup));
|
|
return -1;
|
|
}
|
|
|
|
cls = PyTuple_GET_ITEM(argtup, 0);
|
|
if (!PyType_Check(cls)) {
|
|
PyErr_Format(st->PicklingError,
|
|
"first item from NEWOBJ_EX argument tuple must "
|
|
"be a class, not %.200s", Py_TYPE(cls)->tp_name);
|
|
return -1;
|
|
}
|
|
args = PyTuple_GET_ITEM(argtup, 1);
|
|
if (!PyTuple_Check(args)) {
|
|
PyErr_Format(st->PicklingError,
|
|
"second item from NEWOBJ_EX argument tuple must "
|
|
"be a tuple, not %.200s", Py_TYPE(args)->tp_name);
|
|
return -1;
|
|
}
|
|
kwargs = PyTuple_GET_ITEM(argtup, 2);
|
|
if (!PyDict_Check(kwargs)) {
|
|
PyErr_Format(st->PicklingError,
|
|
"third item from NEWOBJ_EX argument tuple must "
|
|
"be a dict, not %.200s", Py_TYPE(kwargs)->tp_name);
|
|
return -1;
|
|
}
|
|
|
|
if (save(self, cls, 0) < 0 ||
|
|
save(self, args, 0) < 0 ||
|
|
save(self, kwargs, 0) < 0 ||
|
|
_Pickler_Write(self, &newobj_ex_op, 1) < 0) {
|
|
return -1;
|
|
}
|
|
}
|
|
else if (use_newobj) {
|
|
PyObject *cls;
|
|
PyObject *newargtup;
|
|
PyObject *obj_class;
|
|
int p;
|
|
|
|
/* Sanity checks. */
|
|
if (Py_SIZE(argtup) < 1) {
|
|
PyErr_SetString(st->PicklingError, "__newobj__ arglist is empty");
|
|
return -1;
|
|
}
|
|
|
|
cls = PyTuple_GET_ITEM(argtup, 0);
|
|
if (!PyType_Check(cls)) {
|
|
PyErr_SetString(st->PicklingError, "args[0] from "
|
|
"__newobj__ args is not a type");
|
|
return -1;
|
|
}
|
|
|
|
if (obj != NULL) {
|
|
obj_class = get_class(obj);
|
|
p = obj_class != cls; /* true iff a problem */
|
|
Py_DECREF(obj_class);
|
|
if (p) {
|
|
PyErr_SetString(st->PicklingError, "args[0] from "
|
|
"__newobj__ args has the wrong class");
|
|
return -1;
|
|
}
|
|
}
|
|
/* XXX: These calls save() are prone to infinite recursion. Imagine
|
|
what happen if the value returned by the __reduce__() method of
|
|
some extension type contains another object of the same type. Ouch!
|
|
|
|
Here is a quick example, that I ran into, to illustrate what I
|
|
mean:
|
|
|
|
>>> import pickle, copyreg
|
|
>>> copyreg.dispatch_table.pop(complex)
|
|
>>> pickle.dumps(1+2j)
|
|
Traceback (most recent call last):
|
|
...
|
|
RuntimeError: maximum recursion depth exceeded
|
|
|
|
Removing the complex class from copyreg.dispatch_table made the
|
|
__reduce_ex__() method emit another complex object:
|
|
|
|
>>> (1+1j).__reduce_ex__(2)
|
|
(<function __newobj__ at 0xb7b71c3c>,
|
|
(<class 'complex'>, (1+1j)), None, None, None)
|
|
|
|
Thus when save() was called on newargstup (the 2nd item) recursion
|
|
ensued. Of course, the bug was in the complex class which had a
|
|
broken __getnewargs__() that emitted another complex object. But,
|
|
the point, here, is it is quite easy to end up with a broken reduce
|
|
function. */
|
|
|
|
/* Save the class and its __new__ arguments. */
|
|
if (save(self, cls, 0) < 0)
|
|
return -1;
|
|
|
|
newargtup = PyTuple_GetSlice(argtup, 1, Py_SIZE(argtup));
|
|
if (newargtup == NULL)
|
|
return -1;
|
|
|
|
p = save(self, newargtup, 0);
|
|
Py_DECREF(newargtup);
|
|
if (p < 0)
|
|
return -1;
|
|
|
|
/* Add NEWOBJ opcode. */
|
|
if (_Pickler_Write(self, &newobj_op, 1) < 0)
|
|
return -1;
|
|
}
|
|
else { /* Not using NEWOBJ. */
|
|
if (save(self, callable, 0) < 0 ||
|
|
save(self, argtup, 0) < 0 ||
|
|
_Pickler_Write(self, &reduce_op, 1) < 0)
|
|
return -1;
|
|
}
|
|
|
|
/* obj can be NULL when save_reduce() is used directly. A NULL obj means
|
|
the caller do not want to memoize the object. Not particularly useful,
|
|
but that is to mimic the behavior save_reduce() in pickle.py when
|
|
obj is None. */
|
|
if (obj != NULL) {
|
|
/* If the object is already in the memo, this means it is
|
|
recursive. In this case, throw away everything we put on the
|
|
stack, and fetch the object back from the memo. */
|
|
if (PyMemoTable_Get(self->memo, obj)) {
|
|
const char pop_op = POP;
|
|
|
|
if (_Pickler_Write(self, &pop_op, 1) < 0)
|
|
return -1;
|
|
if (memo_get(self, obj) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
else if (memo_put(self, obj) < 0)
|
|
return -1;
|
|
}
|
|
|
|
if (listitems && batch_list(self, listitems) < 0)
|
|
return -1;
|
|
|
|
if (dictitems && batch_dict(self, dictitems) < 0)
|
|
return -1;
|
|
|
|
if (state) {
|
|
if (save(self, state, 0) < 0 ||
|
|
_Pickler_Write(self, &build_op, 1) < 0)
|
|
return -1;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
save(PicklerObject *self, PyObject *obj, int pers_save)
|
|
{
|
|
PyTypeObject *type;
|
|
PyObject *reduce_func = NULL;
|
|
PyObject *reduce_value = NULL;
|
|
int status = 0;
|
|
|
|
if (_Pickler_OpcodeBoundary(self) < 0)
|
|
return -1;
|
|
|
|
if (Py_EnterRecursiveCall(" while pickling an object"))
|
|
return -1;
|
|
|
|
/* The extra pers_save argument is necessary to avoid calling save_pers()
|
|
on its returned object. */
|
|
if (!pers_save && self->pers_func) {
|
|
/* save_pers() returns:
|
|
-1 to signal an error;
|
|
0 if it did nothing successfully;
|
|
1 if a persistent id was saved.
|
|
*/
|
|
if ((status = save_pers(self, obj, self->pers_func)) != 0)
|
|
goto done;
|
|
}
|
|
|
|
type = Py_TYPE(obj);
|
|
|
|
/* The old cPickle had an optimization that used switch-case statement
|
|
dispatching on the first letter of the type name. This has was removed
|
|
since benchmarks shown that this optimization was actually slowing
|
|
things down. */
|
|
|
|
/* Atom types; these aren't memoized, so don't check the memo. */
|
|
|
|
if (obj == Py_None) {
|
|
status = save_none(self, obj);
|
|
goto done;
|
|
}
|
|
else if (obj == Py_False || obj == Py_True) {
|
|
status = save_bool(self, obj);
|
|
goto done;
|
|
}
|
|
else if (type == &PyLong_Type) {
|
|
status = save_long(self, obj);
|
|
goto done;
|
|
}
|
|
else if (type == &PyFloat_Type) {
|
|
status = save_float(self, obj);
|
|
goto done;
|
|
}
|
|
|
|
/* Check the memo to see if it has the object. If so, generate
|
|
a GET (or BINGET) opcode, instead of pickling the object
|
|
once again. */
|
|
if (PyMemoTable_Get(self->memo, obj)) {
|
|
if (memo_get(self, obj) < 0)
|
|
goto error;
|
|
goto done;
|
|
}
|
|
|
|
if (type == &PyBytes_Type) {
|
|
status = save_bytes(self, obj);
|
|
goto done;
|
|
}
|
|
else if (type == &PyUnicode_Type) {
|
|
status = save_unicode(self, obj);
|
|
goto done;
|
|
}
|
|
else if (type == &PyDict_Type) {
|
|
status = save_dict(self, obj);
|
|
goto done;
|
|
}
|
|
else if (type == &PySet_Type) {
|
|
status = save_set(self, obj);
|
|
goto done;
|
|
}
|
|
else if (type == &PyFrozenSet_Type) {
|
|
status = save_frozenset(self, obj);
|
|
goto done;
|
|
}
|
|
else if (type == &PyList_Type) {
|
|
status = save_list(self, obj);
|
|
goto done;
|
|
}
|
|
else if (type == &PyTuple_Type) {
|
|
status = save_tuple(self, obj);
|
|
goto done;
|
|
}
|
|
else if (type == &PyType_Type) {
|
|
status = save_type(self, obj);
|
|
goto done;
|
|
}
|
|
else if (type == &PyFunction_Type) {
|
|
status = save_global(self, obj, NULL);
|
|
goto done;
|
|
}
|
|
|
|
/* XXX: This part needs some unit tests. */
|
|
|
|
/* Get a reduction callable, and call it. This may come from
|
|
* self.dispatch_table, copyreg.dispatch_table, the object's
|
|
* __reduce_ex__ method, or the object's __reduce__ method.
|
|
*/
|
|
if (self->dispatch_table == NULL) {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
reduce_func = PyDict_GetItemWithError(st->dispatch_table,
|
|
(PyObject *)type);
|
|
if (reduce_func == NULL) {
|
|
if (PyErr_Occurred()) {
|
|
goto error;
|
|
}
|
|
} else {
|
|
/* PyDict_GetItemWithError() returns a borrowed reference.
|
|
Increase the reference count to be consistent with
|
|
PyObject_GetItem and _PyObject_GetAttrId used below. */
|
|
Py_INCREF(reduce_func);
|
|
}
|
|
} else {
|
|
reduce_func = PyObject_GetItem(self->dispatch_table,
|
|
(PyObject *)type);
|
|
if (reduce_func == NULL) {
|
|
if (PyErr_ExceptionMatches(PyExc_KeyError))
|
|
PyErr_Clear();
|
|
else
|
|
goto error;
|
|
}
|
|
}
|
|
if (reduce_func != NULL) {
|
|
Py_INCREF(obj);
|
|
reduce_value = _Pickle_FastCall(reduce_func, obj);
|
|
}
|
|
else if (PyType_IsSubtype(type, &PyType_Type)) {
|
|
status = save_global(self, obj, NULL);
|
|
goto done;
|
|
}
|
|
else {
|
|
_Py_IDENTIFIER(__reduce__);
|
|
_Py_IDENTIFIER(__reduce_ex__);
|
|
|
|
|
|
/* XXX: If the __reduce__ method is defined, __reduce_ex__ is
|
|
automatically defined as __reduce__. While this is convenient, this
|
|
make it impossible to know which method was actually called. Of
|
|
course, this is not a big deal. But still, it would be nice to let
|
|
the user know which method was called when something go
|
|
wrong. Incidentally, this means if __reduce_ex__ is not defined, we
|
|
don't actually have to check for a __reduce__ method. */
|
|
|
|
/* Check for a __reduce_ex__ method. */
|
|
reduce_func = _PyObject_GetAttrId(obj, &PyId___reduce_ex__);
|
|
if (reduce_func != NULL) {
|
|
PyObject *proto;
|
|
proto = PyLong_FromLong(self->proto);
|
|
if (proto != NULL) {
|
|
reduce_value = _Pickle_FastCall(reduce_func, proto);
|
|
}
|
|
}
|
|
else {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
|
|
if (PyErr_ExceptionMatches(PyExc_AttributeError)) {
|
|
PyErr_Clear();
|
|
}
|
|
else {
|
|
goto error;
|
|
}
|
|
/* Check for a __reduce__ method. */
|
|
reduce_func = _PyObject_GetAttrId(obj, &PyId___reduce__);
|
|
if (reduce_func != NULL) {
|
|
PyObject *empty_tuple = PyTuple_New(0);
|
|
reduce_value = PyObject_Call(reduce_func, empty_tuple,
|
|
NULL);
|
|
Py_DECREF(empty_tuple);
|
|
}
|
|
else {
|
|
PyErr_Format(st->PicklingError,
|
|
"can't pickle '%.200s' object: %R",
|
|
type->tp_name, obj);
|
|
goto error;
|
|
}
|
|
}
|
|
}
|
|
|
|
if (reduce_value == NULL)
|
|
goto error;
|
|
|
|
if (PyUnicode_Check(reduce_value)) {
|
|
status = save_global(self, obj, reduce_value);
|
|
goto done;
|
|
}
|
|
|
|
if (!PyTuple_Check(reduce_value)) {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->PicklingError,
|
|
"__reduce__ must return a string or tuple");
|
|
goto error;
|
|
}
|
|
|
|
status = save_reduce(self, reduce_value, obj);
|
|
|
|
if (0) {
|
|
error:
|
|
status = -1;
|
|
}
|
|
done:
|
|
|
|
Py_LeaveRecursiveCall();
|
|
Py_XDECREF(reduce_func);
|
|
Py_XDECREF(reduce_value);
|
|
|
|
return status;
|
|
}
|
|
|
|
static int
|
|
dump(PicklerObject *self, PyObject *obj)
|
|
{
|
|
const char stop_op = STOP;
|
|
|
|
if (self->proto >= 2) {
|
|
char header[2];
|
|
|
|
header[0] = PROTO;
|
|
assert(self->proto >= 0 && self->proto < 256);
|
|
header[1] = (unsigned char)self->proto;
|
|
if (_Pickler_Write(self, header, 2) < 0)
|
|
return -1;
|
|
if (self->proto >= 4)
|
|
self->framing = 1;
|
|
}
|
|
|
|
if (save(self, obj, 0) < 0 ||
|
|
_Pickler_Write(self, &stop_op, 1) < 0)
|
|
return -1;
|
|
|
|
return 0;
|
|
}
|
|
|
|
/*[clinic input]
|
|
|
|
_pickle.Pickler.clear_memo
|
|
|
|
Clears the pickler's "memo".
|
|
|
|
The memo is the data structure that remembers which objects the
|
|
pickler has already seen, so that shared or recursive objects are
|
|
pickled by reference and not by value. This method is useful when
|
|
re-using picklers.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_Pickler_clear_memo_impl(PicklerObject *self)
|
|
/*[clinic end generated code: output=8665c8658aaa094b input=01bdad52f3d93e56]*/
|
|
{
|
|
if (self->memo)
|
|
PyMemoTable_Clear(self->memo);
|
|
|
|
Py_RETURN_NONE;
|
|
}
|
|
|
|
/*[clinic input]
|
|
|
|
_pickle.Pickler.dump
|
|
|
|
obj: object
|
|
/
|
|
|
|
Write a pickled representation of the given object to the open file.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_Pickler_dump(PicklerObject *self, PyObject *obj)
|
|
/*[clinic end generated code: output=87ecad1261e02ac7 input=552eb1c0f52260d9]*/
|
|
{
|
|
/* Check whether the Pickler was initialized correctly (issue3664).
|
|
Developers often forget to call __init__() in their subclasses, which
|
|
would trigger a segfault without this check. */
|
|
if (self->write == NULL) {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_Format(st->PicklingError,
|
|
"Pickler.__init__() was not called by %s.__init__()",
|
|
Py_TYPE(self)->tp_name);
|
|
return NULL;
|
|
}
|
|
|
|
if (_Pickler_ClearBuffer(self) < 0)
|
|
return NULL;
|
|
|
|
if (dump(self, obj) < 0)
|
|
return NULL;
|
|
|
|
if (_Pickler_FlushToFile(self) < 0)
|
|
return NULL;
|
|
|
|
Py_RETURN_NONE;
|
|
}
|
|
|
|
static struct PyMethodDef Pickler_methods[] = {
|
|
_PICKLE_PICKLER_DUMP_METHODDEF
|
|
_PICKLE_PICKLER_CLEAR_MEMO_METHODDEF
|
|
{NULL, NULL} /* sentinel */
|
|
};
|
|
|
|
static void
|
|
Pickler_dealloc(PicklerObject *self)
|
|
{
|
|
PyObject_GC_UnTrack(self);
|
|
|
|
Py_XDECREF(self->output_buffer);
|
|
Py_XDECREF(self->write);
|
|
Py_XDECREF(self->pers_func);
|
|
Py_XDECREF(self->dispatch_table);
|
|
Py_XDECREF(self->fast_memo);
|
|
|
|
PyMemoTable_Del(self->memo);
|
|
|
|
Py_TYPE(self)->tp_free((PyObject *)self);
|
|
}
|
|
|
|
static int
|
|
Pickler_traverse(PicklerObject *self, visitproc visit, void *arg)
|
|
{
|
|
Py_VISIT(self->write);
|
|
Py_VISIT(self->pers_func);
|
|
Py_VISIT(self->dispatch_table);
|
|
Py_VISIT(self->fast_memo);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
Pickler_clear(PicklerObject *self)
|
|
{
|
|
Py_CLEAR(self->output_buffer);
|
|
Py_CLEAR(self->write);
|
|
Py_CLEAR(self->pers_func);
|
|
Py_CLEAR(self->dispatch_table);
|
|
Py_CLEAR(self->fast_memo);
|
|
|
|
if (self->memo != NULL) {
|
|
PyMemoTable *memo = self->memo;
|
|
self->memo = NULL;
|
|
PyMemoTable_Del(memo);
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
|
|
/*[clinic input]
|
|
|
|
_pickle.Pickler.__init__
|
|
|
|
file: object
|
|
protocol: object = NULL
|
|
fix_imports: bool = True
|
|
|
|
This takes a binary file for writing a pickle data stream.
|
|
|
|
The optional *protocol* argument tells the pickler to use the given
|
|
protocol; supported protocols are 0, 1, 2, 3 and 4. The default
|
|
protocol is 3; a backward-incompatible protocol designed for Python 3.
|
|
|
|
Specifying a negative protocol version selects the highest protocol
|
|
version supported. The higher the protocol used, the more recent the
|
|
version of Python needed to read the pickle produced.
|
|
|
|
The *file* argument must have a write() method that accepts a single
|
|
bytes argument. It can thus be a file object opened for binary
|
|
writing, a io.BytesIO instance, or any other custom object that meets
|
|
this interface.
|
|
|
|
If *fix_imports* is True and protocol is less than 3, pickle will try
|
|
to map the new Python 3 names to the old module names used in Python
|
|
2, so that the pickle data stream is readable with Python 2.
|
|
[clinic start generated code]*/
|
|
|
|
static int
|
|
_pickle_Pickler___init___impl(PicklerObject *self, PyObject *file, PyObject *protocol, int fix_imports)
|
|
/*[clinic end generated code: output=56e229f3b1f4332f input=b8cdeb7e3f5ee674]*/
|
|
{
|
|
_Py_IDENTIFIER(persistent_id);
|
|
_Py_IDENTIFIER(dispatch_table);
|
|
|
|
/* In case of multiple __init__() calls, clear previous content. */
|
|
if (self->write != NULL)
|
|
(void)Pickler_clear(self);
|
|
|
|
if (_Pickler_SetProtocol(self, protocol, fix_imports) < 0)
|
|
return -1;
|
|
|
|
if (_Pickler_SetOutputStream(self, file) < 0)
|
|
return -1;
|
|
|
|
/* memo and output_buffer may have already been created in _Pickler_New */
|
|
if (self->memo == NULL) {
|
|
self->memo = PyMemoTable_New();
|
|
if (self->memo == NULL)
|
|
return -1;
|
|
}
|
|
self->output_len = 0;
|
|
if (self->output_buffer == NULL) {
|
|
self->max_output_len = WRITE_BUF_SIZE;
|
|
self->output_buffer = PyBytes_FromStringAndSize(NULL,
|
|
self->max_output_len);
|
|
if (self->output_buffer == NULL)
|
|
return -1;
|
|
}
|
|
|
|
self->fast = 0;
|
|
self->fast_nesting = 0;
|
|
self->fast_memo = NULL;
|
|
self->pers_func = NULL;
|
|
if (_PyObject_HasAttrId((PyObject *)self, &PyId_persistent_id)) {
|
|
self->pers_func = _PyObject_GetAttrId((PyObject *)self,
|
|
&PyId_persistent_id);
|
|
if (self->pers_func == NULL)
|
|
return -1;
|
|
}
|
|
self->dispatch_table = NULL;
|
|
if (_PyObject_HasAttrId((PyObject *)self, &PyId_dispatch_table)) {
|
|
self->dispatch_table = _PyObject_GetAttrId((PyObject *)self,
|
|
&PyId_dispatch_table);
|
|
if (self->dispatch_table == NULL)
|
|
return -1;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
|
|
/* Define a proxy object for the Pickler's internal memo object. This is to
|
|
* avoid breaking code like:
|
|
* pickler.memo.clear()
|
|
* and
|
|
* pickler.memo = saved_memo
|
|
* Is this a good idea? Not really, but we don't want to break code that uses
|
|
* it. Note that we don't implement the entire mapping API here. This is
|
|
* intentional, as these should be treated as black-box implementation details.
|
|
*/
|
|
|
|
/*[clinic input]
|
|
_pickle.PicklerMemoProxy.clear
|
|
|
|
Remove all items from memo.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_PicklerMemoProxy_clear_impl(PicklerMemoProxyObject *self)
|
|
/*[clinic end generated code: output=5fb9370d48ae8b05 input=ccc186dacd0f1405]*/
|
|
{
|
|
if (self->pickler->memo)
|
|
PyMemoTable_Clear(self->pickler->memo);
|
|
Py_RETURN_NONE;
|
|
}
|
|
|
|
/*[clinic input]
|
|
_pickle.PicklerMemoProxy.copy
|
|
|
|
Copy the memo to a new object.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_PicklerMemoProxy_copy_impl(PicklerMemoProxyObject *self)
|
|
/*[clinic end generated code: output=bb83a919d29225ef input=b73043485ac30b36]*/
|
|
{
|
|
Py_ssize_t i;
|
|
PyMemoTable *memo;
|
|
PyObject *new_memo = PyDict_New();
|
|
if (new_memo == NULL)
|
|
return NULL;
|
|
|
|
memo = self->pickler->memo;
|
|
for (i = 0; i < memo->mt_allocated; ++i) {
|
|
PyMemoEntry entry = memo->mt_table[i];
|
|
if (entry.me_key != NULL) {
|
|
int status;
|
|
PyObject *key, *value;
|
|
|
|
key = PyLong_FromVoidPtr(entry.me_key);
|
|
value = Py_BuildValue("nO", entry.me_value, entry.me_key);
|
|
|
|
if (key == NULL || value == NULL) {
|
|
Py_XDECREF(key);
|
|
Py_XDECREF(value);
|
|
goto error;
|
|
}
|
|
status = PyDict_SetItem(new_memo, key, value);
|
|
Py_DECREF(key);
|
|
Py_DECREF(value);
|
|
if (status < 0)
|
|
goto error;
|
|
}
|
|
}
|
|
return new_memo;
|
|
|
|
error:
|
|
Py_XDECREF(new_memo);
|
|
return NULL;
|
|
}
|
|
|
|
/*[clinic input]
|
|
_pickle.PicklerMemoProxy.__reduce__
|
|
|
|
Implement pickle support.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_PicklerMemoProxy___reduce___impl(PicklerMemoProxyObject *self)
|
|
/*[clinic end generated code: output=bebba1168863ab1d input=2f7c540e24b7aae4]*/
|
|
{
|
|
PyObject *reduce_value, *dict_args;
|
|
PyObject *contents = _pickle_PicklerMemoProxy_copy_impl(self);
|
|
if (contents == NULL)
|
|
return NULL;
|
|
|
|
reduce_value = PyTuple_New(2);
|
|
if (reduce_value == NULL) {
|
|
Py_DECREF(contents);
|
|
return NULL;
|
|
}
|
|
dict_args = PyTuple_New(1);
|
|
if (dict_args == NULL) {
|
|
Py_DECREF(contents);
|
|
Py_DECREF(reduce_value);
|
|
return NULL;
|
|
}
|
|
PyTuple_SET_ITEM(dict_args, 0, contents);
|
|
Py_INCREF((PyObject *)&PyDict_Type);
|
|
PyTuple_SET_ITEM(reduce_value, 0, (PyObject *)&PyDict_Type);
|
|
PyTuple_SET_ITEM(reduce_value, 1, dict_args);
|
|
return reduce_value;
|
|
}
|
|
|
|
static PyMethodDef picklerproxy_methods[] = {
|
|
_PICKLE_PICKLERMEMOPROXY_CLEAR_METHODDEF
|
|
_PICKLE_PICKLERMEMOPROXY_COPY_METHODDEF
|
|
_PICKLE_PICKLERMEMOPROXY___REDUCE___METHODDEF
|
|
{NULL, NULL} /* sentinel */
|
|
};
|
|
|
|
static void
|
|
PicklerMemoProxy_dealloc(PicklerMemoProxyObject *self)
|
|
{
|
|
PyObject_GC_UnTrack(self);
|
|
Py_XDECREF(self->pickler);
|
|
PyObject_GC_Del((PyObject *)self);
|
|
}
|
|
|
|
static int
|
|
PicklerMemoProxy_traverse(PicklerMemoProxyObject *self,
|
|
visitproc visit, void *arg)
|
|
{
|
|
Py_VISIT(self->pickler);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
PicklerMemoProxy_clear(PicklerMemoProxyObject *self)
|
|
{
|
|
Py_CLEAR(self->pickler);
|
|
return 0;
|
|
}
|
|
|
|
static PyTypeObject PicklerMemoProxyType = {
|
|
PyVarObject_HEAD_INIT(NULL, 0)
|
|
"_pickle.PicklerMemoProxy", /*tp_name*/
|
|
sizeof(PicklerMemoProxyObject), /*tp_basicsize*/
|
|
0,
|
|
(destructor)PicklerMemoProxy_dealloc, /* tp_dealloc */
|
|
0, /* tp_print */
|
|
0, /* tp_getattr */
|
|
0, /* tp_setattr */
|
|
0, /* tp_compare */
|
|
0, /* tp_repr */
|
|
0, /* tp_as_number */
|
|
0, /* tp_as_sequence */
|
|
0, /* tp_as_mapping */
|
|
PyObject_HashNotImplemented, /* tp_hash */
|
|
0, /* tp_call */
|
|
0, /* tp_str */
|
|
PyObject_GenericGetAttr, /* tp_getattro */
|
|
PyObject_GenericSetAttr, /* tp_setattro */
|
|
0, /* tp_as_buffer */
|
|
Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HAVE_GC,
|
|
0, /* tp_doc */
|
|
(traverseproc)PicklerMemoProxy_traverse, /* tp_traverse */
|
|
(inquiry)PicklerMemoProxy_clear, /* tp_clear */
|
|
0, /* tp_richcompare */
|
|
0, /* tp_weaklistoffset */
|
|
0, /* tp_iter */
|
|
0, /* tp_iternext */
|
|
picklerproxy_methods, /* tp_methods */
|
|
};
|
|
|
|
static PyObject *
|
|
PicklerMemoProxy_New(PicklerObject *pickler)
|
|
{
|
|
PicklerMemoProxyObject *self;
|
|
|
|
self = PyObject_GC_New(PicklerMemoProxyObject, &PicklerMemoProxyType);
|
|
if (self == NULL)
|
|
return NULL;
|
|
Py_INCREF(pickler);
|
|
self->pickler = pickler;
|
|
PyObject_GC_Track(self);
|
|
return (PyObject *)self;
|
|
}
|
|
|
|
/*****************************************************************************/
|
|
|
|
static PyObject *
|
|
Pickler_get_memo(PicklerObject *self)
|
|
{
|
|
return PicklerMemoProxy_New(self);
|
|
}
|
|
|
|
static int
|
|
Pickler_set_memo(PicklerObject *self, PyObject *obj)
|
|
{
|
|
PyMemoTable *new_memo = NULL;
|
|
|
|
if (obj == NULL) {
|
|
PyErr_SetString(PyExc_TypeError,
|
|
"attribute deletion is not supported");
|
|
return -1;
|
|
}
|
|
|
|
if (Py_TYPE(obj) == &PicklerMemoProxyType) {
|
|
PicklerObject *pickler =
|
|
((PicklerMemoProxyObject *)obj)->pickler;
|
|
|
|
new_memo = PyMemoTable_Copy(pickler->memo);
|
|
if (new_memo == NULL)
|
|
return -1;
|
|
}
|
|
else if (PyDict_Check(obj)) {
|
|
Py_ssize_t i = 0;
|
|
PyObject *key, *value;
|
|
|
|
new_memo = PyMemoTable_New();
|
|
if (new_memo == NULL)
|
|
return -1;
|
|
|
|
while (PyDict_Next(obj, &i, &key, &value)) {
|
|
Py_ssize_t memo_id;
|
|
PyObject *memo_obj;
|
|
|
|
if (!PyTuple_Check(value) || Py_SIZE(value) != 2) {
|
|
PyErr_SetString(PyExc_TypeError,
|
|
"'memo' values must be 2-item tuples");
|
|
goto error;
|
|
}
|
|
memo_id = PyLong_AsSsize_t(PyTuple_GET_ITEM(value, 0));
|
|
if (memo_id == -1 && PyErr_Occurred())
|
|
goto error;
|
|
memo_obj = PyTuple_GET_ITEM(value, 1);
|
|
if (PyMemoTable_Set(new_memo, memo_obj, memo_id) < 0)
|
|
goto error;
|
|
}
|
|
}
|
|
else {
|
|
PyErr_Format(PyExc_TypeError,
|
|
"'memo' attribute must be an PicklerMemoProxy object"
|
|
"or dict, not %.200s", Py_TYPE(obj)->tp_name);
|
|
return -1;
|
|
}
|
|
|
|
PyMemoTable_Del(self->memo);
|
|
self->memo = new_memo;
|
|
|
|
return 0;
|
|
|
|
error:
|
|
if (new_memo)
|
|
PyMemoTable_Del(new_memo);
|
|
return -1;
|
|
}
|
|
|
|
static PyObject *
|
|
Pickler_get_persid(PicklerObject *self)
|
|
{
|
|
if (self->pers_func == NULL)
|
|
PyErr_SetString(PyExc_AttributeError, "persistent_id");
|
|
else
|
|
Py_INCREF(self->pers_func);
|
|
return self->pers_func;
|
|
}
|
|
|
|
static int
|
|
Pickler_set_persid(PicklerObject *self, PyObject *value)
|
|
{
|
|
PyObject *tmp;
|
|
|
|
if (value == NULL) {
|
|
PyErr_SetString(PyExc_TypeError,
|
|
"attribute deletion is not supported");
|
|
return -1;
|
|
}
|
|
if (!PyCallable_Check(value)) {
|
|
PyErr_SetString(PyExc_TypeError,
|
|
"persistent_id must be a callable taking one argument");
|
|
return -1;
|
|
}
|
|
|
|
tmp = self->pers_func;
|
|
Py_INCREF(value);
|
|
self->pers_func = value;
|
|
Py_XDECREF(tmp); /* self->pers_func can be NULL, so be careful. */
|
|
|
|
return 0;
|
|
}
|
|
|
|
static PyMemberDef Pickler_members[] = {
|
|
{"bin", T_INT, offsetof(PicklerObject, bin)},
|
|
{"fast", T_INT, offsetof(PicklerObject, fast)},
|
|
{"dispatch_table", T_OBJECT_EX, offsetof(PicklerObject, dispatch_table)},
|
|
{NULL}
|
|
};
|
|
|
|
static PyGetSetDef Pickler_getsets[] = {
|
|
{"memo", (getter)Pickler_get_memo,
|
|
(setter)Pickler_set_memo},
|
|
{"persistent_id", (getter)Pickler_get_persid,
|
|
(setter)Pickler_set_persid},
|
|
{NULL}
|
|
};
|
|
|
|
static PyTypeObject Pickler_Type = {
|
|
PyVarObject_HEAD_INIT(NULL, 0)
|
|
"_pickle.Pickler" , /*tp_name*/
|
|
sizeof(PicklerObject), /*tp_basicsize*/
|
|
0, /*tp_itemsize*/
|
|
(destructor)Pickler_dealloc, /*tp_dealloc*/
|
|
0, /*tp_print*/
|
|
0, /*tp_getattr*/
|
|
0, /*tp_setattr*/
|
|
0, /*tp_reserved*/
|
|
0, /*tp_repr*/
|
|
0, /*tp_as_number*/
|
|
0, /*tp_as_sequence*/
|
|
0, /*tp_as_mapping*/
|
|
0, /*tp_hash*/
|
|
0, /*tp_call*/
|
|
0, /*tp_str*/
|
|
0, /*tp_getattro*/
|
|
0, /*tp_setattro*/
|
|
0, /*tp_as_buffer*/
|
|
Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HAVE_GC,
|
|
_pickle_Pickler___init____doc__, /*tp_doc*/
|
|
(traverseproc)Pickler_traverse, /*tp_traverse*/
|
|
(inquiry)Pickler_clear, /*tp_clear*/
|
|
0, /*tp_richcompare*/
|
|
0, /*tp_weaklistoffset*/
|
|
0, /*tp_iter*/
|
|
0, /*tp_iternext*/
|
|
Pickler_methods, /*tp_methods*/
|
|
Pickler_members, /*tp_members*/
|
|
Pickler_getsets, /*tp_getset*/
|
|
0, /*tp_base*/
|
|
0, /*tp_dict*/
|
|
0, /*tp_descr_get*/
|
|
0, /*tp_descr_set*/
|
|
0, /*tp_dictoffset*/
|
|
_pickle_Pickler___init__, /*tp_init*/
|
|
PyType_GenericAlloc, /*tp_alloc*/
|
|
PyType_GenericNew, /*tp_new*/
|
|
PyObject_GC_Del, /*tp_free*/
|
|
0, /*tp_is_gc*/
|
|
};
|
|
|
|
/* Temporary helper for calling self.find_class().
|
|
|
|
XXX: It would be nice to able to avoid Python function call overhead, by
|
|
using directly the C version of find_class(), when find_class() is not
|
|
overridden by a subclass. Although, this could become rather hackish. A
|
|
simpler optimization would be to call the C function when self is not a
|
|
subclass instance. */
|
|
static PyObject *
|
|
find_class(UnpicklerObject *self, PyObject *module_name, PyObject *global_name)
|
|
{
|
|
_Py_IDENTIFIER(find_class);
|
|
|
|
return _PyObject_CallMethodId((PyObject *)self, &PyId_find_class, "OO",
|
|
module_name, global_name);
|
|
}
|
|
|
|
static Py_ssize_t
|
|
marker(UnpicklerObject *self)
|
|
{
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
if (self->num_marks < 1) {
|
|
PyErr_SetString(st->UnpicklingError, "could not find MARK");
|
|
return -1;
|
|
}
|
|
|
|
return self->marks[--self->num_marks];
|
|
}
|
|
|
|
static int
|
|
load_none(UnpicklerObject *self)
|
|
{
|
|
PDATA_APPEND(self->stack, Py_None, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
bad_readline(void)
|
|
{
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->UnpicklingError, "pickle data was truncated");
|
|
return -1;
|
|
}
|
|
|
|
static int
|
|
load_int(UnpicklerObject *self)
|
|
{
|
|
PyObject *value;
|
|
char *endptr, *s;
|
|
Py_ssize_t len;
|
|
long x;
|
|
|
|
if ((len = _Unpickler_Readline(self, &s)) < 0)
|
|
return -1;
|
|
if (len < 2)
|
|
return bad_readline();
|
|
|
|
errno = 0;
|
|
/* XXX: Should the base argument of strtol() be explicitly set to 10?
|
|
XXX(avassalotti): Should this uses PyOS_strtol()? */
|
|
x = strtol(s, &endptr, 0);
|
|
|
|
if (errno || (*endptr != '\n' && *endptr != '\0')) {
|
|
/* Hm, maybe we've got something long. Let's try reading
|
|
* it as a Python int object. */
|
|
errno = 0;
|
|
/* XXX: Same thing about the base here. */
|
|
value = PyLong_FromString(s, NULL, 0);
|
|
if (value == NULL) {
|
|
PyErr_SetString(PyExc_ValueError,
|
|
"could not convert string to int");
|
|
return -1;
|
|
}
|
|
}
|
|
else {
|
|
if (len == 3 && (x == 0 || x == 1)) {
|
|
if ((value = PyBool_FromLong(x)) == NULL)
|
|
return -1;
|
|
}
|
|
else {
|
|
if ((value = PyLong_FromLong(x)) == NULL)
|
|
return -1;
|
|
}
|
|
}
|
|
|
|
PDATA_PUSH(self->stack, value, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_bool(UnpicklerObject *self, PyObject *boolean)
|
|
{
|
|
assert(boolean == Py_True || boolean == Py_False);
|
|
PDATA_APPEND(self->stack, boolean, -1);
|
|
return 0;
|
|
}
|
|
|
|
/* s contains x bytes of an unsigned little-endian integer. Return its value
|
|
* as a C Py_ssize_t, or -1 if it's higher than PY_SSIZE_T_MAX.
|
|
*/
|
|
static Py_ssize_t
|
|
calc_binsize(char *bytes, int nbytes)
|
|
{
|
|
unsigned char *s = (unsigned char *)bytes;
|
|
Py_ssize_t i;
|
|
size_t x = 0;
|
|
|
|
for (i = 0; i < nbytes && (size_t)i < sizeof(size_t); i++) {
|
|
x |= (size_t) s[i] << (8 * i);
|
|
}
|
|
|
|
if (x > PY_SSIZE_T_MAX)
|
|
return -1;
|
|
else
|
|
return (Py_ssize_t) x;
|
|
}
|
|
|
|
/* s contains x bytes of a little-endian integer. Return its value as a
|
|
* C int. Obscure: when x is 1 or 2, this is an unsigned little-endian
|
|
* int, but when x is 4 it's a signed one. This is an historical source
|
|
* of x-platform bugs.
|
|
*/
|
|
static long
|
|
calc_binint(char *bytes, int nbytes)
|
|
{
|
|
unsigned char *s = (unsigned char *)bytes;
|
|
Py_ssize_t i;
|
|
long x = 0;
|
|
|
|
for (i = 0; i < nbytes; i++) {
|
|
x |= (long)s[i] << (8 * i);
|
|
}
|
|
|
|
/* Unlike BININT1 and BININT2, BININT (more accurately BININT4)
|
|
* is signed, so on a box with longs bigger than 4 bytes we need
|
|
* to extend a BININT's sign bit to the full width.
|
|
*/
|
|
if (SIZEOF_LONG > 4 && nbytes == 4) {
|
|
x |= -(x & (1L << 31));
|
|
}
|
|
|
|
return x;
|
|
}
|
|
|
|
static int
|
|
load_binintx(UnpicklerObject *self, char *s, int size)
|
|
{
|
|
PyObject *value;
|
|
long x;
|
|
|
|
x = calc_binint(s, size);
|
|
|
|
if ((value = PyLong_FromLong(x)) == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, value, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_binint(UnpicklerObject *self)
|
|
{
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, 4) < 0)
|
|
return -1;
|
|
|
|
return load_binintx(self, s, 4);
|
|
}
|
|
|
|
static int
|
|
load_binint1(UnpicklerObject *self)
|
|
{
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, 1) < 0)
|
|
return -1;
|
|
|
|
return load_binintx(self, s, 1);
|
|
}
|
|
|
|
static int
|
|
load_binint2(UnpicklerObject *self)
|
|
{
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, 2) < 0)
|
|
return -1;
|
|
|
|
return load_binintx(self, s, 2);
|
|
}
|
|
|
|
static int
|
|
load_long(UnpicklerObject *self)
|
|
{
|
|
PyObject *value;
|
|
char *s;
|
|
Py_ssize_t len;
|
|
|
|
if ((len = _Unpickler_Readline(self, &s)) < 0)
|
|
return -1;
|
|
if (len < 2)
|
|
return bad_readline();
|
|
|
|
/* s[len-2] will usually be 'L' (and s[len-1] is '\n'); we need to remove
|
|
the 'L' before calling PyLong_FromString. In order to maintain
|
|
compatibility with Python 3.0.0, we don't actually *require*
|
|
the 'L' to be present. */
|
|
if (s[len-2] == 'L')
|
|
s[len-2] = '\0';
|
|
/* XXX: Should the base argument explicitly set to 10? */
|
|
value = PyLong_FromString(s, NULL, 0);
|
|
if (value == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, value, -1);
|
|
return 0;
|
|
}
|
|
|
|
/* 'size' bytes contain the # of bytes of little-endian 256's-complement
|
|
* data following.
|
|
*/
|
|
static int
|
|
load_counted_long(UnpicklerObject *self, int size)
|
|
{
|
|
PyObject *value;
|
|
char *nbytes;
|
|
char *pdata;
|
|
|
|
assert(size == 1 || size == 4);
|
|
if (_Unpickler_Read(self, &nbytes, size) < 0)
|
|
return -1;
|
|
|
|
size = calc_binint(nbytes, size);
|
|
if (size < 0) {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
/* Corrupt or hostile pickle -- we never write one like this */
|
|
PyErr_SetString(st->UnpicklingError,
|
|
"LONG pickle has negative byte count");
|
|
return -1;
|
|
}
|
|
|
|
if (size == 0)
|
|
value = PyLong_FromLong(0L);
|
|
else {
|
|
/* Read the raw little-endian bytes and convert. */
|
|
if (_Unpickler_Read(self, &pdata, size) < 0)
|
|
return -1;
|
|
value = _PyLong_FromByteArray((unsigned char *)pdata, (size_t)size,
|
|
1 /* little endian */ , 1 /* signed */ );
|
|
}
|
|
if (value == NULL)
|
|
return -1;
|
|
PDATA_PUSH(self->stack, value, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_float(UnpicklerObject *self)
|
|
{
|
|
PyObject *value;
|
|
char *endptr, *s;
|
|
Py_ssize_t len;
|
|
double d;
|
|
|
|
if ((len = _Unpickler_Readline(self, &s)) < 0)
|
|
return -1;
|
|
if (len < 2)
|
|
return bad_readline();
|
|
|
|
errno = 0;
|
|
d = PyOS_string_to_double(s, &endptr, PyExc_OverflowError);
|
|
if (d == -1.0 && PyErr_Occurred())
|
|
return -1;
|
|
if ((endptr[0] != '\n') && (endptr[0] != '\0')) {
|
|
PyErr_SetString(PyExc_ValueError, "could not convert string to float");
|
|
return -1;
|
|
}
|
|
value = PyFloat_FromDouble(d);
|
|
if (value == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, value, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_binfloat(UnpicklerObject *self)
|
|
{
|
|
PyObject *value;
|
|
double x;
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, 8) < 0)
|
|
return -1;
|
|
|
|
x = _PyFloat_Unpack8((unsigned char *)s, 0);
|
|
if (x == -1.0 && PyErr_Occurred())
|
|
return -1;
|
|
|
|
if ((value = PyFloat_FromDouble(x)) == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, value, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_string(UnpicklerObject *self)
|
|
{
|
|
PyObject *bytes;
|
|
PyObject *obj;
|
|
Py_ssize_t len;
|
|
char *s, *p;
|
|
|
|
if ((len = _Unpickler_Readline(self, &s)) < 0)
|
|
return -1;
|
|
/* Strip the newline */
|
|
len--;
|
|
/* Strip outermost quotes */
|
|
if (len >= 2 && s[0] == s[len - 1] && (s[0] == '\'' || s[0] == '"')) {
|
|
p = s + 1;
|
|
len -= 2;
|
|
}
|
|
else {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->UnpicklingError,
|
|
"the STRING opcode argument must be quoted");
|
|
return -1;
|
|
}
|
|
assert(len >= 0);
|
|
|
|
/* Use the PyBytes API to decode the string, since that is what is used
|
|
to encode, and then coerce the result to Unicode. */
|
|
bytes = PyBytes_DecodeEscape(p, len, NULL, 0, NULL);
|
|
if (bytes == NULL)
|
|
return -1;
|
|
|
|
/* Leave the Python 2.x strings as bytes if the *encoding* given to the
|
|
Unpickler was 'bytes'. Otherwise, convert them to unicode. */
|
|
if (strcmp(self->encoding, "bytes") == 0) {
|
|
obj = bytes;
|
|
}
|
|
else {
|
|
obj = PyUnicode_FromEncodedObject(bytes, self->encoding, self->errors);
|
|
Py_DECREF(bytes);
|
|
if (obj == NULL) {
|
|
return -1;
|
|
}
|
|
}
|
|
|
|
PDATA_PUSH(self->stack, obj, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_counted_binstring(UnpicklerObject *self, int nbytes)
|
|
{
|
|
PyObject *obj;
|
|
Py_ssize_t size;
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, nbytes) < 0)
|
|
return -1;
|
|
|
|
size = calc_binsize(s, nbytes);
|
|
if (size < 0) {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_Format(st->UnpicklingError,
|
|
"BINSTRING exceeds system's maximum size of %zd bytes",
|
|
PY_SSIZE_T_MAX);
|
|
return -1;
|
|
}
|
|
|
|
if (_Unpickler_Read(self, &s, size) < 0)
|
|
return -1;
|
|
|
|
/* Convert Python 2.x strings to bytes if the *encoding* given to the
|
|
Unpickler was 'bytes'. Otherwise, convert them to unicode. */
|
|
if (strcmp(self->encoding, "bytes") == 0) {
|
|
obj = PyBytes_FromStringAndSize(s, size);
|
|
}
|
|
else {
|
|
obj = PyUnicode_Decode(s, size, self->encoding, self->errors);
|
|
}
|
|
if (obj == NULL) {
|
|
return -1;
|
|
}
|
|
|
|
PDATA_PUSH(self->stack, obj, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_counted_binbytes(UnpicklerObject *self, int nbytes)
|
|
{
|
|
PyObject *bytes;
|
|
Py_ssize_t size;
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, nbytes) < 0)
|
|
return -1;
|
|
|
|
size = calc_binsize(s, nbytes);
|
|
if (size < 0) {
|
|
PyErr_Format(PyExc_OverflowError,
|
|
"BINBYTES exceeds system's maximum size of %zd bytes",
|
|
PY_SSIZE_T_MAX);
|
|
return -1;
|
|
}
|
|
|
|
if (_Unpickler_Read(self, &s, size) < 0)
|
|
return -1;
|
|
|
|
bytes = PyBytes_FromStringAndSize(s, size);
|
|
if (bytes == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, bytes, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_unicode(UnpicklerObject *self)
|
|
{
|
|
PyObject *str;
|
|
Py_ssize_t len;
|
|
char *s;
|
|
|
|
if ((len = _Unpickler_Readline(self, &s)) < 0)
|
|
return -1;
|
|
if (len < 1)
|
|
return bad_readline();
|
|
|
|
str = PyUnicode_DecodeRawUnicodeEscape(s, len - 1, NULL);
|
|
if (str == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, str, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_counted_binunicode(UnpicklerObject *self, int nbytes)
|
|
{
|
|
PyObject *str;
|
|
Py_ssize_t size;
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, nbytes) < 0)
|
|
return -1;
|
|
|
|
size = calc_binsize(s, nbytes);
|
|
if (size < 0) {
|
|
PyErr_Format(PyExc_OverflowError,
|
|
"BINUNICODE exceeds system's maximum size of %zd bytes",
|
|
PY_SSIZE_T_MAX);
|
|
return -1;
|
|
}
|
|
|
|
if (_Unpickler_Read(self, &s, size) < 0)
|
|
return -1;
|
|
|
|
str = PyUnicode_DecodeUTF8(s, size, "surrogatepass");
|
|
if (str == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, str, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_tuple(UnpicklerObject *self)
|
|
{
|
|
PyObject *tuple;
|
|
Py_ssize_t i;
|
|
|
|
if ((i = marker(self)) < 0)
|
|
return -1;
|
|
|
|
tuple = Pdata_poptuple(self->stack, i);
|
|
if (tuple == NULL)
|
|
return -1;
|
|
PDATA_PUSH(self->stack, tuple, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_counted_tuple(UnpicklerObject *self, int len)
|
|
{
|
|
PyObject *tuple;
|
|
|
|
tuple = PyTuple_New(len);
|
|
if (tuple == NULL)
|
|
return -1;
|
|
|
|
while (--len >= 0) {
|
|
PyObject *item;
|
|
|
|
PDATA_POP(self->stack, item);
|
|
if (item == NULL)
|
|
return -1;
|
|
PyTuple_SET_ITEM(tuple, len, item);
|
|
}
|
|
PDATA_PUSH(self->stack, tuple, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_empty_list(UnpicklerObject *self)
|
|
{
|
|
PyObject *list;
|
|
|
|
if ((list = PyList_New(0)) == NULL)
|
|
return -1;
|
|
PDATA_PUSH(self->stack, list, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_empty_dict(UnpicklerObject *self)
|
|
{
|
|
PyObject *dict;
|
|
|
|
if ((dict = PyDict_New()) == NULL)
|
|
return -1;
|
|
PDATA_PUSH(self->stack, dict, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_empty_set(UnpicklerObject *self)
|
|
{
|
|
PyObject *set;
|
|
|
|
if ((set = PySet_New(NULL)) == NULL)
|
|
return -1;
|
|
PDATA_PUSH(self->stack, set, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_list(UnpicklerObject *self)
|
|
{
|
|
PyObject *list;
|
|
Py_ssize_t i;
|
|
|
|
if ((i = marker(self)) < 0)
|
|
return -1;
|
|
|
|
list = Pdata_poplist(self->stack, i);
|
|
if (list == NULL)
|
|
return -1;
|
|
PDATA_PUSH(self->stack, list, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_dict(UnpicklerObject *self)
|
|
{
|
|
PyObject *dict, *key, *value;
|
|
Py_ssize_t i, j, k;
|
|
|
|
if ((i = marker(self)) < 0)
|
|
return -1;
|
|
j = Py_SIZE(self->stack);
|
|
|
|
if ((dict = PyDict_New()) == NULL)
|
|
return -1;
|
|
|
|
for (k = i + 1; k < j; k += 2) {
|
|
key = self->stack->data[k - 1];
|
|
value = self->stack->data[k];
|
|
if (PyDict_SetItem(dict, key, value) < 0) {
|
|
Py_DECREF(dict);
|
|
return -1;
|
|
}
|
|
}
|
|
Pdata_clear(self->stack, i);
|
|
PDATA_PUSH(self->stack, dict, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_frozenset(UnpicklerObject *self)
|
|
{
|
|
PyObject *items;
|
|
PyObject *frozenset;
|
|
Py_ssize_t i;
|
|
|
|
if ((i = marker(self)) < 0)
|
|
return -1;
|
|
|
|
items = Pdata_poptuple(self->stack, i);
|
|
if (items == NULL)
|
|
return -1;
|
|
|
|
frozenset = PyFrozenSet_New(items);
|
|
Py_DECREF(items);
|
|
if (frozenset == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, frozenset, -1);
|
|
return 0;
|
|
}
|
|
|
|
static PyObject *
|
|
instantiate(PyObject *cls, PyObject *args)
|
|
{
|
|
PyObject *result = NULL;
|
|
_Py_IDENTIFIER(__getinitargs__);
|
|
/* Caller must assure args are a tuple. Normally, args come from
|
|
Pdata_poptuple which packs objects from the top of the stack
|
|
into a newly created tuple. */
|
|
assert(PyTuple_Check(args));
|
|
if (Py_SIZE(args) > 0 || !PyType_Check(cls) ||
|
|
_PyObject_HasAttrId(cls, &PyId___getinitargs__)) {
|
|
result = PyObject_CallObject(cls, args);
|
|
}
|
|
else {
|
|
_Py_IDENTIFIER(__new__);
|
|
|
|
result = _PyObject_CallMethodId(cls, &PyId___new__, "O", cls);
|
|
}
|
|
return result;
|
|
}
|
|
|
|
static int
|
|
load_obj(UnpicklerObject *self)
|
|
{
|
|
PyObject *cls, *args, *obj = NULL;
|
|
Py_ssize_t i;
|
|
|
|
if ((i = marker(self)) < 0)
|
|
return -1;
|
|
|
|
args = Pdata_poptuple(self->stack, i + 1);
|
|
if (args == NULL)
|
|
return -1;
|
|
|
|
PDATA_POP(self->stack, cls);
|
|
if (cls) {
|
|
obj = instantiate(cls, args);
|
|
Py_DECREF(cls);
|
|
}
|
|
Py_DECREF(args);
|
|
if (obj == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, obj, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_inst(UnpicklerObject *self)
|
|
{
|
|
PyObject *cls = NULL;
|
|
PyObject *args = NULL;
|
|
PyObject *obj = NULL;
|
|
PyObject *module_name;
|
|
PyObject *class_name;
|
|
Py_ssize_t len;
|
|
Py_ssize_t i;
|
|
char *s;
|
|
|
|
if ((i = marker(self)) < 0)
|
|
return -1;
|
|
if ((len = _Unpickler_Readline(self, &s)) < 0)
|
|
return -1;
|
|
if (len < 2)
|
|
return bad_readline();
|
|
|
|
/* Here it is safe to use PyUnicode_DecodeASCII(), even though non-ASCII
|
|
identifiers are permitted in Python 3.0, since the INST opcode is only
|
|
supported by older protocols on Python 2.x. */
|
|
module_name = PyUnicode_DecodeASCII(s, len - 1, "strict");
|
|
if (module_name == NULL)
|
|
return -1;
|
|
|
|
if ((len = _Unpickler_Readline(self, &s)) >= 0) {
|
|
if (len < 2)
|
|
return bad_readline();
|
|
class_name = PyUnicode_DecodeASCII(s, len - 1, "strict");
|
|
if (class_name != NULL) {
|
|
cls = find_class(self, module_name, class_name);
|
|
Py_DECREF(class_name);
|
|
}
|
|
}
|
|
Py_DECREF(module_name);
|
|
|
|
if (cls == NULL)
|
|
return -1;
|
|
|
|
if ((args = Pdata_poptuple(self->stack, i)) != NULL) {
|
|
obj = instantiate(cls, args);
|
|
Py_DECREF(args);
|
|
}
|
|
Py_DECREF(cls);
|
|
|
|
if (obj == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, obj, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_newobj(UnpicklerObject *self)
|
|
{
|
|
PyObject *args = NULL;
|
|
PyObject *clsraw = NULL;
|
|
PyTypeObject *cls; /* clsraw cast to its true type */
|
|
PyObject *obj;
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
|
|
/* Stack is ... cls argtuple, and we want to call
|
|
* cls.__new__(cls, *argtuple).
|
|
*/
|
|
PDATA_POP(self->stack, args);
|
|
if (args == NULL)
|
|
goto error;
|
|
if (!PyTuple_Check(args)) {
|
|
PyErr_SetString(st->UnpicklingError,
|
|
"NEWOBJ expected an arg " "tuple.");
|
|
goto error;
|
|
}
|
|
|
|
PDATA_POP(self->stack, clsraw);
|
|
cls = (PyTypeObject *)clsraw;
|
|
if (cls == NULL)
|
|
goto error;
|
|
if (!PyType_Check(cls)) {
|
|
PyErr_SetString(st->UnpicklingError, "NEWOBJ class argument "
|
|
"isn't a type object");
|
|
goto error;
|
|
}
|
|
if (cls->tp_new == NULL) {
|
|
PyErr_SetString(st->UnpicklingError, "NEWOBJ class argument "
|
|
"has NULL tp_new");
|
|
goto error;
|
|
}
|
|
|
|
/* Call __new__. */
|
|
obj = cls->tp_new(cls, args, NULL);
|
|
if (obj == NULL)
|
|
goto error;
|
|
|
|
Py_DECREF(args);
|
|
Py_DECREF(clsraw);
|
|
PDATA_PUSH(self->stack, obj, -1);
|
|
return 0;
|
|
|
|
error:
|
|
Py_XDECREF(args);
|
|
Py_XDECREF(clsraw);
|
|
return -1;
|
|
}
|
|
|
|
static int
|
|
load_newobj_ex(UnpicklerObject *self)
|
|
{
|
|
PyObject *cls, *args, *kwargs;
|
|
PyObject *obj;
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
|
|
PDATA_POP(self->stack, kwargs);
|
|
if (kwargs == NULL) {
|
|
return -1;
|
|
}
|
|
PDATA_POP(self->stack, args);
|
|
if (args == NULL) {
|
|
Py_DECREF(kwargs);
|
|
return -1;
|
|
}
|
|
PDATA_POP(self->stack, cls);
|
|
if (cls == NULL) {
|
|
Py_DECREF(kwargs);
|
|
Py_DECREF(args);
|
|
return -1;
|
|
}
|
|
|
|
if (!PyType_Check(cls)) {
|
|
Py_DECREF(kwargs);
|
|
Py_DECREF(args);
|
|
Py_DECREF(cls);
|
|
PyErr_Format(st->UnpicklingError,
|
|
"NEWOBJ_EX class argument must be a type, not %.200s",
|
|
Py_TYPE(cls)->tp_name);
|
|
return -1;
|
|
}
|
|
|
|
if (((PyTypeObject *)cls)->tp_new == NULL) {
|
|
Py_DECREF(kwargs);
|
|
Py_DECREF(args);
|
|
Py_DECREF(cls);
|
|
PyErr_SetString(st->UnpicklingError,
|
|
"NEWOBJ_EX class argument doesn't have __new__");
|
|
return -1;
|
|
}
|
|
obj = ((PyTypeObject *)cls)->tp_new((PyTypeObject *)cls, args, kwargs);
|
|
Py_DECREF(kwargs);
|
|
Py_DECREF(args);
|
|
Py_DECREF(cls);
|
|
if (obj == NULL) {
|
|
return -1;
|
|
}
|
|
PDATA_PUSH(self->stack, obj, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_global(UnpicklerObject *self)
|
|
{
|
|
PyObject *global = NULL;
|
|
PyObject *module_name;
|
|
PyObject *global_name;
|
|
Py_ssize_t len;
|
|
char *s;
|
|
|
|
if ((len = _Unpickler_Readline(self, &s)) < 0)
|
|
return -1;
|
|
if (len < 2)
|
|
return bad_readline();
|
|
module_name = PyUnicode_DecodeUTF8(s, len - 1, "strict");
|
|
if (!module_name)
|
|
return -1;
|
|
|
|
if ((len = _Unpickler_Readline(self, &s)) >= 0) {
|
|
if (len < 2) {
|
|
Py_DECREF(module_name);
|
|
return bad_readline();
|
|
}
|
|
global_name = PyUnicode_DecodeUTF8(s, len - 1, "strict");
|
|
if (global_name) {
|
|
global = find_class(self, module_name, global_name);
|
|
Py_DECREF(global_name);
|
|
}
|
|
}
|
|
Py_DECREF(module_name);
|
|
|
|
if (global == NULL)
|
|
return -1;
|
|
PDATA_PUSH(self->stack, global, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_stack_global(UnpicklerObject *self)
|
|
{
|
|
PyObject *global;
|
|
PyObject *module_name;
|
|
PyObject *global_name;
|
|
|
|
PDATA_POP(self->stack, global_name);
|
|
PDATA_POP(self->stack, module_name);
|
|
if (module_name == NULL || !PyUnicode_CheckExact(module_name) ||
|
|
global_name == NULL || !PyUnicode_CheckExact(global_name)) {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->UnpicklingError, "STACK_GLOBAL requires str");
|
|
Py_XDECREF(global_name);
|
|
Py_XDECREF(module_name);
|
|
return -1;
|
|
}
|
|
global = find_class(self, module_name, global_name);
|
|
Py_DECREF(global_name);
|
|
Py_DECREF(module_name);
|
|
if (global == NULL)
|
|
return -1;
|
|
PDATA_PUSH(self->stack, global, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_persid(UnpicklerObject *self)
|
|
{
|
|
PyObject *pid;
|
|
Py_ssize_t len;
|
|
char *s;
|
|
|
|
if (self->pers_func) {
|
|
if ((len = _Unpickler_Readline(self, &s)) < 0)
|
|
return -1;
|
|
if (len < 1)
|
|
return bad_readline();
|
|
|
|
pid = PyBytes_FromStringAndSize(s, len - 1);
|
|
if (pid == NULL)
|
|
return -1;
|
|
|
|
/* This does not leak since _Pickle_FastCall() steals the reference
|
|
to pid first. */
|
|
pid = _Pickle_FastCall(self->pers_func, pid);
|
|
if (pid == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, pid, -1);
|
|
return 0;
|
|
}
|
|
else {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->UnpicklingError,
|
|
"A load persistent id instruction was encountered,\n"
|
|
"but no persistent_load function was specified.");
|
|
return -1;
|
|
}
|
|
}
|
|
|
|
static int
|
|
load_binpersid(UnpicklerObject *self)
|
|
{
|
|
PyObject *pid;
|
|
|
|
if (self->pers_func) {
|
|
PDATA_POP(self->stack, pid);
|
|
if (pid == NULL)
|
|
return -1;
|
|
|
|
/* This does not leak since _Pickle_FastCall() steals the
|
|
reference to pid first. */
|
|
pid = _Pickle_FastCall(self->pers_func, pid);
|
|
if (pid == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, pid, -1);
|
|
return 0;
|
|
}
|
|
else {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->UnpicklingError,
|
|
"A load persistent id instruction was encountered,\n"
|
|
"but no persistent_load function was specified.");
|
|
return -1;
|
|
}
|
|
}
|
|
|
|
static int
|
|
load_pop(UnpicklerObject *self)
|
|
{
|
|
Py_ssize_t len = Py_SIZE(self->stack);
|
|
|
|
/* Note that we split the (pickle.py) stack into two stacks,
|
|
* an object stack and a mark stack. We have to be clever and
|
|
* pop the right one. We do this by looking at the top of the
|
|
* mark stack first, and only signalling a stack underflow if
|
|
* the object stack is empty and the mark stack doesn't match
|
|
* our expectations.
|
|
*/
|
|
if (self->num_marks > 0 && self->marks[self->num_marks - 1] == len) {
|
|
self->num_marks--;
|
|
} else if (len > 0) {
|
|
len--;
|
|
Py_DECREF(self->stack->data[len]);
|
|
Py_SIZE(self->stack) = len;
|
|
} else {
|
|
return stack_underflow();
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_pop_mark(UnpicklerObject *self)
|
|
{
|
|
Py_ssize_t i;
|
|
|
|
if ((i = marker(self)) < 0)
|
|
return -1;
|
|
|
|
Pdata_clear(self->stack, i);
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_dup(UnpicklerObject *self)
|
|
{
|
|
PyObject *last;
|
|
Py_ssize_t len;
|
|
|
|
if ((len = Py_SIZE(self->stack)) <= 0)
|
|
return stack_underflow();
|
|
last = self->stack->data[len - 1];
|
|
PDATA_APPEND(self->stack, last, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_get(UnpicklerObject *self)
|
|
{
|
|
PyObject *key, *value;
|
|
Py_ssize_t idx;
|
|
Py_ssize_t len;
|
|
char *s;
|
|
|
|
if ((len = _Unpickler_Readline(self, &s)) < 0)
|
|
return -1;
|
|
if (len < 2)
|
|
return bad_readline();
|
|
|
|
key = PyLong_FromString(s, NULL, 10);
|
|
if (key == NULL)
|
|
return -1;
|
|
idx = PyLong_AsSsize_t(key);
|
|
if (idx == -1 && PyErr_Occurred()) {
|
|
Py_DECREF(key);
|
|
return -1;
|
|
}
|
|
|
|
value = _Unpickler_MemoGet(self, idx);
|
|
if (value == NULL) {
|
|
if (!PyErr_Occurred())
|
|
PyErr_SetObject(PyExc_KeyError, key);
|
|
Py_DECREF(key);
|
|
return -1;
|
|
}
|
|
Py_DECREF(key);
|
|
|
|
PDATA_APPEND(self->stack, value, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_binget(UnpicklerObject *self)
|
|
{
|
|
PyObject *value;
|
|
Py_ssize_t idx;
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, 1) < 0)
|
|
return -1;
|
|
|
|
idx = Py_CHARMASK(s[0]);
|
|
|
|
value = _Unpickler_MemoGet(self, idx);
|
|
if (value == NULL) {
|
|
PyObject *key = PyLong_FromSsize_t(idx);
|
|
if (key != NULL) {
|
|
PyErr_SetObject(PyExc_KeyError, key);
|
|
Py_DECREF(key);
|
|
}
|
|
return -1;
|
|
}
|
|
|
|
PDATA_APPEND(self->stack, value, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_long_binget(UnpicklerObject *self)
|
|
{
|
|
PyObject *value;
|
|
Py_ssize_t idx;
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, 4) < 0)
|
|
return -1;
|
|
|
|
idx = calc_binsize(s, 4);
|
|
|
|
value = _Unpickler_MemoGet(self, idx);
|
|
if (value == NULL) {
|
|
PyObject *key = PyLong_FromSsize_t(idx);
|
|
if (key != NULL) {
|
|
PyErr_SetObject(PyExc_KeyError, key);
|
|
Py_DECREF(key);
|
|
}
|
|
return -1;
|
|
}
|
|
|
|
PDATA_APPEND(self->stack, value, -1);
|
|
return 0;
|
|
}
|
|
|
|
/* Push an object from the extension registry (EXT[124]). nbytes is
|
|
* the number of bytes following the opcode, holding the index (code) value.
|
|
*/
|
|
static int
|
|
load_extension(UnpicklerObject *self, int nbytes)
|
|
{
|
|
char *codebytes; /* the nbytes bytes after the opcode */
|
|
long code; /* calc_binint returns long */
|
|
PyObject *py_code; /* code as a Python int */
|
|
PyObject *obj; /* the object to push */
|
|
PyObject *pair; /* (module_name, class_name) */
|
|
PyObject *module_name, *class_name;
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
|
|
assert(nbytes == 1 || nbytes == 2 || nbytes == 4);
|
|
if (_Unpickler_Read(self, &codebytes, nbytes) < 0)
|
|
return -1;
|
|
code = calc_binint(codebytes, nbytes);
|
|
if (code <= 0) { /* note that 0 is forbidden */
|
|
/* Corrupt or hostile pickle. */
|
|
PyErr_SetString(st->UnpicklingError, "EXT specifies code <= 0");
|
|
return -1;
|
|
}
|
|
|
|
/* Look for the code in the cache. */
|
|
py_code = PyLong_FromLong(code);
|
|
if (py_code == NULL)
|
|
return -1;
|
|
obj = PyDict_GetItemWithError(st->extension_cache, py_code);
|
|
if (obj != NULL) {
|
|
/* Bingo. */
|
|
Py_DECREF(py_code);
|
|
PDATA_APPEND(self->stack, obj, -1);
|
|
return 0;
|
|
}
|
|
if (PyErr_Occurred()) {
|
|
Py_DECREF(py_code);
|
|
return -1;
|
|
}
|
|
|
|
/* Look up the (module_name, class_name) pair. */
|
|
pair = PyDict_GetItemWithError(st->inverted_registry, py_code);
|
|
if (pair == NULL) {
|
|
Py_DECREF(py_code);
|
|
if (!PyErr_Occurred()) {
|
|
PyErr_Format(PyExc_ValueError, "unregistered extension "
|
|
"code %ld", code);
|
|
}
|
|
return -1;
|
|
}
|
|
/* Since the extension registry is manipulable via Python code,
|
|
* confirm that pair is really a 2-tuple of strings.
|
|
*/
|
|
if (!PyTuple_Check(pair) || PyTuple_Size(pair) != 2 ||
|
|
!PyUnicode_Check(module_name = PyTuple_GET_ITEM(pair, 0)) ||
|
|
!PyUnicode_Check(class_name = PyTuple_GET_ITEM(pair, 1))) {
|
|
Py_DECREF(py_code);
|
|
PyErr_Format(PyExc_ValueError, "_inverted_registry[%ld] "
|
|
"isn't a 2-tuple of strings", code);
|
|
return -1;
|
|
}
|
|
/* Load the object. */
|
|
obj = find_class(self, module_name, class_name);
|
|
if (obj == NULL) {
|
|
Py_DECREF(py_code);
|
|
return -1;
|
|
}
|
|
/* Cache code -> obj. */
|
|
code = PyDict_SetItem(st->extension_cache, py_code, obj);
|
|
Py_DECREF(py_code);
|
|
if (code < 0) {
|
|
Py_DECREF(obj);
|
|
return -1;
|
|
}
|
|
PDATA_PUSH(self->stack, obj, -1);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_put(UnpicklerObject *self)
|
|
{
|
|
PyObject *key, *value;
|
|
Py_ssize_t idx;
|
|
Py_ssize_t len;
|
|
char *s;
|
|
|
|
if ((len = _Unpickler_Readline(self, &s)) < 0)
|
|
return -1;
|
|
if (len < 2)
|
|
return bad_readline();
|
|
if (Py_SIZE(self->stack) <= 0)
|
|
return stack_underflow();
|
|
value = self->stack->data[Py_SIZE(self->stack) - 1];
|
|
|
|
key = PyLong_FromString(s, NULL, 10);
|
|
if (key == NULL)
|
|
return -1;
|
|
idx = PyLong_AsSsize_t(key);
|
|
Py_DECREF(key);
|
|
if (idx < 0) {
|
|
if (!PyErr_Occurred())
|
|
PyErr_SetString(PyExc_ValueError,
|
|
"negative PUT argument");
|
|
return -1;
|
|
}
|
|
|
|
return _Unpickler_MemoPut(self, idx, value);
|
|
}
|
|
|
|
static int
|
|
load_binput(UnpicklerObject *self)
|
|
{
|
|
PyObject *value;
|
|
Py_ssize_t idx;
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, 1) < 0)
|
|
return -1;
|
|
|
|
if (Py_SIZE(self->stack) <= 0)
|
|
return stack_underflow();
|
|
value = self->stack->data[Py_SIZE(self->stack) - 1];
|
|
|
|
idx = Py_CHARMASK(s[0]);
|
|
|
|
return _Unpickler_MemoPut(self, idx, value);
|
|
}
|
|
|
|
static int
|
|
load_long_binput(UnpicklerObject *self)
|
|
{
|
|
PyObject *value;
|
|
Py_ssize_t idx;
|
|
char *s;
|
|
|
|
if (_Unpickler_Read(self, &s, 4) < 0)
|
|
return -1;
|
|
|
|
if (Py_SIZE(self->stack) <= 0)
|
|
return stack_underflow();
|
|
value = self->stack->data[Py_SIZE(self->stack) - 1];
|
|
|
|
idx = calc_binsize(s, 4);
|
|
if (idx < 0) {
|
|
PyErr_SetString(PyExc_ValueError,
|
|
"negative LONG_BINPUT argument");
|
|
return -1;
|
|
}
|
|
|
|
return _Unpickler_MemoPut(self, idx, value);
|
|
}
|
|
|
|
static int
|
|
load_memoize(UnpicklerObject *self)
|
|
{
|
|
PyObject *value;
|
|
|
|
if (Py_SIZE(self->stack) <= 0)
|
|
return stack_underflow();
|
|
value = self->stack->data[Py_SIZE(self->stack) - 1];
|
|
|
|
return _Unpickler_MemoPut(self, self->memo_len, value);
|
|
}
|
|
|
|
static int
|
|
do_append(UnpicklerObject *self, Py_ssize_t x)
|
|
{
|
|
PyObject *value;
|
|
PyObject *list;
|
|
Py_ssize_t len, i;
|
|
|
|
len = Py_SIZE(self->stack);
|
|
if (x > len || x <= 0)
|
|
return stack_underflow();
|
|
if (len == x) /* nothing to do */
|
|
return 0;
|
|
|
|
list = self->stack->data[x - 1];
|
|
|
|
if (PyList_Check(list)) {
|
|
PyObject *slice;
|
|
Py_ssize_t list_len;
|
|
int ret;
|
|
|
|
slice = Pdata_poplist(self->stack, x);
|
|
if (!slice)
|
|
return -1;
|
|
list_len = PyList_GET_SIZE(list);
|
|
ret = PyList_SetSlice(list, list_len, list_len, slice);
|
|
Py_DECREF(slice);
|
|
return ret;
|
|
}
|
|
else {
|
|
PyObject *append_func;
|
|
_Py_IDENTIFIER(append);
|
|
|
|
append_func = _PyObject_GetAttrId(list, &PyId_append);
|
|
if (append_func == NULL)
|
|
return -1;
|
|
for (i = x; i < len; i++) {
|
|
PyObject *result;
|
|
|
|
value = self->stack->data[i];
|
|
result = _Pickle_FastCall(append_func, value);
|
|
if (result == NULL) {
|
|
Pdata_clear(self->stack, i + 1);
|
|
Py_SIZE(self->stack) = x;
|
|
Py_DECREF(append_func);
|
|
return -1;
|
|
}
|
|
Py_DECREF(result);
|
|
}
|
|
Py_SIZE(self->stack) = x;
|
|
Py_DECREF(append_func);
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_append(UnpicklerObject *self)
|
|
{
|
|
return do_append(self, Py_SIZE(self->stack) - 1);
|
|
}
|
|
|
|
static int
|
|
load_appends(UnpicklerObject *self)
|
|
{
|
|
return do_append(self, marker(self));
|
|
}
|
|
|
|
static int
|
|
do_setitems(UnpicklerObject *self, Py_ssize_t x)
|
|
{
|
|
PyObject *value, *key;
|
|
PyObject *dict;
|
|
Py_ssize_t len, i;
|
|
int status = 0;
|
|
|
|
len = Py_SIZE(self->stack);
|
|
if (x > len || x <= 0)
|
|
return stack_underflow();
|
|
if (len == x) /* nothing to do */
|
|
return 0;
|
|
if ((len - x) % 2 != 0) {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
/* Currupt or hostile pickle -- we never write one like this. */
|
|
PyErr_SetString(st->UnpicklingError,
|
|
"odd number of items for SETITEMS");
|
|
return -1;
|
|
}
|
|
|
|
/* Here, dict does not actually need to be a PyDict; it could be anything
|
|
that supports the __setitem__ attribute. */
|
|
dict = self->stack->data[x - 1];
|
|
|
|
for (i = x + 1; i < len; i += 2) {
|
|
key = self->stack->data[i - 1];
|
|
value = self->stack->data[i];
|
|
if (PyObject_SetItem(dict, key, value) < 0) {
|
|
status = -1;
|
|
break;
|
|
}
|
|
}
|
|
|
|
Pdata_clear(self->stack, x);
|
|
return status;
|
|
}
|
|
|
|
static int
|
|
load_setitem(UnpicklerObject *self)
|
|
{
|
|
return do_setitems(self, Py_SIZE(self->stack) - 2);
|
|
}
|
|
|
|
static int
|
|
load_setitems(UnpicklerObject *self)
|
|
{
|
|
return do_setitems(self, marker(self));
|
|
}
|
|
|
|
static int
|
|
load_additems(UnpicklerObject *self)
|
|
{
|
|
PyObject *set;
|
|
Py_ssize_t mark, len, i;
|
|
|
|
mark = marker(self);
|
|
len = Py_SIZE(self->stack);
|
|
if (mark > len || mark <= 0)
|
|
return stack_underflow();
|
|
if (len == mark) /* nothing to do */
|
|
return 0;
|
|
|
|
set = self->stack->data[mark - 1];
|
|
|
|
if (PySet_Check(set)) {
|
|
PyObject *items;
|
|
int status;
|
|
|
|
items = Pdata_poptuple(self->stack, mark);
|
|
if (items == NULL)
|
|
return -1;
|
|
|
|
status = _PySet_Update(set, items);
|
|
Py_DECREF(items);
|
|
return status;
|
|
}
|
|
else {
|
|
PyObject *add_func;
|
|
_Py_IDENTIFIER(add);
|
|
|
|
add_func = _PyObject_GetAttrId(set, &PyId_add);
|
|
if (add_func == NULL)
|
|
return -1;
|
|
for (i = mark; i < len; i++) {
|
|
PyObject *result;
|
|
PyObject *item;
|
|
|
|
item = self->stack->data[i];
|
|
result = _Pickle_FastCall(add_func, item);
|
|
if (result == NULL) {
|
|
Pdata_clear(self->stack, i + 1);
|
|
Py_SIZE(self->stack) = mark;
|
|
return -1;
|
|
}
|
|
Py_DECREF(result);
|
|
}
|
|
Py_SIZE(self->stack) = mark;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_build(UnpicklerObject *self)
|
|
{
|
|
PyObject *state, *inst, *slotstate;
|
|
PyObject *setstate;
|
|
int status = 0;
|
|
_Py_IDENTIFIER(__setstate__);
|
|
|
|
/* Stack is ... instance, state. We want to leave instance at
|
|
* the stack top, possibly mutated via instance.__setstate__(state).
|
|
*/
|
|
if (Py_SIZE(self->stack) < 2)
|
|
return stack_underflow();
|
|
|
|
PDATA_POP(self->stack, state);
|
|
if (state == NULL)
|
|
return -1;
|
|
|
|
inst = self->stack->data[Py_SIZE(self->stack) - 1];
|
|
|
|
setstate = _PyObject_GetAttrId(inst, &PyId___setstate__);
|
|
if (setstate == NULL) {
|
|
if (PyErr_ExceptionMatches(PyExc_AttributeError))
|
|
PyErr_Clear();
|
|
else {
|
|
Py_DECREF(state);
|
|
return -1;
|
|
}
|
|
}
|
|
else {
|
|
PyObject *result;
|
|
|
|
/* The explicit __setstate__ is responsible for everything. */
|
|
result = _Pickle_FastCall(setstate, state);
|
|
Py_DECREF(setstate);
|
|
if (result == NULL)
|
|
return -1;
|
|
Py_DECREF(result);
|
|
return 0;
|
|
}
|
|
|
|
/* A default __setstate__. First see whether state embeds a
|
|
* slot state dict too (a proto 2 addition).
|
|
*/
|
|
if (PyTuple_Check(state) && Py_SIZE(state) == 2) {
|
|
PyObject *tmp = state;
|
|
|
|
state = PyTuple_GET_ITEM(tmp, 0);
|
|
slotstate = PyTuple_GET_ITEM(tmp, 1);
|
|
Py_INCREF(state);
|
|
Py_INCREF(slotstate);
|
|
Py_DECREF(tmp);
|
|
}
|
|
else
|
|
slotstate = NULL;
|
|
|
|
/* Set inst.__dict__ from the state dict (if any). */
|
|
if (state != Py_None) {
|
|
PyObject *dict;
|
|
PyObject *d_key, *d_value;
|
|
Py_ssize_t i;
|
|
_Py_IDENTIFIER(__dict__);
|
|
|
|
if (!PyDict_Check(state)) {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->UnpicklingError, "state is not a dictionary");
|
|
goto error;
|
|
}
|
|
dict = _PyObject_GetAttrId(inst, &PyId___dict__);
|
|
if (dict == NULL)
|
|
goto error;
|
|
|
|
i = 0;
|
|
while (PyDict_Next(state, &i, &d_key, &d_value)) {
|
|
/* normally the keys for instance attributes are
|
|
interned. we should try to do that here. */
|
|
Py_INCREF(d_key);
|
|
if (PyUnicode_CheckExact(d_key))
|
|
PyUnicode_InternInPlace(&d_key);
|
|
if (PyObject_SetItem(dict, d_key, d_value) < 0) {
|
|
Py_DECREF(d_key);
|
|
goto error;
|
|
}
|
|
Py_DECREF(d_key);
|
|
}
|
|
Py_DECREF(dict);
|
|
}
|
|
|
|
/* Also set instance attributes from the slotstate dict (if any). */
|
|
if (slotstate != NULL) {
|
|
PyObject *d_key, *d_value;
|
|
Py_ssize_t i;
|
|
|
|
if (!PyDict_Check(slotstate)) {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_SetString(st->UnpicklingError,
|
|
"slot state is not a dictionary");
|
|
goto error;
|
|
}
|
|
i = 0;
|
|
while (PyDict_Next(slotstate, &i, &d_key, &d_value)) {
|
|
if (PyObject_SetAttr(inst, d_key, d_value) < 0)
|
|
goto error;
|
|
}
|
|
}
|
|
|
|
if (0) {
|
|
error:
|
|
status = -1;
|
|
}
|
|
|
|
Py_DECREF(state);
|
|
Py_XDECREF(slotstate);
|
|
return status;
|
|
}
|
|
|
|
static int
|
|
load_mark(UnpicklerObject *self)
|
|
{
|
|
|
|
/* Note that we split the (pickle.py) stack into two stacks, an
|
|
* object stack and a mark stack. Here we push a mark onto the
|
|
* mark stack.
|
|
*/
|
|
|
|
if ((self->num_marks + 1) >= self->marks_size) {
|
|
size_t alloc;
|
|
Py_ssize_t *marks;
|
|
|
|
/* Use the size_t type to check for overflow. */
|
|
alloc = ((size_t)self->num_marks << 1) + 20;
|
|
if (alloc > (PY_SSIZE_T_MAX / sizeof(Py_ssize_t)) ||
|
|
alloc <= ((size_t)self->num_marks + 1)) {
|
|
PyErr_NoMemory();
|
|
return -1;
|
|
}
|
|
|
|
if (self->marks == NULL)
|
|
marks = (Py_ssize_t *) PyMem_Malloc(alloc * sizeof(Py_ssize_t));
|
|
else
|
|
marks = (Py_ssize_t *) PyMem_Realloc(self->marks,
|
|
alloc * sizeof(Py_ssize_t));
|
|
if (marks == NULL) {
|
|
PyErr_NoMemory();
|
|
return -1;
|
|
}
|
|
self->marks = marks;
|
|
self->marks_size = (Py_ssize_t)alloc;
|
|
}
|
|
|
|
self->marks[self->num_marks++] = Py_SIZE(self->stack);
|
|
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
load_reduce(UnpicklerObject *self)
|
|
{
|
|
PyObject *callable = NULL;
|
|
PyObject *argtup = NULL;
|
|
PyObject *obj = NULL;
|
|
|
|
PDATA_POP(self->stack, argtup);
|
|
if (argtup == NULL)
|
|
return -1;
|
|
PDATA_POP(self->stack, callable);
|
|
if (callable) {
|
|
obj = PyObject_CallObject(callable, argtup);
|
|
Py_DECREF(callable);
|
|
}
|
|
Py_DECREF(argtup);
|
|
|
|
if (obj == NULL)
|
|
return -1;
|
|
|
|
PDATA_PUSH(self->stack, obj, -1);
|
|
return 0;
|
|
}
|
|
|
|
/* Just raises an error if we don't know the protocol specified. PROTO
|
|
* is the first opcode for protocols >= 2.
|
|
*/
|
|
static int
|
|
load_proto(UnpicklerObject *self)
|
|
{
|
|
char *s;
|
|
int i;
|
|
|
|
if (_Unpickler_Read(self, &s, 1) < 0)
|
|
return -1;
|
|
|
|
i = (unsigned char)s[0];
|
|
if (i <= HIGHEST_PROTOCOL) {
|
|
self->proto = i;
|
|
return 0;
|
|
}
|
|
|
|
PyErr_Format(PyExc_ValueError, "unsupported pickle protocol: %d", i);
|
|
return -1;
|
|
}
|
|
|
|
static int
|
|
load_frame(UnpicklerObject *self)
|
|
{
|
|
char *s;
|
|
Py_ssize_t frame_len;
|
|
|
|
if (_Unpickler_Read(self, &s, 8) < 0)
|
|
return -1;
|
|
|
|
frame_len = calc_binsize(s, 8);
|
|
if (frame_len < 0) {
|
|
PyErr_Format(PyExc_OverflowError,
|
|
"FRAME length exceeds system's maximum of %zd bytes",
|
|
PY_SSIZE_T_MAX);
|
|
return -1;
|
|
}
|
|
|
|
if (_Unpickler_Read(self, &s, frame_len) < 0)
|
|
return -1;
|
|
|
|
/* Rewind to start of frame */
|
|
self->next_read_idx -= frame_len;
|
|
return 0;
|
|
}
|
|
|
|
static PyObject *
|
|
load(UnpicklerObject *self)
|
|
{
|
|
PyObject *value = NULL;
|
|
char *s = NULL;
|
|
|
|
self->num_marks = 0;
|
|
self->proto = 0;
|
|
if (Py_SIZE(self->stack))
|
|
Pdata_clear(self->stack, 0);
|
|
|
|
/* Convenient macros for the dispatch while-switch loop just below. */
|
|
#define OP(opcode, load_func) \
|
|
case opcode: if (load_func(self) < 0) break; continue;
|
|
|
|
#define OP_ARG(opcode, load_func, arg) \
|
|
case opcode: if (load_func(self, (arg)) < 0) break; continue;
|
|
|
|
while (1) {
|
|
if (_Unpickler_Read(self, &s, 1) < 0)
|
|
break;
|
|
|
|
switch ((enum opcode)s[0]) {
|
|
OP(NONE, load_none)
|
|
OP(BININT, load_binint)
|
|
OP(BININT1, load_binint1)
|
|
OP(BININT2, load_binint2)
|
|
OP(INT, load_int)
|
|
OP(LONG, load_long)
|
|
OP_ARG(LONG1, load_counted_long, 1)
|
|
OP_ARG(LONG4, load_counted_long, 4)
|
|
OP(FLOAT, load_float)
|
|
OP(BINFLOAT, load_binfloat)
|
|
OP_ARG(SHORT_BINBYTES, load_counted_binbytes, 1)
|
|
OP_ARG(BINBYTES, load_counted_binbytes, 4)
|
|
OP_ARG(BINBYTES8, load_counted_binbytes, 8)
|
|
OP_ARG(SHORT_BINSTRING, load_counted_binstring, 1)
|
|
OP_ARG(BINSTRING, load_counted_binstring, 4)
|
|
OP(STRING, load_string)
|
|
OP(UNICODE, load_unicode)
|
|
OP_ARG(SHORT_BINUNICODE, load_counted_binunicode, 1)
|
|
OP_ARG(BINUNICODE, load_counted_binunicode, 4)
|
|
OP_ARG(BINUNICODE8, load_counted_binunicode, 8)
|
|
OP_ARG(EMPTY_TUPLE, load_counted_tuple, 0)
|
|
OP_ARG(TUPLE1, load_counted_tuple, 1)
|
|
OP_ARG(TUPLE2, load_counted_tuple, 2)
|
|
OP_ARG(TUPLE3, load_counted_tuple, 3)
|
|
OP(TUPLE, load_tuple)
|
|
OP(EMPTY_LIST, load_empty_list)
|
|
OP(LIST, load_list)
|
|
OP(EMPTY_DICT, load_empty_dict)
|
|
OP(DICT, load_dict)
|
|
OP(EMPTY_SET, load_empty_set)
|
|
OP(ADDITEMS, load_additems)
|
|
OP(FROZENSET, load_frozenset)
|
|
OP(OBJ, load_obj)
|
|
OP(INST, load_inst)
|
|
OP(NEWOBJ, load_newobj)
|
|
OP(NEWOBJ_EX, load_newobj_ex)
|
|
OP(GLOBAL, load_global)
|
|
OP(STACK_GLOBAL, load_stack_global)
|
|
OP(APPEND, load_append)
|
|
OP(APPENDS, load_appends)
|
|
OP(BUILD, load_build)
|
|
OP(DUP, load_dup)
|
|
OP(BINGET, load_binget)
|
|
OP(LONG_BINGET, load_long_binget)
|
|
OP(GET, load_get)
|
|
OP(MARK, load_mark)
|
|
OP(BINPUT, load_binput)
|
|
OP(LONG_BINPUT, load_long_binput)
|
|
OP(PUT, load_put)
|
|
OP(MEMOIZE, load_memoize)
|
|
OP(POP, load_pop)
|
|
OP(POP_MARK, load_pop_mark)
|
|
OP(SETITEM, load_setitem)
|
|
OP(SETITEMS, load_setitems)
|
|
OP(PERSID, load_persid)
|
|
OP(BINPERSID, load_binpersid)
|
|
OP(REDUCE, load_reduce)
|
|
OP(PROTO, load_proto)
|
|
OP(FRAME, load_frame)
|
|
OP_ARG(EXT1, load_extension, 1)
|
|
OP_ARG(EXT2, load_extension, 2)
|
|
OP_ARG(EXT4, load_extension, 4)
|
|
OP_ARG(NEWTRUE, load_bool, Py_True)
|
|
OP_ARG(NEWFALSE, load_bool, Py_False)
|
|
|
|
case STOP:
|
|
break;
|
|
|
|
default:
|
|
if (s[0] == '\0') {
|
|
PyErr_SetNone(PyExc_EOFError);
|
|
}
|
|
else {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_Format(st->UnpicklingError,
|
|
"invalid load key, '%c'.", s[0]);
|
|
}
|
|
return NULL;
|
|
}
|
|
|
|
break; /* and we are done! */
|
|
}
|
|
|
|
if (PyErr_Occurred()) {
|
|
return NULL;
|
|
}
|
|
|
|
if (_Unpickler_SkipConsumed(self) < 0)
|
|
return NULL;
|
|
|
|
PDATA_POP(self->stack, value);
|
|
return value;
|
|
}
|
|
|
|
/*[clinic input]
|
|
|
|
_pickle.Unpickler.load
|
|
|
|
Load a pickle.
|
|
|
|
Read a pickled object representation from the open file object given
|
|
in the constructor, and return the reconstituted object hierarchy
|
|
specified therein.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_Unpickler_load_impl(UnpicklerObject *self)
|
|
/*[clinic end generated code: output=fdcc488aad675b14 input=acbb91a42fa9b7b9]*/
|
|
{
|
|
UnpicklerObject *unpickler = (UnpicklerObject*)self;
|
|
|
|
/* Check whether the Unpickler was initialized correctly. This prevents
|
|
segfaulting if a subclass overridden __init__ with a function that does
|
|
not call Unpickler.__init__(). Here, we simply ensure that self->read
|
|
is not NULL. */
|
|
if (unpickler->read == NULL) {
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
PyErr_Format(st->UnpicklingError,
|
|
"Unpickler.__init__() was not called by %s.__init__()",
|
|
Py_TYPE(unpickler)->tp_name);
|
|
return NULL;
|
|
}
|
|
|
|
return load(unpickler);
|
|
}
|
|
|
|
/* The name of find_class() is misleading. In newer pickle protocols, this
|
|
function is used for loading any global (i.e., functions), not just
|
|
classes. The name is kept only for backward compatibility. */
|
|
|
|
/*[clinic input]
|
|
|
|
_pickle.Unpickler.find_class
|
|
|
|
module_name: object
|
|
global_name: object
|
|
/
|
|
|
|
Return an object from a specified module.
|
|
|
|
If necessary, the module will be imported. Subclasses may override
|
|
this method (e.g. to restrict unpickling of arbitrary classes and
|
|
functions).
|
|
|
|
This method is called whenever a class or a function object is
|
|
needed. Both arguments passed are str objects.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_Unpickler_find_class_impl(UnpicklerObject *self, PyObject *module_name, PyObject *global_name)
|
|
/*[clinic end generated code: output=64c77437e088e188 input=e2e6a865de093ef4]*/
|
|
{
|
|
PyObject *global;
|
|
PyObject *modules_dict;
|
|
PyObject *module;
|
|
_Py_IDENTIFIER(modules);
|
|
|
|
/* Try to map the old names used in Python 2.x to the new ones used in
|
|
Python 3.x. We do this only with old pickle protocols and when the
|
|
user has not disabled the feature. */
|
|
if (self->proto < 3 && self->fix_imports) {
|
|
PyObject *key;
|
|
PyObject *item;
|
|
PickleState *st = _Pickle_GetGlobalState();
|
|
|
|
/* Check if the global (i.e., a function or a class) was renamed
|
|
or moved to another module. */
|
|
key = PyTuple_Pack(2, module_name, global_name);
|
|
if (key == NULL)
|
|
return NULL;
|
|
item = PyDict_GetItemWithError(st->name_mapping_2to3, key);
|
|
Py_DECREF(key);
|
|
if (item) {
|
|
if (!PyTuple_Check(item) || PyTuple_GET_SIZE(item) != 2) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"_compat_pickle.NAME_MAPPING values should be "
|
|
"2-tuples, not %.200s", Py_TYPE(item)->tp_name);
|
|
return NULL;
|
|
}
|
|
module_name = PyTuple_GET_ITEM(item, 0);
|
|
global_name = PyTuple_GET_ITEM(item, 1);
|
|
if (!PyUnicode_Check(module_name) ||
|
|
!PyUnicode_Check(global_name)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"_compat_pickle.NAME_MAPPING values should be "
|
|
"pairs of str, not (%.200s, %.200s)",
|
|
Py_TYPE(module_name)->tp_name,
|
|
Py_TYPE(global_name)->tp_name);
|
|
return NULL;
|
|
}
|
|
}
|
|
else if (PyErr_Occurred()) {
|
|
return NULL;
|
|
}
|
|
|
|
/* Check if the module was renamed. */
|
|
item = PyDict_GetItemWithError(st->import_mapping_2to3, module_name);
|
|
if (item) {
|
|
if (!PyUnicode_Check(item)) {
|
|
PyErr_Format(PyExc_RuntimeError,
|
|
"_compat_pickle.IMPORT_MAPPING values should be "
|
|
"strings, not %.200s", Py_TYPE(item)->tp_name);
|
|
return NULL;
|
|
}
|
|
module_name = item;
|
|
}
|
|
else if (PyErr_Occurred()) {
|
|
return NULL;
|
|
}
|
|
}
|
|
|
|
modules_dict = _PySys_GetObjectId(&PyId_modules);
|
|
if (modules_dict == NULL) {
|
|
PyErr_SetString(PyExc_RuntimeError, "unable to get sys.modules");
|
|
return NULL;
|
|
}
|
|
|
|
module = PyDict_GetItemWithError(modules_dict, module_name);
|
|
if (module == NULL) {
|
|
if (PyErr_Occurred())
|
|
return NULL;
|
|
module = PyImport_Import(module_name);
|
|
if (module == NULL)
|
|
return NULL;
|
|
global = getattribute(module, global_name, self->proto >= 4);
|
|
Py_DECREF(module);
|
|
}
|
|
else {
|
|
global = getattribute(module, global_name, self->proto >= 4);
|
|
}
|
|
return global;
|
|
}
|
|
|
|
static struct PyMethodDef Unpickler_methods[] = {
|
|
_PICKLE_UNPICKLER_LOAD_METHODDEF
|
|
_PICKLE_UNPICKLER_FIND_CLASS_METHODDEF
|
|
{NULL, NULL} /* sentinel */
|
|
};
|
|
|
|
static void
|
|
Unpickler_dealloc(UnpicklerObject *self)
|
|
{
|
|
PyObject_GC_UnTrack((PyObject *)self);
|
|
Py_XDECREF(self->readline);
|
|
Py_XDECREF(self->read);
|
|
Py_XDECREF(self->peek);
|
|
Py_XDECREF(self->stack);
|
|
Py_XDECREF(self->pers_func);
|
|
if (self->buffer.buf != NULL) {
|
|
PyBuffer_Release(&self->buffer);
|
|
self->buffer.buf = NULL;
|
|
}
|
|
|
|
_Unpickler_MemoCleanup(self);
|
|
PyMem_Free(self->marks);
|
|
PyMem_Free(self->input_line);
|
|
PyMem_Free(self->encoding);
|
|
PyMem_Free(self->errors);
|
|
|
|
Py_TYPE(self)->tp_free((PyObject *)self);
|
|
}
|
|
|
|
static int
|
|
Unpickler_traverse(UnpicklerObject *self, visitproc visit, void *arg)
|
|
{
|
|
Py_VISIT(self->readline);
|
|
Py_VISIT(self->read);
|
|
Py_VISIT(self->peek);
|
|
Py_VISIT(self->stack);
|
|
Py_VISIT(self->pers_func);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
Unpickler_clear(UnpicklerObject *self)
|
|
{
|
|
Py_CLEAR(self->readline);
|
|
Py_CLEAR(self->read);
|
|
Py_CLEAR(self->peek);
|
|
Py_CLEAR(self->stack);
|
|
Py_CLEAR(self->pers_func);
|
|
if (self->buffer.buf != NULL) {
|
|
PyBuffer_Release(&self->buffer);
|
|
self->buffer.buf = NULL;
|
|
}
|
|
|
|
_Unpickler_MemoCleanup(self);
|
|
PyMem_Free(self->marks);
|
|
self->marks = NULL;
|
|
PyMem_Free(self->input_line);
|
|
self->input_line = NULL;
|
|
PyMem_Free(self->encoding);
|
|
self->encoding = NULL;
|
|
PyMem_Free(self->errors);
|
|
self->errors = NULL;
|
|
|
|
return 0;
|
|
}
|
|
|
|
/*[clinic input]
|
|
|
|
_pickle.Unpickler.__init__
|
|
|
|
file: object
|
|
*
|
|
fix_imports: bool = True
|
|
encoding: str = 'ASCII'
|
|
errors: str = 'strict'
|
|
|
|
This takes a binary file for reading a pickle data stream.
|
|
|
|
The protocol version of the pickle is detected automatically, so no
|
|
protocol argument is needed. Bytes past the pickled object's
|
|
representation are ignored.
|
|
|
|
The argument *file* must have two methods, a read() method that takes
|
|
an integer argument, and a readline() method that requires no
|
|
arguments. Both methods should return bytes. Thus *file* can be a
|
|
binary file object opened for reading, a io.BytesIO object, or any
|
|
other custom object that meets this interface.
|
|
|
|
Optional keyword arguments are *fix_imports*, *encoding* and *errors*,
|
|
which are used to control compatiblity support for pickle stream
|
|
generated by Python 2. If *fix_imports* is True, pickle will try to
|
|
map the old Python 2 names to the new names used in Python 3. The
|
|
*encoding* and *errors* tell pickle how to decode 8-bit string
|
|
instances pickled by Python 2; these default to 'ASCII' and 'strict',
|
|
respectively. The *encoding* can be 'bytes' to read these 8-bit
|
|
string instances as bytes objects.
|
|
[clinic start generated code]*/
|
|
|
|
static int
|
|
_pickle_Unpickler___init___impl(UnpicklerObject *self, PyObject *file, int fix_imports, const char *encoding, const char *errors)
|
|
/*[clinic end generated code: output=b9ed1d84d315f3b5 input=30b4dc9e976b890c]*/
|
|
{
|
|
_Py_IDENTIFIER(persistent_load);
|
|
|
|
/* In case of multiple __init__() calls, clear previous content. */
|
|
if (self->read != NULL)
|
|
(void)Unpickler_clear(self);
|
|
|
|
if (_Unpickler_SetInputStream(self, file) < 0)
|
|
return -1;
|
|
|
|
if (_Unpickler_SetInputEncoding(self, encoding, errors) < 0)
|
|
return -1;
|
|
|
|
self->fix_imports = fix_imports;
|
|
if (self->fix_imports == -1)
|
|
return -1;
|
|
|
|
if (_PyObject_HasAttrId((PyObject *)self, &PyId_persistent_load)) {
|
|
self->pers_func = _PyObject_GetAttrId((PyObject *)self,
|
|
&PyId_persistent_load);
|
|
if (self->pers_func == NULL)
|
|
return 1;
|
|
}
|
|
else {
|
|
self->pers_func = NULL;
|
|
}
|
|
|
|
self->stack = (Pdata *)Pdata_New();
|
|
if (self->stack == NULL)
|
|
return 1;
|
|
|
|
self->memo_size = 32;
|
|
self->memo = _Unpickler_NewMemo(self->memo_size);
|
|
if (self->memo == NULL)
|
|
return -1;
|
|
|
|
self->proto = 0;
|
|
|
|
return 0;
|
|
}
|
|
|
|
|
|
/* Define a proxy object for the Unpickler's internal memo object. This is to
|
|
* avoid breaking code like:
|
|
* unpickler.memo.clear()
|
|
* and
|
|
* unpickler.memo = saved_memo
|
|
* Is this a good idea? Not really, but we don't want to break code that uses
|
|
* it. Note that we don't implement the entire mapping API here. This is
|
|
* intentional, as these should be treated as black-box implementation details.
|
|
*
|
|
* We do, however, have to implement pickling/unpickling support because of
|
|
* real-world code like cvs2svn.
|
|
*/
|
|
|
|
/*[clinic input]
|
|
_pickle.UnpicklerMemoProxy.clear
|
|
|
|
Remove all items from memo.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_UnpicklerMemoProxy_clear_impl(UnpicklerMemoProxyObject *self)
|
|
/*[clinic end generated code: output=d20cd43f4ba1fb1f input=b1df7c52e7afd9bd]*/
|
|
{
|
|
_Unpickler_MemoCleanup(self->unpickler);
|
|
self->unpickler->memo = _Unpickler_NewMemo(self->unpickler->memo_size);
|
|
if (self->unpickler->memo == NULL)
|
|
return NULL;
|
|
Py_RETURN_NONE;
|
|
}
|
|
|
|
/*[clinic input]
|
|
_pickle.UnpicklerMemoProxy.copy
|
|
|
|
Copy the memo to a new object.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_UnpicklerMemoProxy_copy_impl(UnpicklerMemoProxyObject *self)
|
|
/*[clinic end generated code: output=e12af7e9bc1e4c77 input=97769247ce032c1d]*/
|
|
{
|
|
Py_ssize_t i;
|
|
PyObject *new_memo = PyDict_New();
|
|
if (new_memo == NULL)
|
|
return NULL;
|
|
|
|
for (i = 0; i < self->unpickler->memo_size; i++) {
|
|
int status;
|
|
PyObject *key, *value;
|
|
|
|
value = self->unpickler->memo[i];
|
|
if (value == NULL)
|
|
continue;
|
|
|
|
key = PyLong_FromSsize_t(i);
|
|
if (key == NULL)
|
|
goto error;
|
|
status = PyDict_SetItem(new_memo, key, value);
|
|
Py_DECREF(key);
|
|
if (status < 0)
|
|
goto error;
|
|
}
|
|
return new_memo;
|
|
|
|
error:
|
|
Py_DECREF(new_memo);
|
|
return NULL;
|
|
}
|
|
|
|
/*[clinic input]
|
|
_pickle.UnpicklerMemoProxy.__reduce__
|
|
|
|
Implement pickling support.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_UnpicklerMemoProxy___reduce___impl(UnpicklerMemoProxyObject *self)
|
|
/*[clinic end generated code: output=6da34ac048d94cca input=6920862413407199]*/
|
|
{
|
|
PyObject *reduce_value;
|
|
PyObject *constructor_args;
|
|
PyObject *contents = _pickle_UnpicklerMemoProxy_copy_impl(self);
|
|
if (contents == NULL)
|
|
return NULL;
|
|
|
|
reduce_value = PyTuple_New(2);
|
|
if (reduce_value == NULL) {
|
|
Py_DECREF(contents);
|
|
return NULL;
|
|
}
|
|
constructor_args = PyTuple_New(1);
|
|
if (constructor_args == NULL) {
|
|
Py_DECREF(contents);
|
|
Py_DECREF(reduce_value);
|
|
return NULL;
|
|
}
|
|
PyTuple_SET_ITEM(constructor_args, 0, contents);
|
|
Py_INCREF((PyObject *)&PyDict_Type);
|
|
PyTuple_SET_ITEM(reduce_value, 0, (PyObject *)&PyDict_Type);
|
|
PyTuple_SET_ITEM(reduce_value, 1, constructor_args);
|
|
return reduce_value;
|
|
}
|
|
|
|
static PyMethodDef unpicklerproxy_methods[] = {
|
|
_PICKLE_UNPICKLERMEMOPROXY_CLEAR_METHODDEF
|
|
_PICKLE_UNPICKLERMEMOPROXY_COPY_METHODDEF
|
|
_PICKLE_UNPICKLERMEMOPROXY___REDUCE___METHODDEF
|
|
{NULL, NULL} /* sentinel */
|
|
};
|
|
|
|
static void
|
|
UnpicklerMemoProxy_dealloc(UnpicklerMemoProxyObject *self)
|
|
{
|
|
PyObject_GC_UnTrack(self);
|
|
Py_XDECREF(self->unpickler);
|
|
PyObject_GC_Del((PyObject *)self);
|
|
}
|
|
|
|
static int
|
|
UnpicklerMemoProxy_traverse(UnpicklerMemoProxyObject *self,
|
|
visitproc visit, void *arg)
|
|
{
|
|
Py_VISIT(self->unpickler);
|
|
return 0;
|
|
}
|
|
|
|
static int
|
|
UnpicklerMemoProxy_clear(UnpicklerMemoProxyObject *self)
|
|
{
|
|
Py_CLEAR(self->unpickler);
|
|
return 0;
|
|
}
|
|
|
|
static PyTypeObject UnpicklerMemoProxyType = {
|
|
PyVarObject_HEAD_INIT(NULL, 0)
|
|
"_pickle.UnpicklerMemoProxy", /*tp_name*/
|
|
sizeof(UnpicklerMemoProxyObject), /*tp_basicsize*/
|
|
0,
|
|
(destructor)UnpicklerMemoProxy_dealloc, /* tp_dealloc */
|
|
0, /* tp_print */
|
|
0, /* tp_getattr */
|
|
0, /* tp_setattr */
|
|
0, /* tp_compare */
|
|
0, /* tp_repr */
|
|
0, /* tp_as_number */
|
|
0, /* tp_as_sequence */
|
|
0, /* tp_as_mapping */
|
|
PyObject_HashNotImplemented, /* tp_hash */
|
|
0, /* tp_call */
|
|
0, /* tp_str */
|
|
PyObject_GenericGetAttr, /* tp_getattro */
|
|
PyObject_GenericSetAttr, /* tp_setattro */
|
|
0, /* tp_as_buffer */
|
|
Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HAVE_GC,
|
|
0, /* tp_doc */
|
|
(traverseproc)UnpicklerMemoProxy_traverse, /* tp_traverse */
|
|
(inquiry)UnpicklerMemoProxy_clear, /* tp_clear */
|
|
0, /* tp_richcompare */
|
|
0, /* tp_weaklistoffset */
|
|
0, /* tp_iter */
|
|
0, /* tp_iternext */
|
|
unpicklerproxy_methods, /* tp_methods */
|
|
};
|
|
|
|
static PyObject *
|
|
UnpicklerMemoProxy_New(UnpicklerObject *unpickler)
|
|
{
|
|
UnpicklerMemoProxyObject *self;
|
|
|
|
self = PyObject_GC_New(UnpicklerMemoProxyObject,
|
|
&UnpicklerMemoProxyType);
|
|
if (self == NULL)
|
|
return NULL;
|
|
Py_INCREF(unpickler);
|
|
self->unpickler = unpickler;
|
|
PyObject_GC_Track(self);
|
|
return (PyObject *)self;
|
|
}
|
|
|
|
/*****************************************************************************/
|
|
|
|
|
|
static PyObject *
|
|
Unpickler_get_memo(UnpicklerObject *self)
|
|
{
|
|
return UnpicklerMemoProxy_New(self);
|
|
}
|
|
|
|
static int
|
|
Unpickler_set_memo(UnpicklerObject *self, PyObject *obj)
|
|
{
|
|
PyObject **new_memo;
|
|
Py_ssize_t new_memo_size = 0;
|
|
Py_ssize_t i;
|
|
|
|
if (obj == NULL) {
|
|
PyErr_SetString(PyExc_TypeError,
|
|
"attribute deletion is not supported");
|
|
return -1;
|
|
}
|
|
|
|
if (Py_TYPE(obj) == &UnpicklerMemoProxyType) {
|
|
UnpicklerObject *unpickler =
|
|
((UnpicklerMemoProxyObject *)obj)->unpickler;
|
|
|
|
new_memo_size = unpickler->memo_size;
|
|
new_memo = _Unpickler_NewMemo(new_memo_size);
|
|
if (new_memo == NULL)
|
|
return -1;
|
|
|
|
for (i = 0; i < new_memo_size; i++) {
|
|
Py_XINCREF(unpickler->memo[i]);
|
|
new_memo[i] = unpickler->memo[i];
|
|
}
|
|
}
|
|
else if (PyDict_Check(obj)) {
|
|
Py_ssize_t i = 0;
|
|
PyObject *key, *value;
|
|
|
|
new_memo_size = PyDict_Size(obj);
|
|
new_memo = _Unpickler_NewMemo(new_memo_size);
|
|
if (new_memo == NULL)
|
|
return -1;
|
|
|
|
while (PyDict_Next(obj, &i, &key, &value)) {
|
|
Py_ssize_t idx;
|
|
if (!PyLong_Check(key)) {
|
|
PyErr_SetString(PyExc_TypeError,
|
|
"memo key must be integers");
|
|
goto error;
|
|
}
|
|
idx = PyLong_AsSsize_t(key);
|
|
if (idx == -1 && PyErr_Occurred())
|
|
goto error;
|
|
if (idx < 0) {
|
|
PyErr_SetString(PyExc_ValueError,
|
|
"memo key must be positive integers.");
|
|
goto error;
|
|
}
|
|
if (_Unpickler_MemoPut(self, idx, value) < 0)
|
|
goto error;
|
|
}
|
|
}
|
|
else {
|
|
PyErr_Format(PyExc_TypeError,
|
|
"'memo' attribute must be an UnpicklerMemoProxy object"
|
|
"or dict, not %.200s", Py_TYPE(obj)->tp_name);
|
|
return -1;
|
|
}
|
|
|
|
_Unpickler_MemoCleanup(self);
|
|
self->memo_size = new_memo_size;
|
|
self->memo = new_memo;
|
|
|
|
return 0;
|
|
|
|
error:
|
|
if (new_memo_size) {
|
|
i = new_memo_size;
|
|
while (--i >= 0) {
|
|
Py_XDECREF(new_memo[i]);
|
|
}
|
|
PyMem_FREE(new_memo);
|
|
}
|
|
return -1;
|
|
}
|
|
|
|
static PyObject *
|
|
Unpickler_get_persload(UnpicklerObject *self)
|
|
{
|
|
if (self->pers_func == NULL)
|
|
PyErr_SetString(PyExc_AttributeError, "persistent_load");
|
|
else
|
|
Py_INCREF(self->pers_func);
|
|
return self->pers_func;
|
|
}
|
|
|
|
static int
|
|
Unpickler_set_persload(UnpicklerObject *self, PyObject *value)
|
|
{
|
|
PyObject *tmp;
|
|
|
|
if (value == NULL) {
|
|
PyErr_SetString(PyExc_TypeError,
|
|
"attribute deletion is not supported");
|
|
return -1;
|
|
}
|
|
if (!PyCallable_Check(value)) {
|
|
PyErr_SetString(PyExc_TypeError,
|
|
"persistent_load must be a callable taking "
|
|
"one argument");
|
|
return -1;
|
|
}
|
|
|
|
tmp = self->pers_func;
|
|
Py_INCREF(value);
|
|
self->pers_func = value;
|
|
Py_XDECREF(tmp); /* self->pers_func can be NULL, so be careful. */
|
|
|
|
return 0;
|
|
}
|
|
|
|
static PyGetSetDef Unpickler_getsets[] = {
|
|
{"memo", (getter)Unpickler_get_memo, (setter)Unpickler_set_memo},
|
|
{"persistent_load", (getter)Unpickler_get_persload,
|
|
(setter)Unpickler_set_persload},
|
|
{NULL}
|
|
};
|
|
|
|
static PyTypeObject Unpickler_Type = {
|
|
PyVarObject_HEAD_INIT(NULL, 0)
|
|
"_pickle.Unpickler", /*tp_name*/
|
|
sizeof(UnpicklerObject), /*tp_basicsize*/
|
|
0, /*tp_itemsize*/
|
|
(destructor)Unpickler_dealloc, /*tp_dealloc*/
|
|
0, /*tp_print*/
|
|
0, /*tp_getattr*/
|
|
0, /*tp_setattr*/
|
|
0, /*tp_reserved*/
|
|
0, /*tp_repr*/
|
|
0, /*tp_as_number*/
|
|
0, /*tp_as_sequence*/
|
|
0, /*tp_as_mapping*/
|
|
0, /*tp_hash*/
|
|
0, /*tp_call*/
|
|
0, /*tp_str*/
|
|
0, /*tp_getattro*/
|
|
0, /*tp_setattro*/
|
|
0, /*tp_as_buffer*/
|
|
Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HAVE_GC,
|
|
_pickle_Unpickler___init____doc__, /*tp_doc*/
|
|
(traverseproc)Unpickler_traverse, /*tp_traverse*/
|
|
(inquiry)Unpickler_clear, /*tp_clear*/
|
|
0, /*tp_richcompare*/
|
|
0, /*tp_weaklistoffset*/
|
|
0, /*tp_iter*/
|
|
0, /*tp_iternext*/
|
|
Unpickler_methods, /*tp_methods*/
|
|
0, /*tp_members*/
|
|
Unpickler_getsets, /*tp_getset*/
|
|
0, /*tp_base*/
|
|
0, /*tp_dict*/
|
|
0, /*tp_descr_get*/
|
|
0, /*tp_descr_set*/
|
|
0, /*tp_dictoffset*/
|
|
_pickle_Unpickler___init__, /*tp_init*/
|
|
PyType_GenericAlloc, /*tp_alloc*/
|
|
PyType_GenericNew, /*tp_new*/
|
|
PyObject_GC_Del, /*tp_free*/
|
|
0, /*tp_is_gc*/
|
|
};
|
|
|
|
/*[clinic input]
|
|
|
|
_pickle.dump
|
|
|
|
obj: object
|
|
file: object
|
|
protocol: object = NULL
|
|
*
|
|
fix_imports: bool = True
|
|
|
|
Write a pickled representation of obj to the open file object file.
|
|
|
|
This is equivalent to ``Pickler(file, protocol).dump(obj)``, but may
|
|
be more efficient.
|
|
|
|
The optional *protocol* argument tells the pickler to use the given
|
|
protocol supported protocols are 0, 1, 2, 3 and 4. The default
|
|
protocol is 3; a backward-incompatible protocol designed for Python 3.
|
|
|
|
Specifying a negative protocol version selects the highest protocol
|
|
version supported. The higher the protocol used, the more recent the
|
|
version of Python needed to read the pickle produced.
|
|
|
|
The *file* argument must have a write() method that accepts a single
|
|
bytes argument. It can thus be a file object opened for binary
|
|
writing, a io.BytesIO instance, or any other custom object that meets
|
|
this interface.
|
|
|
|
If *fix_imports* is True and protocol is less than 3, pickle will try
|
|
to map the new Python 3 names to the old module names used in Python
|
|
2, so that the pickle data stream is readable with Python 2.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_dump_impl(PyModuleDef *module, PyObject *obj, PyObject *file, PyObject *protocol, int fix_imports)
|
|
/*[clinic end generated code: output=a606e626d553850d input=e9e5fdd48de92eae]*/
|
|
{
|
|
PicklerObject *pickler = _Pickler_New();
|
|
|
|
if (pickler == NULL)
|
|
return NULL;
|
|
|
|
if (_Pickler_SetProtocol(pickler, protocol, fix_imports) < 0)
|
|
goto error;
|
|
|
|
if (_Pickler_SetOutputStream(pickler, file) < 0)
|
|
goto error;
|
|
|
|
if (dump(pickler, obj) < 0)
|
|
goto error;
|
|
|
|
if (_Pickler_FlushToFile(pickler) < 0)
|
|
goto error;
|
|
|
|
Py_DECREF(pickler);
|
|
Py_RETURN_NONE;
|
|
|
|
error:
|
|
Py_XDECREF(pickler);
|
|
return NULL;
|
|
}
|
|
|
|
/*[clinic input]
|
|
|
|
_pickle.dumps
|
|
|
|
obj: object
|
|
protocol: object = NULL
|
|
*
|
|
fix_imports: bool = True
|
|
|
|
Return the pickled representation of the object as a bytes object.
|
|
|
|
The optional *protocol* argument tells the pickler to use the given
|
|
protocol; supported protocols are 0, 1, 2, 3 and 4. The default
|
|
protocol is 3; a backward-incompatible protocol designed for Python 3.
|
|
|
|
Specifying a negative protocol version selects the highest protocol
|
|
version supported. The higher the protocol used, the more recent the
|
|
version of Python needed to read the pickle produced.
|
|
|
|
If *fix_imports* is True and *protocol* is less than 3, pickle will
|
|
try to map the new Python 3 names to the old module names used in
|
|
Python 2, so that the pickle data stream is readable with Python 2.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_dumps_impl(PyModuleDef *module, PyObject *obj, PyObject *protocol, int fix_imports)
|
|
/*[clinic end generated code: output=777f0deefe5b88ee input=293dbeda181580b7]*/
|
|
{
|
|
PyObject *result;
|
|
PicklerObject *pickler = _Pickler_New();
|
|
|
|
if (pickler == NULL)
|
|
return NULL;
|
|
|
|
if (_Pickler_SetProtocol(pickler, protocol, fix_imports) < 0)
|
|
goto error;
|
|
|
|
if (dump(pickler, obj) < 0)
|
|
goto error;
|
|
|
|
result = _Pickler_GetString(pickler);
|
|
Py_DECREF(pickler);
|
|
return result;
|
|
|
|
error:
|
|
Py_XDECREF(pickler);
|
|
return NULL;
|
|
}
|
|
|
|
/*[clinic input]
|
|
|
|
_pickle.load
|
|
|
|
file: object
|
|
*
|
|
fix_imports: bool = True
|
|
encoding: str = 'ASCII'
|
|
errors: str = 'strict'
|
|
|
|
Read and return an object from the pickle data stored in a file.
|
|
|
|
This is equivalent to ``Unpickler(file).load()``, but may be more
|
|
efficient.
|
|
|
|
The protocol version of the pickle is detected automatically, so no
|
|
protocol argument is needed. Bytes past the pickled object's
|
|
representation are ignored.
|
|
|
|
The argument *file* must have two methods, a read() method that takes
|
|
an integer argument, and a readline() method that requires no
|
|
arguments. Both methods should return bytes. Thus *file* can be a
|
|
binary file object opened for reading, a io.BytesIO object, or any
|
|
other custom object that meets this interface.
|
|
|
|
Optional keyword arguments are *fix_imports*, *encoding* and *errors*,
|
|
which are used to control compatiblity support for pickle stream
|
|
generated by Python 2. If *fix_imports* is True, pickle will try to
|
|
map the old Python 2 names to the new names used in Python 3. The
|
|
*encoding* and *errors* tell pickle how to decode 8-bit string
|
|
instances pickled by Python 2; these default to 'ASCII' and 'strict',
|
|
respectively. The *encoding* can be 'bytes' to read these 8-bit
|
|
string instances as bytes objects.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_load_impl(PyModuleDef *module, PyObject *file, int fix_imports, const char *encoding, const char *errors)
|
|
/*[clinic end generated code: output=568c61356c172654 input=da97372e38e510a6]*/
|
|
{
|
|
PyObject *result;
|
|
UnpicklerObject *unpickler = _Unpickler_New();
|
|
|
|
if (unpickler == NULL)
|
|
return NULL;
|
|
|
|
if (_Unpickler_SetInputStream(unpickler, file) < 0)
|
|
goto error;
|
|
|
|
if (_Unpickler_SetInputEncoding(unpickler, encoding, errors) < 0)
|
|
goto error;
|
|
|
|
unpickler->fix_imports = fix_imports;
|
|
|
|
result = load(unpickler);
|
|
Py_DECREF(unpickler);
|
|
return result;
|
|
|
|
error:
|
|
Py_XDECREF(unpickler);
|
|
return NULL;
|
|
}
|
|
|
|
/*[clinic input]
|
|
|
|
_pickle.loads
|
|
|
|
data: object
|
|
*
|
|
fix_imports: bool = True
|
|
encoding: str = 'ASCII'
|
|
errors: str = 'strict'
|
|
|
|
Read and return an object from the given pickle data.
|
|
|
|
The protocol version of the pickle is detected automatically, so no
|
|
protocol argument is needed. Bytes past the pickled object's
|
|
representation are ignored.
|
|
|
|
Optional keyword arguments are *fix_imports*, *encoding* and *errors*,
|
|
which are used to control compatiblity support for pickle stream
|
|
generated by Python 2. If *fix_imports* is True, pickle will try to
|
|
map the old Python 2 names to the new names used in Python 3. The
|
|
*encoding* and *errors* tell pickle how to decode 8-bit string
|
|
instances pickled by Python 2; these default to 'ASCII' and 'strict',
|
|
respectively. The *encoding* can be 'bytes' to read these 8-bit
|
|
string instances as bytes objects.
|
|
[clinic start generated code]*/
|
|
|
|
static PyObject *
|
|
_pickle_loads_impl(PyModuleDef *module, PyObject *data, int fix_imports, const char *encoding, const char *errors)
|
|
/*[clinic end generated code: output=0b3845ad110b2522 input=f57f0fdaa2b4cb8b]*/
|
|
{
|
|
PyObject *result;
|
|
UnpicklerObject *unpickler = _Unpickler_New();
|
|
|
|
if (unpickler == NULL)
|
|
return NULL;
|
|
|
|
if (_Unpickler_SetStringInput(unpickler, data) < 0)
|
|
goto error;
|
|
|
|
if (_Unpickler_SetInputEncoding(unpickler, encoding, errors) < 0)
|
|
goto error;
|
|
|
|
unpickler->fix_imports = fix_imports;
|
|
|
|
result = load(unpickler);
|
|
Py_DECREF(unpickler);
|
|
return result;
|
|
|
|
error:
|
|
Py_XDECREF(unpickler);
|
|
return NULL;
|
|
}
|
|
|
|
static struct PyMethodDef pickle_methods[] = {
|
|
_PICKLE_DUMP_METHODDEF
|
|
_PICKLE_DUMPS_METHODDEF
|
|
_PICKLE_LOAD_METHODDEF
|
|
_PICKLE_LOADS_METHODDEF
|
|
{NULL, NULL} /* sentinel */
|
|
};
|
|
|
|
static int
|
|
pickle_clear(PyObject *m)
|
|
{
|
|
_Pickle_ClearState(_Pickle_GetState(m));
|
|
return 0;
|
|
}
|
|
|
|
static void
|
|
pickle_free(PyObject *m)
|
|
{
|
|
_Pickle_ClearState(_Pickle_GetState(m));
|
|
}
|
|
|
|
static int
|
|
pickle_traverse(PyObject *m, visitproc visit, void *arg)
|
|
{
|
|
PickleState *st = _Pickle_GetState(m);
|
|
Py_VISIT(st->PickleError);
|
|
Py_VISIT(st->PicklingError);
|
|
Py_VISIT(st->UnpicklingError);
|
|
Py_VISIT(st->dispatch_table);
|
|
Py_VISIT(st->extension_registry);
|
|
Py_VISIT(st->extension_cache);
|
|
Py_VISIT(st->inverted_registry);
|
|
Py_VISIT(st->name_mapping_2to3);
|
|
Py_VISIT(st->import_mapping_2to3);
|
|
Py_VISIT(st->name_mapping_3to2);
|
|
Py_VISIT(st->import_mapping_3to2);
|
|
Py_VISIT(st->codecs_encode);
|
|
return 0;
|
|
}
|
|
|
|
static struct PyModuleDef _picklemodule = {
|
|
PyModuleDef_HEAD_INIT,
|
|
"_pickle", /* m_name */
|
|
pickle_module_doc, /* m_doc */
|
|
sizeof(PickleState), /* m_size */
|
|
pickle_methods, /* m_methods */
|
|
NULL, /* m_reload */
|
|
pickle_traverse, /* m_traverse */
|
|
pickle_clear, /* m_clear */
|
|
(freefunc)pickle_free /* m_free */
|
|
};
|
|
|
|
PyMODINIT_FUNC
|
|
PyInit__pickle(void)
|
|
{
|
|
PyObject *m;
|
|
PickleState *st;
|
|
|
|
m = PyState_FindModule(&_picklemodule);
|
|
if (m) {
|
|
Py_INCREF(m);
|
|
return m;
|
|
}
|
|
|
|
if (PyType_Ready(&Unpickler_Type) < 0)
|
|
return NULL;
|
|
if (PyType_Ready(&Pickler_Type) < 0)
|
|
return NULL;
|
|
if (PyType_Ready(&Pdata_Type) < 0)
|
|
return NULL;
|
|
if (PyType_Ready(&PicklerMemoProxyType) < 0)
|
|
return NULL;
|
|
if (PyType_Ready(&UnpicklerMemoProxyType) < 0)
|
|
return NULL;
|
|
|
|
/* Create the module and add the functions. */
|
|
m = PyModule_Create(&_picklemodule);
|
|
if (m == NULL)
|
|
return NULL;
|
|
|
|
Py_INCREF(&Pickler_Type);
|
|
if (PyModule_AddObject(m, "Pickler", (PyObject *)&Pickler_Type) < 0)
|
|
return NULL;
|
|
Py_INCREF(&Unpickler_Type);
|
|
if (PyModule_AddObject(m, "Unpickler", (PyObject *)&Unpickler_Type) < 0)
|
|
return NULL;
|
|
|
|
st = _Pickle_GetState(m);
|
|
|
|
/* Initialize the exceptions. */
|
|
st->PickleError = PyErr_NewException("_pickle.PickleError", NULL, NULL);
|
|
if (st->PickleError == NULL)
|
|
return NULL;
|
|
st->PicklingError = \
|
|
PyErr_NewException("_pickle.PicklingError", st->PickleError, NULL);
|
|
if (st->PicklingError == NULL)
|
|
return NULL;
|
|
st->UnpicklingError = \
|
|
PyErr_NewException("_pickle.UnpicklingError", st->PickleError, NULL);
|
|
if (st->UnpicklingError == NULL)
|
|
return NULL;
|
|
|
|
Py_INCREF(st->PickleError);
|
|
if (PyModule_AddObject(m, "PickleError", st->PickleError) < 0)
|
|
return NULL;
|
|
Py_INCREF(st->PicklingError);
|
|
if (PyModule_AddObject(m, "PicklingError", st->PicklingError) < 0)
|
|
return NULL;
|
|
Py_INCREF(st->UnpicklingError);
|
|
if (PyModule_AddObject(m, "UnpicklingError", st->UnpicklingError) < 0)
|
|
return NULL;
|
|
|
|
if (_Pickle_InitState(st) < 0)
|
|
return NULL;
|
|
|
|
return m;
|
|
}
|