annotate Todo @ 487:455df381449a

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