Mercurial > code > home > repos > light9
annotate bin/rdfdb @ 856:a59d0f4563cc
starting curvecalc editchoice
Ignore-this: 3885f61f6addba30ea997cc471fd39a9
| author | drewp@bigasterisk.com |
|---|---|
| date | Wed, 05 Jun 2013 23:39:44 +0000 |
| parents | 77b5dbcf688d |
| children | 1bda494a8c3a |
| rev | line source |
|---|---|
| 796 | 1 #!bin/python |
| 2 """ | |
| 3 other tools POST themselves to here as subscribers to the graph. They | |
| 811 | 4 are providing a URL we can PUT to with graph updates. |
| 796 | 5 |
| 6 we immediately PUT them back all the contents of the graph as a bunch | |
| 7 of adds. | |
| 8 | |
| 811 | 9 later we PUT them back with patches (del/add lists) when there are |
| 796 | 10 changes. |
| 11 | |
| 12 If we fail to reach a registered caller, we forget about it for future | |
| 811 | 13 calls. We could PUT empty diffs as a heartbeat to notice disappearing |
| 796 | 14 callers faster. |
| 15 | |
| 811 | 16 A caller can submit a patch which we'll persist and broadcast to every |
| 17 other client. | |
| 796 | 18 |
|
815
d7f1f868eb6c
toplevel window pos is saved in the graph. Patch conflicts no longer break as hard, but they don't exactly reset themselves right yet eiher
drewp@bigasterisk.com
parents:
814
diff
changeset
|
19 Global data undo should probably happen within this service. Some |
|
d7f1f868eb6c
toplevel window pos is saved in the graph. Patch conflicts no longer break as hard, but they don't exactly reset themselves right yet eiher
drewp@bigasterisk.com
parents:
814
diff
changeset
|
20 operations should not support undo, such as updating the default |
|
d7f1f868eb6c
toplevel window pos is saved in the graph. Patch conflicts no longer break as hard, but they don't exactly reset themselves right yet eiher
drewp@bigasterisk.com
parents:
814
diff
changeset
|
21 position of a window. How will we separate those? A blacklist of |
|
d7f1f868eb6c
toplevel window pos is saved in the graph. Patch conflicts no longer break as hard, but they don't exactly reset themselves right yet eiher
drewp@bigasterisk.com
parents:
814
diff
changeset
|
22 subj+pred pairs that don't save undo? Or just save the updates like |
|
d7f1f868eb6c
toplevel window pos is saved in the graph. Patch conflicts no longer break as hard, but they don't exactly reset themselves right yet eiher
drewp@bigasterisk.com
parents:
814
diff
changeset
|
23 everything else, but when you press undo, there's a way to tell which |
|
d7f1f868eb6c
toplevel window pos is saved in the graph. Patch conflicts no longer break as hard, but they don't exactly reset themselves right yet eiher
drewp@bigasterisk.com
parents:
814
diff
changeset
|
24 updates *should* be part of your app's undo system? |
| 796 | 25 |
| 26 Maybe some subgraphs are for transient data (e.g. current timecode, | |
| 27 mouse position in curvecalc) that only some listeners want to hear about. | |
| 28 | |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
29 Deletes are graph-specific, so callers may be surprised to delete a |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
30 stmt from one graph but then find that statement is still true. |
| 796 | 31 |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
32 Alternate plan: would it help to insist that every patch is within |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
33 only one subgraph? I think it's ok for them to span multiple ones. |
| 796 | 34 |
| 35 Inserts can be made on any subgraphs, and each subgraph is saved in | |
| 36 its own file. The file might not be in a format that can express | |
| 37 graphs, so I'm just going to not store the subgraph URI in any file. | |
| 38 | |
| 39 I don't support wildcard deletes, and there are race conditions where a | |
| 40 s-p could end up with unexpected multiple objects. Every client needs | |
| 41 to be ready for this. | |
| 42 | |
| 43 We watch the files and push their own changes back to the clients. | |
| 44 | |
| 45 Persist our client list, to survive restarts. In another rdf file? A | |
| 46 random json one? memcache? Also hold the recent changes. We're not | |
| 47 logging everything forever, though, since the output files and a VCS | |
| 48 shall be used for that | |
| 49 | |
| 50 Bnodes: this rdfdb graph might be able to track bnodes correctly, and | |
| 51 they make for more compact n3 files. I'm not sure if it's going to be | |
| 52 hard to keep the client bnodes in sync though. File rereads would be | |
| 811 | 53 hard, if ever a bnode was used across graphs, so that probably should |
| 796 | 54 not be allowed. |
| 55 | |
| 56 Our API: | |
| 57 | |
| 58 GET / ui | |
| 811 | 59 GET /graph the whole graph, or a query from it (needed? just for ui browsing?) |
| 796 | 60 PUT /patches clients submit changes |
| 61 GET /patches (recent) patches from clients | |
| 62 POST /graphClients clientUpdate={uri} to subscribe | |
| 63 GET /graphClients current clients | |
| 64 | |
| 65 format: | |
| 66 json {"adds" : [[quads]...], | |
| 67 "deletes": [[quads]], | |
| 811 | 68 "senderUpdateUri" : tooluri, |
| 69 "created":tttt // maybe to help resolve some conflicts | |
| 796 | 70 } |
| 71 maybe use some http://json-ld.org/ in there. | |
| 72 | |
| 806 | 73 proposed rule feature: |
| 74 rdfdb should be able to watch a pair of (sourceFile, rulesFile) and | |
| 75 rerun the rules when either one changes. Should the sourceFile be able | |
| 76 to specify its own rules file? That would be easier | |
| 77 configuration. How do edits work? Not allowed? Patch the source only? | |
| 78 Also see the source graph loaded into a different ctx, and you can | |
| 79 edit that one and see the results in the output context? | |
| 80 | |
| 796 | 81 Our web ui: |
| 82 | |
| 811 | 83 sections |
| 84 | |
| 85 registered clients | |
| 796 | 86 |
| 811 | 87 recent patches, each one says what client it came from. You can reverse |
| 88 them here. We should be able to take patches that are close in time | |
| 89 and keep updating the same data (e.g. a stream of changes as the user | |
| 90 drags a slider) and collapse them into a single edit for clarity. | |
| 91 | |
| 92 Ways to display patches, using labels and creator/subj icons | |
| 93 where possible: | |
| 796 | 94 |
| 811 | 95 <creator> set <subj>'s <p> to <o> |
| 96 <creator> changed <subj>'s <pred> from <o1> to <o2> | |
| 97 <creator> added <o> to <s> <p> | |
| 98 | |
| 99 raw messages for debugging this client | |
| 806 | 100 |
| 811 | 101 ctx urls take you to-> |
| 102 files, who's dirty, have we seen external changes, notice big | |
| 103 files that are taking a long time to save | |
| 806 | 104 |
| 811 | 105 graph contents. plain rdf browser like an outliner or |
| 106 something. clicking any resource from the other displays takes you | |
| 107 to this, focused on that resource | |
| 803 | 108 |
| 796 | 109 """ |
| 110 from twisted.internet import reactor | |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
111 import twisted.internet.error |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
112 from twisted.python.filepath import FilePath |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
113 from twisted.internet.inotify import humanReadableMask, IN_CREATE |
| 796 | 114 import sys, optparse, logging, json, os |
| 115 import cyclone.web, cyclone.httpclient, cyclone.websocket | |
| 116 sys.path.append(".") | |
|
808
a631e075a5bf
KC big rewrites, now multiple KC instances can sync with rdfdb
drewp@bigasterisk.com
parents:
806
diff
changeset
|
117 from light9 import networking, showconfig, prof |
| 796 | 118 from rdflib import ConjunctiveGraph, URIRef, Graph |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
119 from light9.rdfdb.graphfile import GraphFile |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
120 from light9.rdfdb.patch import Patch, ALLSTMTS |
|
798
5c158d37f1ce
autoretry websocket. fix rdflib quad patching. only rerun handlers that asked for the affected subj-preds.
drewp@bigasterisk.com
parents:
797
diff
changeset
|
121 from light9.rdfdb.rdflibpatch import patchQuads |
|
843
77b5dbcf688d
split syncedgraph into several layers
drewp@bigasterisk.com
parents:
833
diff
changeset
|
122 |
|
77b5dbcf688d
split syncedgraph into several layers
drewp@bigasterisk.com
parents:
833
diff
changeset
|
123 from light9.rdfdb.patchsender import sendPatch |
|
77b5dbcf688d
split syncedgraph into several layers
drewp@bigasterisk.com
parents:
833
diff
changeset
|
124 from light9.rdfdb.patchreceiver import makePatchEndpointPutMethod |
| 796 | 125 |
| 126 from twisted.internet.inotify import INotify | |
| 833 | 127 from run_local import log |
| 128 log.setLevel(logging.DEBUG) | |
| 796 | 129 |
| 130 try: | |
| 131 import sys | |
| 132 sys.path.append("../homeauto/lib") | |
| 133 from cycloneerr import PrettyErrorHandler | |
| 134 except ImportError: | |
| 135 class PrettyErrorHandler(object): | |
| 136 pass | |
| 137 | |
| 138 class Client(object): | |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
139 """ |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
140 one of our syncedgraph clients |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
141 """ |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
142 def __init__(self, updateUri, label, db): |
| 796 | 143 self.db = db |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
144 self.label = label |
| 796 | 145 self.updateUri = updateUri |
| 146 self.sendAll() | |
| 147 | |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
148 def __repr__(self): |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
149 return "<%s client at %s>" % (self.label, self.updateUri) |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
150 |
| 796 | 151 def sendAll(self): |
| 152 """send the client the whole graph contents""" | |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
153 log.info("sending all graphs to %s at %s" % |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
154 (self.label, self.updateUri)) |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
155 self.sendPatch(Patch( |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
156 addQuads=self.db.graph.quads(ALLSTMTS), |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
157 delQuads=[])) |
| 821 | 158 |
| 796 | 159 def sendPatch(self, p): |
|
843
77b5dbcf688d
split syncedgraph into several layers
drewp@bigasterisk.com
parents:
833
diff
changeset
|
160 return sendPatch(self.updateUri, p) |
| 796 | 161 |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
162 class WatchedFiles(object): |
| 811 | 163 """ |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
164 find files, notice new files. |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
165 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
166 This object watches directories. Each GraphFile watches its own file. |
| 811 | 167 """ |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
168 def __init__(self, topDirsToWatch, patch, getSubgraph): |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
169 self.topDirsToWatch = topDirsToWatch |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
170 self.patch, self.getSubgraph = patch, getSubgraph |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
171 |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
172 # files from cwd become uris starting with this. *should* be |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
173 # building uris from the show uri in $LIGHT9_SHOW/URI |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
174 # instead. Who wants to keep their data in the same dir tree |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
175 # as the source code?! |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
176 self.topUri = URIRef("http://light9.bigasterisk.com/") |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
177 |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
178 self.graphFiles = {} # context uri : GraphFile |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
179 |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
180 self.notifier = INotify() |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
181 self.notifier.startReading() |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
182 |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
183 self.findAndLoadFiles() |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
184 |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
185 def findAndLoadFiles(self): |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
186 self.initialLoad = True |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
187 try: |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
188 for topdir in self.topDirsToWatch: |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
189 for dirpath, dirnames, filenames in os.walk(topdir): |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
190 for base in filenames: |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
191 self.watchFile(os.path.join(dirpath, base)) |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
192 self.notifier.watch(FilePath(dirpath), autoAdd=True, |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
193 callbacks=[self.dirChange]) |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
194 finally: |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
195 self.initialLoad = False |
| 821 | 196 |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
197 def dirChange(self, watch, path, mask): |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
198 if mask & IN_CREATE: |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
199 self.watchFile(path.path) |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
200 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
201 def watchFile(self, inFile): |
|
830
9ba1c866bf4c
workaround for n3 file with rules in it
Drew Perttula <drewp@bigasterisk.com>
parents:
829
diff
changeset
|
202 """consider adding a GraphFile to self.graphFiles""" |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
203 if not isinstance(inFile, FilePath): |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
204 inFile = FilePath(inFile) |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
205 if not inFile.isfile(): |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
206 return |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
207 if inFile.splitext()[1] not in ['.n3']: |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
208 return |
|
830
9ba1c866bf4c
workaround for n3 file with rules in it
Drew Perttula <drewp@bigasterisk.com>
parents:
829
diff
changeset
|
209 |
|
9ba1c866bf4c
workaround for n3 file with rules in it
Drew Perttula <drewp@bigasterisk.com>
parents:
829
diff
changeset
|
210 # an n3 file with rules makes it all the way past this reading |
|
9ba1c866bf4c
workaround for n3 file with rules in it
Drew Perttula <drewp@bigasterisk.com>
parents:
829
diff
changeset
|
211 # and the serialization. Then, on the receiving side, a |
|
9ba1c866bf4c
workaround for n3 file with rules in it
Drew Perttula <drewp@bigasterisk.com>
parents:
829
diff
changeset
|
212 # SyncedGraph calls graphFromNQuad on the incoming data and |
|
9ba1c866bf4c
workaround for n3 file with rules in it
Drew Perttula <drewp@bigasterisk.com>
parents:
829
diff
changeset
|
213 # has a parse error. I'm not sure where this should be fixed |
|
9ba1c866bf4c
workaround for n3 file with rules in it
Drew Perttula <drewp@bigasterisk.com>
parents:
829
diff
changeset
|
214 # yet. |
|
9ba1c866bf4c
workaround for n3 file with rules in it
Drew Perttula <drewp@bigasterisk.com>
parents:
829
diff
changeset
|
215 if '-rules' in inFile.path: |
|
9ba1c866bf4c
workaround for n3 file with rules in it
Drew Perttula <drewp@bigasterisk.com>
parents:
829
diff
changeset
|
216 return |
|
9ba1c866bf4c
workaround for n3 file with rules in it
Drew Perttula <drewp@bigasterisk.com>
parents:
829
diff
changeset
|
217 |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
218 ctx = self.uriFromFile(inFile) |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
219 gf = GraphFile(self.notifier, inFile.path, ctx, |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
220 self.patch, self.getSubgraph) |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
221 self.graphFiles[ctx] = gf |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
222 gf.reread() |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
223 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
224 def dirtyFiles(self, ctxs): |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
225 """mark dirty the files that we watch in these contexts. |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
226 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
227 the ctx might not be a file that we already read; it might be |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
228 for a new file we have to create, or it might be for a |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
229 transient context that we're not going to save |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
230 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
231 if it's a ctx with no file, error |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
232 """ |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
233 for ctx in ctxs: |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
234 g = self.getSubgraph(ctx) |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
235 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
236 if ctx not in self.graphFiles: |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
237 outFile = self.fileForUri(ctx) |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
238 self.graphFiles[ctx] = GraphFile(self.notifier, outFile, ctx, |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
239 self.patch, self.getSubgraph) |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
240 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
241 self.graphFiles[ctx].dirty(g) |
| 796 | 242 |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
243 def uriFromFile(self, filename): |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
244 if isinstance(filename, FilePath): |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
245 filename = filename.path |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
246 assert filename.endswith('.n3'), filename |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
247 return URIRef(self.topUri + filename[:-len('.n3')]) |
| 821 | 248 |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
249 def fileForUri(self, ctx): |
|
826
05aabe3d7b02
fix some minor issues with graph contexts
Drew Perttula <drewp@bigasterisk.com>
parents:
821
diff
changeset
|
250 assert isinstance(ctx, URIRef), ctx |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
251 if not ctx.startswith(self.topUri): |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
252 raise ValueError("don't know what filename to use for %s" % ctx) |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
253 return ctx[len(self.topUri):] + ".n3" |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
254 |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
255 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
256 class Db(object): |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
257 """ |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
258 the master graph, all the connected clients, all the files we're watching |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
259 """ |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
260 def __init__(self, topDirsToWatch): |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
261 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
262 self.clients = [] |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
263 self.graph = ConjunctiveGraph() |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
264 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
265 self.watchedFiles = WatchedFiles(topDirsToWatch, |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
266 self.patch, self.getSubgraph) |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
267 |
|
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
268 self.summarizeToLog() |
| 821 | 269 |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
270 def patch(self, p, dueToFileChange=False): |
| 796 | 271 """ |
| 272 apply this patch to the master graph then notify everyone about it | |
| 811 | 273 |
| 274 dueToFileChange if this is a patch describing an edit we read | |
| 275 *from* the file (such that we shouldn't write it back to the file) | |
| 276 | |
| 277 if p has a senderUpdateUri attribute, we won't send this patch | |
| 278 back to the sender with that updateUri | |
| 796 | 279 """ |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
280 ctx = p.getContext() |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
281 log.info("patching graph %s -%d +%d" % ( |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
282 ctx, len(p.delQuads), len(p.addQuads))) |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
283 |
|
798
5c158d37f1ce
autoretry websocket. fix rdflib quad patching. only rerun handlers that asked for the affected subj-preds.
drewp@bigasterisk.com
parents:
797
diff
changeset
|
284 patchQuads(self.graph, p.delQuads, p.addQuads, perfect=True) |
|
808
a631e075a5bf
KC big rewrites, now multiple KC instances can sync with rdfdb
drewp@bigasterisk.com
parents:
806
diff
changeset
|
285 senderUpdateUri = getattr(p, 'senderUpdateUri', None) |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
286 |
| 796 | 287 for c in self.clients: |
|
808
a631e075a5bf
KC big rewrites, now multiple KC instances can sync with rdfdb
drewp@bigasterisk.com
parents:
806
diff
changeset
|
288 if c.updateUri == senderUpdateUri: |
|
a631e075a5bf
KC big rewrites, now multiple KC instances can sync with rdfdb
drewp@bigasterisk.com
parents:
806
diff
changeset
|
289 # this client has self-applied the patch already |
|
a631e075a5bf
KC big rewrites, now multiple KC instances can sync with rdfdb
drewp@bigasterisk.com
parents:
806
diff
changeset
|
290 continue |
|
798
5c158d37f1ce
autoretry websocket. fix rdflib quad patching. only rerun handlers that asked for the affected subj-preds.
drewp@bigasterisk.com
parents:
797
diff
changeset
|
291 d = c.sendPatch(p) |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
292 d.addErrback(self.clientErrored, c) |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
293 if not dueToFileChange: |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
294 self.watchedFiles.dirtyFiles([ctx]) |
| 796 | 295 sendToLiveClients(asJson=p.jsonRepr) |
| 296 | |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
297 def clientErrored(self, err, c): |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
298 err.trap(twisted.internet.error.ConnectError) |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
299 log.info("connection error- dropping client %r" % c) |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
300 self.clients.remove(c) |
| 821 | 301 self.sendClientsToAllLivePages() |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
302 |
| 796 | 303 def summarizeToLog(self): |
|
798
5c158d37f1ce
autoretry websocket. fix rdflib quad patching. only rerun handlers that asked for the affected subj-preds.
drewp@bigasterisk.com
parents:
797
diff
changeset
|
304 log.info("contexts in graph (%s total stmts):" % len(self.graph)) |
| 796 | 305 for c in self.graph.contexts(): |
| 306 log.info(" %s: %s statements" % | |
| 307 (c.identifier, len(self.getSubgraph(c.identifier)))) | |
| 308 | |
| 309 def getSubgraph(self, uri): | |
| 811 | 310 """ |
| 311 this is meant to return a live view of the given subgraph, but | |
| 312 if i'm still working around an rdflib bug, it might return a | |
| 313 copy | |
| 314 | |
| 315 and it's returning triples, but I think quads would be better | |
| 316 """ | |
| 796 | 317 # this is returning an empty Graph :( |
| 318 #return self.graph.get_context(uri) | |
| 319 | |
| 320 g = Graph() | |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
321 for s in self.graph.triples(ALLSTMTS, uri): |
| 796 | 322 g.add(s) |
| 323 return g | |
| 821 | 324 |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
325 def addClient(self, updateUri, label): |
| 796 | 326 [self.clients.remove(c) |
| 327 for c in self.clients if c.updateUri == updateUri] | |
| 328 | |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
329 log.info("new client %s at %s" % (label, updateUri)) |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
330 self.clients.append(Client(updateUri, label, self)) |
| 796 | 331 self.sendClientsToAllLivePages() |
| 332 | |
| 333 def sendClientsToAllLivePages(self): | |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
334 sendToLiveClients({"clients":[ |
|
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
335 dict(updateUri=c.updateUri, label=c.label) |
| 821 | 336 for c in self.clients]}) |
| 796 | 337 |
| 338 class GraphResource(PrettyErrorHandler, cyclone.web.RequestHandler): | |
| 339 def get(self): | |
| 821 | 340 self.write(self.settings.db.graph.serialize(format='n3')) |
| 341 | |
| 796 | 342 class Patches(PrettyErrorHandler, cyclone.web.RequestHandler): |
| 343 def __init__(self, *args, **kw): | |
| 344 cyclone.web.RequestHandler.__init__(self, *args, **kw) | |
|
843
77b5dbcf688d
split syncedgraph into several layers
drewp@bigasterisk.com
parents:
833
diff
changeset
|
345 p = makePatchEndpointPutMethod(self.settings.db.patch) |
| 796 | 346 self.put = lambda: p(self) |
| 347 | |
| 348 def get(self): | |
| 349 pass | |
| 350 | |
| 351 class GraphClients(PrettyErrorHandler, cyclone.web.RequestHandler): | |
| 352 def get(self): | |
| 353 pass | |
| 821 | 354 |
| 796 | 355 def post(self): |
| 356 upd = self.get_argument("clientUpdate") | |
| 357 try: | |
|
797
904913de4599
deletes are now quads. refactor files. named clients. auto client port
drewp@bigasterisk.com
parents:
796
diff
changeset
|
358 self.settings.db.addClient(upd, self.get_argument("label")) |
| 796 | 359 except: |
| 360 import traceback | |
| 361 traceback.print_exc() | |
| 362 raise | |
| 363 | |
| 364 liveClients = set() | |
| 365 def sendToLiveClients(d=None, asJson=None): | |
| 366 j = asJson or json.dumps(d) | |
| 367 for c in liveClients: | |
| 368 c.sendMessage(j) | |
| 369 | |
| 370 class Live(cyclone.websocket.WebSocketHandler): | |
| 821 | 371 |
| 796 | 372 def connectionMade(self, *args, **kwargs): |
| 811 | 373 log.info("websocket opened") |
| 796 | 374 liveClients.add(self) |
| 375 self.settings.db.sendClientsToAllLivePages() | |
| 376 | |
| 377 def connectionLost(self, reason): | |
| 811 | 378 log.info("websocket closed") |
| 796 | 379 liveClients.remove(self) |
| 380 | |
| 381 def messageReceived(self, message): | |
| 382 log.info("got message %s" % message) | |
| 383 self.sendMessage(message) | |
| 384 | |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
385 class NoExts(cyclone.web.StaticFileHandler): |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
386 # .xhtml pages can be get() without .xhtml on them |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
387 def get(self, path, *args, **kw): |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
388 if path and '.' not in path: |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
389 path = path + ".xhtml" |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
390 cyclone.web.StaticFileHandler.get(self, path, *args, **kw) |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
391 |
| 796 | 392 if __name__ == "__main__": |
| 393 logging.basicConfig() | |
| 394 log = logging.getLogger() | |
| 395 | |
| 396 parser = optparse.OptionParser() | |
| 397 parser.add_option('--show', | |
| 398 help='show URI, like http://light9.bigasterisk.com/show/dance2008', | |
| 399 default=showconfig.showUri()) | |
| 400 parser.add_option("-v", "--verbose", action="store_true", | |
| 401 help="logging.DEBUG") | |
| 402 (options, args) = parser.parse_args() | |
| 403 | |
| 404 log.setLevel(logging.DEBUG if options.verbose else logging.INFO) | |
| 405 | |
| 406 if not options.show: | |
| 407 raise ValueError("missing --show http://...") | |
| 408 | |
|
829
e53e78db7b17
refactor file watching. notice new files and dirs.
Drew Perttula <drewp@bigasterisk.com>
parents:
826
diff
changeset
|
409 db = Db(topDirsToWatch=['show/dance2013']) |
| 821 | 410 |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
411 from twisted.python import log as twlog |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
412 twlog.startLogging(sys.stdout) |
| 821 | 413 |
| 796 | 414 port = 8051 |
| 415 reactor.listenTCP(port, cyclone.web.Application(handlers=[ | |
| 416 (r'/live', Live), | |
| 417 (r'/graph', GraphResource), | |
| 418 (r'/patches', Patches), | |
| 419 (r'/graphClients', GraphClients), | |
| 420 | |
|
814
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
421 (r'/(.*)', NoExts, |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
422 {"path" : "light9/rdfdb/web", |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
423 "default_filename" : "index.xhtml"}), |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
424 |
|
1ae8e6b287e3
improvements to file watching. outline of how resync will work
drewp@bigasterisk.com
parents:
811
diff
changeset
|
425 ], debug=True, db=db)) |
| 796 | 426 log.info("serving on %s" % port) |
|
808
a631e075a5bf
KC big rewrites, now multiple KC instances can sync with rdfdb
drewp@bigasterisk.com
parents:
806
diff
changeset
|
427 prof.run(reactor.run, profile=False) |