annotate rep/SessionManager.java @ 385:1fca50ce3508

first-working-version
author one@firefly.cr.ie.u-ryukyu.ac.jp
date Mon, 10 Nov 2008 22:18:14 +0900
parents bcdf5476b8e4
children bba62c4ac323
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
266
4a02c7f26794 *** empty log message ***
kono
parents: 264
diff changeset
1
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
2 package rep;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
3
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
4 import java.io.IOException;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
5 import java.net.InetSocketAddress;
267
c513cf1ce9cc call handle.cancel() on socket channel close.
kono
parents: 266
diff changeset
6 import java.nio.channels.ClosedChannelException;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
7
346
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
8 import org.xml.sax.SAXException;
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
9
198
ff3fcdcccc85 *** empty log message ***
pin
parents: 192
diff changeset
10
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
11
337
5ba5b7a9761b use REPLogger
kono
parents: 336
diff changeset
12 import rep.channel.REPLogger;
133
8dce4348966c *** empty log message ***
kono
parents: 124
diff changeset
13 import rep.channel.REPSocketChannel;
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
14 import rep.gui.CloseButtonEvent;
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
15 import rep.gui.SelectButtonEvent;
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
16 import rep.gui.SessionManagerEvent;
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
17 import rep.gui.SessionManagerEventListener;
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
18 import rep.gui.SessionManagerGUI;
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
19 import rep.gui.SessionManagerGUIimpl;
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
20 import rep.handler.Editor;
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
21 import rep.handler.REPNode;
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
22 import rep.handler.FirstConnector;
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
23 import rep.handler.Forwarder;
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
24 import rep.xml.SessionXMLDecoder;
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
25 import rep.xml.SessionXMLEncoder;
264
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
26
198
ff3fcdcccc85 *** empty log message ***
pin
parents: 192
diff changeset
27 /*
264
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
28 +-------+--------+--------+-------+--------+---------+------+
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
29 | cmd | session| editor | seqid | lineno | textsiz | text |
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
30 | | id | id | | | | |
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
31 +-------+--------+--------+-------+--------+---------+------+
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
32 o---------- header section (network order) ----------o
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
33
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
34 int cmd; kind of command
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
35 int sid; session ID : uniqu to editing file
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
36 int eid; editor ID : owner editor ID = 1。Session に対して unique
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
37 -1 session manager command
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
38 -2 merge command
264
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
39 int seqno; Sequence number : sequence number はエディタごとに管理
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
40 int lineno; line number
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
41 int textsize; textsize : bytesize
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
42 byte[] text;
198
ff3fcdcccc85 *** empty log message ***
pin
parents: 192
diff changeset
43 */
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
44
384
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
45 public class SessionManager extends ServerMainLoop
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
46 implements SessionManagerEventListener {
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
47 SessionList sessionList = new SessionList();
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
48 // Known Session Manager List, At most one parent. No parent means master.
384
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
49 SessionManagerList smList = new SessionManagerList();
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
50 // Known Editor list. Connected Editor has a channel.
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
51 // Session Manager Channel may have dummy editors.
384
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
52 EditorList editorList = new EditorList();
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
53 // Queue limit for debugging purpose.
384
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
54 static final int packetLimit = 200;
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
55
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
56 // globalSessionID = SessionManagerID * MAXID + localSessionID
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
57 private static final int MAXID = 10000;
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
58 SessionXMLDecoder decoder = new SessionXMLDecoder();
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
59 SessionXMLEncoder encoder = new SessionXMLEncoder();
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
60 // SocketChannel for our parent. At most one parent is allowed.
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
61 private REPNode sm_join_channel;
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
62 // Routing table for session and session manager.
369
7d21eb209e27 *** empty log message ***
kono
parents: 367
diff changeset
63 private RoutingTable routingTable = new RoutingTable(this);
384
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
64
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
65 static public REPLogger logger = REPLogger.singleton();
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
66
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
67 public static void main(String[] args) throws InterruptedException, IOException {
384
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
68 int port =ServerMainLoop.DEFAULT_PORT;
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
69 int port_s = ServerMainLoop.DEFAULT_PORT;
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
70 //System.setProperty("file.encoding", "UTF-8");
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
71 if(args.length > 0){
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
72 if (args.length!=2) {
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
73 logger.writeLog("Usage: sessionManager our_port parent_port");
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
74 return;
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
75 }
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
76 port = Integer.parseInt(args[0]);
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
77 port_s = Integer.parseInt(args[1]);
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
78 }
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
79 SessionManager sm = new SessionManager();
336
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
80 sm.setReceivePort(port);
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
81 sm.setParentPort(port_s);
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
82 // Ok start main loop
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
83 sm.init(port,new SessionManagerGUIimpl(sm));
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
84 }
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
85
280
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
86 public void init(int port, SessionManagerGUI gui) throws IOException, InterruptedException {
384
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
87 mainLoop(this, port, gui);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
88 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
89
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
90 /*
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
91 * After loop detection, we give up session manager join.
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
92 */
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
93 private void cancel_sm_join() {
364
c965ef2b5fd6 *** empty log message ***
kono
parents: 363
diff changeset
94 logger.writeLog("Loop detected "+this);
384
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
95 removeChannel(this, sm_join_channel);
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
96 sm_join_channel=null;
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
97 }
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
98
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
99
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
100 /**
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
101 * GUI から、呼ばれて、Session Managerに接続する。
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
102 * Host 名のSession Manager に SM_JOIN する。自分は、Session を持っていては
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
103 * ならない。複数のSession Managerにjoinすることは出来ない。(NATを実装するまでは)。
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
104 * @param host
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
105 */
378
c78569ab5fce *** empty log message ***
kono
parents: 377
diff changeset
106 public void connectSessionManager(String host, int port) {
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
107 if (sm_join_channel!=null) return;
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
108 if (!sessionList.isEmpty()) return;
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
109 if (!smList.isMaster()) return;
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
110 /*
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
111 * IPv6 対応では、複数のアドレスを取って、それのすべてに接続を試す必要が
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
112 * ある。
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
113 */
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
114 InetSocketAddress addr = new InetSocketAddress(host, port);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
115 try {
186
d22384c0026c *** empty log message ***
kent
parents: 185
diff changeset
116 REPSocketChannel<REPCommand> sessionchannel = REPSocketChannel.<REPCommand>create(new REPCommandPacker());
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
117 sessionchannel.connect(addr);
337
5ba5b7a9761b use REPLogger
kono
parents: 336
diff changeset
118 while(!sessionchannel.finishConnect());
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
119 REPNode sm = new FirstConnector(this);
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
120 registerChannel(sessionchannel, sm);
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
121 sm_join(sm);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
122 }catch (IOException e) {
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
123 }
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
124 }
364
c965ef2b5fd6 *** empty log message ***
kono
parents: 363
diff changeset
125
378
c78569ab5fce *** empty log message ***
kono
parents: 377
diff changeset
126 public void connectSessionManager(String host) {
c78569ab5fce *** empty log message ***
kono
parents: 377
diff changeset
127 connectSessionManager(host,parent_port);
364
c965ef2b5fd6 *** empty log message ***
kono
parents: 363
diff changeset
128 }
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
129
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
130 /**
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
131 * channel に SMCMD_SM_JOIN command を送る。
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
132 * @param channel
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
133 */
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
134 private void sm_join(REPNode channel){
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
135 sm_join_channel = channel;
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
136 //SM_JOINコマンドを生成。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
137 REPCommand command = new REPCommand();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
138 command.setCMD(REP.SMCMD_SM_JOIN);
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
139 command.setEID(-1); // request Parent SessionManagerID
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
140 command.setSID(-1); // request SessionManagerID
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
141
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
142 //hostnameをセット。
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
143 setMyHostName(channel.getLocalHostName());
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
144
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
145 String string = myHost;
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
146 command.setString(string);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
147
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
148 //SM_JOINコマンドを送信。
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
149 channel.send(command);
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
150 // ack を受け取ったら、SessionManagerのListに追加。ここではやらない。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
151 }
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
152
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
153 /*
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
154 * Select Session from Manager button
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
155 * selected editor is joined editor directly connected to this session
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
156 * manager.
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
157 */
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
158 public void selectSession(SelectButtonEvent event) throws IOException {
250
5f357ca66714 *** empty log message ***
pin
parents: 246
diff changeset
159 int sid = event.getSID();
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
160 Session session = sessionList.get(sid);
365
c432755c3555 distributed session debug continue... SELECT/SELECT_ACK loop
kono
parents: 364
diff changeset
161 if (session==null) throw new IOException();
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
162 REPNode editor = event.getEditor();
324
e235998427a6 try to fix merger
kono
parents: 323
diff changeset
163 if (editor.hasSession()) return;
365
c432755c3555 distributed session debug continue... SELECT/SELECT_ACK loop
kono
parents: 364
diff changeset
164 // assert(getSMID(editor.eid)==smList.sessionManagerID());
c432755c3555 distributed session debug continue... SELECT/SELECT_ACK loop
kono
parents: 364
diff changeset
165 // assert(editor.channel!=null);
c432755c3555 distributed session debug continue... SELECT/SELECT_ACK loop
kono
parents: 364
diff changeset
166 editor.setSID(sid); // mark as selected
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
167 selectSession0(sid, session, editor.getEID(), editor);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
168 }
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
169
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
170 private void selectSession0(int sid, Session session, int eid, REPNode editor) {
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
171 if (editor.isDirect()&&editor.getEID()==eid) {
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
172 selectSession(sid, session, editor.getEID(), editor);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
173 } else {
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
174 // we don't have this editor, search the editor first.
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
175 REPNode next = routingTable.toSessionManager(getSMID(eid));
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
176 // pass the select command to the next path.
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
177 REPCommand command = new REPCommand();
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
178 command.setCMD(REP.SMCMD_SELECT0);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
179 command.setSID(sid);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
180 command.setEID(eid);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
181 command.setString(editor.getHost());
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
182 next.send(command);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
183 }
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
184 }
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
185
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
186 /*
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
187 * Select Session Protocol handler
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
188 * called from GUI or incoming SMCMD_SELECT command.
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
189 */
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
190 private void selectSession(int sid, Session session, int eid, REPNode editor) {
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
191 if(session.hasOwner()){
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
192 // we have selected session.
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
193 REPCommand sendCommand = new REPCommand();
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
194 if (editor.isDirect()&&editor.getEID()==eid) {
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
195 // Found directly connected joined editor. Send join_ack().
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
196 session.addForwarder(editor);
359
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
197 sendUpdate(session.getSID());
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
198 sendCommand.setCMD(REP.SMCMD_JOIN_ACK);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
199 } else {
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
200 // We have a session, but joined editor is on the other sm.
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
201 // SELECT_ACK is sent to the session ring to
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
202 // find out the joined editor.
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
203 sendCommand.setCMD(REP.SMCMD_SELECT_ACK);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
204 }
370
46c95d8885ad fix put_ack in single server test.
kono
parents: 369
diff changeset
205 sendCommand.setSID(sid);
46c95d8885ad fix put_ack in single server test.
kono
parents: 369
diff changeset
206 sendCommand.string = session.getName();
46c95d8885ad fix put_ack in single server test.
kono
parents: 369
diff changeset
207 sendCommand.setEID(eid);
46c95d8885ad fix put_ack in single server test.
kono
parents: 369
diff changeset
208 editor.send(sendCommand);
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
209 }else {
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
210 forwardSelect(sid, session, eid, editor);
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
211 }
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
212 }
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
213
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
214 private void forwardSelect(int sid, Session session, int eid,
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
215 REPNode editor) {
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
216 REPNode next;
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
217 // session searching continue...
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
218 next = routingTable.toSessionManager(getSMID(sid));
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
219 // make a forwarding channel here
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
220 REPNode f = createSessionForwarder(sid, next);
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
221 session.setFirstForwarder(f);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
222 session.addForwarder(editor);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
223 // pass the select command to the next path.
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
224 REPCommand command = new REPCommand();
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
225 command.setCMD(REP.SMCMD_SELECT);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
226 command.setSID(sid);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
227 command.setEID(eid);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
228 command.setString(editor.getHost());
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
229 next.send(command);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
230 }
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
231
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
232 private REPNode createSessionForwarder(int sid, REPNode editor) {
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
233 REPNode f = new Forwarder(this);
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
234 f.setEID(makeID(editorList.newEid()));
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
235 f.setChannel(editor.channel); // incoming channel
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
236 f.setHost(myHost);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
237 f.setSID(sid);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
238 return f;
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
239 }
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
240
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
241 /*
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
242 * Create and send UPDATE command.
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
243 */
359
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
244 private void sendUpdate(int sid) {
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
245 REPCommand command = makeREPCommandWithSessionList(REP.SMCMD_UPDATE);
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
246 command.setSID(sid);
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
247 command.setEID(REP.SM_EID.id);
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
248 smList.sendToMaster(command);
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
249 }
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
250
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
251 /*
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
252 * Create new editor in this sessin manager. A dummy editor
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
253 * is created also.
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
254 */
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
255 public REPNode newEditor(REPSocketChannel<REPCommand> channel) {
359
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
256 int eid = makeID(editorList.newEid());
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
257 REPNode editor = new Editor(this, eid, channel);
359
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
258 editorList.add(editor);
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
259 return editor;
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
260 }
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
261
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
262 /*
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
263 * Create new session.
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
264 */
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
265 public Session newSession(REPNode master) {
359
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
266 int sid= makeID(sessionList.newSessionID());
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
267 Session session = new Session(sid, master);
360
b25f832f875d *** empty log message ***
kono
parents: 359
diff changeset
268 sessionList.put(sid, session);
359
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
269 return session;
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
270 }
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
271
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
272 /*
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
273 * GUI command interface for close session.
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
274 */
259
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
275 public void closeSession(SessionManagerEvent event) {
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
276 Session session = ((CloseButtonEvent) event).getSession();
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
277 session.closeSession();
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
278 sessionList.remove(session);
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
279 updateGUI();
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
280 }
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
281
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
282 /*
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
283 * Remove editors which has the cannel.
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
284 */
274
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
285 public void remove(REPSocketChannel<REPCommand> channel) {
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
286 int i = 0;
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
287 for(Session s:sessionList.values()) {
274
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
288 if (s.deleteEditor(channel)) {
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
289 i++;
274
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
290 }
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
291 }
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
292 assert(i==1);
274
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
293 // can be other session manager? what should I do?
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
294 }
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
295
317
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
296
318
dc57e24ea3df *** empty log message ***
kono
parents: 317
diff changeset
297 public void remove(Editor editor) {
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
298 Session s = sessionList.get(editor.getSID());
362
f0bd158dace6 *** empty log message ***
kono
parents: 361
diff changeset
299 if (s==null) {
f0bd158dace6 *** empty log message ***
kono
parents: 361
diff changeset
300 assert(false);
f0bd158dace6 *** empty log message ***
kono
parents: 361
diff changeset
301 editorList.remove(editor);
f0bd158dace6 *** empty log message ***
kono
parents: 361
diff changeset
302 } else if (editor.isMaster()) {
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
303 removeSession(s);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
304 } else {
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
305 s.deleteForwarder(editor);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
306 editorList.remove(editor);
318
dc57e24ea3df *** empty log message ***
kono
parents: 317
diff changeset
307 }
341
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
308 updateGUI();
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
309 }
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
310
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
311 private void removeSession(Session s0) {
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
312 s0.remove(this);
341
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
313 sessionList.remove(s0);
359
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
314 sendUpdate(s0.getSID());
318
dc57e24ea3df *** empty log message ***
kono
parents: 317
diff changeset
315 }
dc57e24ea3df *** empty log message ***
kono
parents: 317
diff changeset
316
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
317 public boolean sessionManage(REPNode forwarder, REPCommand command) throws ClosedChannelException,
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
318 IOException {
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
319 switch(command.cmd){
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
320
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
321 // Session Manager Command
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
322
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
323 case SMCMD_JOIN:
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
324 {
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
325 // first connection or forwarded command
367
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
326 routingTable.add(forwarder,getSMID(command.eid));
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
327 if(isMaster()) {
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
328 REPCommand ackCommand = new REPCommand();
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
329 ackCommand.setCMD(REP.SMCMD_JOIN_ACK);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
330 ackCommand.setEID(command.eid);
360
b25f832f875d *** empty log message ***
kono
parents: 359
diff changeset
331 ackCommand.setSID(command.sid);
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
332 ackCommand.string = command.string;
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
333 smList.sendToSlaves(ackCommand);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
334 registEditor(forwarder,ackCommand);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
335 } else {
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
336 smList.sendToMaster(command);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
337 }
360
b25f832f875d *** empty log message ***
kono
parents: 359
diff changeset
338 updateGUI();
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
339 }
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
340
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
341 break;
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
342
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
343 case SMCMD_PUT_ACK:
366
e391433fa9f1 *** empty log message ***
kono
parents: 365
diff changeset
344 if (forwarder.isDirect()) {
e391433fa9f1 *** empty log message ***
kono
parents: 365
diff changeset
345 // send put_ack to the editor now.
e391433fa9f1 *** empty log message ***
kono
parents: 365
diff changeset
346 command.setCMD(REP.SMCMD_PUT_ACK);
e391433fa9f1 *** empty log message ***
kono
parents: 365
diff changeset
347 command.string = command.string;
e391433fa9f1 *** empty log message ***
kono
parents: 365
diff changeset
348 command.setEID(command.eid);
e391433fa9f1 *** empty log message ***
kono
parents: 365
diff changeset
349 command.setSID(command.sid);
e391433fa9f1 *** empty log message ***
kono
parents: 365
diff changeset
350 forwarder.send(command);
e391433fa9f1 *** empty log message ***
kono
parents: 365
diff changeset
351 }
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
352 case SMCMD_JOIN_ACK:
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
353 registEditor(forwarder,command);
360
b25f832f875d *** empty log message ***
kono
parents: 359
diff changeset
354 updateGUI();
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
355 break;
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
356
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
357 case SMCMD_PUT:
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
358 {
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
359 // first connection or forwarded command
367
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
360 routingTable.add(forwarder,getSMID(command.eid));
370
46c95d8885ad fix put_ack in single server test.
kono
parents: 369
diff changeset
361 REPCommand ack = new REPCommand(command); ack.setCMD(REP.SMCMD_PUT_ACK);
46c95d8885ad fix put_ack in single server test.
kono
parents: 369
diff changeset
362 if(isMaster()) {
371
97aa54c9afe6 *** empty log message ***
kono
parents: 370
diff changeset
363 // Reached to the top of the tree, multicast the ack.
370
46c95d8885ad fix put_ack in single server test.
kono
parents: 369
diff changeset
364 smList.sendToSlaves(ack);
46c95d8885ad fix put_ack in single server test.
kono
parents: 369
diff changeset
365 registEditor(forwarder,ack);
371
97aa54c9afe6 *** empty log message ***
kono
parents: 370
diff changeset
366 if (forwarder.isDirect()) {
97aa54c9afe6 *** empty log message ***
kono
parents: 370
diff changeset
367 // If put editor on the master, no SMCMD_PUT_ACK is
97aa54c9afe6 *** empty log message ***
kono
parents: 370
diff changeset
368 // generated. Send ack to the editor now.
97aa54c9afe6 *** empty log message ***
kono
parents: 370
diff changeset
369 forwarder.send(ack);
97aa54c9afe6 *** empty log message ***
kono
parents: 370
diff changeset
370 }
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
371 } else {
371
97aa54c9afe6 *** empty log message ***
kono
parents: 370
diff changeset
372 // Pass this to the master.
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
373 smList.sendToMaster(command);
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
374 // registEditor will be done by SMCMD_PUT_ACK
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
375 }
360
b25f832f875d *** empty log message ***
kono
parents: 359
diff changeset
376 updateGUI();
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
377
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
378 }
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
379 break;
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
380
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
381 case SMCMD_SELECT0:
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
382 /*
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
383 * finding joining editor, do not make the path.
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
384 */
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
385 REPNode editor = editorList.get(command.eid);
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
386 if (editor==null|| !editor.isDirect()) {
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
387 REPNode next = routingTable.toSessionManager(getSMID(command.eid));
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
388 next.send(command);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
389 break;
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
390 }
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
391 // we've found the editor, fall thru.
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
392 case SMCMD_SELECT:
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
393 {
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
394 /*
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
395 * finding active session ring from joined editor.
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
396 */
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
397 Session session = sessionList.get(command.sid);
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
398 if (session==null) {
365
c432755c3555 distributed session debug continue... SELECT/SELECT_ACK loop
kono
parents: 364
diff changeset
399 session = new Session(command.sid, command.string,null);
c432755c3555 distributed session debug continue... SELECT/SELECT_ACK loop
kono
parents: 364
diff changeset
400 sessionList.put(command.sid,session);
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
401 }
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
402 // Do not directly addForwarder(forwarder). It may be
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
403 // shared among sessions.
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
404 REPNode f = createSessionForwarder(command.sid, forwarder);
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
405 session.addForwarder(f); // f.next is set up here.
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
406 selectSession(command.sid, session, command.eid, forwarder);
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
407 }
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
408 break;
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
409 case SMCMD_SELECT_ACK:
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
410 {
369
7d21eb209e27 *** empty log message ***
kono
parents: 367
diff changeset
411 // Sessionが見つかったので、select したeditorに教える。
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
412 Session session = sessionList.get(command.sid);
376
c4ffdac26132 *** empty log message ***
kono
parents: 372
diff changeset
413 searchSelectedEditor(command,session.getForwarder(forwarder.channel));
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
414 }
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
415 break;
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
416
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
417 case SMCMD_SM_JOIN:
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
418 {
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
419 // SM_JOIN中にSMCMD_SM_JOINが来たら、これはループなので、
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
420 ///自分のSM_JOINを取り消す。
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
421 if (sm_join_channel!=null) cancel_sm_join();
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
422 // SMCMD_SM_JOIN は、master まで上昇する。
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
423 // masterでなければ、自分のparentに転送する。
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
424 if(isMaster()) {
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
425 // master であれば、SessionManager IDを決めて、
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
426 // 自分のsmList に登録
377
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
427 registSessionManager(forwarder, command);
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
428 } else {
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
429 if (forwarder.sid==-1) {
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
430 // direct link の場合は、識別のために、EIDに直上の
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
431 // smid を入れておく。
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
432 command.setEID(smList.sessionManagerID());
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
433 }
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
434 smList.sendToMaster(command);
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
435 }
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
436 }
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
437 break;
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
438
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
439 case SMCMD_SM_JOIN_ACK:
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
440 send_sm_join_ack(command.eid, command.sid, command);
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
441 break;
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
442
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
443 case SMCMD_UPDATE:
359
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
444 if (!isMaster()) {
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
445 command.setString(mergeUpdate(command));
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
446 // 上に知らせる
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
447 smList.sendToMaster(command);
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
448 break;
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
449 }
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
450 // fall thru
fa041bae35f1 all code written for distributed session except gather.
kono
parents: 358
diff changeset
451 command.setCMD(REP.SMCMD_UPDATE_ACK);
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
452 case SMCMD_UPDATE_ACK:
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
453 command.setString(mergeUpdate(command));
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
454 // 下に知らせる
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
455 smList.sendToSlaves(command);
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
456 updateGUI();
353
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
457 break;
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
458 default:
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
459 return false;
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
460 }
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
461 return true;
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
462 }
0d47ff22ee0e *** empty log message ***
kono
parents: 352
diff changeset
463
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
464 private void registSessionManager(REPNode forwarder, REPCommand command) {
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
465 REPNode sm;
377
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
466 int psid = command.eid;
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
467 if (forwarder.sid!=-1) {
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
468 // すでに channelはSessionManager Idを持っていて、
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
469 // direct link ではないので、
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
470 // channel を持たないForwarderとして登録する
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
471 sm = new Forwarder(this);
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
472 } else {
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
473 sm = forwarder;
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
474 }
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
475 int sid = smList.addNewSessionManager(sm,command);
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
476 routingTable.add(forwarder,sid);
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
477
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
478 REPCommand sendCommand = makeREPCommandWithSessionList(REP.SMCMD_SM_JOIN_ACK);
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
479 // command.eid==smList.sesionManagerID() の場合は、
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
480 // 待っている自分の下のsessionManagerにsidをassignする必要がある。
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
481 sendCommand.setSID(sid); // new Session manager ID
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
482 // 複数のSM_JOIN_ACKを識別するには、最初にSM_JOINを受け付けた
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
483 // Session manager IDを使う。
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
484 sendCommand.setEID(psid);
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
485 send_sm_join_ack(psid, sid, sendCommand);
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
486 }
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
487
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
488
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
489 void send_sm_join_ack(int psid, int sid,REPCommand sendCommand) {
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
490 if (psid==smList.sessionManagerID()) {
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
491 // 直下のsessionManagerにIDを割り振る必要がある。
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
492 smList.assignSessionManagerIDtoWaitingSM(sid);
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
493 // ここで smList に一つだけ追加されるので
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
494 // 待っている最初のsm一つにだけ、sm_join_ackが新たに送られる。
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
495 }
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
496 smList.sendToSlaves(sendCommand);
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
497 }
85a5980d96d8 *** empty log message ***
kono
parents: 376
diff changeset
498
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
499 /*
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
500 * 指定されたeditorがlocalにあるかどうかを調べる。なければ、他に送る。戻って何回も探すことが
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
501 * あり得るので、よろしくない。
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
502 */
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
503 private void searchSelectedEditor(REPCommand command, REPNode editor) {
372
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
504 for(;editor.isDirect();editor = editor.getNextForwarder()) {
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
505 if (editor.getEID()==command.eid) {
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
506 // select したeditor を見つけた
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
507 command.cmd=REP.SMCMD_JOIN_ACK;
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
508 editor.send(command);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
509 return;
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
510 }
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
511 }
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
512 // ここにはありませんでした。
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
513 editor.send(command);
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
514 }
e16b6326fdac *** empty log message ***
kono
parents: 371
diff changeset
515
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
516
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
517 /**
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
518 * UPDATE/UPDATE_ACKにより送られてきたSessionの情報を追加する
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
519 * @param command
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
520 * @return
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
521 * @throws IOException
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
522 */
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
523 private String mergeUpdate(REPCommand command) throws IOException {
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
524 SessionList receivedSessionList;
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
525 try {
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
526 receivedSessionList = decoder.decode(command.string);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
527 } catch (SAXException e) {
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
528 throw new IOException();
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
529 }
363
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
530 // 受け取った情報と自分の情報を混ぜる。
1a8856580d38 *** empty log message ***
kono
parents: 362
diff changeset
531 sessionList.merge(receivedSessionList);
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
532 //XMLを生成。送信コマンドにセット。
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
533 return encoder.sessionListToXML(sessionList);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
534
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
535 }
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
536
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
537 /*
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
538 * id has SessionManager ID part
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
539 */
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
540 private int makeID(int newid) {
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
541 return newid+smList.sessionManagerID()*MAXID;
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
542 }
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
543
384
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
544 int getSMID(int id) {
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
545 return id/MAXID;
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
546 }
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
547
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
548
361
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
549 /**
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
550 * Register Editor to our editorList. No connection is made.
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
551 * @param forwarder Editor to be add
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
552 * @param command
65c6d12a5835 *** empty log message ***
kono
parents: 360
diff changeset
553 */
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
554 public void registEditor(REPNode forwarder,REPCommand command) {
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
555 // make ack for PUT/JOIN. Do not send this to the editor,
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
556 // before select. After select, ack is sent to the editor.
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
557 REPNode editor;
367
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
558 if (getSMID(command.eid)==smList.sessionManagerID()) {
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
559 if (forwarder.isDirect()) {
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
560 editor = (Editor)forwarder;
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
561 } else
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
562 return;
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
563 } else {
385
1fca50ce3508 first-working-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 384
diff changeset
564 editor = new Editor(this, command.eid);
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
565 }
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
566 editor.setName(command.string);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
567 editor.setSID(command.sid);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
568 if (!editorList.hasEid(command.eid)) {
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
569 editorList.add(editor);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
570 }
367
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
571 if (command.cmd==REP.SMCMD_PUT_ACK) {
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
572 Session session = new Session(command.sid, command.string, editor);
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
573 sessionList.put(command.sid, session);
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
574 }
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
575 // we don't join ack to the direct linked editor. We
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
576 // have to wait select command
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
577 }
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
578
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
579
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
580 private REPCommand makeREPCommandWithSessionList(REP cmd) {
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
581 //SessionListからXMLを生成。
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
582 //joinしてきたSessionManagerに対してACKを送信。
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
583 REPCommand sendCommand = new REPCommand();
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
584 sendCommand.setCMD(cmd);
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
585 sendCommand.setString(encoder.sessionListToXML(sessionList));
355
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
586 return sendCommand;
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
587 }
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
588
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
589
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
590 public boolean isMaster() {
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
591 return smList.isMaster();
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
592 }
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
593
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
594
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
595 public void setSessionManagerID(int sid) {
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
596 smList.setSessionManagerID(sid);
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
597 }
98607350f7d1 *** empty log message ***
kono
parents: 353
diff changeset
598
358
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
599
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
600 public Session getSession(int sid) {
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
601 return sessionList.get(sid);
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
602 }
034acadc0cdc *** empty log message ***
kono
parents: 356
diff changeset
603
382
4b87f89b3afd REP Session Manager (Java version)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 378
diff changeset
604 public void setParent(REPNode fw) {
365
c432755c3555 distributed session debug continue... SELECT/SELECT_ACK loop
kono
parents: 364
diff changeset
605 smList.setParent(fw);
c432755c3555 distributed session debug continue... SELECT/SELECT_ACK loop
kono
parents: 364
diff changeset
606 }
367
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
607
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
608 public String toString() {
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
609 int myId = 0;
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
610 if (smList!=null) myId = smList.sessionManagerID();
384
bcdf5476b8e4 restructured-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 382
diff changeset
611 return "rep.SessionManager-"+myId+"@"+super.toString();
367
1bde894edd83 *** empty log message ***
kono
parents: 366
diff changeset
612 }
385
1fca50ce3508 first-working-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 384
diff changeset
613
1fca50ce3508 first-working-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 384
diff changeset
614 public void addWaitingSessionManager(REPNode fw, REPCommand command) {
1fca50ce3508 first-working-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 384
diff changeset
615 smList.addWaitingSessionManager(fw, command);
1fca50ce3508 first-working-version
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 384
diff changeset
616 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
617 }