|
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;
|
|
|
19 public LinkedList<REPCommand> sentMergedList;
|
|
431
|
20 boolean mergeAgain;
|
|
421
|
21 public REPLogger logger = SessionManager.logger;
|
|
390
|
22 boolean merge_mode = false;
|
|
|
23
|
|
|
24 public Translator(int _eid,REPCommandOptimizer opt){
|
|
|
25 eid = _eid;
|
|
|
26 optimizer = opt;
|
|
|
27 unMergedCmds = new LinkedList<REPCommand>();
|
|
431
|
28 mergeAgain = false;
|
|
390
|
29 sentMergedList = new LinkedList<REPCommand>();
|
|
|
30 }
|
|
|
31
|
|
|
32 /**
|
|
|
33 * New command from an editor
|
|
|
34 * The command is sent to the next editor
|
|
|
35 * @param cmd
|
|
|
36 * @return translated command.
|
|
|
37 */
|
|
|
38 public REPCommand transSendCmd(REPCommand cmd){
|
|
|
39 assert(cmd.eid==eid);
|
|
431
|
40 unMergedCmds.addLast(cmd);
|
|
390
|
41
|
|
|
42 //マージ中にユーザから割り込みがあった場合
|
|
|
43 if(isMerging()){
|
|
431
|
44 mergeAgain = true;
|
|
390
|
45 }
|
|
|
46
|
|
|
47 return cmd;
|
|
|
48 }
|
|
431
|
49
|
|
390
|
50 /**
|
|
|
51 * My command is returned from the session ring, and START_MERGE_ACK
|
|
|
52 * is returned. At this
|
|
|
53 * stage my writeQueue is empty, our editor is waiting for me.
|
|
|
54 * Start merge process.
|
|
|
55 * @param cmd
|
|
|
56 */
|
|
431
|
57 public boolean catchOwnCommand(REPNode editor, int eid){
|
|
427
|
58 logger.writeLog("beforeMerge:"+unMergedCmds);
|
|
390
|
59 LinkedList<REPCommand> output = new LinkedList<REPCommand>();
|
|
431
|
60 TreeSet<REPCommand> cmds = new TreeSet<REPCommand>(new REPCommandComparator(eid));
|
|
427
|
61 // merge queue上にあるコマンドを全部undoコマンドするのと同時に
|
|
|
62 // sort したコマンド列を生成する
|
|
|
63 for( REPCommand cmd0 : unMergedCmds) {
|
|
390
|
64 output.add( createUndo(cmd0) );
|
|
431
|
65 }
|
|
|
66 for( REPCommand cmd0 : editor.getSentList()) {
|
|
390
|
67 cmds.add(cmd0);
|
|
|
68 }
|
|
|
69 output.addAll(cmds);
|
|
427
|
70 // ACKが来たものは必ず先頭
|
|
431
|
71
|
|
|
72 // unMerged command のdeleteのundo string は、この時点で使えない。
|
|
|
73 // Editor 側から送り返して来たものを使う必要がある。
|
|
|
74 unMergedCmds.clear();
|
|
426
|
75 logger.writeLog("outputMerge:"+output);
|
|
390
|
76 return optimizedSend(editor,output);
|
|
|
77 }
|
|
|
78
|
|
|
79 /**
|
|
|
80 * Sent optimized merged command list
|
|
|
81 * @param editor
|
|
|
82 * @param output
|
|
|
83 * @return if any sent commands output
|
|
|
84 */
|
|
|
85 public boolean optimizedSend(REPNode editor, LinkedList<REPCommand> output) {
|
|
|
86 List<REPCommand> output1 = optimizer.optimize(output);
|
|
|
87 if (output1.size()==0) {
|
|
|
88 merge_mode = false;
|
|
|
89 return false;
|
|
|
90 }
|
|
|
91 for(REPCommand c:output1) {
|
|
|
92 REPCommand m = new REPCommand(c);
|
|
|
93 m.setEID(REP.MERGE_EID.id);
|
|
|
94 m.setSEQID(editor.seq());
|
|
|
95 sentMergedList.add(m);
|
|
|
96 editor.send(m);
|
|
|
97 }
|
|
|
98 merge_mode = true;
|
|
|
99 return true;
|
|
|
100 }
|
|
|
101
|
|
|
102 private REPCommand createUndo(REPCommand cmd){
|
|
|
103 REPCommand retCmd = new REPCommand(cmd);
|
|
|
104 if (cmd.cmd==REP.REPCMD_INSERT) retCmd.cmd=REP.REPCMD_DELETE;
|
|
|
105 else if (cmd.cmd==REP.REPCMD_DELETE) retCmd.cmd=REP.REPCMD_INSERT;
|
|
|
106 return retCmd;
|
|
|
107 }
|
|
|
108
|
|
|
109 class REPCommandComparator implements Comparator<REPCommand>{
|
|
431
|
110 int base;
|
|
|
111 REPCommandComparator(int base) {
|
|
|
112 this.base = base;
|
|
|
113 }
|
|
390
|
114 public int compare(REPCommand o1, REPCommand o2) {
|
|
431
|
115 int eid1 = o1.eid-base; if (eid1<0) eid1 += Integer.MAX_VALUE;
|
|
|
116 int eid2 = o2.eid-base; if (eid2<0) eid2 += Integer.MAX_VALUE;
|
|
|
117 if ( eid1<eid2 ) return -1;
|
|
|
118 if ( eid1>eid2 ) return 1;
|
|
427
|
119 if ( o1.seq<o2.seq ) return -1;
|
|
|
120 if ( o1.seq>o2.seq ) return 1;
|
|
|
121 assert(false);
|
|
|
122 return 0;
|
|
390
|
123 }
|
|
|
124 }
|
|
|
125
|
|
|
126 /**
|
|
|
127 * Translate Command cmd that was received from SeMa.
|
|
|
128 * @param cmd the command to be translated.
|
|
|
129 * @return translated commannd.
|
|
|
130 */
|
|
|
131 public void transReceiveCmd(REPNode nextEditor,REPCommand cmd){
|
|
|
132 assert (cmd.eid != eid);
|
|
431
|
133 unMergedCmds.addLast(cmd);
|
|
390
|
134 }
|
|
|
135
|
|
|
136 public void setEid(int _eid){
|
|
|
137 eid = _eid;
|
|
|
138 }
|
|
|
139
|
|
|
140 public boolean checkMergeConflict(REPCommand command) {
|
|
431
|
141 unMergedCmds.addLast(command);
|
|
390
|
142 REPCommand prev = sentMergedList.remove();
|
|
431
|
143 //assert (prev.seq==command.seq);
|
|
390
|
144
|
|
431
|
145 if (mergeAgain) {
|
|
390
|
146 return true;
|
|
|
147 }
|
|
|
148 if(sentMergedList.size()==0) {
|
|
|
149 merge_mode=false;
|
|
|
150 }
|
|
|
151 return false;
|
|
|
152 }
|
|
|
153
|
|
|
154 public void getMergeAgain(REPNode editor) {
|
|
|
155 LinkedList<REPCommand> returnCommand = new LinkedList<REPCommand>();
|
|
431
|
156 LinkedList<REPCommand> merge = new LinkedList<REPCommand>();
|
|
|
157 LinkedList<REPCommand> conflict = new LinkedList<REPCommand>();
|
|
|
158 for(REPCommand command : unMergedCmds) {
|
|
|
159 returnCommand.add(createUndo(command));
|
|
390
|
160 }
|
|
431
|
161 for(REPCommand command : unMergedCmds) {
|
|
390
|
162 if(command.eid == REP.MERGE_EID.id){
|
|
431
|
163 merge.addLast(command);
|
|
390
|
164 }
|
|
|
165 }
|
|
431
|
166 for(REPCommand command : unMergedCmds){
|
|
390
|
167 if(command.eid == eid){
|
|
|
168 command.eid = REP.MERGE_EID.id;
|
|
431
|
169 conflict.addLast(command);
|
|
390
|
170 }
|
|
|
171 }
|
|
431
|
172 unMergedCmds.clear();
|
|
|
173 returnCommand.addAll(merge);
|
|
|
174 returnCommand.addAll(conflict);
|
|
411
|
175 // int count = 0;
|
|
|
176 // for(REPCommand command: returnCommand) {
|
|
|
177 // switch(command.cmd) {
|
|
|
178 // case REPCMD_INSERT: count++; break;
|
|
|
179 // case REPCMD_DELETE: count--; break;
|
|
|
180 // default: assert false;
|
|
|
181 // }
|
|
|
182 // }
|
|
421
|
183 logger.writeLog("MergeAgain ret="+returnCommand.size());
|
|
411
|
184 // +" increment="+count);
|
|
431
|
185 mergeAgain = false;
|
|
390
|
186 optimizedSend(editor, returnCommand);
|
|
|
187 }
|
|
|
188
|
|
|
189 public boolean isFinished() {
|
|
|
190 if(unMergedCmds.size() > 0) return false;
|
|
|
191 if(sentMergedList.size() > 0) return false;
|
|
|
192 return true;
|
|
|
193 }
|
|
|
194
|
|
|
195 public boolean isMerging() {
|
|
|
196 return merge_mode;
|
|
|
197 }
|
|
|
198
|
|
|
199 public void startMerge(REPCommand cmd) {
|
|
431
|
200 logger.writeLog("START MERGE command ="+cmd+" and top of unMergedCmds = "+ unMergedCmds.getLast());
|
|
390
|
201 merge_mode = true;
|
|
|
202 }
|
|
|
203
|
|
|
204 public void mergeAck() {
|
|
|
205 }
|
|
|
206
|
|
|
207
|
|
|
208
|
|
|
209 }
|
