annotate rep/SessionManager.java @ 391:3b0a5a55e3ee

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