Issue 12596: cPickle - stored data differ for same dictionary (original) (raw)

Created on 2011-07-20 16:20 by Philipp.Mölders, last changed 2022-04-11 14:57 by admin. This issue is now closed.

Files
File name Uploaded Description Edit
cPickletest.py Philipp.Mölders,2011-07-20 16:20 Sample script to show the bug
cPickletest2.py serhiy.storchaka,2013-02-17 22:27
Messages (11)
msg140750 - (view) Author: Philipp Mölders (Philipp.Mölders) Date: 2011-07-20 16:20
I think there is a problem within cPickle. I wanted to store a dictionary with only one entry with cPickle.dump() this works fine and can be loaded with cPickle.load(). But if you store the loaded data with cPickle.dump() again, the stored data differ from the first stored data. But the load works fine only the written data on disk differ. I've written a sample script, that shows the problem within code. This problem occurs only in the 2.7 version of Python and only with dictionaries with one entry.
msg140751 - (view) Author: R. David Murray (r.david.murray) * (Python committer) Date: 2011-07-20 16:25
If the load produces the same result, why does it matter that what is on disk differs?
msg140752 - (view) Author: Philipp Mölders (Philipp.Mölders) Date: 2011-07-20 16:34
The file on disk matters for a replication service, so if a file is touched but not changed it will not be replicated, but in this special case the data change even when the structures have not changed. So if this happens very often it could cause a lot of replication which is not needed because nothing changed.
msg181586 - (view) Author: Antoine Pitrou (pitrou) * (Python committer) Date: 2013-02-07 09:42
As soon as hash randomization is turned on (and it's the default starting with Python 3.3), the pickled representation of dicts will also vary from run to run: $ python -R -c "import pickle; print pickle.dumps({'a':1, 'b':2})" |md5sum c0ae6b7f62b9c0839be883dd1efee84e - $ python -R -c "import pickle; print pickle.dumps({'a':1, 'b':2})" md5sum b03bf608516f3e0244a96d740139b050 -
msg181594 - (view) Author: Serhiy Storchaka (serhiy.storchaka) * (Python committer) Date: 2013-02-07 12:01
It is surprising that the pickled representation of 1-element dict varies from run to run.
msg181595 - (view) Author: Ramchandra Apte (Ramchandra Apte) * Date: 2013-02-07 12:26
Try `./python -R -c "import pickle; print(pickle.dumps({'a':1, 'v':1}))" |md5sum`. The output will differ on subsequent run, while trying `./python -R -c "import pickle; print(pickle.dumps({'a':1}))" md5sum`, the output is always the same. I suspect because the order of dicts are different on every run (try repr).
msg181597 - (view) Author: Ramchandra Apte (Ramchandra Apte) * Date: 2013-02-07 12:27
Darn, last sentence has some mistakes. I suspect this issue is happening because the order of a dictionary is different on every run (try repr).
msg181598 - (view) Author: Ramchandra Apte (Ramchandra Apte) * Date: 2013-02-07 12:30
Further proof: here are the results of two invocations of `./python -R -c "import pickle; print(pickle.dumps({'a':1, 'v':1}))"` b'\x80\x03}q\x00(X\x01\x00\x00\x00vq\x01K\x01X\x01\x00\x00\x00aq\x02K\x01u.' b'\x80\x03}q\x00(X\x01\x00\x00\x00aq\x01K\x01X\x01\x00\x00\x00vq\x02K\x01u.' Notice that in the second pickled data, the pickled data for 'v' has exchanged places with the one for 'a'! ('v' has become 'a' and at the second-last character 'a' has become 'v')
msg181603 - (view) Author: Serhiy Storchaka (serhiy.storchaka) * (Python committer) Date: 2013-02-07 13:13
It is most probable that the difference is caused by the string interning.
msg182289 - (view) Author: Serhiy Storchaka (serhiy.storchaka) * (Python committer) Date: 2013-02-17 22:27
Here is a minimal reproducer. Results: pickle.dumps('spam', 2) 0: \x80 PROTO 2 2: U SHORT_BINSTRING 'spam' 8: q BINPUT 0 10: . STOP highest protocol among opcodes = 2 pickle.dumps('spam1'[:-1], 2) 0: \x80 PROTO 2 2: U SHORT_BINSTRING 'spam' 8: q BINPUT 0 10: . STOP highest protocol among opcodes = 2 cPickle.dumps('spam', 2) 0: \x80 PROTO 2 2: U SHORT_BINSTRING 'spam' 8: q BINPUT 1 10: . STOP highest protocol among opcodes = 2 cPickle.dumps('spam1'[:-1], 2) 0: \x80 PROTO 2 2: U SHORT_BINSTRING 'spam' 8: . STOP highest protocol among opcodes = 2 The difference between 3rd and 4th examples is "BINPUT 1". In the last case the string has refcount=1 and BINPUT doesn't emitted due to optimization. Note that Python implementation emits BINPUT with different number.
msg188287 - (view) Author: Alexandre Vassalotti (alexandre.vassalotti) * (Python committer) Date: 2013-05-03 01:17
There is no guarantee the binary representation of pickled data will be same between different runs. We try to make it mostly consistent when we can, but there are cases, like this one, where we cannot ensure consistency without hurting performance significantly.
History
Date User Action Args
2022-04-11 14:57:19 admin set github: 56805
2013-05-03 01:17:15 alexandre.vassalotti set status: open -> closednosy: + alexandre.vassalottimessages: + resolution: works for mestage: needs patch -> resolved
2013-02-17 22:27:33 serhiy.storchaka set files: + cPickletest2.pymessages: +
2013-02-07 13:13:38 serhiy.storchaka set messages: +
2013-02-07 12:30:32 Ramchandra Apte set messages: +
2013-02-07 12:27:24 Ramchandra Apte set messages: +
2013-02-07 12:26:04 Ramchandra Apte set nosy: + Ramchandra Aptemessages: + versions: + Python 3.3, Python 3.4
2013-02-07 12:01:20 serhiy.storchaka set messages: + components: + Extension Modules, - None
2013-02-07 09:42:38 pitrou set nosy: + pitroumessages: +
2013-02-06 10:32:25 serhiy.storchaka set nosy: + serhiy.storchakastage: needs patch
2011-07-20 16:34:27 Philipp.Mölders set messages: +
2011-07-20 16:25:51 r.david.murray set nosy: + r.david.murraymessages: +
2011-07-20 16:24:12 Philipp.Mölders set type: behavior
2011-07-20 16:20:51 Philipp.Mölders create