|
497
|
1 Sun Oct 24 13:24:55 JST 2010
|
|
|
2
|
|
|
3 gseq + editor-id + lseq の順にソートする
|
|
|
4 gseq は、他コマンドが来た時に、それよりも大きく設定する
|
|
|
5 gseq をsyncするプロトコルが必要 (heart beat を兼ねて)
|
|
|
6
|
|
|
7 gseq * 1000 + lseq
|
|
|
8 で良い? lseq がoverflowしたら gseq が一つ増える。
|
|
|
9 自分で遅くする分には問題ない
|
|
|
10
|
|
498
|
11 一周後に、それより前のcommandは来ないので、そこまで
|
|
|
12 確定させて良い。(sentListから削除)
|
|
|
13
|
|
499
|
14 自分のcommandがsortされないで残る感じ?
|
|
|
15
|
|
498
|
16 unMergeCmds がないので、mergeAgain を作り直す必要がある。
|
|
|
17
|
|
499
|
18 editor のseqは、sm 側で付けなおす必要がある。
|
|
|
19
|
|
|
20 editor間のトポロジーが狂うバグがあるらしい
|
|
|
21 1->2->1->3
|
|
|
22 のような。
|
|
|
23
|
|
495
|
24 Sat Oct 23 22:24:31 JST 2010
|
|
|
25
|
|
|
26 Editor1 Editor2 Editor3
|
|
|
27 c(e1s1) a(e3s1)
|
|
|
28 a(e3s1) c(e1s1)
|
|
|
29 e(e2s2) c(e1s1)
|
|
|
30 d(e3s2)
|
|
|
31 c(e1s1) a(e3s1) e(e2s2) E1 c_a
|
|
|
32 d(e2s2)
|
|
|
33 e(e2s2) ca(e1s1) a(e3s1) E3 c_a, E2 c_a
|
|
|
34 d(e3s2)
|
|
|
35 aa(e3s1) e(e2s2) ca(e1s1) E2 _ed
|
|
|
36 d(e3s2) E3 _ed
|
|
|
37 aa(e3s1) ea(e2s2)
|
|
|
38 da(e3s2)
|
|
|
39 ea(e2s2)
|
|
|
40 da(e3s2)
|
|
|
41
|
|
|
42 [c,a,e,d]
|
|
|
43
|
|
|
44 うーん。あんまり状況が変わってないんですけど。でも、こういう風にseqを
|
|
|
45 使うのは、あんまり良くないが...
|
|
|
46
|
|
|
47 seq を使わずに merge mark で出来るかも。
|
|
|
48
|
|
|
49 Editor1 Editor2 Editor3
|
|
|
50 c(e1s1) a(e3s1)
|
|
|
51 a(e3s1) c(e1s1)
|
|
|
52 e(e2s2) c(e1s1)
|
|
|
53 d(e3s2)
|
|
|
54 c(e1s1) a(e3s1) e(e2s2) E1 c_a e は a に追い越される
|
|
|
55 d(e2s2) f(e2s3)
|
|
|
56 e(e2s2) ca(e1s1) a(e3s1) E3 c_a, E2 c_a
|
|
|
57 d(e3s2) f(e2s3) しかし、e は d には追い越されない
|
|
|
58 aa(e3s1) e(e2s2) ca(e1s1) E2 _ed
|
|
|
59 f(e2s3) d(e3s2) E3 _ed
|
|
|
60 aa(e3s1) ea(e2s2)
|
|
|
61 da(e3s2) f(e2s3) E2 _f_
|
|
|
62 ea(e2s2) fa(e2s3)
|
|
|
63 fa(e2s3) da(e3s2)
|
|
|
64 fa(e2s3)
|
|
|
65 [c,a,e,d]
|
|
|
66
|
|
|
67 Editor3で、eがa,cを追い越せない理由は?
|
|
|
68
|
|
497
|
69 なんらかのマークがないと区別できない
|
|
|
70
|
|
495
|
71 c_a
|
|
|
72 _ed
|
|
|
73 _f_
|
|
|
74
|
|
|
75 の意味は?
|
|
|
76
|
|
|
77 つまり、全部廻ったかどうか、数が関係するわけ?
|
|
|
78
|
|
|
79 他のコマンドが来たらgseqを一つ増やす
|
|
|
80 同じgseq同士で eid, lseq で、sort
|
|
|
81
|
|
|
82 同じってのがひっかかるけど。mm だと、d(e3s2)がf(e2s3)を追い
|
|
|
83 越すことが出来ない。(いや、出来る?)
|
|
|
84
|
|
|
85 heart beat でseqを合わせるか。
|
|
|
86
|
|
|
87 他コマンドが来てたら自コマンドの前に mm
|
|
|
88 他コマンドは mm の前にsortして挿入
|
|
|
89 mm 以降の自コマンドは後回し
|
|
|
90 ack が来たらmmまでの他コマンドは確定 sentList から削除
|
|
|
91
|
|
|
92 うーん、他コマンドをsortするか、しないかの判断がmmでは出来ないみたい。
|
|
|
93
|
|
491
|
94 Sat Oct 23 12:04:43 JST 2010
|
|
|
95
|
|
|
96 sentList から外すときに、unMergeCmds からも外すのだが、その時に、merge command が
|
|
|
97 外れないらしい。
|
|
|
98
|
|
|
99 それっぽいものをunMergedCmdsから外す
|
|
|
100 unMergedCmds に sentList との対応を足す
|
|
|
101 そもそも、unMergedCmds = reverse(sentList) なはず (merge中以外)
|
|
|
102 unMergedCmds を廃止 (merge 時は、sentMergeList を使う)
|
|
|
103
|
|
|
104 とか言う手を思い付きますが…
|
|
|
105
|
|
486
|
106 Thu Oct 21 12:27:44 JST 2010
|
|
|
107
|
|
|
108 外部からのINESRT に USER_INSERTがはまりこんでいるが…
|
|
|
109
|
|
|
110 Editor SM
|
|
|
111 <---INSERT----
|
|
|
112 <---INSERT---- (start_merge)
|
|
|
113 --U_INSERT1--> truncate
|
|
|
114 ----INSERT---> start_merge
|
|
|
115 --U_INSERT2--> truncate
|
|
|
116 <--START_M---- (U_INSERT1, U_INSERT2)
|
|
|
117
|
|
|
118 INSERTが来た時点でEditorをlockすれば、二つめは止めるが。
|
|
|
119 でも、問題はないはず。余計に tuncate しても問題ない。
|
|
|
120
|
|
|
121 --U_INSERT0-->
|
|
|
122 (U_INSERT0)
|
|
|
123 <---INSERT----
|
|
|
124 <---INSERT---- (start_merge)
|
|
|
125 --U_INSERT1--> --U_INSERT1-->
|
|
|
126 ----INSERT---> start_merge
|
|
|
127 (U_INSERT0, U_INSERT1, INSERT)
|
|
|
128 --INSERT-->
|
|
|
129 --U_INSERT2--> --U_INSERT2-->
|
|
|
130 <--START_M---- (U_INSERT0, U_INSERT1, INSERT, *, U_INSERT2)
|
|
|
131 --U_INSERT3--> --U_INSERT3-->
|
|
|
132 --STARTM_ACK->
|
|
|
133 --U_INSERT4--> (U_INSERT0, U_INSERT1, INSERT, *, U_INSERT2, U_INSERT3, U_INSERT4)
|
|
|
134 --U_INSERT4-->
|
|
|
135
|
|
|
136 ええと、INSERT は、U_INSERT[01] は追い越すべき。U_INSERT[2-4]
|
|
|
137 は追い越さない。* は merge_mark
|
|
|
138
|
|
|
139 start_merge 以降は外部commandはブロックされるので問題ない。
|
|
|
140
|
|
|
141 ってことは、まずいっていうことね。U_INSERT1/U_INSERT2 を
|
|
|
142 block しても良いのだが、undo は必要なのでblock出来ません。
|
|
|
143
|
|
|
144 sentList, unMegeList には随時追加 (merge 中はtruncateしない)
|
|
|
145 sort は、MERGE_MARK まで
|
|
|
146 merge_end で、user command があれば、truncate
|
|
|
147
|
|
|
148 かな。で、preMergedCommand の送信タイミングは? 戻って来た順に出してしまって良い?
|
|
|
149
|
|
487
|
150 ACKも入り込んでるのはおかしいんですが... あ、違うな。一周した自コマンドをblockしてない?
|
|
|
151 いや、merging のflagが、ちょっと早い感じ。二つのflagを一緒にしてしまったので。
|
|
|
152
|
|
|
153 あと、mergeのundoのunMergeCommandをendMerge 時にtruncateしきれてない。
|
|
|
154
|
|
485
|
155 Wed Oct 20 20:35:53 JST 2010
|
|
|
156
|
|
486
|
157 Editor1 Editor2 Editor3
|
|
|
158 c(eid=1) a(eid=3)
|
|
|
159 a(eid=3)* c(eid=1)*
|
|
|
160 e(eid=2)t c(eid=1)*
|
|
|
161 c(eid=1)t a(eid=3)* e(eid=2)*
|
|
|
162 e(eid=2)* ca(eid=1)t a(eid=3)t
|
|
|
163 aa(eid=3)t e(eid=2)t ca(eid=1)t
|
|
|
164 ca(eid=1)t aa(eid=3)t ea(eid=2)t
|
|
|
165 ea(eid=2)t ca(eid=1)t
|
|
|
166 ca(eid=1)t
|
|
485
|
167
|
|
|
168 [c,e,a] [c,e,a] [c,e,a]
|
|
|
169
|
|
486
|
170 sort は、どの範囲?
|
|
|
171 全部で良い
|
|
|
172 と言うことは、そこに MERGE_MARK は必要ない
|
|
|
173
|
|
485
|
174
|
|
481
|
175 Fri Oct 15 19:47:05 JST 2010
|
|
|
176
|
|
|
177 あまり良い変更でないので元に戻す。
|
|
|
178
|
|
|
179 sentlist はあった方が良い
|
|
|
180 今までのmergeも動いた方が良い
|
|
|
181
|
|
477
|
182 Thu Oct 14 14:27:22 JST 2010
|
|
|
183
|
|
|
184 でも単純ソートはうまくいかないはず。
|
|
|
185
|
|
|
186 あ、そうか。このアルゴリズムだと、sentListがクリアされないものがいるね。
|
|
|
187
|
|
|
188 二巡目のack で消すのだろうが...
|
|
|
189
|
|
|
190 あとsortの範囲の問題がやっぱりある。
|
|
|
191
|
|
472
|
192 Tue Oct 12 10:37:38 JST 2010
|
|
|
193
|
|
|
194 やっぱり二周目に割り込んだコマンドが正しくsortされない。
|
|
|
195
|
|
477
|
196 Editor3 Editor2 Editor1
|
|
|
197 e(eid=2)
|
|
|
198 e(eid=2)
|
|
|
199 e(eid=2)
|
|
|
200 e(eid=2) c(eid=1)
|
|
|
201 ea(eid=2)*
|
|
|
202 c(eid=1)
|
|
|
203 ea(eid=2)* c(eid=1)
|
|
|
204 ea(eid=2)* c(eid=1)
|
|
|
205 ca(eid=1)*
|
|
|
206 ca(eid=1)*
|
|
|
207 ca(eid=1)*
|
|
|
208
|
|
|
209 [e,c] [e,c] [c,e]
|
|
|
210
|
|
|
211 うーん。
|
|
|
212
|
|
|
213 Editor3 Editor2 Editor1
|
|
|
214 e(eid=2) a(eid=1)
|
|
|
215 a(eid=1) e(eid=2)
|
|
|
216 e(eid=2) a(eid=1)
|
|
|
217 e(eid=2)* c(eid=1)
|
|
|
218 a(eid=1)*
|
|
|
219 ea(eid=2)*
|
|
|
220 c(eid=1)
|
|
|
221 aa(eid=1)* c(eid=1)
|
|
|
222 ea(eid=2)* aa(eid=1)* c(eid=1)*
|
|
|
223 ca(eid=1)*
|
|
|
224 ca(eid=1)*
|
|
|
225
|
|
|
226 [a,e,c] [a,e,c] [a,e,c]
|
|
|
227
|
|
|
228 他のエディタのコマンドが来た時に、優先順位でいきなりソート(merge)して良い。o
|
|
|
229 自分のコマンドは、過去の低い優先順位を追い越さない。 x
|
|
|
230 一周(ack)が来たら、そこまでのundoは捨てて順位は固定。 x
|
|
|
231 既に他のコマンドを送信した後に、自コマンドが来たら、その前までの自編集以外の編集まで確定。o
|
|
|
232 自コマンドのackで、まだ確定してない場合は確定。o
|
|
|
233 他コマンドのackは何もしない o
|
|
|
234 merge 中の自コマンドは、確定させて処理(merge後に送信と同じ)
|
|
|
235
|
|
|
236 Ackが来たら確定で良い?
|
|
|
237
|
|
|
238 Editor3 Editor2 Editor1
|
|
|
239 c(eid=3) e(eid=2) a(eid=1)
|
|
|
240 a(eid=1) c(eid=3) e(eid=2)
|
|
|
241 e(eid=2) a(eid=1) c(eid=3)
|
|
|
242 c(eid=3)* e(eid=2)* d(eid=1) <- このd がsortされない必要があるらしい
|
|
|
243 d(eid=1) ca(eid=3) a(eid=1)*
|
|
|
244 aa(eid=1)* d(eid=1) ea(eid=2)*
|
|
|
245 ea(eid=2)* aa(eid=1)* ca(eid=3)*
|
|
|
246 d(eid=1)*
|
|
|
247 da(eid=1)*
|
|
|
248 da(eid=1)*
|
|
|
249
|
|
|
250 [a,e,c,d] [a,e,c,d] [a,e,c,d]
|
|
|
251
|
|
|
252 優先順位1でない場合
|
|
|
253
|
|
|
254 Editor1 Editor2 Editor3
|
|
|
255 c(eid=1) e(eid=2) a(eid=3)
|
|
|
256 a(eid=3) c(eid=1) e(eid=2)
|
|
|
257 e(eid=2) a(eid=3) c(eid=1)
|
|
|
258 c(eid=1)* e(eid=2)* d(eid=3) <- このd がsortされない必要があるらしい
|
|
|
259 d(eid=3) ca(eid=1) a(eid=3)*
|
|
|
260 aa(eid=3)* d(eid=3) ea(eid=2)*
|
|
|
261 ea(eid=2)* aa(eid=3)* ca(eid=1)*
|
|
|
262 d(eid=3)*
|
|
|
263 da(eid=3)*
|
|
|
264 da(eid=3)*
|
|
|
265
|
|
|
266 [c,e,a,d] [c,e,a,d] [c,e,a,d]
|
|
|
267
|
|
|
268 優先順位に関係なく、他コマンドの後の自分のコマンドは
|
|
|
269 sort しないものらしい。
|
|
|
270
|
|
|
271 そこにさらに他コマンドが割り込んだ場合は?
|
|
|
272
|
|
|
273 Editor1 Editor2 Editor3
|
|
|
274 c(eid=1) a(eid=3)
|
|
|
275 a(eid=3) c(eid=1)
|
|
|
276 a(eid=3) c(eid=1)
|
|
|
277 c(eid=1)* e(eid=2) d(eid=3) <- このe,d がsortされない必要があるらしい
|
|
|
278 d(eid=3) ca(eid=1)* a(eid=3)*
|
|
|
279 aa(eid=3)* d(eid=3) e(eid=2) <- a(eid=3)は確定、d(eid=3)は未確定
|
|
|
280 e(eid=2) aa(eid=3)* ca(eid=1)* <- Editor1のe(eid=2)は、まだ未確定
|
|
|
281 e(eid=2)* d(eid=3)*
|
|
|
282 da(eid=3)* ea(eid=2)*
|
|
|
283 ea(eid=2)* da(eid=3)* <- e(eid=2)を確定
|
|
|
284
|
|
|
285 [c,a,e,d] [c,a,e,d] [c,a,e,d]
|
|
|
286
|
|
|
287 e(eid=2) は d(eid=3) を追い越す必要がある。
|
|
|
288
|
|
|
289 他のエディタのコマンドが来た時に、優先順位でいきなりソート(merge)して良い。o
|
|
|
290 既に他のコマンドを送信した後に、自コマンドが来たら、その前までの自編集以外の編集まで確定。o
|
|
|
291 自コマンドのackで、まだ確定してない場合は確定。o
|
|
|
292 他コマンドのackは 二周目のackが来たら、そのコマンドまで確定
|
|
|
293 merge 中の自コマンドは、確定させて処理(merge後に送信と同じ)
|
|
|
294
|
|
|
295 Editor1 Editor2 Editor3
|
|
|
296 c(eid=1) a(eid=3)
|
|
|
297 a(eid=3) c(eid=1)
|
|
|
298 a(eid=3) c(eid=1)
|
|
|
299 c(eid=1)* e(eid=2) d(eid=3) <- このe,d がsortされない必要があるらしい
|
|
|
300 d(eid=3) a(eid=3)*
|
|
|
301 d(eid=3) e(eid=2)
|
|
|
302 e(eid=2)
|
|
|
303 e(eid=2)* d(eid=3)*
|
|
|
304
|
|
|
305 [c,a,e,d] [c,a,e,d] [c,a,e,d]
|
|
|
306
|
|
|
307 もしかして、ack って必要ないの? え〜
|
|
|
308
|
|
|
309 Editor1 Editor2 Editor3
|
|
|
310 c(eid=1) e(eid=2) a(eid=3)
|
|
|
311 a(eid=3) c(eid=1) e(eid=2)
|
|
|
312 e(eid=2) a(eid=3) c(eid=1)
|
|
|
313 c(eid=1)* e(eid=2)* d(eid=3) <- このd がsortされない必要があるらしい
|
|
|
314 d(eid=3) a(eid=3)*
|
|
|
315 d(eid=3)
|
|
|
316 d(eid=3)*
|
|
|
317
|
|
|
318 [c,e,a,d] [c,e,a,d] [c,e,a,d]
|
|
|
319
|
|
|
320 4つの場合の特殊性はある?
|
|
|
321
|
|
|
322
|
|
|
323
|
|
|
324
|
|
471
|
325 Mon Oct 11 22:12:35 JST 2010
|
|
|
326
|
|
|
327 あ、そうか。singleton case 中のコマンドは無視されてしまうわけね。SYNC すれば良いはずだが。
|
|
|
328
|
|
|
329 残念ながら、SYNC すると正しく動かない。
|
|
|
330
|
|
468
|
331 Mon Oct 11 19:56:48 JST 2010
|
|
|
332
|
|
|
333 ackList を別にしたので、quit2 は ackList も見ないとだめだった。
|
|
|
334
|
|
469
|
335 ack が廻って来たら、ちゃんと全部ソートしないとダメ。
|
|
|
336
|
|
|
337 自分が出したコマンドもソートしちゃって良いの?
|
|
|
338
|
|
|
339 あれ? もしかして、できた?
|
|
|
340
|
|
468
|
341 Mon Oct 11 13:32:49 JST 2010
|
|
|
342
|
|
|
343 Translator がEditorと別ってのが超絶読みづらい。
|
|
|
344 本当は、Translator 単体でテストしたかったのだろうが。
|
|
|
345 自分で作ったような気もするよ。
|
|
|
346
|
|
466
|
347 Sat Oct 2 08:43:32 JST 2010
|
|
|
348
|
|
|
349 なんか振り出しに戻った感じ〜
|
|
|
350
|
|
|
351 Deak lock, Ack miss, 結果の不良と全部そろっている
|
|
|
352
|
|
462
|
353 Fri Oct 1 10:09:41 JST 2010
|
|
|
354
|
|
|
355 やっぱり、そんなに簡単には動かないか。slow merge だと dead lock する。
|
|
|
356
|
|
|
357 SMCMD_QUITをSMCMD_QUIT_2に変えているのは誰? Editor 側でやっているのかぁ。
|
|
|
358
|
|
464
|
359 自分のinsert commandを落してしまうらしい。ack のcheckと、editor list
|
|
|
360 をわけるべきなのか?
|
|
|
361
|
|
465
|
362 わけました。
|
|
|
363
|
|
|
364 sort は、確定したところまででないとだめ。
|
|
|
365
|
|
462
|
366 Tue Sep 28 10:43:14 JST 2010
|
|
|
367
|
|
|
368 廻る順序でコマンド順は確定する。
|
|
|
369 方法は三つ
|
|
|
370 nop 前置方式
|
|
|
371 slow merge 方式 (二周後に確定)
|
|
|
372 sort interval 方式
|
|
|
373
|
|
|
374 Editor1のc(eid=1) は、e(eid=2) よりは後になる。しかし、今の
|
|
|
375 方法だと前だと判断されてしまう。nop 方式だと、その前に付く
|
|
|
376 ので、そこで区切られる。
|
|
|
377
|
|
|
378 ea(eid=2)とnopは同じ意味だが、区別する方法は?
|
|
|
379
|
|
|
380 START_MERGE INSET DELETE END_MERGE
|
|
|
381
|
|
|
382 となるはず。
|
|
|
383
|
|
|
384 Editor1 では、sm e(eid=2) em c(eid=1)
|
|
|
385 Editor3 では、sm e(eid=2) c(eid=1) em
|
|
|
386
|
|
|
387 となる?
|
|
|
388
|
|
|
389 em 後がある em 後へ
|
|
|
390 sm-em間が空 ->sm-em 間へ
|
|
|
391 sm-em間にコマンドがある ->
|
|
|
392 同じsort interval ->sm-em へ
|
|
|
393 新しいsort interval ->em以降 へ
|
|
|
394
|
|
|
395 Merge 後に sm-em は sm 以前に移される。
|
|
|
396 em 以降の次のsort interval がsm-em に移動。(全部?)
|
|
|
397
|
|
|
398 sort interval とは何? (良い質問だな〜)
|
|
|
399
|
|
|
400 eid の順序の一塊
|
|
|
401 新しい自分のコマンドは新しいsort interval を作る
|
|
|
402
|
|
|
403 (いけそうではあるな...)
|
|
|
404
|
|
|
405 途中の editor の脱落とかあると、どうしても同期がずれる?
|
|
|
406 再送の仕組みは?
|
|
|
407
|
|
|
408 Fri Sep 24 17:42:50 JST 2010
|
|
|
409
|
|
|
410 Editor3 Editor2 Editor1
|
|
|
411 e(eid=2)
|
|
|
412 e(eid=2)
|
|
|
413 e(eid=2) c(eid=1)
|
|
|
414 c(eid=1) e(eid=2)
|
|
|
415 c(eid=1) ea(eid=2)*
|
|
|
416 ea(eid=2)* c(eid=1)
|
|
|
417 ca(eid=1)*ea(eid=2)*
|
|
|
418 ca(eid=1)*
|
|
|
419 ca(eid=1)*
|
|
|
420
|
|
|
421 [e,c] [e,c] [e,c]
|
|
|
422
|
|
|
423 うーん、ack のみで merge するので良さそう。いや、そうすると、
|
|
|
424 二周目の間にコマンドが入るけど、その扱いは?
|
|
|
425
|
|
|
426 あ、そうか。他のeditorからのコマンドの前に自分のコマンドを入れる
|
|
|
427 ってのがあったような気がする。二周目のackは、それを実現できない
|
|
|
428 のか。
|
|
|
429
|
|
|
430 Editor3 Editor2 Editor1
|
|
|
431 e(eid=2)
|
|
|
432 1e(eid=2)
|
|
|
433 31e(eid=2) c(eid=1)
|
|
|
434 3c(eid=1) 231e(eid=2)*
|
|
|
435 23c(eid=1) 231*
|
|
|
436 23 23c(eid=1)*
|
|
|
437 12 23
|
|
|
438 ca(eid=1)*ea(eid=2)*
|
|
|
439 ca(eid=1)*
|
|
|
440 ca(eid=1)*
|
|
|
441
|
|
|
442 [c,e] [c,e] [c,e]
|
|
|
443
|
|
|
444 う、結構わからんな。
|
|
|
445
|
|
|
446 Fri Sep 24 17:42:50 JST 2010
|
|
|
447
|
|
|
448 順序がずれる問題は、送信キューをEditor localに持つことで解消。
|
|
|
449
|
|
|
450 結果がおかしいことがあるのは、(* は merge operation )
|
|
|
451
|
|
|
452 Editor1 Editor2 Editor3
|
|
|
453 e(eid=2)
|
|
|
454 e(eid=2)
|
|
|
455 e(eid=2) c(eid=1)
|
|
|
456 c(eid=1) e(eid=2)*
|
|
|
457 c(eid=1) ea(eid=2)*
|
|
|
458 ea(eid=2)* c(eid=1)
|
|
|
459 ca(eid=1) ea(eid=2)
|
|
|
460 ca(eid=1)
|
|
|
461 ca(eid=1)
|
|
|
462
|
|
|
463 [e,c] [c,e] [e,c]
|
|
|
464
|
|
|
465 と巡回させた時に、Editor2 で e(eid=2) が確定してしまうかららしい。
|
|
|
466 つまり eid=1 か ack を待てば良い。(ack は all eid と考えて良い)
|
|
|
467
|
|
|
468 と言うことは、ack のみで merge するべきだってこと?
|
|
|
469
|
|
|
470 それでは、だめなみたいだなぁ。
|
|
|
471
|
|
450
|
472 Thu Sep 23 14:57:57 JST 2010
|
|
|
473
|
|
|
474 やっぱり、send が
|
|
|
475
|
|
|
476 Editor Object から Editor へのsend
|
|
|
477 他の Editor Object から Editor へのsend
|
|
|
478
|
|
|
479 の二つに使われているのはダメだよ。片方をブロックしたい時があるのだから。
|
|
|
480
|
|
|
481 sendNext で分割してブロックはできた。問題は、途中で送られたものをどう
|
|
|
482 処理するかだが〜
|
|
|
483
|
|
|
484 うーん、すでにSession Manager の送信キューに入っているので、
|
|
|
485 blocking が効かないようだ。
|
|
|
486
|
|
|
487 そういうわけなので、受け側でなんとかした方が良いみたい。
|
|
|
488 可能なの? いや、無理だろうな。
|
|
|
489
|
|
|
490 REPNode.send 他のところからの送信
|
|
|
491 REPNode.write Serverの送信ループ
|
|
|
492
|
|
|
493 なので、Editor.write() で捕まえるか。
|
|
|
494
|
|
|
495 Thu Sep 23 12:13:19 JST 2010
|
|
|
496
|
|
|
497 START_MERGE から START_MERGE_ACK までにEditorから送られたコマンドは、
|
|
|
498 sentList に付け加えるべきでは?
|
|
|
499
|
|
|
500 しかし、その間、外部からEditorに送るコマンドは止める必要がある。
|
|
|
501
|
|
|
502 Editor.merging ... START_MERGE ... START_MERGE_ACK ... END_MERGE
|
|
|
503 Translaotr.merging ... START_MERGE_ACK ... END_MERGE
|
|
|
504
|
|
|
505 と言うように区別するか。
|
|
|
506
|
|
|
507 START_MERGE は、 Editor から返って来るタイミングでブロックするので、
|
|
|
508 その段階で、Editor へ送られているコマンドをブロックできない。
|
|
|
509 もちろん、Editor からのUSER_INPUTもブロックできない。
|
|
|
510
|
|
|
511 Editorの undoが正しくなくなるだけでなく、
|
|
|
512 Merge phase のコマンドが二つ続けて送られるのはよろしくない。
|
|
|
513
|
|
449
|
514 Wed Sep 22 19:59:26 JST 2010
|
|
|
515
|
|
|
516 NOPを廻す方式とAckを廻す方式は、
|
|
|
517
|
|
|
518 E_{10} N_{11} E_{23} E_{01} E_{02} N_{11}
|
|
|
519
|
|
|
520 E_{10} E_{23} E_{01} E_{02} Eack_{10}
|
|
|
521
|
|
|
522 の対応だから、方法としては同じ。
|
|
|
523
|
|
|
524 sort だけど、
|
|
|
525
|
|
|
526 e3 e1 e2 e3 e1 e2 e3 e1 e2 e3 e1 e2 e3
|
|
|
527 |---1---|----4---|--------|
|
|
|
528 |----2---|--------|--------|
|
|
|
529 |----3---|--------|--------|
|
|
|
530
|
|
|
531 1 では c1 のack で c1 c2 c3 の順序にmerge。c1 c2 c3 は確定。
|
|
|
532 なので、2,3 ではソートは必要ない? じゃぁ、Self merge だけ
|
|
|
533 すれば良いってこと? じゃぁ、その他の Ack の意味は?
|
|
|
534 さすがにそれはないです。
|
|
|
535
|
|
|
536 sort するリスト は、merge の時にclearして良いらしい。
|
|
|
537 と言うことは unMerge もclearして良い。
|
|
|
538 sentList にMarkを入れるか。
|
|
|
539
|
|
|
540
|
|
445
|
541 Fri Sep 17 16:31:04 JST 2010
|
|
|
542
|
|
|
543 あぁ、そうか。二つ続けてeditor commandを送ると、二つ続けて Merge することに
|
|
|
544 なる。Timeout みたいなので防げないこともないが、今は何もしない。
|
|
|
545
|
|
|
546 Optimizer が全然動いてないようだ。まぁ、それは良いが...
|
|
|
547
|
|
|
548 Undo は正しく行なわれているが、続いて起きる merge で余計なコマンドが入っている
|
|
|
549 ようだ。
|
|
|
550
|
|
|
551 EndMergeで、unMergedCmds を正しくなるように直してみる。少しは近くなったか?
|
|
|
552
|
|
438
|
553 Sat Sep 11 16:45:40 JST 2010
|
|
|
554
|
|
|
555 これ、やっぱり難しすぎ。getMergeAgain で、sentMergedList が空でない場合がある。
|
|
|
556
|
|
441
|
557 Termination するようにはなった。しかし、Merge はダメなようだ。
|
|
|
558
|
|
|
559 mergeAgain した時に、前のmerge command がeditorから返されることがあって、
|
|
|
560 それは、全部、読む必要がある。
|
|
|
561
|
|
442
|
562 Merge 中のcommandがblockされてない。
|
|
|
563
|
|
|
564 next.send(command) すると、直接、次のeditorに送られてしまうので、
|
|
|
565 merge 中に止められない。
|
|
|
566
|
|
436
|
567 Sat Jan 16 18:06:37 JST 2010
|
|
|
568
|
|
|
569 sentList 全部削除だと quit2 が早めに出されてしまうので、
|
|
|
570 ちゃんと終了しない。
|
|
|
571
|
|
434
|
572 Tue Jan 12 01:20:12 JST 2010
|
|
|
573
|
|
|
574 sentList の先頭を削除するのは、Merge が終った後。一周した部分は、
|
|
|
575 確定するはずなので全部削除で良い。その後、来た、Ack などは無視して良い。
|
|
|
576
|
|
|
577 quit を早く処理してしまう場合があるらしい。
|
|
|
578
|
|
|
579 だいぶ近くなって来た気がする。
|
|
|
580
|
|
|
581 Sat Jan 9 15:36:35 JST 2010
|
|
|
582
|
|
|
583 やっぱり全部ソートしちゃいけないのかな...
|
|
|
584
|
|
|
585 Merge のtriggerになるコマンドは、sentList の先頭
|
|
|
586 sort してはいけないものとは?
|
|
|
587
|
|
|
588 unMergedList は、Editor に送ったコマンド全部
|
|
|
589 sentList は、外部のエディタに送り出したもの全部
|
|
|
590
|
|
|
591 そっか、やっぱり、current command が外されちゃっているのはまずいらしい。
|
|
|
592 あと、sort の順序も良くない。
|
|
|
593
|
|
|
594 一回、sort したものは、外して良いっぽい。(ACKが来たものまでは確定)
|
|
|
595
|
|
|
596
|
|
431
|
597 Sat Jan 2 20:52:17 JST 2010
|
|
|
598
|
|
|
599 uMergeList のDELETE command のdeleted text が正しくない...
|
|
|
600 なので、最初の一回は良いのだが二回目ででたらめになってしまう。
|
|
|
601 これは、考えてなかった。
|
|
|
602 Translator.checkMergeConflict
|
|
|
603 が受け取っているので、それを uMergeList にすれば良いのだが...
|
|
|
604
|
|
|
605 ちょっと、やっかいなプログラムになるかも。
|
|
|
606
|
|
|
607 unMergeList はMerge 後、削除 ( まだ merge してない list )
|
|
|
608 sentList はいじれない ( 自分が他のエディタに送信した list)
|
|
|
609
|
|
438
|
610 sentMergedList ( 送信した merge command )
|
|
431
|
611 mergeAgainList ( merge 中に自分のeditorに割り込まれた分 )
|
|
|
612
|
|
|
613 確かに、mergeAgainList とかなんか、quueue が多すぎ。
|
|
|
614
|
|
|
615
|
|
|
616 sort なんだけど...
|
|
|
617
|
|
|
618 e0 e1 e2 e0 e1 e2 e0 e1 e2 e0 e1 e2 e0
|
|
|
619 |-------|--------|--------|
|
|
|
620 |--------|--------|--------|
|
|
|
621 |--------|--------|--------|
|
|
|
622
|
|
|
623 となる。なので、単純な editor id の順序では、まずいのでは?
|
|
|
624 (自分の以外はack) ack の eid からの剰余で廻せば良いはず。
|
|
|
625
|
|
432
|
626 mergeでeditorから返ってきたのを unMerge に入れるべき。でな
|
|
|
627 いと undo が狂う。Merge は unMergeをundoし sentList から構
|
|
|
628 成する。
|
|
|
629
|
|
431
|
630
|
|
429
|
631 Sat Jan 2 03:27:47 JST 2010
|
|
|
632
|
|
|
633 うーん、まだ、だめですね。
|
|
|
634
|
|
430
|
635 Session Manager の quit protocol って入れてない気がする...
|
|
|
636 切れた場合の対処も入れないといけないんだよな。
|
|
|
637
|
|
427
|
638 Sat Jan 2 00:02:41 JST 2010
|
|
|
639
|
|
|
640 Todo:
|
|
|
641 writeLog に level/flag を付けるか?
|
|
431
|
642 Done:
|
|
|
643 既に付いてました。
|
|
427
|
644
|
|
|
645 Selector.select() のフラグは意味がない。その後、必ず、
|
|
|
646 selectedKeys() を調べる必要がある。これは、Simulator
|
|
|
647 と実ソケットの動作が異なる部分。Warning とか出せないものか?
|
|
|
648
|
|
|
649 確かに、Merge 変かも。unMerged を undo するのは良いが、
|
|
|
650 sort するのは、unMerged であって、undo を付加したものではないはず。
|
|
|
651
|
|
|
652 いや、それは正しく出来ている。output に先にundoを入れて、
|
|
|
653 cmd には、そのまま残している。(順序は sort されるので関係ない)
|
|
|
654
|
|
|
655 でも、sortedCmds1 に add する時に、Comparator で順序付けされて
|
|
|
656 しまう。getPrecedence() は必要な列の切出しに使う。
|
|
|
657
|
|
|
658 Self Merge case
|
|
|
659 E_{00} E_{12} E_{01} E_{23} E_{02} (E_{00})
|
|
|
660 Other Merge case
|
|
|
661 E_{10} E_{11} E_{23} E_{01} E_{02} (Eack_{10})
|
|
|
662
|
|
|
663 ack が間に入ることはない(merge で消されるから)
|
|
|
664 original command の存在しない ack もない。
|
|
|
665 (あったら、エラー。無視して良い)
|
|
|
666 ack の来ない original command は sequence エラーとなるなず。
|
|
|
667 (あるいは time out)
|
|
|
668
|
|
|
669 ということは、getPrecedence せずに、うむを言わせず
|
|
|
670 全部 sort すれば良いってこと? ってことは実は、E_{12}
|
|
|
671 が来た段階で追い越せるかどうかはわかる?
|
|
|
672
|
|
|
673 Ack を受け取ったら、それは、必ず先頭にあるはず。
|
|
|
674
|
|
|
675 E_{00} E_{10} E_{11} E_{23} E_{01} E_{02} (Eack_{10})
|
|
|
676
|
|
|
677 とかはない。ack は追い越せないから。この間の入力は確定で、
|
|
|
678 優先順位にしたがって順序付しsortする。次は、
|
|
|
679
|
|
|
680 E_{10} E_{11} E_{23} E_{01} E_{02} (Eack_{10})
|
|
|
681 E_{11} E_{23} E_{01} E_{02} E_{12} (Eack_{11})
|
|
|
682
|
|
|
683 で、これは、E_{12} までをsort すれば良い。ということは、
|
|
|
684 取れるのは最初の一個だけってこと。
|
|
|
685
|
|
|
686 nop の場合は、command が着いた直後に出力されるけど、
|
|
|
687 ack の場合は、それは出力されないで、もう一周する
|
|
|
688 ack が流される。ack は、一つ前のエディタが出力した
|
|
|
689 nop に相当する。
|
|
|
690
|
|
|
691 この方法だと、編集コマンドの干渉を気にする必要はない。それは、
|
|
|
692 最適化フェーズで自動的に排除される。(はず) ということは、
|
|
|
693 getPrecedece の方で sort してやって、今の lineno の比較は
|
|
|
694 無意味なので排除ということですね。
|
|
|
695
|
|
|
696 2方向をスター型/木型に順々に処理する方法でも良いのか。
|
|
|
697
|
|
428
|
698 ということは、unMergedCmds と sendList って、おなじものってこと?
|
|
427
|
699
|
|
421
|
700 Wed Nov 26 15:15:16 JST 2008
|
|
|
701
|
|
|
702 Ring 構造なので、一部のeidtorで止まると全体が止まってしまう。
|
|
|
703 (非同期なのでeditorが止まることはない) これは、そういう設計
|
|
|
704 なので仕方がないんだが応答しないEditor/SesisionManagerを
|
|
|
705 切り離す機構は必要だろう。
|
|
|
706
|
|
|
707 このTodo list のmaintenanceをEclipse側で出来ないの? Perl Script でも
|
|
|
708 でも良いけど。
|
|
|
709
|
|
411
|
710 Wed Nov 26 08:44:29 JST 2008
|
|
|
711
|
|
|
712 Todo:
|
|
|
713 QUITで、まだ、処理があるのにEditorが止まってしまう状況が
|
|
|
714 あるらしい。
|
|
|
715
|
|
421
|
716 Done:
|
|
|
717 syncText 中にquitが来ていたかららしい。
|
|
|
718
|
|
407
|
719 Tue Nov 25 09:13:42 JST 2008
|
|
|
720
|
|
|
721 Todo:
|
|
|
722 だいたい動いたが、たまに爆発するバグが残っているらしい。
|
|
|
723 どうも、optimizerのbugっぽいな... いや、違いますね。
|
|
|
724 getMergeAgainの問題らしいが、直接の原因は良くわからない。
|
|
|
725
|
|
411
|
726 Done:
|
|
|
727 なんと、Text.javaのdeleteの条件判断が間違ってました。
|
|
|
728
|
|
399
|
729 Mon Nov 24 22:51:45 JST 2008
|
|
|
730
|
|
|
731 watingCommandInMerge のqueueを一旦0にしてから、manageを
|
|
|
732 呼ぶと、queueが既にあるのに、lockが外れた状態になってしまう。
|
|
|
733
|
|
400
|
734 watingCommandInMerge にforwardedCommandManageから入れちゃうと、
|
|
|
735 User Editor Command と 一周して来てからのCommandを区別できない...
|
|
|
736
|
|
404
|
737 INSERT_USER/DELETE_USERを入れて回避。Editor側の変更も必要になるが、
|
|
|
738 まぁ、仕方がない。
|
|
400
|
739
|
|
405
|
740 Editor側で、自分が出したINSERT/DELETE commandは無視する必要がある。
|
|
|
741 ついでに、Editor側でINSERT_ACK/DELETE_ACKに書き換える方が良いらしい。
|
|
|
742
|
|
407
|
743 Todo:
|
|
406
|
744 INSERT_ACK/DELETE_ACKが出ない場合があるらしい。と言うか、最初の
|
|
|
745 一回しか出ていない。
|
|
|
746
|
|
407
|
747 Done:
|
|
|
748 commandInMerge の扱いが変だった。
|
|
|
749
|
|
397
|
750 Wed Nov 19 19:21:47 JST 2008
|
|
|
751
|
|
|
752 ACK base に書き換えるのは良いが、途中でjoinして
|
|
|
753 きたeditorが、ACKだけを受け取った時には無視する必要が
|
|
|
754 ある。
|
|
|
755
|
|
393
|
756 Fri Oct 31 20:34:35 JST 2008
|
|
|
757
|
|
|
758 Note:
|
|
|
759
|
|
|
760 そもそも、NOPを付け加えるのがtrafficを増やしている。一周で
|
|
|
761 は、状態が確定しないので、INSERT/INSERT_ACKで、それぞれ一周、
|
|
|
762 計二周廻してやればいい。
|
|
|
763 一週目で、そのコマンドを merge waiting queue にいれる
|
|
|
764 二週目のAckコマンドを merge waiting queue と照合して、MERGE_STARTする
|
|
|
765 で、良いんじゃないか? もちろん、editorにfowardして、戻って来た
|
|
|
766 時点で判定する。
|
|
|
767 Ackが戻って来た時点で、MERGE_STARTとみなして良い。
|
|
|
768 何もなければ、MERGE_ENDを送り、コマンドがあれば、id=-2を送り、
|
|
|
769 最後にMERGE_ENDを送る
|
|
|
770 なので、MERGE_STARTも必要ない。これで、NOPを付け加えるのと、動作は
|
|
|
771 同等になる。
|
|
|
772
|
|
|
773 ACK command はeditorでは実行しない。
|
|
|
774
|
|
|
775 ついでに、packet に source editor ID も付けるんじゃないか?
|
|
|
776
|
|
|
777 Tue Oct 28 09:50:23 JST 2008
|
|
|
778 Todo: (kono)
|
|
|
779 取り敢えず、動いたみたい。テスト用に、JavaなEditor + 複数のSession Manager
|
|
|
780 + Auto Selector があると良いらしい。
|
|
|
781
|
|
387
|
782 Sun Oct 26 17:36:40 JST 2008
|
|
|
783 Todo: (kono)
|
|
|
784 GUI のEditorの方が、どれがどれだか、さっぱりわからない。
|
|
|
785 せめて、sessionを持っているかとか出ないとだめっぽい。
|
|
393
|
786
|
|
|
787 Todo: (kono)
|
|
387
|
788 なんか、NO_NAMEってのが最初に出るらしい。なんだ?
|
|
393
|
789 Done: vim のsession 管理バッファがまだ残っていたようです。
|
|
|
790 復活させてもいいかな〜
|
|
|
791
|
|
|
792 Todo: (kono)
|
|
|
793 NOPが廻り続けるという症状があるらしい。
|
|
421
|
794 Done: nop procotol は削除
|
|
393
|
795
|
|
|
796 Todo: (kono)
|
|
|
797 Optimizer が、まだ、たこならしい。
|
|
387
|
798
|
|
|
799 Sun Oct 26 14:33:51 JST 2008
|
|
|
800 Todo: (kono)
|
|
|
801 quit/close 処理が間違っているらしい。
|
|
421
|
802 Done: quit は直しました
|
|
387
|
803
|
|
|
804 Sat Oct 25 10:52:05 JST 2008
|
|
|
805 Todo: (kono)
|
|
|
806 Editorからのmutli-sessoin の扱い、TestEditor でのmulti-session
|
|
|
807 の実装。REPNode.handle の中でreadしちゃうと、handle 間での処理
|
|
|
808 の引き渡しが出来ない。handlerの切替えにkeyは必要。
|
|
|
809
|
|
|
810 一つのeditorの中で、同じsessionに複数selectすると、コマンドを
|
|
|
811 判定出来なくなる。今でも、新しくchannelを開けるなら複数セッション
|
|
|
812 をselectすることは可能。channelで識別しているので。
|
|
|
813 新しいeditorが作られてしまうので、ダメなケースの判定は、直接接続し
|
|
|
814 ているSMでしか出来ない。と言うことは、selectのcancelのprotocolが
|
|
|
815 必要らしい。それは、結構、面倒。command に source editor id を
|
|
|
816 付けてやれば良いのだが...
|
|
|
817
|
|
|
818 Todo: (kono)
|
|
|
819 text editor のバッファが増えるバグがあるらしい。
|
|
|
820 Done: たぶん、quit/quit2が動いてない。close の処理のがまずいせい。
|
|
393
|
821 merge にbugがったので、そのせいかも。
|
|
387
|
822
|
|
386
|
823 Fri Oct 24 19:00:50 JST 2008
|
|
387
|
824 Note:
|
|
386
|
825 XML に editor がselectされているかどうかのflagがあった方が良い。
|
|
|
826 現状では、update はなんにも役に立たない。
|
|
|
827
|
|
|
828 Thu Oct 23 10:31:58 JST 2008
|
|
|
829
|
|
|
830 Todo: (kono)
|
|
|
831 UPDATE/UPDATE_ACKが出ない。
|
|
|
832 Done: Fri Oct 24 19:00:50 JST 2008
|
|
|
833
|
|
385
|
834 Wed Oct 22 19:53:59 JST 2008
|
|
|
835
|
|
|
836 Todo: (kono)
|
|
|
837 やっぱり、END_MERGEが繰り返し出るバグがあるらしい。
|
|
387
|
838 Done: Thu Oct 23 10:12:27 JST 2008 merge confilict 時にmode setを
|
|
|
839 忘れてました。
|
|
|
840 結局、flag を入れて対症療法しました。
|
|
385
|
841
|
|
373
|
842 Wed Oct 22 02:31:27 JST 2008
|
|
|
843
|
|
|
844 Todo: (kono)
|
|
|
845 editorの中で、next.getEID() とか next.setQuit2() とかやっているのは、
|
|
|
846 ditributed の場合は、うまく動かない。だまって、forward されるはず
|
|
|
847 だが... やっぱり、dummy editor ではなくて、専用のものを作らないと
|
|
|
848 だめ?
|
|
374
|
849 Done: Wed Oct 22 02:56:30 JST 2008
|
|
387
|
850 ちょっとあれだが、next がdirecgtでない場合を判断して、向こうの
|
|
|
851 forwarder側で処理するのが簡単らしい。
|
|
375
|
852
|
|
|
853 Todo: (kono)
|
|
|
854 Select後のupdateを流してないので、他の人が、そのsessionがselectされたのを
|
|
|
855 知り得ない。なので、複数のjoin_ackがありえる。
|
|
387
|
856 Done: Sun Oct 26 17:39:05 JST 2008
|
|
373
|
857
|
|
370
|
858 Mon Oct 20 16:38:39 JST 2008
|
|
|
859
|
|
|
860 Todo: (kono)
|
|
|
861 routing で put の時には、上に上がるだけで良いのだが、下に行くときには、
|
|
|
862 routing table を持って行く必要がある。ということは、session list を
|
|
|
863 つける必要があるということだね。でも、tree だから、
|
|
|
864 自分の直下んあるもの以外は、上に送る
|
|
|
865 で良いのか...
|
|
375
|
866 Done: Wed Oct 22 02:56:30 JST 2008
|
|
370
|
867
|
|
|
868 Todo: (kono)
|
|
|
869 put/put_ack は、udpateを兼ねる必要があるらしい。そうでないと、session list
|
|
|
870 が広まらない。
|
|
375
|
871 Done: Wed Oct 22 02:56:30 JST 2008
|
|
370
|
872 session list 中のlocalでないeditorをselectするした場合は、sessionManager
|
|
|
873 の方に再送してやれば良い。
|
|
375
|
874 Done: Wed Oct 22 02:56:30 JST 2008
|
|
|
875 SELECT0 を作成
|
|
|
876
|
|
364
|
877 Mon Oct 20 10:22:02 JST 2008
|
|
|
878
|
|
370
|
879 Todo: (kono)
|
|
364
|
880 Inter-session での、editor の削除、master でないeditorのclose/quit。
|
|
421
|
881 Done: Wed Nov 26 15:19:07 JST 2008
|
|
|
882 動いているらしい
|
|
364
|
883
|
|
361
|
884 Sun Oct 19 21:23:27 JST 2008
|
|
|
885
|
|
364
|
886 Todo: IPv6 対応 (kono)
|
|
|
887 getAddress で取れたアドレスには、すべて、select/connect する
|
|
|
888 必要がある。localhost な hostname よりも大域的なhostnameを
|
|
|
889 優先した方が良い。
|
|
393
|
890 Done: server 側は対応。server側のconnect がまだ。
|
|
364
|
891
|
|
361
|
892 Todo: dispatch先のEditorの作成 (kono)
|
|
|
893
|
|
|
894 Session は select 時に、channelを持つeditorが登録される。
|
|
|
895 外から来た場合は、新しくeditor を作って、それをsession
|
|
|
896 に登録する必要がある。SessionManagerの入口のforwarderを
|
|
|
897 session に登録してしまうと、Sessionが一つの時にしか動かない。
|
|
|
898
|
|
|
899 put_ack は、putの時にすぐに出してしまって構わない。select_ack
|
|
|
900 が廻るので、その時にput_ackを出しても良いが...
|
|
362
|
901 Done: Sun Oct 19 23:10:52 JST 2008
|
|
361
|
902
|
|
|
903 Todo: (kono)
|
|
|
904 複数のsessionのテストを作成する
|
|
|
905
|
|
358
|
906 Sat Oct 18 20:03:10 JST 2008
|
|
|
907
|
|
361
|
908 Todo: Routing Table (kono)
|
|
358
|
909
|
|
|
910 Routing Table (Session, Editor)を作るには、上下双方向の通信が必要。
|
|
|
911 SessionID を master が作ると、一旦、multi cast した後、もう一度、
|
|
|
912 上に上げる必要がある。Select の時には、editor から上に上がるので、
|
|
|
913 その時に構築すれば良い。SessionManagerIDと組み合わせれば、eid/sid
|
|
|
914 ともに、下から構築出来る。
|
|
|
915
|
|
|
916 自分が出したjoin/put/sm_joinに対するackかどうかを見るために、
|
|
|
917 SessionManagerID は、どうせ必要。この方法だと、routing table
|
|
|
918 もSessionManagerIDに対してだけ構築すれば良い。とは、ならない。
|
|
|
919 Session は、複数のSessionManagerにまたがるので。
|
|
|
920
|
|
|
921 join_ack が来た時には、そのeditorのrouting tableは完成している、
|
|
|
922 あるいは、select が完成させるjoin_ackに追い付くことはない。
|
|
|
923 put_ack も同様。
|
|
|
924
|
|
|
925 select は、editorへのpathを探しながら、session routing table
|
|
|
926 を構築する。もっとも高位のsession managerへのrouting table
|
|
|
927 は、これで作成される。ここからjoinしたeditorまでのpathは、
|
|
|
928 そのeditor単一のpathだが、routing table に登録される。
|
|
|
929 select は、session ringに到達した時点で update を流す。
|
|
|
930 update は、木をさかのぼりrouting tableを構築する。
|
|
|
931 これで上方向のroutingは確定する。update_ackにより、
|
|
|
932 下方向のsesionn routing tableが確定する。
|
|
361
|
933 Done: Sun Oct 19 21:29:08 JST 2008
|
|
358
|
934
|
|
|
935 Wed Oct 15 13:33:58 JST 2008
|
|
|
936
|
|
361
|
937 Todo: (kono)
|
|
358
|
938
|
|
|
939 Session List を渡すタイミング
|
|
|
940
|
|
|
941 SM_JOIN_ACK (必須...)
|
|
|
942 SM_JOIN では、Session List は0なはず。
|
|
|
943 JOIN,PUT は、multi-cast されるので、その時に登録すれば良い。
|
|
|
944 その時に、Session List を送っても良いが...
|
|
|
945 SELECTは、joinするeditorからしか出ない。Session List は必要ない。
|
|
|
946 SELECT_ACK は、UPDATEが出るので必要ない
|
|
|
947 UPDATE,UPDATE_ACK には、Session List が付く
|
|
|
948 GATHER,GATHER_ACK には、Session List が付く
|
|
|
949
|
|
|
950 Session List では、editor,session に対するroutingも作成する、必要
|
|
|
951 な情報を含む必要がある。
|
|
|
952 eid, EditorName, FileName, sid, SessionManagerName
|
|
|
953 SessionManagerName が入っていれば、editor, session が
|
|
|
954 Session Listが来た方向にいるということになる。
|
|
|
955
|
|
|
956 SessionManagerName は、network 上でuniqueな必要がある。
|
|
|
957 sm_join した時に、そのchannelの名前が大域的に確定する。
|
|
|
958 sm_join は複数行なわれないから、名前が変わることはない。
|
|
|
959 sm_join された側の名前も、接続されて初めて確定する。
|
|
|
960 複数 sm_join されることはあるが、その場合は最初のもの
|
|
|
961 を使う。ということは、localにsm_join された後、大域的
|
|
|
962 に接続される場合があるってことか。ってことは、やっぱり、
|
|
|
963 session manager id を配布するべきだってことね。で、
|
|
|
964 SMの名前はあくまでも補助的に使う。
|
|
361
|
965 Done: Sun Oct 19 21:29:08 JST 2008
|
|
358
|
966
|
|
361
|
967 Todo: (kono)
|
|
358
|
968 UPDATEの情報によって削除も行なう。delete entry が必要。
|
|
|
969
|
|
361
|
970 Todo: (kono)
|
|
358
|
971 Routing Table
|
|
|
972 <eid, channel>
|
|
|
973 <sid, channel>
|
|
|
974 null は、local。channel==parent なら、自分の下にはいない。
|
|
361
|
975 Done: Sun Oct 19 21:29:08 JST 2008
|
|
358
|
976
|
|
345
|
977 Tue Oct 14 06:02:37 JST 2008
|
|
|
978
|
|
|
979 Todo: (kono)
|
|
|
980 取りあえず、sm_join()からか。次は、join(),put()。そして、
|
|
361
|
981 update()。select()。
|
|
|
982 Done: Sun Oct 19 21:29:08 JST 2008
|
|
|
983
|
|
|
984 Todo: (kono)
|
|
|
985 最後に、gather()。
|
|
345
|
986
|
|
|
987 Todo: (kono)
|
|
|
988 Select用に、routing tableが必要らしい。session ringへの
|
|
|
989 方向を表すtableを、put, update, update_ack時に作成する。
|
|
362
|
990 Done: Sun Oct 19 21:29:08 JST 2008
|
|
345
|
991
|
|
343
|
992 Mon Oct 13 12:34:39 JST 2008
|
|
|
993
|
|
344
|
994 Todo: (kono)
|
|
|
995 sm_join時のloop の検出。sm_joinを受け取った時には、sm接続にloopが
|
|
|
996 あるかどうかを調べる必要がある。これのテストも必要。
|
|
345
|
997 host_aからのsm_joinを受け取ったら、sm_join(host_a)を親に送る。
|
|
|
998 host_aがsm_join(host_a)を受け取ったら、それはloop。親がsm_join
|
|
|
999 を受け取れば、そこからsm_join_ackを流して終了。
|
|
361
|
1000 Done: Sun Oct 19 21:29:08 JST 2008
|
|
344
|
1001
|
|
343
|
1002 Note: (kono)
|
|
344
|
1003 複数のsession managerにsm_joinする場合もある。その場合は、
|
|
|
1004 親に代わりにsm_joinしてもらう? 親がreachableだとは限りませんが。
|
|
|
1005 禁止してもいいけど...
|
|
|
1006
|
|
|
1007 sessionを持っているsm同士がsm_joinするとsidを付け直す必要が
|
|
|
1008 ある。これは大変だなぁ。これも禁止? join/select待ちは許される。
|
|
|
1009 まぁ、新しくsmを上げれば良いだけなんだが、内部的になんとか出来ないの?
|
|
|
1010 面倒なので、取りあえず禁止で良いです。もしかして、updateって、
|
|
|
1011 それよう?
|
|
|
1012
|
|
|
1013 sidのnatという手はあるのか。かなり複雑だけど。それだと複数の親が
|
|
|
1014 いてもだいじょうぶか? ちゃんと書き換え出来るなら動くっぽい。あとで
|
|
345
|
1015 入れることも可能か。
|
|
|
1016
|
|
|
1017 selectが以外に難しい。sessionとjoinして来たeditorを見つけない
|
|
|
1018 といけない。しかも、最短距離で。見つけるだけなら簡単だが... 取りあえず、
|
|
|
1019 select は、join したsession managerでしか出来ないということに
|
|
|
1020 する。そうでないと、joinしたeditorを探す必要があり、全部を見るか、
|
|
|
1021 routing tableを作る必要がある。後者でも良いが。
|
|
344
|
1022
|
|
|
1023 Note: (kono)
|
|
|
1024 Session間の通信は、木を作って、自分の親に送り、親がack/updateをmulti cast
|
|
|
1025 すれば良い。sm_join した時に、どちらが親になるかはどうやって決める? 繋げた先が
|
|
|
1026 親ってのが簡単。親がいないのがmasterとなる。親が死んだら自分が親。親が死んで、
|
|
|
1027 sessionがmasterを失った時は? loop の検出も必要。
|
|
343
|
1028 再接続は可能? 可能だが、再put/join/selectする必要がある。
|
|
|
1029 put は、親まで上がってsidを決定しなければならない、その後、put_ackを出せる。
|
|
|
1030 joinは、localでの処理で問題ないが、join_ackはselectが終わってから出る必要がある。
|
|
|
1031 selectは session owner に行き着く必要がある。session がconnectionを
|
|
|
1032 持っているとは限らない。親がselectする方が自然か?
|
|
344
|
1033 put_ack/join_ack/select_ackは、updateを見てでの処理で良い? 対象イベント
|
|
|
1034 が明示されていた方が楽だが...
|
|
|
1035 この方法だと、session managerはidは持っていないが、木構造の中でuniqeな
|
|
|
1036 位置を持つ。
|
|
343
|
1037 (前の資料があれば良いのに...)
|
|
|
1038
|
|
341
|
1039 Mon Oct 13 02:57:45 JST 2008
|
|
|
1040 Todo: (kono)
|
|
|
1041 InterManagerのquit中のsessionへのjoinの扱い。(putは来ないがjoinはありえる)。
|
|
|
1042 UPDATEで、sessionをlockしてからquitするか?
|
|
|
1043 TestGUIで、selectする前にEditor0がquitしちゃう場合もある。
|
|
|
1044
|
|
343
|
1045 Todo: (kono)
|
|
|
1046 SessionManager間のプロトコルの図が、どこにもない。あんなに苦労して考えたのに。
|
|
|
1047 また、自分で書けってか。
|
|
|
1048 SessionManager SM_JOINと、masterの決定
|
|
|
1049 put/selectの生成、masterによるsession id の決定
|
|
|
1050 updateによるsessionの共有
|
|
345
|
1051 Done:Mon Oct 13 19:02:42 JST 2008 (kono)
|
|
343
|
1052
|
|
338
|
1053 Sun Oct 12 19:12:20 JST 2008
|
|
|
1054
|
|
|
1055 Todo: (kono)
|
|
|
1056 DELETE時のundoのための文字列は、SM/Editor間でだけ必要。Editorから戻って来た
|
|
|
1057 コマンドをSM側で最新にする必要がある。外に出す時には使わないので消して良い。
|
|
339
|
1058 Done: 戻って来た時に、unMergedListに入れているらしい
|
|
|
1059
|
|
|
1060 Todo: (kono)
|
|
341
|
1061 new String(hoge)。Javaの文字列は変更不可能なので、こんな
|
|
339
|
1062 ことをする意味はない。
|
|
|
1063 Done:
|
|
338
|
1064
|
|
|
1065 Todo: (kono)
|
|
|
1066 PUT の時に、master session managerまで行って、session番号を確定する
|
|
|
1067 必要がある。それまでは、PUT_ACKを出してはならない。
|
|
361
|
1068 Done: Sun Oct 19 21:29:08 JST 2008
|
|
|
1069 session manager IDを使ってuniqueにしたので、不要になった。
|
|
|
1070 即座に PUT_ACKを出して構わない。
|
|
338
|
1071
|
|
|
1072 Todo: (kono)
|
|
|
1073 SM_JOIN時にmaster session managerを決定するプロトコルを実装する必要が
|
|
|
1074 ある。たぶん、UPDATEだと思うが...
|
|
361
|
1075 Done: Sun Oct 19 21:29:08 JST 2008
|
|
|
1076 木の根をmasterとして、変更しない。
|
|
338
|
1077
|
|
|
1078 Todo: (kono)
|
|
|
1079 外から、きたSession Listを、ただしく自分に反映する。
|
|
361
|
1080 Done: Sun Oct 19 21:29:08 JST 2008
|
|
338
|
1081
|
|
|
1082 Todo: (kono)
|
|
|
1083 test.ServerSample.java はあるが、ClientSample.java がない。
|
|
|
1084
|
|
341
|
1085 Todo: (kono)
|
|
|
1086 SYNC出すコードをまだ入れてない。
|
|
|
1087
|
|
334
|
1088 Sun Oct 12 10:33:36 JST 2008
|
|
|
1089
|
|
|
1090 Todo:
|
|
|
1091 END_MERGEが繰り返し出てしまう(kono)
|
|
361
|
1092 Done: Sun Oct 19 21:29:08 JST 2008
|
|
|
1093 直ったかな?
|
|
334
|
1094
|
|
330
|
1095 Sat Oct 11 22:28:49 JST 2008
|
|
|
1096
|
|
|
1097 Todo:
|
|
|
1098 Session Manager をまたがった接続のテスト (kono)
|
|
338
|
1099 Done: Sun Oct 12 19:18:23 JST 2008
|
|
330
|
1100
|
|
|
1101 Todo:
|
|
|
1102 Optimizerを使った場合のテスト (kono)
|
|
334
|
1103 行番号0があるとだめらしい。
|
|
386
|
1104 Done: (takano) Thu Oct 23 13:05:52 JST 2008
|
|
|
1105
|
|
330
|
1106
|
|
|
1107 Todo:
|
|
340
|
1108 manager.remove(editor) の動作のタイミング、 channel closeの扱い
|
|
|
1109 たぶん、quit2のackで、殺すのが正しいと思う。(kono)
|
|
341
|
1110 Done: Mon Oct 13 02:57:45 JST 2008
|
|
330
|
1111
|
|
|
1112
|
|
322
|
1113 Fri Oct 10 15:24:42 JST 2008
|
|
323
|
1114 sid は大域的にuniqueにする必要がある。UPDATEで新しくsessionを作ったことを
|
|
|
1115 通知して、Masterが新しいsidを決定し、UPDATE_ACKで他のSessionManagerに知らせる(kono)
|
|
361
|
1116 Done: Sun Oct 19 21:29:08 JST 2008
|
|
|
1117 put時に、そのsession managerでsession manager idを使って、
|
|
|
1118 uniqueなsidを作成する。put/join/ackで他のSessionManagerに知らせる。
|
|
322
|
1119
|
|
315
|
1120 Mon Oct 6 16:39:57 JST 2008
|
|
|
1121
|
|
|
1122 Todo: translator にある5つのqueueが、Editor にもある。merge のアルゴリズムの
|
|
|
1123 実装を見直す必要がある。(kono)
|
|
330
|
1124 Done:Sat Oct 11 22:28:49 JST 2008
|
|
315
|
1125
|
|
|
1126 Todo:
|
|
386
|
1127 SessionManager の向うにあるeditorにREPCommandを送るコードがない。Editor 扱いしても良いが、
|
|
|
1128 Editor が複雑すぎるので、それは好ましくない。Editor に nextChannelを持たせるのが良いか? (kono)
|
|
323
|
1129 Done: Forwarder を作った
|
|
315
|
1130
|
|
|
1131 Todo:
|
|
|
1132 SessionManger のeditor がmerge 中のeditor commandをblockするのは良いが、
|
|
|
1133 sessionManger コマンドをblockされるのは困る。(kono)
|
|
330
|
1134 Done: Sat Oct 11 22:28:49 JST 2008
|
|
305
|
1135
|
|
|
1136 Wed Oct 1 20:58:51 JST 2008
|
|
|
1137
|
|
|
1138 Todo: Session ring 廻るcommand packetは、基本的に書き換えられるべきではない
|
|
|
1139 eid, seq の組でuniqueになる。現状では、そここで書き換えが起きているらしい。
|
|
|
1140 eid = -1 (Session Manager), eid = -2 (MergeCommand) あたりが
|
|
315
|
1141 特殊らしい。 でも、実際には生成されてないっぽい。(kono)
|
|
|
1142 Done: Mon Oct 6 16:40:14 JST 2008 (kono)
|
|
305
|
1143
|
|
|
1144 Todo: SessionManagerのprotocolのswitch文で、そこら中でgetEditor/getSessionが
|
|
315
|
1145 呼ばれている。これらは、for loopで探しているので、繰り返し行うのは変。(kono)
|
|
305
|
1146
|
|
315
|
1147 Todo: REPCMD_INSERTが止まらない... (kono)
|
|
|
1148 Done: Mon Oct 6 16:40:38 JST 2008 (kono)
|
|
305
|
1149
|
|
315
|
1150 Todo: SessionMnager のmessageをREPLogger baseに書き換える。 (kono)
|
|
386
|
1151 Done: Thu Oct 23 13:05:52 JST 2008
|
|
|
1152
|
|
300
|
1153 Wed Oct 1 15:35:44 JST 2008
|
|
|
1154
|
|
315
|
1155 Todo: SessionManager 複数のコマンドをまとめてeditorに送るとdead lockする
|
|
|
1156 可能性がある。送信キューを作り、select loop しながら、ひとつずつコマンドを
|
|
|
1157 送信する (kono)
|
|
|
1158 Done: (kono)
|
|
300
|
1159
|
|
|
1160 Todo: Editor quit, quit2 の実装
|
|
|
1161 quit2 では、自分の送信したコマンドが戻ってくるまで待つ必要がある。
|
|
315
|
1162 editor 毎の状態となる。(kono)
|
|
|
1163 Done: (kono)
|
|
|
1164
|
