|
390
|
1 package rep.handler;
|
|
|
2
|
|
|
3 import java.util.Comparator;
|
|
|
4 import java.util.LinkedList;
|
|
|
5 import java.util.List;
|
|
|
6 import java.util.TreeSet;
|
|
|
7
|
|
|
8 import rep.REP;
|
|
|
9 import rep.REPCommand;
|
|
407
|
10 import rep.SessionManager;
|
|
421
|
11 import rep.channel.REPLogger;
|
|
390
|
12 import rep.optimizers.REPCommandOptimizer;
|
|
|
13
|
|
|
14 public class Translator {
|
|
|
15 public int eid;
|
|
|
16
|
|
|
17 public REPCommandOptimizer optimizer;
|
|
|
18 private LinkedList<REPCommand> unMergedCmds;
|
|
438
|
19 private LinkedList<REPCommand> sentMergedList;
|
|
445
|
20 private TreeSet<REPCommand> sortedEditCmds;
|
|
431
|
21 boolean mergeAgain;
|
|
421
|
22 public REPLogger logger = SessionManager.logger;
|
|
390
|
23 boolean merge_mode = false;
|
|
|
24
|
|
|
25 public Translator(int _eid,REPCommandOptimizer opt){
|
|
|
26 eid = _eid;
|
|
|
27 optimizer = opt;
|
|
|
28 unMergedCmds = new LinkedList<REPCommand>();
|
|
431
|
29 mergeAgain = false;
|
|
390
|
30 sentMergedList = new LinkedList<REPCommand>();
|
|
|
31 }
|
|
|
32
|
|
|
33 /**
|
|
|
34 * New command from an editor
|
|
|
35 * The command is sent to the next editor
|
|
|
36 * @param cmd
|
|
|
37 * @return translated command.
|
|
|
38 */
|
|
|
39 public REPCommand transSendCmd(REPCommand cmd){
|
|
|
40 assert(cmd.eid==eid);
|
|
431
|
41 unMergedCmds.addLast(cmd);
|
|
390
|
42
|
|
|
43 //マージ中にユーザから割り込みがあった場合
|
|
|
44 if(isMerging()){
|
|
431
|
45 mergeAgain = true;
|
|
390
|
46 }
|
|
|
47
|
|
|
48 return cmd;
|
|
|
49 }
|
|
431
|
50
|
|
390
|
51 /**
|
|
|
52 * My command is returned from the session ring, and START_MERGE_ACK
|
|
|
53 * is returned. At this
|
|
|
54 * stage my writeQueue is empty, our editor is waiting for me.
|
|
|
55 * Start merge process.
|
|
|
56 * @param cmd
|
|
|
57 */
|
|
435
|
58 public boolean catchOwnCommand(REPNode editor, REPCommand prev){
|
|
442
|
59 logger.writeLog("beforeMerge"+eid+":"+unMergedCmds);
|
|
390
|
60 LinkedList<REPCommand> output = new LinkedList<REPCommand>();
|
|
427
|
61 // merge queue上にあるコマンドを全部undoコマンドするのと同時に
|
|
|
62 // sort したコマンド列を生成する
|
|
|
63 for( REPCommand cmd0 : unMergedCmds) {
|
|
390
|
64 output.add( createUndo(cmd0) );
|
|
431
|
65 }
|
|
434
|
66
|
|
445
|
67 sortedEditCmds = new TreeSet<REPCommand>(new REPCommandComparator(1));
|
|
446
|
68 logger.writeLog("sentList"+eid+":"+editor.getSentList());
|
|
431
|
69 for( REPCommand cmd0 : editor.getSentList()) {
|
|
433
|
70 if (cmd0.cmd==REP.REPCMD_INSERT || cmd0.cmd==REP.REPCMD_DELETE)
|
|
445
|
71 sortedEditCmds.add(cmd0);
|
|
390
|
72 }
|
|
445
|
73 logger.writeLog("sortedMerge"+eid+":"+sortedEditCmds);
|
|
442
|
74 // logger.writeLog("Ediotr"+eid+" Merge:: sorted sent list => Eid="+eid+cmds+" ack="+prev);
|
|
445
|
75 output.addAll(sortedEditCmds);
|
|
427
|
76 // ACKが来たものは必ず先頭
|
|
431
|
77
|
|
|
78 // unMerged command のdeleteのundo string は、この時点で使えない。
|
|
|
79 // Editor 側から送り返して来たものを使う必要がある。
|
|
|
80 unMergedCmds.clear();
|
|
442
|
81 logger.writeLog("outputMerge"+eid+":"+output);
|
|
390
|
82 return optimizedSend(editor,output);
|
|
|
83 }
|
|
|
84
|
|
|
85 /**
|
|
446
|
86 * Received all merge command ack
|
|
|
87 */
|
|
|
88 public void endMerge() {
|
|
|
89 LinkedList<REPCommand> n = new LinkedList<REPCommand>();
|
|
|
90 for(int i=0;i< sortedEditCmds.size()-1;i++) {
|
|
|
91 n.addLast(unMergedCmds.get(i));
|
|
|
92 }
|
|
|
93 sortedEditCmds = null;
|
|
|
94 unMergedCmds = n;
|
|
|
95 }
|
|
|
96 /**
|
|
390
|
97 * Sent optimized merged command list
|
|
|
98 * @param editor
|
|
|
99 * @param output
|
|
|
100 * @return if any sent commands output
|
|
|
101 */
|
|
|
102 public boolean optimizedSend(REPNode editor, LinkedList<REPCommand> output) {
|
|
447
|
103 /*
|
|
|
104 * Optimized send の場合は、unMergedCommand のつじつまを合わせる必要がある。
|
|
|
105 */
|
|
439
|
106 sentMergedList.clear();
|
|
390
|
107 List<REPCommand> output1 = optimizer.optimize(output);
|
|
|
108 if (output1.size()==0) {
|
|
|
109 merge_mode = false;
|
|
|
110 return false;
|
|
|
111 }
|
|
|
112 for(REPCommand c:output1) {
|
|
|
113 REPCommand m = new REPCommand(c);
|
|
|
114 m.setEID(REP.MERGE_EID.id);
|
|
|
115 m.setSEQID(editor.seq());
|
|
441
|
116 sentMergedList.addLast(m);
|
|
390
|
117 editor.send(m);
|
|
441
|
118 }
|
|
442
|
119 logger.writeLog("OptimizedOutputMerge"+eid+":"+sentMergedList);
|
|
390
|
120 merge_mode = true;
|
|
|
121 return true;
|
|
|
122 }
|
|
|
123
|
|
|
124 private REPCommand createUndo(REPCommand cmd){
|
|
|
125 REPCommand retCmd = new REPCommand(cmd);
|
|
445
|
126 if (cmd.cmd==REP.REPCMD_INSERT) {
|
|
|
127 retCmd.cmd=REP.REPCMD_DELETE;
|
|
|
128 retCmd.string="";
|
|
|
129 }
|
|
390
|
130 else if (cmd.cmd==REP.REPCMD_DELETE) retCmd.cmd=REP.REPCMD_INSERT;
|
|
|
131 return retCmd;
|
|
|
132 }
|
|
|
133
|
|
|
134 class REPCommandComparator implements Comparator<REPCommand>{
|
|
431
|
135 int base;
|
|
|
136 REPCommandComparator(int base) {
|
|
|
137 this.base = base;
|
|
|
138 }
|
|
390
|
139 public int compare(REPCommand o1, REPCommand o2) {
|
|
431
|
140 int eid1 = o1.eid-base; if (eid1<0) eid1 += Integer.MAX_VALUE;
|
|
|
141 int eid2 = o2.eid-base; if (eid2<0) eid2 += Integer.MAX_VALUE;
|
|
|
142 if ( eid1<eid2 ) return -1;
|
|
|
143 if ( eid1>eid2 ) return 1;
|
|
427
|
144 if ( o1.seq<o2.seq ) return -1;
|
|
|
145 if ( o1.seq>o2.seq ) return 1;
|
|
445
|
146 // assert(false); // this can happen in MergedAgain case
|
|
427
|
147 return 0;
|
|
390
|
148 }
|
|
|
149 }
|
|
|
150
|
|
|
151 /**
|
|
439
|
152 * Translate Command that was received from SeMa.
|
|
390
|
153 * @param cmd the command to be translated.
|
|
439
|
154 * @return translated command.
|
|
390
|
155 */
|
|
|
156 public void transReceiveCmd(REPNode nextEditor,REPCommand cmd){
|
|
|
157 assert (cmd.eid != eid);
|
|
433
|
158 unMergedCmds.addFirst(cmd);
|
|
390
|
159 }
|
|
|
160
|
|
|
161 public void setEid(int _eid){
|
|
|
162 eid = _eid;
|
|
|
163 }
|
|
|
164
|
|
|
165 public boolean checkMergeConflict(REPCommand command) {
|
|
433
|
166 unMergedCmds.addFirst(command);
|
|
390
|
167
|
|
441
|
168 REPCommand prev = sentMergedList.getFirst();
|
|
|
169 if (prev.seq==command.seq) {
|
|
442
|
170 // logger.writeLog("Input eid="+eid+"SentMergedList = "+sentMergedList);
|
|
441
|
171 sentMergedList.removeFirst();
|
|
442
|
172 }
|
|
|
173 // previous merge command may be returned
|
|
441
|
174
|
|
|
175 if(sentMergedList.size()==0 && !mergeAgain) {
|
|
390
|
176 merge_mode=false;
|
|
|
177 }
|
|
441
|
178 return mergeAgain;
|
|
390
|
179 }
|
|
|
180
|
|
|
181 public void getMergeAgain(REPNode editor) {
|
|
441
|
182 if (sentMergedList.size()>0) return; // wait for previous merge completion
|
|
|
183
|
|
390
|
184 LinkedList<REPCommand> returnCommand = new LinkedList<REPCommand>();
|
|
431
|
185 LinkedList<REPCommand> merge = new LinkedList<REPCommand>();
|
|
|
186 LinkedList<REPCommand> conflict = new LinkedList<REPCommand>();
|
|
|
187 for(REPCommand command : unMergedCmds) {
|
|
|
188 returnCommand.add(createUndo(command));
|
|
390
|
189 }
|
|
431
|
190 for(REPCommand command : unMergedCmds) {
|
|
390
|
191 if(command.eid == REP.MERGE_EID.id){
|
|
431
|
192 merge.addLast(command);
|
|
445
|
193 sortedEditCmds.add(command);
|
|
390
|
194 }
|
|
|
195 }
|
|
431
|
196 for(REPCommand command : unMergedCmds){
|
|
390
|
197 if(command.eid == eid){
|
|
|
198 command.eid = REP.MERGE_EID.id;
|
|
431
|
199 conflict.addLast(command);
|
|
390
|
200 }
|
|
|
201 }
|
|
431
|
202 unMergedCmds.clear();
|
|
|
203 returnCommand.addAll(merge);
|
|
|
204 returnCommand.addAll(conflict);
|
|
441
|
205 logger.writeLog("MergeAgain "+eid+" ret="+returnCommand.size());
|
|
431
|
206 mergeAgain = false;
|
|
390
|
207 optimizedSend(editor, returnCommand);
|
|
|
208 }
|
|
445
|
209 //
|
|
|
210 // public boolean isFinished() {
|
|
|
211 // if(unMergedCmds.size() > 0) return false;
|
|
|
212 // if(sentMergedList.size() > 0) return false;
|
|
|
213 // return true;
|
|
|
214 // }
|
|
390
|
215
|
|
|
216 public boolean isMerging() {
|
|
|
217 return merge_mode;
|
|
|
218 }
|
|
|
219
|
|
|
220 public void startMerge(REPCommand cmd) {
|
|
431
|
221 logger.writeLog("START MERGE command ="+cmd+" and top of unMergedCmds = "+ unMergedCmds.getLast());
|
|
390
|
222 merge_mode = true;
|
|
|
223 }
|
|
|
224
|
|
445
|
225 /**
|
|
|
226 * receive SMCMD_START_MERGE_ACK
|
|
|
227 */
|
|
390
|
228 public void mergeAck() {
|
|
|
229 }
|
|
|
230
|
|
445
|
231
|
|
390
|
232
|
|
|
233
|
|
|
234 }
|
