blob: a8eb9532bd12bd555abec29afabbd1e144991e30 [file] [log] [blame]
Georg Brandl8ec7f652007-08-15 14:28:01 +00001
2:mod:`SocketServer` --- A framework for network servers
3=======================================================
4
5.. module:: SocketServer
6 :synopsis: A framework for network servers.
7
8
9The :mod:`SocketServer` module simplifies the task of writing network servers.
10
11There are four basic server classes: :class:`TCPServer` uses the Internet TCP
12protocol, which provides for continuous streams of data between the client and
13server. :class:`UDPServer` uses datagrams, which are discrete packets of
14information that may arrive out of order or be lost while in transit. The more
15infrequently used :class:`UnixStreamServer` and :class:`UnixDatagramServer`
16classes are similar, but use Unix domain sockets; they're not available on
17non-Unix platforms. For more details on network programming, consult a book
18such as
19W. Richard Steven's UNIX Network Programming or Ralph Davis's Win32 Network
20Programming.
21
22These four classes process requests :dfn:`synchronously`; each request must be
23completed before the next request can be started. This isn't suitable if each
24request takes a long time to complete, because it requires a lot of computation,
25or because it returns a lot of data which the client is slow to process. The
26solution is to create a separate process or thread to handle each request; the
27:class:`ForkingMixIn` and :class:`ThreadingMixIn` mix-in classes can be used to
28support asynchronous behaviour.
29
30Creating a server requires several steps. First, you must create a request
31handler class by subclassing the :class:`BaseRequestHandler` class and
32overriding its :meth:`handle` method; this method will process incoming
33requests. Second, you must instantiate one of the server classes, passing it
34the server's address and the request handler class. Finally, call the
35:meth:`handle_request` or :meth:`serve_forever` method of the server object to
36process one or many requests.
37
38When inheriting from :class:`ThreadingMixIn` for threaded connection behavior,
39you should explicitly declare how you want your threads to behave on an abrupt
40shutdown. The :class:`ThreadingMixIn` class defines an attribute
41*daemon_threads*, which indicates whether or not the server should wait for
42thread termination. You should set the flag explicitly if you would like threads
43to behave autonomously; the default is :const:`False`, meaning that Python will
44not exit until all threads created by :class:`ThreadingMixIn` have exited.
45
46Server classes have the same external methods and attributes, no matter what
Andrew M. Kuchlinge45a77a2008-01-19 16:26:13 +000047network protocol they use.
Georg Brandl8ec7f652007-08-15 14:28:01 +000048
49
50Server Creation Notes
51---------------------
52
53There are five classes in an inheritance diagram, four of which represent
54synchronous servers of four types::
55
56 +------------+
57 | BaseServer |
58 +------------+
59 |
60 v
61 +-----------+ +------------------+
62 | TCPServer |------->| UnixStreamServer |
63 +-----------+ +------------------+
64 |
65 v
66 +-----------+ +--------------------+
67 | UDPServer |------->| UnixDatagramServer |
68 +-----------+ +--------------------+
69
70Note that :class:`UnixDatagramServer` derives from :class:`UDPServer`, not from
71:class:`UnixStreamServer` --- the only difference between an IP and a Unix
72stream server is the address family, which is simply repeated in both Unix
73server classes.
74
75Forking and threading versions of each type of server can be created using the
76:class:`ForkingMixIn` and :class:`ThreadingMixIn` mix-in classes. For instance,
77a threading UDP server class is created as follows::
78
79 class ThreadingUDPServer(ThreadingMixIn, UDPServer): pass
80
81The mix-in class must come first, since it overrides a method defined in
82:class:`UDPServer`. Setting the various member variables also changes the
83behavior of the underlying server mechanism.
84
85To implement a service, you must derive a class from :class:`BaseRequestHandler`
86and redefine its :meth:`handle` method. You can then run various versions of
87the service by combining one of the server classes with your request handler
88class. The request handler class must be different for datagram or stream
89services. This can be hidden by using the handler subclasses
90:class:`StreamRequestHandler` or :class:`DatagramRequestHandler`.
91
92Of course, you still have to use your head! For instance, it makes no sense to
93use a forking server if the service contains state in memory that can be
94modified by different requests, since the modifications in the child process
95would never reach the initial state kept in the parent process and passed to
96each child. In this case, you can use a threading server, but you will probably
97have to use locks to protect the integrity of the shared data.
98
99On the other hand, if you are building an HTTP server where all data is stored
100externally (for instance, in the file system), a synchronous class will
101essentially render the service "deaf" while one request is being handled --
102which may be for a very long time if a client is slow to receive all the data it
103has requested. Here a threading or forking server is appropriate.
104
105In some cases, it may be appropriate to process part of a request synchronously,
106but to finish processing in a forked child depending on the request data. This
107can be implemented by using a synchronous server and doing an explicit fork in
108the request handler class :meth:`handle` method.
109
110Another approach to handling multiple simultaneous requests in an environment
111that supports neither threads nor :func:`fork` (or where these are too expensive
112or inappropriate for the service) is to maintain an explicit table of partially
113finished requests and to use :func:`select` to decide which request to work on
114next (or whether to handle a new incoming request). This is particularly
115important for stream services where each client can potentially be connected for
Jeffrey Yasskine75f59a2008-03-07 06:22:15 +0000116a long time (if threads or subprocesses cannot be used). See :mod:`asyncore` for
117another way to manage this.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000118
Georg Brandlb19be572007-12-29 10:57:00 +0000119.. XXX should data and methods be intermingled, or separate?
120 how should the distinction between class and instance variables be drawn?
Georg Brandl8ec7f652007-08-15 14:28:01 +0000121
122
123Server Objects
124--------------
125
126
127.. function:: fileno()
128
129 Return an integer file descriptor for the socket on which the server is
130 listening. This function is most commonly passed to :func:`select.select`, to
131 allow monitoring multiple servers in the same process.
132
133
134.. function:: handle_request()
135
Jeffrey Yasskine75f59a2008-03-07 06:22:15 +0000136 Process a single request. This function calls the following methods in
137 order: :meth:`get_request`, :meth:`verify_request`, and
138 :meth:`process_request`. If the user-provided :meth:`handle` method of the
139 handler class raises an exception, the server's :meth:`handle_error` method
140 will be called. If no request is received within :attr:`self.timeout`
141 seconds, :meth:`handle_timeout` will be called and :meth:`handle_request`
142 will return.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000143
144
Jeffrey Yasskine75f59a2008-03-07 06:22:15 +0000145.. function:: serve_forever(poll_interval=0.5)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000146
Jeffrey Yasskine75f59a2008-03-07 06:22:15 +0000147 Handle requests until an explicit :meth:`shutdown` request. Polls for
148 shutdown every *poll_interval* seconds.
149
150
151.. function:: shutdown()
152
153 Tells the :meth:`serve_forever` loop to stop and waits until it does.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000154
155
156.. data:: address_family
157
158 The family of protocols to which the server's socket belongs.
159 :const:`socket.AF_INET` and :const:`socket.AF_UNIX` are two possible values.
160
161
162.. data:: RequestHandlerClass
163
164 The user-provided request handler class; an instance of this class is created
165 for each request.
166
167
168.. data:: server_address
169
170 The address on which the server is listening. The format of addresses varies
171 depending on the protocol family; see the documentation for the socket module
172 for details. For Internet protocols, this is a tuple containing a string giving
173 the address, and an integer port number: ``('127.0.0.1', 80)``, for example.
174
175
176.. data:: socket
177
178 The socket object on which the server will listen for incoming requests.
179
180The server classes support the following class variables:
181
Georg Brandlb19be572007-12-29 10:57:00 +0000182.. XXX should class variables be covered before instance variables, or vice versa?
Georg Brandl8ec7f652007-08-15 14:28:01 +0000183
184
185.. data:: allow_reuse_address
186
187 Whether the server will allow the reuse of an address. This defaults to
188 :const:`False`, and can be set in subclasses to change the policy.
189
190
191.. data:: request_queue_size
192
193 The size of the request queue. If it takes a long time to process a single
194 request, any requests that arrive while the server is busy are placed into a
195 queue, up to :attr:`request_queue_size` requests. Once the queue is full,
196 further requests from clients will get a "Connection denied" error. The default
197 value is usually 5, but this can be overridden by subclasses.
198
199
200.. data:: socket_type
201
202 The type of socket used by the server; :const:`socket.SOCK_STREAM` and
203 :const:`socket.SOCK_DGRAM` are two possible values.
204
Andrew M. Kuchlinge45a77a2008-01-19 16:26:13 +0000205.. data:: timeout
206
Jeffrey Yasskine75f59a2008-03-07 06:22:15 +0000207 Timeout duration, measured in seconds, or :const:`None` if no timeout is
208 desired. If :meth:`handle_request` receives no incoming requests within the
209 timeout period, the :meth:`handle_timeout` method is called.
Andrew M. Kuchlinge45a77a2008-01-19 16:26:13 +0000210
Georg Brandl8ec7f652007-08-15 14:28:01 +0000211There are various server methods that can be overridden by subclasses of base
212server classes like :class:`TCPServer`; these methods aren't useful to external
213users of the server object.
214
Georg Brandlb19be572007-12-29 10:57:00 +0000215.. XXX should the default implementations of these be documented, or should
216 it be assumed that the user will look at SocketServer.py?
Georg Brandl8ec7f652007-08-15 14:28:01 +0000217
218
219.. function:: finish_request()
220
221 Actually processes the request by instantiating :attr:`RequestHandlerClass` and
222 calling its :meth:`handle` method.
223
224
225.. function:: get_request()
226
227 Must accept a request from the socket, and return a 2-tuple containing the *new*
228 socket object to be used to communicate with the client, and the client's
229 address.
230
231
232.. function:: handle_error(request, client_address)
233
234 This function is called if the :attr:`RequestHandlerClass`'s :meth:`handle`
235 method raises an exception. The default action is to print the traceback to
236 standard output and continue handling further requests.
237
Andrew M. Kuchlinge45a77a2008-01-19 16:26:13 +0000238.. function:: handle_timeout()
239
240 This function is called when the :attr:`timeout` attribute has been set to a
241 value other than :const:`None` and the timeout period has passed with no
242 requests being received. The default action for forking servers is
243 to collect the status of any child processes that have exited, while
244 in threading servers this method does nothing.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000245
246.. function:: process_request(request, client_address)
247
248 Calls :meth:`finish_request` to create an instance of the
249 :attr:`RequestHandlerClass`. If desired, this function can create a new process
250 or thread to handle the request; the :class:`ForkingMixIn` and
251 :class:`ThreadingMixIn` classes do this.
252
Georg Brandlb19be572007-12-29 10:57:00 +0000253.. Is there any point in documenting the following two functions?
254 What would the purpose of overriding them be: initializing server
255 instance variables, adding new network families?
Georg Brandl8ec7f652007-08-15 14:28:01 +0000256
257
258.. function:: server_activate()
259
260 Called by the server's constructor to activate the server. The default behavior
261 just :meth:`listen`\ s to the server's socket. May be overridden.
262
263
264.. function:: server_bind()
265
266 Called by the server's constructor to bind the socket to the desired address.
267 May be overridden.
268
269
270.. function:: verify_request(request, client_address)
271
272 Must return a Boolean value; if the value is :const:`True`, the request will be
273 processed, and if it's :const:`False`, the request will be denied. This function
274 can be overridden to implement access controls for a server. The default
275 implementation always returns :const:`True`.
276
277
278RequestHandler Objects
279----------------------
280
281The request handler class must define a new :meth:`handle` method, and can
282override any of the following methods. A new instance is created for each
283request.
284
285
286.. function:: finish()
287
288 Called after the :meth:`handle` method to perform any clean-up actions required.
289 The default implementation does nothing. If :meth:`setup` or :meth:`handle`
290 raise an exception, this function will not be called.
291
292
293.. function:: handle()
294
295 This function must do all the work required to service a request. The default
296 implementation does nothing. Several instance attributes are available to it;
297 the request is available as :attr:`self.request`; the client address as
298 :attr:`self.client_address`; and the server instance as :attr:`self.server`, in
299 case it needs access to per-server information.
300
301 The type of :attr:`self.request` is different for datagram or stream services.
302 For stream services, :attr:`self.request` is a socket object; for datagram
303 services, :attr:`self.request` is a string. However, this can be hidden by using
304 the request handler subclasses :class:`StreamRequestHandler` or
305 :class:`DatagramRequestHandler`, which override the :meth:`setup` and
306 :meth:`finish` methods, and provide :attr:`self.rfile` and :attr:`self.wfile`
307 attributes. :attr:`self.rfile` and :attr:`self.wfile` can be read or written,
308 respectively, to get the request data or return data to the client.
309
310
311.. function:: setup()
312
313 Called before the :meth:`handle` method to perform any initialization actions
314 required. The default implementation does nothing.
315