Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 1 | """ |
| 2 | OpenFlow Test Framework |
| 3 | |
| 4 | Controller class |
| 5 | |
| 6 | Provide the interface to the control channel to the switch under test. |
| 7 | |
| 8 | Class inherits from thread so as to run in background allowing |
| 9 | asynchronous callbacks (if needed, not required). Also supports |
| 10 | polling. |
| 11 | |
| 12 | The controller thread maintains a queue. Incoming messages that |
| 13 | are not handled by a callback function are placed in this queue for |
| 14 | poll calls. |
| 15 | |
| 16 | Callbacks and polling support specifying the message type |
| 17 | |
| 18 | @todo Support transaction semantics via xid |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 19 | @todo Support select and listen on an administrative socket (or |
| 20 | use a timeout to support clean shutdown). |
| 21 | |
| 22 | Currently only one connection is accepted during the life of |
| 23 | the controller. There seems |
| 24 | to be no clean way to interrupt an accept call. Using select that also listens |
| 25 | on an administrative socket and can shut down the socket might work. |
| 26 | |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 27 | """ |
| 28 | |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 29 | import os |
| 30 | import socket |
| 31 | import time |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 32 | from threading import Thread |
| 33 | from threading import Lock |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 34 | from threading import Condition |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 35 | from message import * |
Dan Talayco | e37999f | 2010-02-09 15:27:12 -0800 | [diff] [blame] | 36 | from parse import * |
Dan Talayco | d7e2dbe | 2010-02-13 21:51:15 -0800 | [diff] [blame] | 37 | from ofutils import * |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 38 | # For some reason, it seems select to be last (or later). |
| 39 | # Otherwise get an attribute error when calling select.select |
| 40 | import select |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 41 | import logging |
| 42 | |
| 43 | ##@todo Find a better home for these identifiers (controller) |
Glen Gibb | 741b118 | 2010-07-08 16:43:58 -0700 | [diff] [blame] | 44 | RCV_SIZE_DEFAULT = 32768 |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 45 | LISTEN_QUEUE_SIZE = 1 |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 46 | |
| 47 | class Controller(Thread): |
| 48 | """ |
| 49 | Class abstracting the control interface to the switch. |
| 50 | |
| 51 | For receiving messages, two mechanism will be implemented. First, |
| 52 | query the interface with poll. Second, register to have a |
| 53 | function called by message type. The callback is passed the |
| 54 | message type as well as the raw packet (or message object) |
| 55 | |
| 56 | One of the main purposes of this object is to translate between network |
| 57 | and host byte order. 'Above' this object, things should be in host |
| 58 | byte order. |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 59 | |
| 60 | @todo Consider using SocketServer for listening socket |
| 61 | @todo Test transaction code |
| 62 | |
| 63 | @var rcv_size The receive size to use for receive calls |
| 64 | @var max_pkts The max size of the receive queue |
| 65 | @var keep_alive If true, listen for echo requests and respond w/ |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 66 | @var keep_alive If true, listen for echo requests and respond w/ |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 67 | echo replies |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 68 | @var initial_hello If true, will send a hello message immediately |
| 69 | upon connecting to the switch |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 70 | @var exit_on_reset If true, terminate controller on connection reset |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 71 | @var host The host to use for connect |
| 72 | @var port The port to connect on |
| 73 | @var packets_total Total number of packets received |
| 74 | @var packets_expired Number of packets popped from queue as queue full |
| 75 | @var packets_handled Number of packets handled by something |
Dan Talayco | d7e2dbe | 2010-02-13 21:51:15 -0800 | [diff] [blame] | 76 | @var dbg_state Debug indication of state |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 77 | """ |
| 78 | |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 79 | def __init__(self, host='127.0.0.1', port=6633, max_pkts=1024): |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 80 | Thread.__init__(self) |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 81 | # Socket related |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 82 | self.rcv_size = RCV_SIZE_DEFAULT |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 83 | self.listen_socket = None |
| 84 | self.switch_socket = None |
| 85 | self.switch_addr = None |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 86 | self.socs = [] |
| 87 | self.connect_cv = Condition() |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 88 | self.message_cv = Condition() |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 89 | |
| 90 | # Counters |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 91 | self.socket_errors = 0 |
| 92 | self.parse_errors = 0 |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 93 | self.packets_total = 0 |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 94 | self.packets_expired = 0 |
| 95 | self.packets_handled = 0 |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 96 | self.poll_discards = 0 |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 97 | |
| 98 | # State |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 99 | self.packets = [] |
| 100 | self.sync = Lock() |
| 101 | self.handlers = {} |
| 102 | self.keep_alive = False |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 103 | self.active = True |
| 104 | self.initial_hello = True |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 105 | self.exit_on_reset = True |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 106 | |
| 107 | # Settings |
| 108 | self.max_pkts = max_pkts |
| 109 | self.passive = True |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 110 | self.host = host |
| 111 | self.port = port |
Dan Talayco | d7e2dbe | 2010-02-13 21:51:15 -0800 | [diff] [blame] | 112 | self.dbg_state = "init" |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 113 | self.logger = logging.getLogger("controller") |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 114 | |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 115 | # Transaction and message type waiting variables |
| 116 | # xid_cv: Condition variable (semaphore) for packet waiters |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 117 | # xid: Transaction ID being waited on |
| 118 | # xid_response: Transaction response message |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 119 | # expect_msg: Is a message being waited on |
| 120 | # expect_msg_cv: Semaphore for waiters |
| 121 | # expect_msg_type: Type of message expected |
| 122 | # expect_msg_response: Result passed through here |
| 123 | |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 124 | self.xid_cv = Condition() |
| 125 | self.xid = None |
| 126 | self.xid_response = None |
| 127 | |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 128 | self.expect_msg = False |
| 129 | self.expect_msg_cv = Condition() |
| 130 | self.expect_msg_type = None |
| 131 | self.expect_msg_response = None |
Rob Sherwood | e3e452a | 2012-03-06 09:24:26 -0800 | [diff] [blame] | 132 | self.buffered_input = "" |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 133 | |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 134 | def _pkt_handle(self, pkt): |
| 135 | """ |
| 136 | Check for all packet handling conditions |
| 137 | |
| 138 | Parse and verify message |
| 139 | Check if XID matches something waiting |
| 140 | Check if message is being expected for a poll operation |
| 141 | Check if keep alive is on and message is an echo request |
| 142 | Check if any registered handler wants the packet |
| 143 | Enqueue if none of those conditions is met |
| 144 | |
| 145 | an echo request in case keep_alive is true, followed by |
| 146 | registered message handlers. |
Glen Gibb | 6d46706 | 2010-07-08 16:15:08 -0700 | [diff] [blame] | 147 | @param pkt The raw packet (string) which may contain multiple OF msgs |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 148 | """ |
Rob Sherwood | e3e452a | 2012-03-06 09:24:26 -0800 | [diff] [blame] | 149 | |
| 150 | # snag any left over data from last read() |
| 151 | pkt = self.buffered_input + pkt |
| 152 | self.buffered_input = "" |
| 153 | |
Glen Gibb | 6d46706 | 2010-07-08 16:15:08 -0700 | [diff] [blame] | 154 | # Process each of the OF msgs inside the pkt |
| 155 | offset = 0 |
| 156 | while offset < len(pkt): |
| 157 | # Parse the header to get type |
| 158 | hdr = of_header_parse(pkt[offset:]) |
| 159 | if not hdr: |
| 160 | self.logger.info("Could not parse header, pkt len", len(pkt)) |
| 161 | self.parse_errors += 1 |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 162 | return |
Glen Gibb | 6d46706 | 2010-07-08 16:15:08 -0700 | [diff] [blame] | 163 | if hdr.length == 0: |
| 164 | self.logger.info("Header length is zero") |
| 165 | self.parse_errors += 1 |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 166 | return |
| 167 | |
Glen Gibb | 6d46706 | 2010-07-08 16:15:08 -0700 | [diff] [blame] | 168 | # Extract the raw message bytes |
Ed Swierk | 836e5bd | 2012-03-20 11:08:53 -0700 | [diff] [blame] | 169 | if (offset + hdr.length) > len(pkt): |
Rob Sherwood | e3e452a | 2012-03-06 09:24:26 -0800 | [diff] [blame] | 170 | break |
Glen Gibb | 6d46706 | 2010-07-08 16:15:08 -0700 | [diff] [blame] | 171 | rawmsg = pkt[offset : offset + hdr.length] |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 172 | |
Glen Gibb | 6d46706 | 2010-07-08 16:15:08 -0700 | [diff] [blame] | 173 | self.logger.debug("Msg in: len %d. offset %d. type %s. hdr.len %d" % |
| 174 | (len(pkt), offset, ofp_type_map[hdr.type], hdr.length)) |
Dan Talayco | 4306d3e | 2011-09-07 09:42:26 -0700 | [diff] [blame] | 175 | offset += hdr.length |
Glen Gibb | 6d46706 | 2010-07-08 16:15:08 -0700 | [diff] [blame] | 176 | if hdr.version != OFP_VERSION: |
| 177 | self.logger.error("Version %d does not match OFTest version %d" |
| 178 | % (hdr.version, OFP_VERSION)) |
| 179 | print "Version %d does not match OFTest version %d" % \ |
| 180 | (hdr.version, OFP_VERSION) |
| 181 | self.active = False |
| 182 | self.switch_socket = None |
| 183 | self.kill() |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 184 | |
Glen Gibb | 6d46706 | 2010-07-08 16:15:08 -0700 | [diff] [blame] | 185 | msg = of_message_parse(rawmsg) |
| 186 | if not msg: |
| 187 | self.parse_errors += 1 |
| 188 | self.logger.warn("Could not parse message") |
| 189 | continue |
| 190 | |
| 191 | self.sync.acquire() |
| 192 | |
| 193 | # Check if transaction is waiting |
| 194 | self.xid_cv.acquire() |
| 195 | if self.xid: |
| 196 | if hdr.xid == self.xid: |
| 197 | self.logger.debug("Matched expected XID " + str(hdr.xid)) |
| 198 | self.xid_response = (msg, rawmsg) |
| 199 | self.xid = None |
| 200 | self.xid_cv.notify() |
| 201 | self.xid_cv.release() |
| 202 | self.sync.release() |
| 203 | continue |
| 204 | self.xid_cv.release() |
| 205 | |
| 206 | # PREVENT QUEUE ACCESS AT THIS POINT? |
| 207 | # Check if anyone waiting on this type of message |
| 208 | self.expect_msg_cv.acquire() |
| 209 | if self.expect_msg: |
| 210 | if not self.expect_msg_type or (self.expect_msg_type == hdr.type): |
root | 2843d2b | 2012-04-06 10:27:46 -0700 | [diff] [blame] | 211 | self.logger.debug("Matched msg; type %s. expected %s " % |
| 212 | (ofp_type_map[hdr.type], |
Howard Persh | c00c747 | 2012-04-09 15:49:07 -0700 | [diff] [blame^] | 213 | str(self.expect_msg_type))) |
Glen Gibb | 6d46706 | 2010-07-08 16:15:08 -0700 | [diff] [blame] | 214 | self.expect_msg_response = (msg, rawmsg) |
| 215 | self.expect_msg = False |
| 216 | self.expect_msg_cv.notify() |
| 217 | self.expect_msg_cv.release() |
| 218 | self.sync.release() |
| 219 | continue |
| 220 | self.expect_msg_cv.release() |
| 221 | |
| 222 | # Check if keep alive is set; if so, respond to echo requests |
| 223 | if self.keep_alive: |
| 224 | if hdr.type == OFPT_ECHO_REQUEST: |
| 225 | self.sync.release() |
| 226 | self.logger.debug("Responding to echo request") |
| 227 | rep = echo_reply() |
| 228 | rep.header.xid = hdr.xid |
| 229 | # Ignoring additional data |
| 230 | self.message_send(rep.pack(), zero_xid=True) |
| 231 | continue |
| 232 | |
| 233 | # Now check for message handlers; preference is given to |
| 234 | # handlers for a specific packet |
| 235 | handled = False |
| 236 | if hdr.type in self.handlers.keys(): |
| 237 | handled = self.handlers[hdr.type](self, msg, rawmsg) |
| 238 | if not handled and ("all" in self.handlers.keys()): |
| 239 | handled = self.handlers["all"](self, msg, rawmsg) |
| 240 | |
| 241 | if not handled: # Not handled, enqueue |
| 242 | self.logger.debug("Enqueuing pkt type " + ofp_type_map[hdr.type]) |
| 243 | if len(self.packets) >= self.max_pkts: |
| 244 | self.packets.pop(0) |
| 245 | self.packets_expired += 1 |
| 246 | self.packets.append((msg, rawmsg)) |
| 247 | self.packets_total += 1 |
| 248 | else: |
| 249 | self.packets_handled += 1 |
| 250 | self.logger.debug("Message handled by callback") |
| 251 | |
| 252 | self.sync.release() |
Rob Sherwood | e3e452a | 2012-03-06 09:24:26 -0800 | [diff] [blame] | 253 | # end of 'while offset < len(pkt)' |
| 254 | # note that if offset = len(pkt), this is |
| 255 | # appends a harmless empty string |
| 256 | self.buffered_input += pkt[offset:] |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 257 | |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 258 | def _socket_ready_handle(self, s): |
| 259 | """ |
| 260 | Handle an input-ready socket |
| 261 | @param s The socket object that is ready |
| 262 | @retval True, reset the switch connection |
| 263 | """ |
| 264 | |
| 265 | if s == self.listen_socket: |
| 266 | if self.switch_socket: |
Ed Swierk | 0214da2 | 2012-03-19 14:58:02 -0700 | [diff] [blame] | 267 | return False |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 268 | |
| 269 | (self.switch_socket, self.switch_addr) = \ |
| 270 | self.listen_socket.accept() |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 271 | self.logger.info("Got cxn to " + str(self.switch_addr)) |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 272 | # Notify anyone waiting |
| 273 | self.connect_cv.acquire() |
| 274 | self.connect_cv.notify() |
| 275 | self.connect_cv.release() |
| 276 | self.socs.append(self.switch_socket) |
| 277 | if self.initial_hello: |
| 278 | self.message_send(hello()) |
| 279 | elif s == self.switch_socket: |
| 280 | try: |
| 281 | pkt = self.switch_socket.recv(self.rcv_size) |
| 282 | except: |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 283 | self.logger.warning("Error on switch read") |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 284 | return True |
| 285 | |
| 286 | if not self.active: |
| 287 | return False |
| 288 | |
| 289 | if len(pkt) == 0: |
Howard Persh | c00c747 | 2012-04-09 15:49:07 -0700 | [diff] [blame^] | 290 | self.logger.warning("Zero-length switch read") |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 291 | |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 292 | self._pkt_handle(pkt) |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 293 | else: |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 294 | self.logger.error("Unknown socket ready: " + str(s)) |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 295 | return True |
| 296 | |
| 297 | return False |
| 298 | |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 299 | def run(self): |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 300 | """ |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 301 | Activity function for class |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 302 | |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 303 | Assumes connection to switch already exists. Listens on |
| 304 | switch_socket for messages until an error (or zero len pkt) |
| 305 | occurs. |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 306 | |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 307 | When there is a message on the socket, check for handlers; queue the |
| 308 | packet if no one handles the packet. |
| 309 | |
| 310 | See note for controller describing the limitation of a single |
| 311 | connection for now. |
| 312 | """ |
| 313 | |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 314 | self.dbg_state = "starting" |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 315 | |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 316 | # Create listen socket |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 317 | self.logger.info("Create/listen at " + self.host + ":" + |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 318 | str(self.port)) |
| 319 | self.listen_socket = socket.socket(socket.AF_INET, socket.SOCK_STREAM) |
| 320 | self.listen_socket.setsockopt(socket.SOL_SOCKET, |
| 321 | socket.SO_REUSEADDR, 1) |
| 322 | self.listen_socket.bind((self.host, self.port)) |
Dan Talayco | d7e2dbe | 2010-02-13 21:51:15 -0800 | [diff] [blame] | 323 | self.dbg_state = "listening" |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 324 | self.listen_socket.listen(LISTEN_QUEUE_SIZE) |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 325 | |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 326 | self.logger.info("Waiting for switch connection") |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 327 | self.socs = [self.listen_socket] |
| 328 | self.dbg_state = "running" |
| 329 | while self.active: |
| 330 | reset_switch_cxn = False |
| 331 | try: |
| 332 | sel_in, sel_out, sel_err = \ |
| 333 | select.select(self.socs, [], self.socs, 1) |
| 334 | except: |
| 335 | print sys.exc_info() |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 336 | self.logger.error("Select error, exiting") |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 337 | sys.exit(1) |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 338 | |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 339 | if not self.active: |
| 340 | break |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 341 | |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 342 | for s in sel_in: |
| 343 | reset_switch_cxn = self._socket_ready_handle(s) |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 344 | |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 345 | for s in sel_err: |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 346 | self.logger.error("Got socket error on: " + str(s)) |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 347 | if s == self.switch_socket: |
| 348 | reset_switch_cxn = True |
| 349 | else: |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 350 | self.logger.error("Socket error; exiting") |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 351 | self.active = False |
| 352 | break |
| 353 | |
| 354 | if self.active and reset_switch_cxn: |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 355 | if self.exit_on_reset: |
| 356 | self.kill() |
| 357 | else: |
| 358 | self.logger.warning("Closing switch cxn") |
| 359 | try: |
| 360 | self.switch_socket.close() |
| 361 | except: |
| 362 | pass |
| 363 | self.switch_socket = None |
| 364 | self.socs = self.socs[0:1] |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 365 | |
| 366 | # End of main loop |
| 367 | self.dbg_state = "closing" |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 368 | self.logger.info("Exiting controller thread") |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 369 | self.shutdown() |
| 370 | |
| 371 | def connect(self, timeout=None): |
| 372 | """ |
| 373 | Connect to the switch |
| 374 | |
| 375 | @param timeout If None, block until connected. If 0, return |
| 376 | immedidately. Otherwise, block for up to timeout seconds |
| 377 | @return Boolean, True if connected |
| 378 | """ |
| 379 | |
| 380 | if timeout == 0: |
| 381 | return self.switch_socket is not None |
| 382 | if self.switch_socket is not None: |
| 383 | return True |
| 384 | self.connect_cv.acquire() |
| 385 | self.connect_cv.wait(timeout) |
| 386 | self.connect_cv.release() |
| 387 | |
| 388 | return self.switch_socket is not None |
| 389 | |
| 390 | def kill(self): |
| 391 | """ |
| 392 | Force the controller thread to quit |
| 393 | |
| 394 | Just sets the active state variable to false and expects |
| 395 | the select timeout to kick in |
| 396 | """ |
| 397 | self.active = False |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 398 | |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 399 | def shutdown(self): |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 400 | """ |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 401 | Shutdown the controller closing all sockets |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 402 | |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 403 | @todo Might want to synchronize shutdown with self.sync... |
| 404 | """ |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 405 | self.active = False |
| 406 | try: |
| 407 | self.switch_socket.shutdown(socket.SHUT_RDWR) |
| 408 | except: |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 409 | self.logger.info("Ignoring switch soc shutdown error") |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 410 | self.switch_socket = None |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 411 | |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 412 | try: |
| 413 | self.listen_socket.shutdown(socket.SHUT_RDWR) |
| 414 | except: |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 415 | self.logger.info("Ignoring listen soc shutdown error") |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 416 | self.listen_socket = None |
| 417 | self.dbg_state = "down" |
| 418 | |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 419 | def register(self, msg_type, handler): |
| 420 | """ |
| 421 | Register a callback to receive a specific message type. |
| 422 | |
| 423 | Only one handler may be registered for a given message type. |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 424 | |
| 425 | WARNING: A lock is held during the handler call back, so |
| 426 | the handler should not make any blocking calls |
| 427 | |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 428 | @param msg_type The type of message to receive. May be DEFAULT |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 429 | for all non-handled packets. The special type, the string "all" |
| 430 | will send all packets to the handler. |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 431 | @param handler The function to call when a message of the given |
| 432 | type is received. |
| 433 | """ |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 434 | # Should check type is valid |
| 435 | if not handler and msg_type in self.handlers.keys(): |
| 436 | del self.handlers[msg_type] |
| 437 | return |
| 438 | self.handlers[msg_type] = handler |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 439 | |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 440 | def poll(self, exp_msg=None, timeout=None): |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 441 | """ |
| 442 | Wait for the next OF message received from the switch. |
| 443 | |
| 444 | @param exp_msg If set, return only when this type of message |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 445 | is received (unless timeout occurs). |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 446 | @param timeout If None, do not block. Otherwise, sleep in |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 447 | intervals of 1 second until message is received. |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 448 | |
Dan Talayco | d7e2dbe | 2010-02-13 21:51:15 -0800 | [diff] [blame] | 449 | @retval A pair (msg, pkt) where msg is a message object and pkt |
| 450 | the string representing the packet as received from the socket. |
| 451 | This allows additional parsing by the receiver if necessary. |
| 452 | |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 453 | The data members in the message are in host endian order. |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 454 | If an error occurs, (None, None) is returned |
| 455 | |
| 456 | The current queue is searched for a message of the desired type |
| 457 | before sleeping on message in events. |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 458 | """ |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 459 | |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 460 | msg = pkt = None |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 461 | |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 462 | self.logger.debug("Poll for " + ofp_type_map[exp_msg]) |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 463 | # First check the current queue |
| 464 | self.sync.acquire() |
| 465 | if len(self.packets) > 0: |
| 466 | if not exp_msg: |
| 467 | (msg, pkt) = self.packets.pop(0) |
| 468 | self.sync.release() |
| 469 | return (msg, pkt) |
| 470 | else: |
| 471 | for i in range(len(self.packets)): |
| 472 | msg = self.packets[i][0] |
| 473 | if msg.header.type == exp_msg: |
| 474 | (msg, pkt) = self.packets.pop(i) |
| 475 | self.sync.release() |
| 476 | return (msg, pkt) |
| 477 | |
| 478 | # Okay, not currently in the queue |
| 479 | if timeout is None or timeout <= 0: |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 480 | self.sync.release() |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 481 | return (None, None) |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 482 | |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 483 | msg = pkt = None |
| 484 | self.logger.debug("Entering timeout") |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 485 | # Careful of race condition releasing sync before message cv |
Dan Talayco | 90576bd | 2010-02-19 10:59:02 -0800 | [diff] [blame] | 486 | # Also, this style is ripe for a lockup. |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 487 | self.expect_msg_cv.acquire() |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 488 | self.expect_msg_response = None |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 489 | self.expect_msg = True |
| 490 | self.expect_msg_type = exp_msg |
root | 2843d2b | 2012-04-06 10:27:46 -0700 | [diff] [blame] | 491 | self.sync.release() |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 492 | self.expect_msg_cv.wait(timeout) |
| 493 | if self.expect_msg_response is not None: |
| 494 | (msg, pkt) = self.expect_msg_response |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 495 | self.expect_msg_cv.release() |
| 496 | |
| 497 | if msg is None: |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 498 | self.logger.debug("Poll time out") |
| 499 | else: |
| 500 | self.logger.debug("Got msg " + str(msg)) |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 501 | |
| 502 | return (msg, pkt) |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 503 | |
Dan Talayco | d7e2dbe | 2010-02-13 21:51:15 -0800 | [diff] [blame] | 504 | def transact(self, msg, timeout=None, zero_xid=False): |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 505 | """ |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 506 | Run a message transaction with the switch |
Dan Talayco | e37999f | 2010-02-09 15:27:12 -0800 | [diff] [blame] | 507 | |
| 508 | Send the message in msg and wait for a reply with a matching |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 509 | transaction id. Transactions have the highest priority in |
| 510 | received message handling. |
Dan Talayco | e37999f | 2010-02-09 15:27:12 -0800 | [diff] [blame] | 511 | |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 512 | @param msg The message object to send; must not be a string |
| 513 | @param timeout The timeout in seconds (?) |
Dan Talayco | d7e2dbe | 2010-02-13 21:51:15 -0800 | [diff] [blame] | 514 | @param zero_xid Normally, if the XID is 0 an XID will be generated |
| 515 | for the message. Set xero_xid to override this behavior |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 516 | @return The matching message object or None if unsuccessful |
Dan Talayco | e37999f | 2010-02-09 15:27:12 -0800 | [diff] [blame] | 517 | |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 518 | """ |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 519 | |
Dan Talayco | d7e2dbe | 2010-02-13 21:51:15 -0800 | [diff] [blame] | 520 | if not zero_xid and msg.header.xid == 0: |
| 521 | msg.header.xid = gen_xid() |
| 522 | |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 523 | self.xid_cv.acquire() |
| 524 | if self.xid: |
| 525 | self.xid_cv.release() |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 526 | self.logger.error("Can only run one transaction at a time") |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 527 | return None |
| 528 | |
| 529 | self.xid = msg.header.xid |
| 530 | self.xid_response = None |
| 531 | self.message_send(msg.pack()) |
| 532 | self.xid_cv.wait(timeout) |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 533 | if self.xid_response: |
Dan Talayco | 09c2c59 | 2010-05-13 14:21:52 -0700 | [diff] [blame] | 534 | (resp, pkt) = self.xid_response |
Dan Talayco | d12b661 | 2010-03-07 22:00:46 -0800 | [diff] [blame] | 535 | self.xid_response = None |
| 536 | else: |
Dan Talayco | 09c2c59 | 2010-05-13 14:21:52 -0700 | [diff] [blame] | 537 | (resp, pkt) = (None, None) |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 538 | self.xid_cv.release() |
Dan Talayco | 09c2c59 | 2010-05-13 14:21:52 -0700 | [diff] [blame] | 539 | if resp is None: |
| 540 | self.logger.warning("No response for xid " + str(self.xid)) |
| 541 | return (resp, pkt) |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 542 | |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 543 | def message_send(self, msg, zero_xid=False): |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 544 | """ |
| 545 | Send the message to the switch |
Dan Talayco | e37999f | 2010-02-09 15:27:12 -0800 | [diff] [blame] | 546 | |
Dan Talayco | 11c26e7 | 2010-03-07 22:03:57 -0800 | [diff] [blame] | 547 | @param msg A string or OpenFlow message object to be forwarded to |
| 548 | the switch. |
| 549 | @param zero_xid If msg is an OpenFlow object (not a string) and if |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 550 | the XID in the header is 0, then an XID will be generated |
| 551 | for the message. Set xero_xid to override this behavior (and keep an |
| 552 | existing 0 xid) |
Dan Talayco | e37999f | 2010-02-09 15:27:12 -0800 | [diff] [blame] | 553 | |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 554 | @return -1 if error, 0 on success |
Dan Talayco | 3408952 | 2010-02-07 23:07:41 -0800 | [diff] [blame] | 555 | |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 556 | """ |
| 557 | |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 558 | if not self.switch_socket: |
| 559 | # Sending a string indicates the message is ready to go |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 560 | self.logger.info("message_send: no socket") |
Dan Talayco | 1b3f690 | 2010-02-15 14:14:19 -0800 | [diff] [blame] | 561 | return -1 |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 562 | #@todo If not string, try to pack |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 563 | if type(msg) != type(""): |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 564 | try: |
| 565 | if msg.header.xid == 0 and not zero_xid: |
| 566 | msg.header.xid = gen_xid() |
| 567 | outpkt = msg.pack() |
| 568 | except: |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 569 | self.logger.error( |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 570 | "message_send: not an OF message or string?") |
| 571 | return -1 |
| 572 | else: |
| 573 | outpkt = msg |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 574 | |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 575 | self.logger.debug("Sending pkt of len " + str(len(outpkt))) |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 576 | if self.switch_socket.sendall(outpkt) is None: |
| 577 | return 0 |
| 578 | |
Dan Talayco | 4837010 | 2010-03-03 15:17:33 -0800 | [diff] [blame] | 579 | self.logger.error("Unknown error on sendall") |
Dan Talayco | 710438c | 2010-02-18 15:16:07 -0800 | [diff] [blame] | 580 | return -1 |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 581 | |
| 582 | def __str__(self): |
| 583 | string = "Controller:\n" |
Dan Talayco | d7e2dbe | 2010-02-13 21:51:15 -0800 | [diff] [blame] | 584 | string += " state " + self.dbg_state + "\n" |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 585 | string += " switch_addr " + str(self.switch_addr) + "\n" |
| 586 | string += " pending pkts " + str(len(self.packets)) + "\n" |
| 587 | string += " total pkts " + str(self.packets_total) + "\n" |
| 588 | string += " expired pkts " + str(self.packets_expired) + "\n" |
| 589 | string += " handled pkts " + str(self.packets_handled) + "\n" |
Dan Talayco | e226eb1 | 2010-02-18 23:06:30 -0800 | [diff] [blame] | 590 | string += " poll discards " + str(self.poll_discards) + "\n" |
Dan Talayco | 21c75c7 | 2010-02-12 22:59:24 -0800 | [diff] [blame] | 591 | string += " parse errors " + str(self.parse_errors) + "\n" |
| 592 | string += " sock errrors " + str(self.socket_errors) + "\n" |
| 593 | string += " max pkts " + str(self.max_pkts) + "\n" |
| 594 | string += " host " + str(self.host) + "\n" |
| 595 | string += " port " + str(self.port) + "\n" |
| 596 | string += " keep_alive " + str(self.keep_alive) + "\n" |
| 597 | return string |
| 598 | |
| 599 | def show(self): |
| 600 | print str(self) |
| 601 | |
| 602 | def sample_handler(controller, msg, pkt): |
| 603 | """ |
| 604 | Sample message handler |
| 605 | |
| 606 | This is the prototype for functions registered with the controller |
| 607 | class for packet reception |
| 608 | |
| 609 | @param controller The controller calling the handler |
| 610 | @param msg The parsed message object |
| 611 | @param pkt The raw packet that was received on the socket. This is |
| 612 | in case the packet contains extra unparsed data. |
| 613 | @returns Boolean value indicating if the packet was handled. If |
| 614 | not handled, the packet is placed in the queue for pollers to received |
| 615 | """ |
| 616 | pass |