blob: 170696fb83cd023fa60654d88af7e1b46a070b40 [file] [log] [blame]
Guido van Rossume7e578f1995-08-04 04:00:20 +00001"""Generic socket server classes.
2
3This module tries to capture the various aspects of defining a server:
4
Guido van Rossum90cb9062001-01-19 00:44:41 +00005For socket-based servers:
6
Guido van Rossume7e578f1995-08-04 04:00:20 +00007- address family:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00008 - AF_INET: IP (Internet Protocol) sockets (default)
9 - AF_UNIX: Unix domain sockets
10 - others, e.g. AF_DECNET are conceivable (see <socket.h>
Guido van Rossume7e578f1995-08-04 04:00:20 +000011- socket type:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000012 - SOCK_STREAM (reliable stream, e.g. TCP)
13 - SOCK_DGRAM (datagrams, e.g. UDP)
Guido van Rossum90cb9062001-01-19 00:44:41 +000014
15For request-based servers (including socket-based):
16
Guido van Rossume7e578f1995-08-04 04:00:20 +000017- client address verification before further looking at the request
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000018 (This is actually a hook for any processing that needs to look
19 at the request before anything else, e.g. logging)
Guido van Rossume7e578f1995-08-04 04:00:20 +000020- how to handle multiple requests:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000021 - synchronous (one request is handled at a time)
22 - forking (each request is handled by a new process)
23 - threading (each request is handled by a new thread)
Guido van Rossume7e578f1995-08-04 04:00:20 +000024
25The classes in this module favor the server type that is simplest to
26write: a synchronous TCP/IP server. This is bad class design, but
27save some typing. (There's also the issue that a deep class hierarchy
28slows down method lookups.)
29
Guido van Rossum90cb9062001-01-19 00:44:41 +000030There are five classes in an inheritance diagram, four of which represent
Guido van Rossume7e578f1995-08-04 04:00:20 +000031synchronous servers of four types:
32
Guido van Rossum90cb9062001-01-19 00:44:41 +000033 +------------+
34 | BaseServer |
35 +------------+
36 |
37 v
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000038 +-----------+ +------------------+
39 | TCPServer |------->| UnixStreamServer |
40 +-----------+ +------------------+
41 |
42 v
43 +-----------+ +--------------------+
44 | UDPServer |------->| UnixDatagramServer |
45 +-----------+ +--------------------+
Guido van Rossume7e578f1995-08-04 04:00:20 +000046
Guido van Rossumdb2b70c1997-07-16 16:21:38 +000047Note that UnixDatagramServer derives from UDPServer, not from
Guido van Rossume7e578f1995-08-04 04:00:20 +000048UnixStreamServer -- the only difference between an IP and a Unix
49stream server is the address family, which is simply repeated in both
Guido van Rossumdb2b70c1997-07-16 16:21:38 +000050unix server classes.
Guido van Rossume7e578f1995-08-04 04:00:20 +000051
52Forking and threading versions of each type of server can be created
53using the ForkingServer and ThreadingServer mix-in classes. For
54instance, a threading UDP server class is created as follows:
55
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000056 class ThreadingUDPServer(ThreadingMixIn, UDPServer): pass
Guido van Rossume7e578f1995-08-04 04:00:20 +000057
Guido van Rossumdb2b70c1997-07-16 16:21:38 +000058The Mix-in class must come first, since it overrides a method defined
59in UDPServer!
Guido van Rossume7e578f1995-08-04 04:00:20 +000060
61To implement a service, you must derive a class from
62BaseRequestHandler and redefine its handle() method. You can then run
63various versions of the service by combining one of the server classes
64with your request handler class.
65
66The request handler class must be different for datagram or stream
67services. This can be hidden by using the mix-in request handler
68classes StreamRequestHandler or DatagramRequestHandler.
69
70Of course, you still have to use your head!
71
72For instance, it makes no sense to use a forking server if the service
73contains state in memory that can be modified by requests (since the
74modifications in the child process would never reach the initial state
75kept in the parent process and passed to each child). In this case,
76you can use a threading server, but you will probably have to use
77locks to avoid two requests that come in nearly simultaneous to apply
78conflicting changes to the server state.
79
80On the other hand, if you are building e.g. an HTTP server, where all
81data is stored externally (e.g. in the file system), a synchronous
82class will essentially render the service "deaf" while one request is
83being handled -- which may be for a very long time if a client is slow
84to reqd all the data it has requested. Here a threading or forking
85server is appropriate.
86
87In some cases, it may be appropriate to process part of a request
88synchronously, but to finish processing in a forked child depending on
89the request data. This can be implemented by using a synchronous
Guido van Rossum90cb9062001-01-19 00:44:41 +000090server and doing an explicit fork in the request handler class
Guido van Rossume7e578f1995-08-04 04:00:20 +000091handle() method.
92
93Another approach to handling multiple simultaneous requests in an
94environment that supports neither threads nor fork (or where these are
95too expensive or inappropriate for the service) is to maintain an
96explicit table of partially finished requests and to use select() to
97decide which request to work on next (or whether to handle a new
98incoming request). This is particularly important for stream services
99where each client can potentially be connected for a long time (if
Guido van Rossum90cb9062001-01-19 00:44:41 +0000100threads or subprocesses cannot be used).
Guido van Rossume7e578f1995-08-04 04:00:20 +0000101
102Future work:
103- Standard classes for Sun RPC (which uses either UDP or TCP)
104- Standard mix-in classes to implement various authentication
105 and encryption schemes
106- Standard framework for select-based multiplexing
107
108XXX Open problems:
109- What to do with out-of-band data?
110
Guido van Rossum90cb9062001-01-19 00:44:41 +0000111BaseServer:
112- split generic "request" functionality out into BaseServer class.
113 Copyright (C) 2000 Luke Kenneth Casson Leighton <lkcl@samba.org>
114
115 example: read entries from a SQL database (requires overriding
116 get_request() to return a table entry from the database).
117 entry is processed by a RequestHandlerClass.
118
Guido van Rossume7e578f1995-08-04 04:00:20 +0000119"""
120
121
122__version__ = "0.2"
123
124
125import socket
126import sys
127import os
128
129
Guido van Rossum90cb9062001-01-19 00:44:41 +0000130class BaseServer:
131
132 """Base class for server classes.
133
134 Methods for the caller:
135
136 - __init__(server_address, RequestHandlerClass)
137 - serve_forever()
138 - handle_request() # if you do not use serve_forever()
139 - fileno() -> int # for select()
140
141 Methods that may be overridden:
142
143 - server_bind()
144 - server_activate()
145 - get_request() -> request, client_address
146 - verify_request(request, client_address)
147 - server_close()
148 - process_request(request, client_address)
149 - handle_error()
150
151 Methods for derived classes:
152
153 - finish_request(request, client_address)
154
155 Class variables that may be overridden by derived classes or
156 instances:
157
158 - address_family
159 - socket_type
160 - reuse_address
161
162 Instance variables:
163
164 - RequestHandlerClass
165 - socket
166
167 """
168
169 def __init__(self, server_address, RequestHandlerClass):
170 """Constructor. May be extended, do not override."""
171 self.server_address = server_address
172 self.RequestHandlerClass = RequestHandlerClass
173
174 def server_activate(self):
175 """Called by constructor to activate the server.
176
177 May be overridden.
178
179 """
180 pass
181
182 def serve_forever(self):
183 """Handle one request at a time until doomsday."""
184 while 1:
185 self.handle_request()
186
187 # The distinction between handling, getting, processing and
188 # finishing a request is fairly arbitrary. Remember:
189 #
190 # - handle_request() is the top-level call. It calls
191 # get_request(), verify_request() and process_request()
192 # - get_request() is different for stream or datagram sockets
193 # - process_request() is the place that may fork a new process
194 # or create a new thread to finish the request
195 # - finish_request() instantiates the request handler class;
196 # this constructor will handle the request all by itself
197
198 def handle_request(self):
199 """Handle one request, possibly blocking."""
200 try:
201 request, client_address = self.get_request()
202 except socket.error:
203 return
204 if self.verify_request(request, client_address):
205 try:
206 self.process_request(request, client_address)
207 except:
208 self.handle_error(request, client_address)
209
210 def verify_request(self, request, client_address):
211 """Verify the request. May be overridden.
212
213 Return true if we should proceed with this request.
214
215 """
216 return 1
217
218 def process_request(self, request, client_address):
219 """Call finish_request.
220
221 Overridden by ForkingMixIn and ThreadingMixIn.
222
223 """
224 self.finish_request(request, client_address)
225
226 def server_close(self):
227 """Called to clean-up the server.
228
229 May be overridden.
230
231 """
232 pass
233
234 def finish_request(self, request, client_address):
235 """Finish one request by instantiating RequestHandlerClass."""
236 self.RequestHandlerClass(request, client_address, self)
237
238 def handle_error(self, request, client_address):
239 """Handle an error gracefully. May be overridden.
240
241 The default is to print a traceback and continue.
242
243 """
244 print '-'*40
245 print 'Exception happened during processing of request from',
246 print client_address
247 import traceback
248 traceback.print_exc() # XXX But this goes to stderr!
249 print '-'*40
250
251
252class TCPServer(BaseServer):
Guido van Rossume7e578f1995-08-04 04:00:20 +0000253
254 """Base class for various socket-based server classes.
255
256 Defaults to synchronous IP stream (i.e., TCP).
257
258 Methods for the caller:
259
260 - __init__(server_address, RequestHandlerClass)
261 - serve_forever()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000262 - handle_request() # if you don't use serve_forever()
263 - fileno() -> int # for select()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000264
265 Methods that may be overridden:
266
267 - server_bind()
268 - server_activate()
269 - get_request() -> request, client_address
270 - verify_request(request, client_address)
271 - process_request(request, client_address)
272 - handle_error()
273
274 Methods for derived classes:
275
276 - finish_request(request, client_address)
277
278 Class variables that may be overridden by derived classes or
279 instances:
280
281 - address_family
282 - socket_type
283 - request_queue_size (only for stream sockets)
Guido van Rossume3c7a5f2000-05-09 14:53:29 +0000284 - reuse_address
Guido van Rossume7e578f1995-08-04 04:00:20 +0000285
286 Instance variables:
287
288 - server_address
289 - RequestHandlerClass
290 - socket
291
292 """
293
294 address_family = socket.AF_INET
295
296 socket_type = socket.SOCK_STREAM
297
298 request_queue_size = 5
299
Guido van Rossum90cb9062001-01-19 00:44:41 +0000300 allow_reuse_address = 0
Guido van Rossume3c7a5f2000-05-09 14:53:29 +0000301
Guido van Rossume7e578f1995-08-04 04:00:20 +0000302 def __init__(self, server_address, RequestHandlerClass):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000303 """Constructor. May be extended, do not override."""
Guido van Rossum90cb9062001-01-19 00:44:41 +0000304 BaseServer.__init__(self, server_address, RequestHandlerClass)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000305 self.socket = socket.socket(self.address_family,
306 self.socket_type)
307 self.server_bind()
308 self.server_activate()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000309
310 def server_bind(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000311 """Called by constructor to bind the socket.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000312
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000313 May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000314
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000315 """
Guido van Rossume3c7a5f2000-05-09 14:53:29 +0000316 if self.allow_reuse_address:
317 self.socket.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000318 self.socket.bind(self.server_address)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000319
320 def server_activate(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000321 """Called by constructor to activate the server.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000322
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000323 May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000324
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000325 """
326 self.socket.listen(self.request_queue_size)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000327
Guido van Rossum90cb9062001-01-19 00:44:41 +0000328 def server_close(self):
329 """Called to clean-up the server.
330
331 May be overridden.
332
333 """
334 self.socket.close()
335
Guido van Rossume7e578f1995-08-04 04:00:20 +0000336 def fileno(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000337 """Return socket file number.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000338
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000339 Interface required by select().
Guido van Rossume7e578f1995-08-04 04:00:20 +0000340
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000341 """
342 return self.socket.fileno()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000343
Guido van Rossume7e578f1995-08-04 04:00:20 +0000344 def get_request(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000345 """Get the request and client address from the socket.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000346
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000347 May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000348
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000349 """
350 return self.socket.accept()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000351
Guido van Rossume7e578f1995-08-04 04:00:20 +0000352
353class UDPServer(TCPServer):
354
355 """UDP server class."""
356
Guido van Rossum90cb9062001-01-19 00:44:41 +0000357 allow_reuse_address = 0
358
Guido van Rossume7e578f1995-08-04 04:00:20 +0000359 socket_type = socket.SOCK_DGRAM
360
361 max_packet_size = 8192
362
363 def get_request(self):
Guido van Rossum32490821998-06-16 02:27:33 +0000364 data, client_addr = self.socket.recvfrom(self.max_packet_size)
365 return (data, self.socket), client_addr
366
367 def server_activate(self):
368 # No need to call listen() for UDP.
369 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000370
371
Guido van Rossume7e578f1995-08-04 04:00:20 +0000372class ForkingMixIn:
373
374 """Mix-in class to handle each request in a new process."""
375
376 active_children = None
Guido van Rossum2ab455a1999-07-28 21:39:28 +0000377 max_children = 40
Guido van Rossume7e578f1995-08-04 04:00:20 +0000378
379 def collect_children(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000380 """Internal routine to wait for died children."""
381 while self.active_children:
Guido van Rossum2ab455a1999-07-28 21:39:28 +0000382 if len(self.active_children) < self.max_children:
383 options = os.WNOHANG
384 else:
385 # If the maximum number of children are already
386 # running, block while waiting for a child to exit
387 options = 0
Guido van Rossumbfadac01999-06-17 15:41:33 +0000388 try:
Guido van Rossum2ab455a1999-07-28 21:39:28 +0000389 pid, status = os.waitpid(0, options)
Guido van Rossumbfadac01999-06-17 15:41:33 +0000390 except os.error:
391 pid = None
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000392 if not pid: break
393 self.active_children.remove(pid)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000394
395 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000396 """Fork a new subprocess to process the request."""
397 self.collect_children()
398 pid = os.fork()
399 if pid:
400 # Parent process
401 if self.active_children is None:
402 self.active_children = []
403 self.active_children.append(pid)
404 return
405 else:
406 # Child process.
407 # This must never return, hence os._exit()!
408 try:
Guido van Rossum90cb9062001-01-19 00:44:41 +0000409 self.server_close()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000410 self.finish_request(request, client_address)
411 os._exit(0)
412 except:
413 try:
414 self.handle_error(request,
415 client_address)
416 finally:
417 os._exit(1)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000418
419
420class ThreadingMixIn:
Guido van Rossume7e578f1995-08-04 04:00:20 +0000421 """Mix-in class to handle each request in a new thread."""
422
423 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000424 """Start a new thread to process the request."""
Jeremy Hylton75260271999-10-12 16:20:13 +0000425 import threading
426 t = threading.Thread(target = self.finish_request,
427 args = (request, client_address))
428 t.start()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000429
430
431class ForkingUDPServer(ForkingMixIn, UDPServer): pass
432class ForkingTCPServer(ForkingMixIn, TCPServer): pass
433
434class ThreadingUDPServer(ThreadingMixIn, UDPServer): pass
435class ThreadingTCPServer(ThreadingMixIn, TCPServer): pass
436
Guido van Rossum67a40e81998-11-30 15:07:01 +0000437if hasattr(socket, 'AF_UNIX'):
438
439 class UnixStreamServer(TCPServer):
440 address_family = socket.AF_UNIX
441
442 class UnixDatagramServer(UDPServer):
443 address_family = socket.AF_UNIX
444
445 class ThreadingUnixStreamServer(ThreadingMixIn, UnixStreamServer): pass
446
447 class ThreadingUnixDatagramServer(ThreadingMixIn, UnixDatagramServer): pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000448
449class BaseRequestHandler:
450
451 """Base class for request handler classes.
452
453 This class is instantiated for each request to be handled. The
454 constructor sets the instance variables request, client_address
455 and server, and then calls the handle() method. To implement a
456 specific service, all you need to do is to derive a class which
457 defines a handle() method.
458
459 The handle() method can find the request as self.request, the
Guido van Rossumfdb3d1a1998-11-16 19:06:30 +0000460 client address as self.client_address, and the server (in case it
Guido van Rossume7e578f1995-08-04 04:00:20 +0000461 needs access to per-server information) as self.server. Since a
462 separate instance is created for each request, the handle() method
463 can define arbitrary other instance variariables.
464
465 """
466
467 def __init__(self, request, client_address, server):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000468 self.request = request
469 self.client_address = client_address
470 self.server = server
471 try:
472 self.setup()
473 self.handle()
474 self.finish()
475 finally:
476 sys.exc_traceback = None # Help garbage collection
Guido van Rossume7e578f1995-08-04 04:00:20 +0000477
478 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000479 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000480
481 def __del__(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000482 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000483
484 def handle(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000485 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000486
487 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000488 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000489
490
491# The following two classes make it possible to use the same service
492# class for stream or datagram servers.
493# Each class sets up these instance variables:
494# - rfile: a file object from which receives the request is read
495# - wfile: a file object to which the reply is written
496# When the handle() method returns, wfile is flushed properly
497
498
499class StreamRequestHandler(BaseRequestHandler):
500
501 """Define self.rfile and self.wfile for stream sockets."""
502
Guido van Rossum01fed4d2000-09-01 03:25:14 +0000503 # Default buffer sizes for rfile, wfile.
504 # We default rfile to buffered because otherwise it could be
505 # really slow for large data (a getc() call per byte); we make
506 # wfile unbuffered because (a) often after a write() we want to
507 # read and we need to flush the line; (b) big writes to unbuffered
508 # files are typically optimized by stdio even when big reads
509 # aren't.
510 rbufsize = -1
511 wbufsize = 0
512
Guido van Rossume7e578f1995-08-04 04:00:20 +0000513 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000514 self.connection = self.request
Guido van Rossum01fed4d2000-09-01 03:25:14 +0000515 self.rfile = self.connection.makefile('rb', self.rbufsize)
516 self.wfile = self.connection.makefile('wb', self.wbufsize)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000517
518 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000519 self.wfile.flush()
Guido van Rossum1d5102c1998-04-03 16:49:52 +0000520 self.wfile.close()
521 self.rfile.close()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000522
523
524class DatagramRequestHandler(BaseRequestHandler):
525
526 """Define self.rfile and self.wfile for datagram sockets."""
527
528 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000529 import StringIO
530 self.packet, self.socket = self.request
531 self.rfile = StringIO.StringIO(self.packet)
532 self.wfile = StringIO.StringIO(self.packet)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000533
534 def finish(self):
Guido van Rossum32490821998-06-16 02:27:33 +0000535 self.socket.sendto(self.wfile.getvalue(), self.client_address)