blob: 2c7335698be2de814910a808ec86985d929f42b9 [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
Guido van Rossum2ab455a1999-07-28 21:39:28 +0000284 max_children = 40
Guido van Rossume7e578f1995-08-04 04:00:20 +0000285
286 def collect_children(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000287 """Internal routine to wait for died children."""
288 while self.active_children:
Guido van Rossum2ab455a1999-07-28 21:39:28 +0000289 if len(self.active_children) < self.max_children:
290 options = os.WNOHANG
291 else:
292 # If the maximum number of children are already
293 # running, block while waiting for a child to exit
294 options = 0
Guido van Rossumbfadac01999-06-17 15:41:33 +0000295 try:
Guido van Rossum2ab455a1999-07-28 21:39:28 +0000296 pid, status = os.waitpid(0, options)
Guido van Rossumbfadac01999-06-17 15:41:33 +0000297 except os.error:
298 pid = None
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000299 if not pid: break
300 self.active_children.remove(pid)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000301
302 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000303 """Fork a new subprocess to process the request."""
304 self.collect_children()
305 pid = os.fork()
306 if pid:
307 # Parent process
308 if self.active_children is None:
309 self.active_children = []
310 self.active_children.append(pid)
311 return
312 else:
313 # Child process.
314 # This must never return, hence os._exit()!
315 try:
Guido van Rossum198e7ca1999-06-01 18:58:34 +0000316 self.socket.close()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000317 self.finish_request(request, client_address)
318 os._exit(0)
319 except:
320 try:
321 self.handle_error(request,
322 client_address)
323 finally:
324 os._exit(1)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000325
326
327class ThreadingMixIn:
Guido van Rossume7e578f1995-08-04 04:00:20 +0000328 """Mix-in class to handle each request in a new thread."""
329
330 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000331 """Start a new thread to process the request."""
Jeremy Hylton75260271999-10-12 16:20:13 +0000332 import threading
333 t = threading.Thread(target = self.finish_request,
334 args = (request, client_address))
335 t.start()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000336
337
338class ForkingUDPServer(ForkingMixIn, UDPServer): pass
339class ForkingTCPServer(ForkingMixIn, TCPServer): pass
340
341class ThreadingUDPServer(ThreadingMixIn, UDPServer): pass
342class ThreadingTCPServer(ThreadingMixIn, TCPServer): pass
343
Guido van Rossum67a40e81998-11-30 15:07:01 +0000344if hasattr(socket, 'AF_UNIX'):
345
346 class UnixStreamServer(TCPServer):
347 address_family = socket.AF_UNIX
348
349 class UnixDatagramServer(UDPServer):
350 address_family = socket.AF_UNIX
351
352 class ThreadingUnixStreamServer(ThreadingMixIn, UnixStreamServer): pass
353
354 class ThreadingUnixDatagramServer(ThreadingMixIn, UnixDatagramServer): pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000355
356class BaseRequestHandler:
357
358 """Base class for request handler classes.
359
360 This class is instantiated for each request to be handled. The
361 constructor sets the instance variables request, client_address
362 and server, and then calls the handle() method. To implement a
363 specific service, all you need to do is to derive a class which
364 defines a handle() method.
365
366 The handle() method can find the request as self.request, the
Guido van Rossumfdb3d1a1998-11-16 19:06:30 +0000367 client address as self.client_address, and the server (in case it
Guido van Rossume7e578f1995-08-04 04:00:20 +0000368 needs access to per-server information) as self.server. Since a
369 separate instance is created for each request, the handle() method
370 can define arbitrary other instance variariables.
371
372 """
373
374 def __init__(self, request, client_address, server):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000375 self.request = request
376 self.client_address = client_address
377 self.server = server
378 try:
379 self.setup()
380 self.handle()
381 self.finish()
382 finally:
383 sys.exc_traceback = None # Help garbage collection
Guido van Rossume7e578f1995-08-04 04:00:20 +0000384
385 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000386 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000387
388 def __del__(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000389 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000390
391 def handle(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000392 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000393
394 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000395 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000396
397
398# The following two classes make it possible to use the same service
399# class for stream or datagram servers.
400# Each class sets up these instance variables:
401# - rfile: a file object from which receives the request is read
402# - wfile: a file object to which the reply is written
403# When the handle() method returns, wfile is flushed properly
404
405
406class StreamRequestHandler(BaseRequestHandler):
407
408 """Define self.rfile and self.wfile for stream sockets."""
409
410 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000411 self.connection = self.request
412 self.rfile = self.connection.makefile('rb', 0)
413 self.wfile = self.connection.makefile('wb', 0)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000414
415 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000416 self.wfile.flush()
Guido van Rossum1d5102c1998-04-03 16:49:52 +0000417 self.wfile.close()
418 self.rfile.close()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000419
420
421class DatagramRequestHandler(BaseRequestHandler):
422
423 """Define self.rfile and self.wfile for datagram sockets."""
424
425 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000426 import StringIO
427 self.packet, self.socket = self.request
428 self.rfile = StringIO.StringIO(self.packet)
429 self.wfile = StringIO.StringIO(self.packet)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000430
431 def finish(self):
Guido van Rossum32490821998-06-16 02:27:33 +0000432 self.socket.sendto(self.wfile.getvalue(), self.client_address)