blob: 64a86d11c1905d017d7a7701bb3ed5e98293074d [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 Rossum45e2fbc1998-03-26 21:13:24 +0000268 return self.socket.recvfrom(self.max_packet_size)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000269
270
271if hasattr(socket, 'AF_UNIX'):
272
273 class UnixStreamServer(TCPServer):
274
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000275 address_family = socket.AF_UNIX
Guido van Rossume7e578f1995-08-04 04:00:20 +0000276
277
278 class UnixDatagramServer(UDPServer):
279
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000280 address_family = socket.AF_UNIX
Guido van Rossume7e578f1995-08-04 04:00:20 +0000281
282
283class ForkingMixIn:
284
285 """Mix-in class to handle each request in a new process."""
286
287 active_children = None
288
289 def collect_children(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000290 """Internal routine to wait for died children."""
291 while self.active_children:
292 pid, status = os.waitpid(0, os.WNOHANG)
293 if not pid: break
294 self.active_children.remove(pid)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000295
296 def process_request(self, request, client_address):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000297 """Fork a new subprocess to process the request."""
298 self.collect_children()
299 pid = os.fork()
300 if pid:
301 # Parent process
302 if self.active_children is None:
303 self.active_children = []
304 self.active_children.append(pid)
305 return
306 else:
307 # Child process.
308 # This must never return, hence os._exit()!
309 try:
310 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
337
338class BaseRequestHandler:
339
340 """Base class for request handler classes.
341
342 This class is instantiated for each request to be handled. The
343 constructor sets the instance variables request, client_address
344 and server, and then calls the handle() method. To implement a
345 specific service, all you need to do is to derive a class which
346 defines a handle() method.
347
348 The handle() method can find the request as self.request, the
349 client address as self.client_request, and the server (in case it
350 needs access to per-server information) as self.server. Since a
351 separate instance is created for each request, the handle() method
352 can define arbitrary other instance variariables.
353
354 """
355
356 def __init__(self, request, client_address, server):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000357 self.request = request
358 self.client_address = client_address
359 self.server = server
360 try:
361 self.setup()
362 self.handle()
363 self.finish()
364 finally:
365 sys.exc_traceback = None # Help garbage collection
Guido van Rossume7e578f1995-08-04 04:00:20 +0000366
367 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000368 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000369
370 def __del__(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000371 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000372
373 def handle(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000374 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000375
376 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000377 pass
Guido van Rossume7e578f1995-08-04 04:00:20 +0000378
379
380# The following two classes make it possible to use the same service
381# class for stream or datagram servers.
382# Each class sets up these instance variables:
383# - rfile: a file object from which receives the request is read
384# - wfile: a file object to which the reply is written
385# When the handle() method returns, wfile is flushed properly
386
387
388class StreamRequestHandler(BaseRequestHandler):
389
390 """Define self.rfile and self.wfile for stream sockets."""
391
392 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000393 self.connection = self.request
394 self.rfile = self.connection.makefile('rb', 0)
395 self.wfile = self.connection.makefile('wb', 0)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000396
397 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000398 self.wfile.flush()
Guido van Rossume7e578f1995-08-04 04:00:20 +0000399
400
401class DatagramRequestHandler(BaseRequestHandler):
402
403 """Define self.rfile and self.wfile for datagram sockets."""
404
405 def setup(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000406 import StringIO
407 self.packet, self.socket = self.request
408 self.rfile = StringIO.StringIO(self.packet)
409 self.wfile = StringIO.StringIO(self.packet)
Guido van Rossume7e578f1995-08-04 04:00:20 +0000410
411 def finish(self):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000412 self.socket.send(self.wfile.getvalue())