annotate service/piNode/rdflib_pi_opt.py @ 1449:a2bc6602a0db

dockerfile deps Ignore-this: b12d406bc1fee7c07092d273904b8b3d darcs-hash:8b40b2634a6df26e0de4f6ef31c6ef2aabf14c31
author drewp <drewp@bigasterisk.com>
date Wed, 25 Sep 2019 17:25:19 -0700
parents 99540f1a11f7
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1443
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
1 import rdflib.plugins.memory
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
2
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
3
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
4 def patchRandid():
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
5 """
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
6 I'm concerned urandom is slow on raspberry pi, and I'm adding to
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
7 graphs a lot. Unclear what the ordered return values might do to
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
8 the balancing of the graph.
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
9 """
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
10 _id_serial = [1000]
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
11 def randid():
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
12 _id_serial[0] += 1
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
13 return _id_serial[0]
99540f1a11f7 move bnode id optimization to its own file. more logging cleanups
drewp <drewp@bigasterisk.com>
parents:
diff changeset
14 rdflib.plugins.memory.randid = randid