annotate rep/SessionManager.java @ 182:e5a7aad3fbc0

*** empty log message ***
author pin
date Fri, 29 Aug 2008 13:35:49 +0900
parents 763aad2da6b3
children c2c47d7675a8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
1 package rep;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
2
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
3 import java.io.IOException;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
4 import java.net.InetSocketAddress;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
5 import java.nio.channels.SelectableChannel;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
6 import java.nio.channels.SelectionKey;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
7 import java.nio.channels.Selector;
179
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
8
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
9 import java.util.Iterator;
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
10 import java.util.LinkedList;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
11 import java.util.List;
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
12 import java.util.concurrent.BlockingQueue;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
13
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
14 import rep.channel.REPServerSocketChannel;
133
8dce4348966c *** empty log message ***
kono
parents: 124
diff changeset
15 import rep.channel.REPSocketChannel;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
16 import rep.handler.PacketSet;
146
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
17 import rep.handler.REPHandler;
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
18 import rep.handler.REPHandlerImpl;
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
19 import rep.handler.REPHandlerInMerge;
158
5cc8cd48bded *** empty log message ***
pin
parents: 155
diff changeset
20 import rep.channel.REPSelector;
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
21 import rep.xml.SessionXMLDecoder;
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
22 import rep.xml.SessionXMLEncoder;
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
23
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
24 //+-------+--------+--------+-------+--------+---------+------+
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
25 //| cmd | session| editor | seqid | lineno | textsiz | text |
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
26 //| | id | id | | | | |
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
27 //+-------+--------+--------+-------+--------+---------+------+
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
28 //o-------header section (network order)-------------o
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
29 /*int cmd; // command
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
30 int sid; // session ID : uniqu to editing file
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
31 int eid; // editor ID : owner editor ID = 1。Session に対して unique
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
32 int seqno; // Sequence number : sequence number はエディタごとに管理
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
33 int lineno; // line number
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
34 int textsize; // textsize : bytesize
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
35 byte[] text;*/
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
36
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
37 public class SessionManager implements ConnectionListener, REPActionListener{
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
38
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
39
163
fb516794ee28 *** empty log message ***
pin
parents: 162
diff changeset
40 //private SessionList sessionlist;
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
41 private LinkedList<Session> sessionList;
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
42 private SessionManagerGUI gui;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
43 private Selector selector;
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
44 private SessionManagerList smList;
17
806e34a6fecd *** empty log message ***
pin
parents: 16
diff changeset
45 private String myHost;
21
2d4bab638a71 *** empty log message ***
pin
parents: 19
diff changeset
46 private boolean isMaster = true;
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
47 //private EditorList ownEditorList;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
48 private List<Editor> editorList;
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
49 private String maxHost;
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
50 private boolean isSimulation;
155
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
51 private List<PacketSet> packetSetList;
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
52 private BlockingQueue<SessionManagerEvent> waitingQueue;
163
fb516794ee28 *** empty log message ***
pin
parents: 162
diff changeset
53 //private List<SessionManagerNode> managerList;
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
54 private static int temp_port;
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
55 private static int send_port;
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
56
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
57 static final int DEFAULT_PORT = 8766;
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
58
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
59 public SessionManager(int port) {
182
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
60 gui = new SessionManagerGUI(this);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
61 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
62
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
63 public void openSelector() throws IOException{
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
64 selector = REPSelector.open();
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
65 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
66
155
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
67 public void init(int port) throws InterruptedException, IOException {
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
68
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
69 REPServerSocketChannel<REPCommand> ssc = REPServerSocketChannel.<REPCommand>open();
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
70 ssc.configureBlocking(false); //reuse address 必須
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
71 ssc.socket().setReuseAddress(true);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
72 ssc.socket().bind(new InetSocketAddress(port));
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
73 ssc.register(selector, SelectionKey.OP_ACCEPT);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
74
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
75
163
fb516794ee28 *** empty log message ***
pin
parents: 162
diff changeset
76 //sessionlist = new SessionList();
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
77 sessionList = new LinkedList<Session>();
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
78 smList = new SessionManagerList();
162
2bd3264abf55 *** empty log message ***
pin
parents: 160
diff changeset
79 //ownEditorList = new EditorList();
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
80 editorList = new LinkedList<Editor>();
155
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
81 packetSetList = new LinkedList<PacketSet>();
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
82
155
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
83 // main loop
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
84 mainLoop();
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
85 }
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
86
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
87 private void mainLoop() throws IOException {
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
88 while(true){
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
89 if(checkSend()){
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
90 if(selector.selectNow() > 0){
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
91 select();
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
92 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
93 continue;
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
94 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
95 selector.select();
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
96 select();
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
97 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
98 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
99
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
100 private boolean checkSend() {
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
101 for(Iterator<PacketSet> it = packetSetList.iterator(); it.hasNext();){
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
102 PacketSet p = it.next();
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
103 if(p.getEditor().isMerging()) {
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
104 continue;
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
105 }else{
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
106 manage(p.channel, p.command);
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
107 it.remove();
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
108 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
109 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
110 return false;
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
111 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
112
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
113 private void select() throws IOException {
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
114 SessionManagerEvent e = waitingQueue.poll();
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
115 if(e != null) {
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
116 e.exec();
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
117 }
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
118 for(SelectionKey key : selector.selectedKeys()){
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
119 if(key.isAcceptable()){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
120 /*** serverChannelはenableになったSelectionKeyのchannel ***/
146
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
121 REPServerSocketChannel serverChannel = (REPServerSocketChannel)key.channel();
173
48c64244d4d4 *** empty log message ***
pin
parents: 170
diff changeset
122 REPSocketChannel channel = serverChannel.accept1(); //keyからchannelを取って、accept
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
123 registerChannel (selector, channel, SelectionKey.OP_READ);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
124 channel = null;
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
125
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
126 }else if(key.isReadable()){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
127
146
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
128 REPHandler handler = (REPHandler)key.attachment();
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
129 handler.handle(key);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
130
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
131 }else if(key.isConnectable()){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
132 System.out.println("Connectable");
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
133 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
134 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
135 }
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
136
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
137 private void registerChannel(Selector selector, SelectableChannel channel, int ops) throws IOException {
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
138 if(channel == null) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
139 return;
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
140 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
141 channel.configureBlocking(false);
170
30cf7747d134 *** empty log message ***
pin
parents: 169
diff changeset
142 REPHandler handler = new REPHandlerImpl(-1, this);
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
143 channel.register(selector, ops, handler);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
144 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
145
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
146 public void manage(REPSocketChannel<REPCommand> channel, REPCommand receivedCommand) {
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
147 if(receivedCommand == null) return;
158
5cc8cd48bded *** empty log message ***
pin
parents: 155
diff changeset
148 //Session session;
141
6f15a8880ed8 *** empty log message ***
pin
parents: 140
diff changeset
149 REPCommand sendCommand = new REPCommand(receivedCommand);
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
150 REPSocketChannel<REPCommand> send = channel;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
151
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
152 switch(receivedCommand.cmd){
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
153
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
154 case REP.SMCMD_JOIN:
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
155 {
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
156 //どのSessionにも属さないエディタをリストに追加
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
157 Editor editor = new Editor(editorList.size(), channel);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
158 editor.setHost(myHost);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
159 editorList.add(editor);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
160
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
161 //GUIに反映
182
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
162 //gui.setComboEditor(editor.getEID(), channel);
e5a7aad3fbc0 *** empty log message ***
pin
parents: 179
diff changeset
163 gui.update();
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
164 }
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
165
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
166
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
167 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
168
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
169 case REP.SMCMD_JOIN_ACK:
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
170
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
171 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
172
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
173 case REP.SMCMD_PUT:
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
174 {
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
175 //エディタのリストに追加
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
176 Editor editor = new Editor(editorList.size(), channel);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
177 editorList.add(editor);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
178
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
179 //Sessionを生成
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
180 int sid = sessionList.size();
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
181 editor = new Editor(0, channel);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
182 editor.setHost(myHost);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
183 Session session = new Session(sid, editor);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
184 session.hasOwner(true);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
185 sessionList.add(new Session(sid, editor));
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
186
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
187 //GUIに反映
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
188 //gui.update();ぐらいで
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
189 gui.setComboSession(session.getSID(), session.getName());
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
190 gui.setComboEditor(editor.getEID(), editor.getChannel());
158
5cc8cd48bded *** empty log message ***
pin
parents: 155
diff changeset
191
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
192 //エディタにAckを送信
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
193 sendCommand.setCMD(REP.SMCMD_PUT_ACK);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
194 sendCommand.setEID(editor.getEID());
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
195 sendCommand.setSID(session.getSID());
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
196 editor.send(sendCommand);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
197
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
198 //他のSessionManagerへSessionの追加を報告
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
199 SessionXMLEncoder sessionEncoder = new SessionXMLEncoder(session);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
200 REPCommand command = new REPCommand();
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
201 command.setSID(session.getSID());
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
202 command.setString(sessionEncoder.sessionListToXML());
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
203 command.setCMD(REP.SMCMD_UPDATE);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
204 smList.sendExcept(channel, command);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
205
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
206 }
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
207
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
208 break;
133
8dce4348966c *** empty log message ***
kono
parents: 124
diff changeset
209
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
210 case REP.SMCMD_SELECT:
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
211 {
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
212 //他のSessionManagerをエディタとしてSessionに追加
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
213 Editor editor = new Editor(channel);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
214 Session session = getSession(receivedCommand.sid);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
215 session.addEditor(editor);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
216
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
217 if(session.hasOwner()){
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
218 //このSessionManagerがオーナーを持っている場合、Sessionにエディタを追加し、エディタへAckを返す
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
219 sendCommand.setCMD(REP.SMCMD_SELECT_ACK);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
220 sendCommand.setEID(editor.getEID());
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
221 editor.send(sendCommand);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
222 }else{
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
223 //オーナーを持ってない場合は、オーナーを持っているSessionManagerへSELECTコマンドを中継する
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
224 Editor owner = session.getOwner();
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
225 owner.send(receivedCommand);
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
226 }
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
227 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
228
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
229 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
230
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
231 case REP.SMCMD_SELECT_ACK:
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
232 {
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
233 String hostport = receivedCommand.string;
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
234 Editor editor = getEditor(hostport);
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
235
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
236 if(editor != null) {
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
237 //host, port を見て、このコマンドが自分が送信したSelectコマンドのAckかどうかを判断する
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
238 REPCommand command = new REPCommand();
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
239 command.setCMD(REP.SMCMD_JOIN_ACK);
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
240 command.setSID(receivedCommand.sid);
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
241 command.setEID(receivedCommand.eid);
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
242 editor.send(command);
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
243
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
244 }else{
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
245 //自分が送信したコマンドでなければ、次のSessionManagerへ中継する
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
246 smList.sendExcept(channel, receivedCommand);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
247 }
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
248 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
249
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
250 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
251
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
252 case REP.SMCMD_SM_JOIN:
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
253
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
254 {
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
255 //SessionManagerのリストへ追加
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
256 smList.add(channel);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
257
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
258 //XMLからSessionListオブジェクトを生成する。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
259 SessionXMLDecoder decoder = new SessionXMLDecoder();
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
260 SessionList receivedSessionList = decoder.decode(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
261
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
262 //SessionListへ追加し変換テーブルを生成する。
163
fb516794ee28 *** empty log message ***
pin
parents: 162
diff changeset
263 //sessionlist.update(channel, receivedSessionList);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
264
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
265 //myHost を設定。
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
266 //立ち上げ時にやるとlocalhostしか取れない
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
267 if(myHost == null) setMyHostName(getLocalHostName(channel));
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
268
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
269 //maxHost を設定。
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
270 if(setMaxHost(channel, receivedSessionList.getMaxHost())){
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
271 sendCommand = new REPCommand();
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
272 sendCommand.setCMD(REP.SMCMD_CH_MASTER);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
273 sendCommand.setString(maxHost);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
274 smList.sendExcept(channel, sendCommand);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
275 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
276
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
277 //SessionListからXMLを生成。
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
278 //joinしてきたSessionManagerに対してACKを送信。
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
279 SessionXMLEncoder sessionlistEncoder = new SessionXMLEncoder(sessionList);
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
280 sendCommand = new REPCommand();
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
281 sendCommand.setCMD(REP.SMCMD_SM_JOIN_ACK);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
282 sendCommand.setString(sessionlistEncoder.sessionListToXML());
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
283 send.write(sendCommand);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
284
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
285 //その他の SessionManager に対して SMCMD_UPDATEを 送信。
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
286 sendCommand = new REPCommand();
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
287 sendCommand.setCMD(REP.SMCMD_UPDATE);
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
288 sendCommand.setString(receivedCommand.string);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
289 smList.sendExcept(channel, sendCommand);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
290
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
291 }
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
292 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
293
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
294 case REP.SMCMD_SM_JOIN_ACK:
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
295
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
296 //XMLからSessionListオブジェクトを生成。
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
297 SessionXMLDecoder decoder2 = new SessionXMLDecoder();
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
298 SessionList receivedSessionList2 = decoder2.decode(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
299
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
300 //maxHostを決定。
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
301 if(setMaxHost(channel, receivedSessionList2.getMaxHost())){
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
302 sendCommand = new REPCommand();
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
303 sendCommand.setCMD(REP.SMCMD_CH_MASTER);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
304 sendCommand.setString(maxHost);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
305 smList.sendExcept(channel, sendCommand);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
306 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
307
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
308 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
309
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
310 case REP.SMCMD_UPDATE:
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
311
99
2f79cdc45a2e *** empty log message ***
pin
parents: 98
diff changeset
312 SessionXMLDecoder decoder3 = new SessionXMLDecoder();
2f79cdc45a2e *** empty log message ***
pin
parents: 98
diff changeset
313 SessionList receivedSessionList3 = decoder3.decode(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
314
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
315 //SessionListへ追加し変換テーブルを生成する。
163
fb516794ee28 *** empty log message ***
pin
parents: 162
diff changeset
316 //sessionlist.update(channel, receivedSessionList3);
179
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
317 sessionList.add(new Session(new Editor(channel)));
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
318
99
2f79cdc45a2e *** empty log message ***
pin
parents: 98
diff changeset
319 smList.sendExcept(channel, receivedCommand);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
320
100
25bf89525e70 *** empty log message ***
pin
parents: 99
diff changeset
321 for(Session session3 : receivedSessionList3.getList()){
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
322 //gui.update();
100
25bf89525e70 *** empty log message ***
pin
parents: 99
diff changeset
323 gui.setComboSession(session3.getSID(), session3.getName());
25bf89525e70 *** empty log message ***
pin
parents: 99
diff changeset
324 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
325
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
326 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
327
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
328 case REP.SMCMD_UPDATE_ACK:
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
329 if(receivedCommand.sid > sessionList.size()){
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
330 Editor editor = new Editor(channel);
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
331 editor.setName(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
332
158
5cc8cd48bded *** empty log message ***
pin
parents: 155
diff changeset
333 Session session = new Session(editor);
73
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
334 session.addEditor(editor);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
335
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
336 sessionList.add(session);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
337
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
338 gui.setComboSession(session.getSID(), session.getName());
73
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
339 }
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
340 smList.sendToSlave(receivedCommand);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
341 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
342
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
343 case REP.SMCMD_CH_MASTER:
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
344 //maxHost を設定。
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
345 if(setMaxHost(channel, receivedCommand.string)){
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
346 sendCommand = new REPCommand();
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
347 sendCommand.setCMD(REP.SMCMD_CH_MASTER);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
348 sendCommand.setString(maxHost);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
349 smList.sendExcept(channel, sendCommand);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
350 }
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
351 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
352
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
353 default:
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
354 {
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
355 //sid から Session を取得
158
5cc8cd48bded *** empty log message ***
pin
parents: 155
diff changeset
356 Session session = getSession(receivedCommand.sid);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
357 //マージの処理と次のエディタへコマンドを送信する処理
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
358 session.translate(channel, receivedCommand);
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
359
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
360
167
3dc194f5e28f *** empty log message ***
pin
parents: 164
diff changeset
361 Editor editor = session.getEditor(channel);
3dc194f5e28f *** empty log message ***
pin
parents: 164
diff changeset
362 Editor prevEditor = session.getPrevEditor(editor);
3dc194f5e28f *** empty log message ***
pin
parents: 164
diff changeset
363
179
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
364 //マージ中は前のエディタからのコマンドを受信しない
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
365 if(editor.isMerging()){
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
366 //Handlerを切り替える
167
3dc194f5e28f *** empty log message ***
pin
parents: 164
diff changeset
367 setMergeState(prevEditor.getChannel(), session.getSID());
169
2974db051dd8 *** empty log message ***
pin
parents: 167
diff changeset
368 }else {
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
369 setNormalState(prevEditor.getChannel(), session.getSID());
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
370 }
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
371 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
372 break;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
373 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
374 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
375
169
2974db051dd8 *** empty log message ***
pin
parents: 167
diff changeset
376 private void setNormalState(REPSocketChannel<REPCommand> channel, int sid) {
2974db051dd8 *** empty log message ***
pin
parents: 167
diff changeset
377 SelectionKey key = channel.keyFor(selector);
2974db051dd8 *** empty log message ***
pin
parents: 167
diff changeset
378 key.attach(new REPHandlerImpl(sid, this));
2974db051dd8 *** empty log message ***
pin
parents: 167
diff changeset
379 }
2974db051dd8 *** empty log message ***
pin
parents: 167
diff changeset
380
167
3dc194f5e28f *** empty log message ***
pin
parents: 164
diff changeset
381 private void setMergeState(REPSocketChannel<REPCommand> channel, int sid) {
3dc194f5e28f *** empty log message ***
pin
parents: 164
diff changeset
382 SelectionKey key = channel.keyFor(selector);
3dc194f5e28f *** empty log message ***
pin
parents: 164
diff changeset
383 key.attach(new REPHandlerInMerge(sid, this));
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
384 }
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
385
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
386 private Editor getEditor(String hostport) {
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
387 for(Editor editor : editorList){
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
388 if(editor.getHost() == hostport){
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
389 return editor;
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
390 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
391 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
392 return null;
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
393 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
394
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
395 public Editor getEditor(REPSocketChannel channel){
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
396 for(Editor editor : editorList){
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
397 if(editor.getChannel() == channel){
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
398 return editor;
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
399 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
400 }
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
401 return null;
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
402 }
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
403
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
404 private Session getSession(int sid) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
405 for(Session session : sessionList){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
406 if(session.getSID() == sid) return session;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
407 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
408 return null;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
409 }
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
410
139
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
411 private boolean setMaxHost(REPSocketChannel channel, String maxHost2) {
179
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
412 if(maxHost.compareTo(maxHost2) > 0){
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
413 return false;
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
414 }else{
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
415 maxHost = maxHost2;
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
416 return true;
763aad2da6b3 *** empty log message ***
pin
parents: 178
diff changeset
417 }
139
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
418 }
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
419
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
420 private void setMyHostName(String localHostName) {
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
421 myHost = localHostName + temp_port;
81
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
422 if(maxHost == null) {
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
423 maxHost = myHost;
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
424 }
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
425 setHostToEditor(myHost);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
426 }
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
427
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
428 private void setHostToEditor(String myHost2) {
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
429 for(Editor editor : editorList){
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
430 editor.setHost(myHost2);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
431 }
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
432 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
433
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
434 public static void main(String[] args) throws InterruptedException, IOException {
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
435 int port = DEFAULT_PORT;
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
436 int port_s = DEFAULT_PORT;
113
ce84d70b6cc9 *** empty log message ***
pin
parents: 112
diff changeset
437 //System.setProperty("file.encoding", "UTF-8");
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
438 if(args.length > 0){
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
439 port = Integer.parseInt(args[0]);
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
440 port_s = Integer.parseInt(args[1]);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
441 }
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
442 temp_port = port;
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
443 send_port = port_s;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
444 SessionManager sm = new SessionManager(port);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
445 sm.openSelector();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
446 sm.openWindow();
155
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
447 sm.init(port);
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
448 sm.mainLoop();
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
449 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
450
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
451 private void openWindow() {
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
452 Thread th = new Thread( gui );
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
453 th.start();
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
454 gui.addConnectionListener(this);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
455 gui.addREPActionListener(this);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
456 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
457
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
458 public void connectSession(String host) {
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
459 int port = DEFAULT_PORT;
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
460 port = send_port;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
461 InetSocketAddress addr = new InetSocketAddress(host, port);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
462 try {
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
463 REPSocketChannel<REPCommand> sessionchannel = REPSocketChannel.<REPCommand>create();
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
464 sessionchannel.configureBlocking(true);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
465 sessionchannel.connect(addr);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
466 while(!sessionchannel.finishConnect()){
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
467 System.out.print("test afro");
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
468 }
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
469 System.out.println("");
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
470 registerChannel(selector, sessionchannel, SelectionKey.OP_READ);
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
471
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
472 sm_join(sessionchannel);
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
473
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
474 }catch (IOException e) {
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
475 e.printStackTrace();
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
476 }
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
477 }
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
478
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
479 private void sm_join(REPSocketChannel<REPCommand> channel){
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
480
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
481 //SM_JOINコマンドを生成。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
482 REPCommand command = new REPCommand();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
483 command.setCMD(REP.SMCMD_SM_JOIN);
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
484
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
485 //hostnameをセット。
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
486 setMyHostName(getLocalHostName(channel));
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
487
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
488 //XMLを生成。送信コマンドにセット。
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
489 SessionXMLEncoder encoder = new SessionXMLEncoder(sessionList);
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
490 String string = encoder.sessionListToXML();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
491 command.setString(string);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
492
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
493 //SM_JOINコマンドを送信。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
494 REPPacketSend send = new REPPacketSend(channel);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
495 send.send(command);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
496
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
497 //SessionManagerのListに追加。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
498 smList.add(channel);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
499 }
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
500
139
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
501 private String getLocalHostName(REPSocketChannel channel) {
74
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
502 String host = null;
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
503 host = channel.socket().getLocalAddress().getHostName();
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
504 return host;
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
505 }
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
506
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
507 public void connectionOccured(ConnectionEvent event) {
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
508 try {
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
509 waitingQueue.put(event);
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
510 } catch (InterruptedException e) {
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
511 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
512 selector.wakeup();
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
513 }
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
514
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
515 public void ActionOccured(REPActionEvent event) {
104
91f053bdfb18 *** empty log message ***
pin
parents: 103
diff changeset
516
163
fb516794ee28 *** empty log message ***
pin
parents: 162
diff changeset
517 REPSocketChannel<REPCommand> channel = event.getEditorChannel();
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
518 int sid = event.getSID();
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
519 Session session = getSession(sid);
158
5cc8cd48bded *** empty log message ***
pin
parents: 155
diff changeset
520 if(session.hasOwner()){
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
521 Editor editor = new Editor(channel);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
522 session.addEditor(new Editor(channel));
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
523 REPCommand sendCommand = new REPCommand();
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
524 sendCommand.setCMD(REP.SMCMD_JOIN_ACK);
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
525 sendCommand.setEID(editor.getEID());
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
526 sendCommand.setSID(sid);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
527 REPPacketSend sender = new REPPacketSend(channel);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
528 sender.send(sendCommand);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
529 }else {
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
530 REPSocketChannel<REPCommand> editorChannel = event.getEditorChannel();
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
531 sid = event.getSID();
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
532 Editor editor = new Editor(editorChannel);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
533 editor.setHost(myHost);
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
534 session = getSession(sid);
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
535 session.addEditor(editor);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
536
158
5cc8cd48bded *** empty log message ***
pin
parents: 155
diff changeset
537 Editor owner = session.getOwner();
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
538
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
539 REPCommand command = new REPCommand();
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
540 command.setCMD(REP.SMCMD_SELECT);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
541 command.setSID(sid);
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
542 command.setString(editor.getHost());
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
543 owner.send(command);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
544 }
72
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
545
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
546
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
547 }
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
548
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
549 public void addWaitingCommand(PacketSet set) {
155
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
550 packetSetList.add(set);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
551 }
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
552
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
553 }