annotate rep/SessionManager.java @ 389:4b535bef903a

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