annotate service/piNode/rdflib_pi_opt.py @ 1754:92999dfbf321 default tip

add shelly support
author drewp@bigasterisk.com
date Tue, 04 Jun 2024 13:03:43 -0700
parents 23ab244aa649
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
640
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
1 import rdflib.plugins.memory
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
2
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
3
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
4 def patchRandid():
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
5 """
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
6 I'm concerned urandom is slow on raspberry pi, and I'm adding to
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
7 graphs a lot. Unclear what the ordered return values might do to
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
8 the balancing of the graph.
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
9 """
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
10 _id_serial = [1000]
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
11 def randid():
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
12 _id_serial[0] += 1
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
13 return _id_serial[0]
23ab244aa649 move bnode id optimization to its own file. more logging cleanups
drewp@bigasterisk.com
parents:
diff changeset
14 rdflib.plugins.memory.randid = randid