annotate rep/ServerMainLoop.java @ 491:5945266c970d

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