annotate rep/ServerMainLoop.java @ 485:cc262a519b8a

add dead lock detection (don't forget remove )
author one
date Wed, 20 Oct 2010 22:59:19 +0900
parents d295e84c5e03
children 5945266c970d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
1 package rep;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
2
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
3 import java.io.IOException;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
4 import java.net.InetSocketAddress;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
5 import java.net.SocketException;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
6 import java.nio.channels.ClosedChannelException;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
7 import java.nio.channels.SelectionKey;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
8 import java.util.LinkedList;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
9 import java.util.Set;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
10 import java.util.concurrent.BlockingQueue;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
11 import java.util.concurrent.LinkedBlockingQueue;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
12
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
13 import rep.channel.REPLogger;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
14 import rep.channel.REPSelectionKey;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
15 import rep.channel.REPSelector;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
16 import rep.channel.REPServerSocketChannel;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
17 import rep.channel.REPSocketChannel;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
18 import rep.gui.SessionManagerEvent;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
19 import rep.gui.SessionManagerGUI;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
20 import rep.handler.FirstConnector;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
21 import rep.handler.REPNode;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
22
411
795ef563f2a0 add commnets
one
parents: 401
diff changeset
23 /**
795ef563f2a0 add commnets
one
parents: 401
diff changeset
24 * @author kono
795ef563f2a0 add commnets
one
parents: 401
diff changeset
25 * Single Threaded Server Main Loop
795ef563f2a0 add commnets
one
parents: 401
diff changeset
26 * maintain multiple connections
795ef563f2a0 add commnets
one
parents: 401
diff changeset
27 * gui interface is provided.
795ef563f2a0 add commnets
one
parents: 401
diff changeset
28 * Protocols are handled by our manager.
412
2c815dd5f797 add comments.
one
parents: 411
diff changeset
29 * We believe this is an protocol independent server.
411
795ef563f2a0 add commnets
one
parents: 401
diff changeset
30 */
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
31 public class ServerMainLoop {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
32
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
33 public static REPLogger logger = REPLogger.singleton();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
34 public SessionManager manager;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
35 protected SessionManagerGUI gui;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
36 protected REPSelector<REPCommand> selector;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
37 private BlockingQueue<SessionManagerEvent> waitingEventQueue
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
38 = new LinkedBlockingQueue<SessionManagerEvent>();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
39 public String myHost;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
40 private LinkedList<PacketSet> writeQueue = new LinkedList<PacketSet>();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
41 protected int receive_port;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
42 protected int parent_port;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
43 protected static final int DEFAULT_PORT = 8766;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
44 private SessionManagerEvent execAfterConnect = null;
430
03ab374605a6 Test program termination.
one
parents: 420
diff changeset
45 private boolean running = true;
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
46
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
47
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
48 public void setReceivePort(int port) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
49 receive_port = port;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
50 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
51
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
52 void mainLoop(SessionManager sessionManager, int port, SessionManagerGUI gui) throws IOException,
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
53 SocketException, ClosedChannelException {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
54 this.gui = gui;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
55 manager = sessionManager;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
56 receive_port = port;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
57 serverInit();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
58 mainLoop();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
59 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
60
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
61 public void mainLoop() throws IOException {
485
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
62 int deadlock = 0;
430
03ab374605a6 Test program termination.
one
parents: 420
diff changeset
63 while(running){
399
19705f4b8015 waitingCommandInMerge
one
parents: 391
diff changeset
64 manager.checkWaitingCommandInMerge();
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
65 if (checkInputEvent() ||
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
66 checkWaitingWrite()) {
420
5c95a9020e31 Modify ServerMainLoop
one
parents: 412
diff changeset
67 continue;
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
68 // try to do fair execution for waiting task
420
5c95a9020e31 Modify ServerMainLoop
one
parents: 412
diff changeset
69 //if(selector.selectNow() > 0) select();
5c95a9020e31 Modify ServerMainLoop
one
parents: 412
diff changeset
70 //continue;
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
71 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
72 // now we can wait for input packet or event
485
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
73 if (deadlock++>1000) deadlockDetected();
462
d295e84c5e03 slow merge won't work. select time out.
one
parents: 461
diff changeset
74 selector.select(1);
485
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
75 if (select()) deadlock=0;
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
76 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
77 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
78
485
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
79 public void deadlockDetected() throws IOException {
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
80 }
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
81
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
82 void serverInit() throws IOException, SocketException,
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
83 ClosedChannelException {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
84 selector = REPSelector.<REPCommand>create();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
85 REPServerSocketChannel<REPCommand> ssc = REPServerSocketChannel.<REPCommand>open(new REPCommandPacker());
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
86 ssc.configureBlocking(false); // Selector requires this
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
87 ssc.socket().setReuseAddress(true); //reuse address 必須
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
88 //getAllByNameで取れた全てのアドレスに対してbindする
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
89 try {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
90 ssc.socket().bind(new InetSocketAddress("::",receive_port));
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
91 } catch (SocketException e) {
391
one@firefly.cr.ie.u-ryukyu.ac.jp
parents: 390
diff changeset
92 // for some IPv6 implementation
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
93 ssc.socket().bind(new InetSocketAddress(receive_port));
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
94 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
95 ssc.register(selector, SelectionKey.OP_ACCEPT,null);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
96 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
97
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
98 private boolean checkInputEvent() {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
99 SessionManagerEvent e;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
100 if((e = waitingEventQueue.poll())!=null){
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
101 e.exec(manager);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
102 return true;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
103 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
104 return false;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
105 }
430
03ab374605a6 Test program termination.
one
parents: 420
diff changeset
106
03ab374605a6 Test program termination.
one
parents: 420
diff changeset
107 public void serverStop() {
03ab374605a6 Test program termination.
one
parents: 420
diff changeset
108 running = false;
03ab374605a6 Test program termination.
one
parents: 420
diff changeset
109 selector.wakeup();
03ab374605a6 Test program termination.
one
parents: 420
diff changeset
110 }
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
111
411
795ef563f2a0 add commnets
one
parents: 401
diff changeset
112 /**
795ef563f2a0 add commnets
one
parents: 401
diff changeset
113 * To avoid dead locks, we write a command one at a time
795ef563f2a0 add commnets
one
parents: 401
diff changeset
114 * during select().
795ef563f2a0 add commnets
one
parents: 401
diff changeset
115 * @return
795ef563f2a0 add commnets
one
parents: 401
diff changeset
116 * @throws IOException
795ef563f2a0 add commnets
one
parents: 401
diff changeset
117 */
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
118 private boolean checkWaitingWrite() throws IOException {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
119 PacketSet p = writeQueue.poll();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
120 if (p!=null) {
458
c22f6833d736 synchronize Editor's waiting queue and Manager's writing queue
one
parents: 450
diff changeset
121 sendLog(p);
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
122 p.channel.write(p.command);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
123 return true;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
124 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
125 return false;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
126 }
458
c22f6833d736 synchronize Editor's waiting queue and Manager's writing queue
one
parents: 450
diff changeset
127 /**
411
795ef563f2a0 add commnets
one
parents: 401
diff changeset
128 * Debug message
795ef563f2a0 add commnets
one
parents: 401
diff changeset
129 * @param p
795ef563f2a0 add commnets
one
parents: 401
diff changeset
130 */
401
2cf5392b2a9f add INSERT_USER, DELETE_USER
one
parents: 399
diff changeset
131 private void sendLog(PacketSet p) {
2cf5392b2a9f add INSERT_USER, DELETE_USER
one
parents: 399
diff changeset
132 REPNode to;
2cf5392b2a9f add INSERT_USER, DELETE_USER
one
parents: 399
diff changeset
133 String s;
458
c22f6833d736 synchronize Editor's waiting queue and Manager's writing queue
one
parents: 450
diff changeset
134 to = p.channel; // manager.editorList.editorByChannel(p.channel.channel);
401
2cf5392b2a9f add INSERT_USER, DELETE_USER
one
parents: 399
diff changeset
135 if (to==null)
2cf5392b2a9f add INSERT_USER, DELETE_USER
one
parents: 399
diff changeset
136 s = p.channel.toString();
2cf5392b2a9f add INSERT_USER, DELETE_USER
one
parents: 399
diff changeset
137 else
2cf5392b2a9f add INSERT_USER, DELETE_USER
one
parents: 399
diff changeset
138 s = to.toString();
2cf5392b2a9f add INSERT_USER, DELETE_USER
one
parents: 399
diff changeset
139 logger.writeLog("writing: "+p.command+" to: " + s);
2cf5392b2a9f add INSERT_USER, DELETE_USER
one
parents: 399
diff changeset
140 }
2cf5392b2a9f add INSERT_USER, DELETE_USER
one
parents: 399
diff changeset
141
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
142
399
19705f4b8015 waitingCommandInMerge
one
parents: 391
diff changeset
143 public void close(REPSocketChannel<REPCommand> channel) {
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
144 REPSelectionKey<REPCommand>key = channel.keyFor1(selector);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
145 REPNode handler = (REPNode)key.attachment();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
146 key.cancel();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
147 handler.cancel(channel);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
148 // we have to remove session/editor
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
149 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
150
411
795ef563f2a0 add commnets
one
parents: 401
diff changeset
151 /**
795ef563f2a0 add commnets
one
parents: 401
diff changeset
152 * Main Select routing
795ef563f2a0 add commnets
one
parents: 401
diff changeset
153 * check incoming connection request and incoming packet
795ef563f2a0 add commnets
one
parents: 401
diff changeset
154 * A request is handled by a handler object which is attached
795ef563f2a0 add commnets
one
parents: 401
diff changeset
155 * to the SelectionKey.
485
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
156 * @return
411
795ef563f2a0 add commnets
one
parents: 401
diff changeset
157 * @throws IOException
795ef563f2a0 add commnets
one
parents: 401
diff changeset
158 */
485
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
159 private boolean select() throws IOException {
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
160 boolean flag = false;
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
161 Set<REPSelectionKey<REPCommand>> keys = selector.selectedKeys1();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
162 for(REPSelectionKey<REPCommand> key : keys){
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
163 if(key.isAcceptable()){
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
164 /*
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
165 * Incoming connection. We don't know which, editor or
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
166 * session manager. Assign FirstConnector to distinguish.
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
167 */
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
168 REPSocketChannel<REPCommand> channel = key.accept(new REPCommandPacker());
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
169 logger.writeLog("SessionManager.select() : key.isAcceptable : channel = " + channel);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
170 registerChannel(channel, new FirstConnector(manager,channel));
485
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
171 flag = true;
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
172 } else if(key.isReadable()){
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
173 /*
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
174 * Incoming packets are handled by a various forwarder.
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
175 * A handler throw IOException() in case of a trouble to
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
176 * close the channel.
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
177 */
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
178 REPNode handler = (REPNode)key.attachment();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
179 try {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
180 REPCommand command = key.channel1().read();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
181 handler.handle(command, key);
485
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
182 flag = true;
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
183 } catch (IOException e) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
184 key.cancel();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
185 handler.cancel(key.channel1());
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
186 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
187 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
188 }
485
cc262a519b8a add dead lock detection (don't forget remove )
one
parents: 462
diff changeset
189 return flag;
390
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
190 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
191
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
192 public void registerChannel(REPSocketChannel<REPCommand> channel, REPNode handler) throws IOException {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
193 if(channel == null) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
194 return;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
195 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
196 // handler.setChannel(channel);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
197 channel.configureBlocking(false);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
198 channel.register(selector, SelectionKey.OP_READ, handler);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
199 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
200
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
201 public void setMyHostName(String localHostName) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
202 myHost = localHostName + receive_port;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
203 setHostToEditor(myHost);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
204 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
205
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
206 public String myHost() {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
207 return myHost;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
208 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
209
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
210 private void setHostToEditor(String myHost2) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
211 for(REPNode editor : manager.editorList.values()){
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
212 if (editor.channel!=null)
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
213 editor.setHost(myHost2);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
214 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
215 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
216
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
217
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
218 public void buttonPressed(SessionManagerEvent event) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
219 try {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
220 waitingEventQueue.put(event);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
221 } catch (InterruptedException e) {}
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
222 selector.wakeup();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
223 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
224
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
225 public void syncExec(SessionManagerEvent event) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
226 try {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
227 waitingEventQueue.put(event);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
228 } catch (InterruptedException e) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
229 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
230 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
231
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
232 public void addWriteQueue(PacketSet packetSet) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
233 writeQueue.addLast(packetSet);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
234 assert(writeQueue.size()<SessionManager.packetLimit) ;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
235 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
236
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
237 public void setParentPort(int port) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
238 parent_port = port;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
239 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
240
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
241 public int getParentPort() {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
242 return parent_port;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
243 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
244
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
245 public int getPort() {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
246 return receive_port;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
247 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
248
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
249 public void execAfterConnect(SessionManagerEvent sessionManagerEvent) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
250 execAfterConnect = sessionManagerEvent;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
251 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
252
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
253 public void afterConnect() {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
254 SessionManagerEvent e = execAfterConnect;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
255 execAfterConnect = null;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
256 if (e!=null) e.exec(manager);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
257 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
258
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
259 void removeChannel(SessionManager sessionManager, REPNode channel) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
260 REPSelectionKey<REPCommand> key = channel.channel.keyFor1(selector);
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
261 key.cancel();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
262 try {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
263 channel.channel.close1();
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
264 } catch (IOException e) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
265 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
266 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
267
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
268 public String toString() {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
269 return ""+myHost+":"+receive_port;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
270 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
271
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
272
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
273 public void setGUI(SessionManagerGUI gui) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
274 this.gui = gui;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
275 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
276
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
277 public void setManager(SessionManager sessionManager) {
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
278 manager = sessionManager;
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
279 }
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
280
one@firefly.cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
281 }