blob: 96fae6bfe6fcebdfa5af7687db44b8a649764160 [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +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
47network protocol they use:
48
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
116a long time (if threads or subprocesses cannot be used).
117
118.. % XXX should data and methods be intermingled, or separate?
119.. % how should the distinction between class and instance variables be
120.. % drawn?
121
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
136 Process a single request. This function calls the following methods in order:
137 :meth:`get_request`, :meth:`verify_request`, and :meth:`process_request`. If
138 the user-provided :meth:`handle` method of the handler class raises an
139 exception, the server's :meth:`handle_error` method will be called.
140
141
142.. function:: serve_forever()
143
144 Handle an infinite number of requests. This simply calls :meth:`handle_request`
145 inside an infinite loop.
146
147
148.. data:: address_family
149
150 The family of protocols to which the server's socket belongs.
151 :const:`socket.AF_INET` and :const:`socket.AF_UNIX` are two possible values.
152
153
154.. data:: RequestHandlerClass
155
156 The user-provided request handler class; an instance of this class is created
157 for each request.
158
159
160.. data:: server_address
161
162 The address on which the server is listening. The format of addresses varies
163 depending on the protocol family; see the documentation for the socket module
164 for details. For Internet protocols, this is a tuple containing a string giving
165 the address, and an integer port number: ``('127.0.0.1', 80)``, for example.
166
167
168.. data:: socket
169
170 The socket object on which the server will listen for incoming requests.
171
172The server classes support the following class variables:
173
174.. % XXX should class variables be covered before instance variables, or
175.. % vice versa?
176
177
178.. data:: allow_reuse_address
179
180 Whether the server will allow the reuse of an address. This defaults to
181 :const:`False`, and can be set in subclasses to change the policy.
182
183
184.. data:: request_queue_size
185
186 The size of the request queue. If it takes a long time to process a single
187 request, any requests that arrive while the server is busy are placed into a
188 queue, up to :attr:`request_queue_size` requests. Once the queue is full,
189 further requests from clients will get a "Connection denied" error. The default
190 value is usually 5, but this can be overridden by subclasses.
191
192
193.. data:: socket_type
194
195 The type of socket used by the server; :const:`socket.SOCK_STREAM` and
196 :const:`socket.SOCK_DGRAM` are two possible values.
197
198There are various server methods that can be overridden by subclasses of base
199server classes like :class:`TCPServer`; these methods aren't useful to external
200users of the server object.
201
202.. % should the default implementations of these be documented, or should
203.. % it be assumed that the user will look at SocketServer.py?
204
205
206.. function:: finish_request()
207
208 Actually processes the request by instantiating :attr:`RequestHandlerClass` and
209 calling its :meth:`handle` method.
210
211
212.. function:: get_request()
213
214 Must accept a request from the socket, and return a 2-tuple containing the *new*
215 socket object to be used to communicate with the client, and the client's
216 address.
217
218
219.. function:: handle_error(request, client_address)
220
221 This function is called if the :attr:`RequestHandlerClass`'s :meth:`handle`
222 method raises an exception. The default action is to print the traceback to
223 standard output and continue handling further requests.
224
225
226.. function:: process_request(request, client_address)
227
228 Calls :meth:`finish_request` to create an instance of the
229 :attr:`RequestHandlerClass`. If desired, this function can create a new process
230 or thread to handle the request; the :class:`ForkingMixIn` and
231 :class:`ThreadingMixIn` classes do this.
232
233.. % Is there any point in documenting the following two functions?
234.. % What would the purpose of overriding them be: initializing server
235.. % instance variables, adding new network families?
236
237
238.. function:: server_activate()
239
240 Called by the server's constructor to activate the server. The default behavior
241 just :meth:`listen`\ s to the server's socket. May be overridden.
242
243
244.. function:: server_bind()
245
246 Called by the server's constructor to bind the socket to the desired address.
247 May be overridden.
248
249
250.. function:: verify_request(request, client_address)
251
252 Must return a Boolean value; if the value is :const:`True`, the request will be
253 processed, and if it's :const:`False`, the request will be denied. This function
254 can be overridden to implement access controls for a server. The default
255 implementation always returns :const:`True`.
256
257
258RequestHandler Objects
259----------------------
260
261The request handler class must define a new :meth:`handle` method, and can
262override any of the following methods. A new instance is created for each
263request.
264
265
266.. function:: finish()
267
268 Called after the :meth:`handle` method to perform any clean-up actions required.
269 The default implementation does nothing. If :meth:`setup` or :meth:`handle`
270 raise an exception, this function will not be called.
271
272
273.. function:: handle()
274
275 This function must do all the work required to service a request. The default
276 implementation does nothing. Several instance attributes are available to it;
277 the request is available as :attr:`self.request`; the client address as
278 :attr:`self.client_address`; and the server instance as :attr:`self.server`, in
279 case it needs access to per-server information.
280
281 The type of :attr:`self.request` is different for datagram or stream services.
282 For stream services, :attr:`self.request` is a socket object; for datagram
283 services, :attr:`self.request` is a string. However, this can be hidden by using
284 the request handler subclasses :class:`StreamRequestHandler` or
285 :class:`DatagramRequestHandler`, which override the :meth:`setup` and
286 :meth:`finish` methods, and provide :attr:`self.rfile` and :attr:`self.wfile`
287 attributes. :attr:`self.rfile` and :attr:`self.wfile` can be read or written,
288 respectively, to get the request data or return data to the client.
289
290
291.. function:: setup()
292
293 Called before the :meth:`handle` method to perform any initialization actions
294 required. The default implementation does nothing.
295