blob: 82bc8fb7a28479bb1ec8fa7ddc6da19f21a6f8bb [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
5- address family:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00006 - AF_INET: IP (Internet Protocol) sockets (default)
7 - AF_UNIX: Unix domain sockets
8 - others, e.g. AF_DECNET are conceivable (see <socket.h>
Guido van Rossume7e578f1995-08-04 04:00:20 +00009- socket type:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000010 - SOCK_STREAM (reliable stream, e.g. TCP)
11 - SOCK_DGRAM (datagrams, e.g. UDP)
Guido van Rossume7e578f1995-08-04 04:00:20 +000012- client address verification before further looking at the request
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000013 (This is actually a hook for any processing that needs to look
14 at the request before anything else, e.g. logging)
Guido van Rossume7e578f1995-08-04 04:00:20 +000015- how to handle multiple requests:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000016 - synchronous (one request is handled at a time)
17 - forking (each request is handled by a new process)
18 - threading (each request is handled by a new thread)
Guido van Rossume7e578f1995-08-04 04:00:20 +000019
20The classes in this module favor the server type that is simplest to
21write: a synchronous TCP/IP server. This is bad class design, but
22save some typing. (There's also the issue that a deep class hierarchy
23slows down method lookups.)
24
25There are four classes in an inheritance diagram that represent
26synchronous servers of four types:
27
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000028 +-----------+ +------------------+
29 | TCPServer |------->| UnixStreamServer |
30 +-----------+ +------------------+
31 |
32 v
33 +-----------+ +--------------------+
34 | UDPServer |------->| UnixDatagramServer |
35 +-----------+ +--------------------+
Guido van Rossume7e578f1995-08-04 04:00:20 +000036
Guido van Rossumdb2b70c1997-07-16 16:21:38 +000037Note that UnixDatagramServer derives from UDPServer, not from
Guido van Rossume7e578f1995-08-04 04:00:20 +000038UnixStreamServer -- the only difference between an IP and a Unix
39stream server is the address family, which is simply repeated in both
Guido van Rossumdb2b70c1997-07-16 16:21:38 +000040unix server classes.
Guido van Rossume7e578f1995-08-04 04:00:20 +000041
42Forking and threading versions of each type of server can be created
43using the ForkingServer and ThreadingServer mix-in classes. For
44instance, a threading UDP server class is created as follows:
45
Guido van Rossum45e2fbc1998-03-26 21:13:24 +000046 class ThreadingUDPServer(ThreadingMixIn, UDPServer): pass
Guido van Rossume7e578f1995-08-04 04:00:20 +000047
Guido van Rossumdb2b70c1997-07-16 16:21:38 +000048The Mix-in class must come first, since it overrides a method defined
49in UDPServer!
Guido van Rossume7e578f1995-08-04 04:00:20 +000050
51To implement a service, you must derive a class from
52BaseRequestHandler and redefine its handle() method. You can then run
53various versions of the service by combining one of the server classes
54with your request handler class.
55
56The request handler class must be different for datagram or stream
57services. This can be hidden by using the mix-in request handler
58classes StreamRequestHandler or DatagramRequestHandler.
59
60Of course, you still have to use your head!
61
62For instance, it makes no sense to use a forking server if the service
63contains state in memory that can be modified by requests (since the
64modifications in the child process would never reach the initial state
65kept in the parent process and passed to each child). In this case,
66you can use a threading server, but you will probably have to use
67locks to avoid two requests that come in nearly simultaneous to apply
68conflicting changes to the server state.
69
70On the other hand, if you are building e.g. an HTTP server, where all
71data is stored externally (e.g. in the file system), a synchronous
72class will essentially render the service "deaf" while one request is
73being handled -- which may be for a very long time if a client is slow
74to reqd all the data it has requested. Here a threading or forking
75server is appropriate.
76
77In some cases, it may be appropriate to process part of a request
78synchronously, but to finish processing in a forked child depending on
79the request data. This can be implemented by using a synchronous
80server and doing an explicit fork in the request handler class's
81handle() method.
82
83Another approach to handling multiple simultaneous requests in an
84environment that supports neither threads nor fork (or where these are
85too expensive or inappropriate for the service) is to maintain an
86explicit table of partially finished requests and to use select() to
87decide which request to work on next (or whether to handle a new
88incoming request). This is particularly important for stream services
89where each client can potentially be connected for a long time (if
90threads or subprocesses can't be used).
91
92Future work:
93- Standard classes for Sun RPC (which uses either UDP or TCP)
94- Standard mix-in classes to implement various authentication
95 and encryption schemes
96- Standard framework for select-based multiplexing
97
98XXX Open problems:
99- What to do with out-of-band data?
100
101"""
102
103
104__version__ = "0.2"
105
106
107import socket
108import sys
109import os
110
111
112class TCPServer:
113
114 """Base class for various socket-based server classes.
115
116 Defaults to synchronous IP stream (i.e., TCP).
117
118 Methods for the caller:
119
120 - __init__(server_address, RequestHandlerClass)
121 - serve_forever()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000122 - handle_request() # if you don't use serve_forever()
123 - fileno() -> int # for select()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000124
125 Methods that may be overridden:
126
127 - server_bind()
128 - server_activate()
129 - get_request() -> request, client_address
130 - verify_request(request, client_address)
131 - process_request(request, client_address)
132 - handle_error()
133
134 Methods for derived classes:
135
136 - finish_request(request, client_address)
137
138 Class variables that may be overridden by derived classes or
139 instances:
140
141 - address_family
142 - socket_type
143 - request_queue_size (only for stream sockets)
144
145 Instance variables:
146
147 - server_address
148 - RequestHandlerClass
149 - socket
150
151 """
152
153 address_family = socket.AF_INET
154
155 socket_type = socket.SOCK_STREAM
156
157 request_queue_size = 5
158
159 def __init__(self, server_address, RequestHandlerClass):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000160 """Constructor. May be extended, do not override."""
161 self.server_address = server_address
162 self.RequestHandlerClass = RequestHandlerClass
163 self.socket = socket.socket(self.address_family,
164 self.socket_type)
165 self.server_bind()
166 self.server_activate()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000167
168 def server_bind(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000169 """Called by constructor to bind the socket.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000170
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000171 May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000172
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000173 """
174 self.socket.bind(self.server_address)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000175
176 def server_activate(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000177 """Called by constructor to activate the server.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000178
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000179 May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000180
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000181 """
182 self.socket.listen(self.request_queue_size)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000183
184 def fileno(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000185 """Return socket file number.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000186
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000187 Interface required by select().
Guido van Rossume7e578f1995-08-04 04:00:20 +0000188
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000189 """
190 return self.socket.fileno()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000191
192 def serve_forever(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000193 """Handle one request at a time until doomsday."""
194 while 1:
195 self.handle_request()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000196
197 # The distinction between handling, getting, processing and
198 # finishing a request is fairly arbitrary. Remember:
199 #
200 # - handle_request() is the top-level call. It calls
201 # get_request(), verify_request() and process_request()
202 # - get_request() is different for stream or datagram sockets
203 # - process_request() is the place that may fork a new process
204 # or create a new thread to finish the request
205 # - finish_request() instantiates the request handler class;
206 # this constructor will handle the request all by itself
207
208 def handle_request(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000209 """Handle one request, possibly blocking."""
Guido van Rossumf2f05941999-06-15 22:25:32 +0000210 try:
211 request, client_address = self.get_request()
212 except socket.error:
213 return
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000214 if self.verify_request(request, client_address):
215 try:
216 self.process_request(request, client_address)
217 except:
218 self.handle_error(request, client_address)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000219
220 def get_request(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000221 """Get the request and client address from the socket.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000222
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000223 May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000224
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000225 """
226 return self.socket.accept()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000227
228 def verify_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000229 """Verify the request. May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000230
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000231 Return true if we should proceed with this request.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000232
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000233 """
234 return 1
Guido van Rossume7e578f1995-08-04 04:00:20 +0000235
236 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000237 """Call finish_request.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000238
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000239 Overridden by ForkingMixIn and ThreadingMixIn.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000240
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000241 """
242 self.finish_request(request, client_address)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000243
244 def finish_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000245 """Finish one request by instantiating RequestHandlerClass."""
246 self.RequestHandlerClass(request, client_address, self)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000247
248 def handle_error(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000249 """Handle an error gracefully. May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000250
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000251 The default is to print a traceback and continue.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000252
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000253 """
254 print '-'*40
255 print 'Exception happened during processing of request from',
256 print client_address
257 import traceback
258 traceback.print_exc()
259 print '-'*40
Guido van Rossume7e578f1995-08-04 04:00:20 +0000260
261
262class UDPServer(TCPServer):
263
264 """UDP server class."""
265
266 socket_type = socket.SOCK_DGRAM
267
268 max_packet_size = 8192
269
270 def get_request(self):
Guido van Rossum32490821998-06-16 02:27:33 +0000271 data, client_addr = self.socket.recvfrom(self.max_packet_size)
272 return (data, self.socket), client_addr
273
274 def server_activate(self):
275 # No need to call listen() for UDP.
276 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000277
278
Guido van Rossume7e578f1995-08-04 04:00:20 +0000279class ForkingMixIn:
280
281 """Mix-in class to handle each request in a new process."""
282
283 active_children = None
284
285 def collect_children(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000286 """Internal routine to wait for died children."""
287 while self.active_children:
Guido van Rossumbfadac01999-06-17 15:41:33 +0000288 try:
289 pid, status = os.waitpid(0, os.WNOHANG)
290 except os.error:
291 pid = None
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000292 if not pid: break
293 self.active_children.remove(pid)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000294
295 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000296 """Fork a new subprocess to process the request."""
297 self.collect_children()
298 pid = os.fork()
299 if pid:
300 # Parent process
301 if self.active_children is None:
302 self.active_children = []
303 self.active_children.append(pid)
304 return
305 else:
306 # Child process.
307 # This must never return, hence os._exit()!
308 try:
Guido van Rossum198e7ca1999-06-01 18:58:34 +0000309 self.socket.close()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000310 self.finish_request(request, client_address)
311 os._exit(0)
312 except:
313 try:
314 self.handle_error(request,
315 client_address)
316 finally:
317 os._exit(1)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000318
319
320class ThreadingMixIn:
321
322 """Mix-in class to handle each request in a new thread."""
323
324 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000325 """Start a new thread to process the request."""
326 import thread
327 thread.start_new_thread(self.finish_request,
328 (request, client_address))
Guido van Rossume7e578f1995-08-04 04:00:20 +0000329
330
331class ForkingUDPServer(ForkingMixIn, UDPServer): pass
332class ForkingTCPServer(ForkingMixIn, TCPServer): pass
333
334class ThreadingUDPServer(ThreadingMixIn, UDPServer): pass
335class ThreadingTCPServer(ThreadingMixIn, TCPServer): pass
336
Guido van Rossum67a40e81998-11-30 15:07:01 +0000337if hasattr(socket, 'AF_UNIX'):
338
339 class UnixStreamServer(TCPServer):
340 address_family = socket.AF_UNIX
341
342 class UnixDatagramServer(UDPServer):
343 address_family = socket.AF_UNIX
344
345 class ThreadingUnixStreamServer(ThreadingMixIn, UnixStreamServer): pass
346
347 class ThreadingUnixDatagramServer(ThreadingMixIn, UnixDatagramServer): pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000348
349class BaseRequestHandler:
350
351 """Base class for request handler classes.
352
353 This class is instantiated for each request to be handled. The
354 constructor sets the instance variables request, client_address
355 and server, and then calls the handle() method. To implement a
356 specific service, all you need to do is to derive a class which
357 defines a handle() method.
358
359 The handle() method can find the request as self.request, the
Guido van Rossumfdb3d1a1998-11-16 19:06:30 +0000360 client address as self.client_address, and the server (in case it
Guido van Rossume7e578f1995-08-04 04:00:20 +0000361 needs access to per-server information) as self.server. Since a
362 separate instance is created for each request, the handle() method
363 can define arbitrary other instance variariables.
364
365 """
366
367 def __init__(self, request, client_address, server):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000368 self.request = request
369 self.client_address = client_address
370 self.server = server
371 try:
372 self.setup()
373 self.handle()
374 self.finish()
375 finally:
376 sys.exc_traceback = None # Help garbage collection
Guido van Rossume7e578f1995-08-04 04:00:20 +0000377
378 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000379 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000380
381 def __del__(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000382 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000383
384 def handle(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000385 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000386
387 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000388 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000389
390
391# The following two classes make it possible to use the same service
392# class for stream or datagram servers.
393# Each class sets up these instance variables:
394# - rfile: a file object from which receives the request is read
395# - wfile: a file object to which the reply is written
396# When the handle() method returns, wfile is flushed properly
397
398
399class StreamRequestHandler(BaseRequestHandler):
400
401 """Define self.rfile and self.wfile for stream sockets."""
402
403 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000404 self.connection = self.request
405 self.rfile = self.connection.makefile('rb', 0)
406 self.wfile = self.connection.makefile('wb', 0)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000407
408 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000409 self.wfile.flush()
Guido van Rossum1d5102c1998-04-03 16:49:52 +0000410 self.wfile.close()
411 self.rfile.close()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000412
413
414class DatagramRequestHandler(BaseRequestHandler):
415
416 """Define self.rfile and self.wfile for datagram sockets."""
417
418 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000419 import StringIO
420 self.packet, self.socket = self.request
421 self.rfile = StringIO.StringIO(self.packet)
422 self.wfile = StringIO.StringIO(self.packet)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000423
424 def finish(self):
Guido van Rossum32490821998-06-16 02:27:33 +0000425 self.socket.sendto(self.wfile.getvalue(), self.client_address)