blob: 23f3a8e8be34fe508c867dd790613fdf519b4982 [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."""
210 request, client_address = self.get_request()
211 if self.verify_request(request, client_address):
212 try:
213 self.process_request(request, client_address)
214 except:
215 self.handle_error(request, client_address)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000216
217 def get_request(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000218 """Get the request and client address from the socket.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000219
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000220 May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000221
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000222 """
223 return self.socket.accept()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000224
225 def verify_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000226 """Verify the request. May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000227
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000228 Return true if we should proceed with this request.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000229
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000230 """
231 return 1
Guido van Rossume7e578f1995-08-04 04:00:20 +0000232
233 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000234 """Call finish_request.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000235
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000236 Overridden by ForkingMixIn and ThreadingMixIn.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000237
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000238 """
239 self.finish_request(request, client_address)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000240
241 def finish_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000242 """Finish one request by instantiating RequestHandlerClass."""
243 self.RequestHandlerClass(request, client_address, self)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000244
245 def handle_error(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000246 """Handle an error gracefully. May be overridden.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000247
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000248 The default is to print a traceback and continue.
Guido van Rossume7e578f1995-08-04 04:00:20 +0000249
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000250 """
251 print '-'*40
252 print 'Exception happened during processing of request from',
253 print client_address
254 import traceback
255 traceback.print_exc()
256 print '-'*40
Guido van Rossume7e578f1995-08-04 04:00:20 +0000257
258
259class UDPServer(TCPServer):
260
261 """UDP server class."""
262
263 socket_type = socket.SOCK_DGRAM
264
265 max_packet_size = 8192
266
267 def get_request(self):
Guido van Rossum32490821998-06-16 02:27:33 +0000268 data, client_addr = self.socket.recvfrom(self.max_packet_size)
269 return (data, self.socket), client_addr
270
271 def server_activate(self):
272 # No need to call listen() for UDP.
273 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000274
275
Guido van Rossume7e578f1995-08-04 04:00:20 +0000276class ForkingMixIn:
277
278 """Mix-in class to handle each request in a new process."""
279
280 active_children = None
281
282 def collect_children(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000283 """Internal routine to wait for died children."""
284 while self.active_children:
285 pid, status = os.waitpid(0, os.WNOHANG)
286 if not pid: break
287 self.active_children.remove(pid)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000288
289 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000290 """Fork a new subprocess to process the request."""
291 self.collect_children()
292 pid = os.fork()
293 if pid:
294 # Parent process
295 if self.active_children is None:
296 self.active_children = []
297 self.active_children.append(pid)
298 return
299 else:
300 # Child process.
301 # This must never return, hence os._exit()!
302 try:
303 self.finish_request(request, client_address)
304 os._exit(0)
305 except:
306 try:
307 self.handle_error(request,
308 client_address)
309 finally:
310 os._exit(1)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000311
312
313class ThreadingMixIn:
314
315 """Mix-in class to handle each request in a new thread."""
316
317 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000318 """Start a new thread to process the request."""
319 import thread
320 thread.start_new_thread(self.finish_request,
321 (request, client_address))
Guido van Rossume7e578f1995-08-04 04:00:20 +0000322
323
324class ForkingUDPServer(ForkingMixIn, UDPServer): pass
325class ForkingTCPServer(ForkingMixIn, TCPServer): pass
326
327class ThreadingUDPServer(ThreadingMixIn, UDPServer): pass
328class ThreadingTCPServer(ThreadingMixIn, TCPServer): pass
329
Guido van Rossum67a40e81998-11-30 15:07:01 +0000330if hasattr(socket, 'AF_UNIX'):
331
332 class UnixStreamServer(TCPServer):
333 address_family = socket.AF_UNIX
334
335 class UnixDatagramServer(UDPServer):
336 address_family = socket.AF_UNIX
337
338 class ThreadingUnixStreamServer(ThreadingMixIn, UnixStreamServer): pass
339
340 class ThreadingUnixDatagramServer(ThreadingMixIn, UnixDatagramServer): pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000341
342class BaseRequestHandler:
343
344 """Base class for request handler classes.
345
346 This class is instantiated for each request to be handled. The
347 constructor sets the instance variables request, client_address
348 and server, and then calls the handle() method. To implement a
349 specific service, all you need to do is to derive a class which
350 defines a handle() method.
351
352 The handle() method can find the request as self.request, the
Guido van Rossumfdb3d1a1998-11-16 19:06:30 +0000353 client address as self.client_address, and the server (in case it
Guido van Rossume7e578f1995-08-04 04:00:20 +0000354 needs access to per-server information) as self.server. Since a
355 separate instance is created for each request, the handle() method
356 can define arbitrary other instance variariables.
357
358 """
359
360 def __init__(self, request, client_address, server):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000361 self.request = request
362 self.client_address = client_address
363 self.server = server
364 try:
365 self.setup()
366 self.handle()
367 self.finish()
368 finally:
369 sys.exc_traceback = None # Help garbage collection
Guido van Rossume7e578f1995-08-04 04:00:20 +0000370
371 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000372 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000373
374 def __del__(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000375 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000376
377 def handle(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000378 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000379
380 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000381 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000382
383
384# The following two classes make it possible to use the same service
385# class for stream or datagram servers.
386# Each class sets up these instance variables:
387# - rfile: a file object from which receives the request is read
388# - wfile: a file object to which the reply is written
389# When the handle() method returns, wfile is flushed properly
390
391
392class StreamRequestHandler(BaseRequestHandler):
393
394 """Define self.rfile and self.wfile for stream sockets."""
395
396 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000397 self.connection = self.request
398 self.rfile = self.connection.makefile('rb', 0)
399 self.wfile = self.connection.makefile('wb', 0)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000400
401 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000402 self.wfile.flush()
Guido van Rossum1d5102c1998-04-03 16:49:52 +0000403 self.wfile.close()
404 self.rfile.close()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000405
406
407class DatagramRequestHandler(BaseRequestHandler):
408
409 """Define self.rfile and self.wfile for datagram sockets."""
410
411 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000412 import StringIO
413 self.packet, self.socket = self.request
414 self.rfile = StringIO.StringIO(self.packet)
415 self.wfile = StringIO.StringIO(self.packet)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000416
417 def finish(self):
Guido van Rossum32490821998-06-16 02:27:33 +0000418 self.socket.sendto(self.wfile.getvalue(), self.client_address)