This document is a introduction to the asynchronous programming model, and to Twisted's Deferred abstraction, which symbolises a 'promised' result and which can pass an eventual result to handler functions.
This document is for readers new to Twisted who are familiar with the Python programming language and, at least conceptually, with core networking concepts such as servers, clients and sockets. This document will give you a high level overview of concurrent programming (interleaving several tasks) and of Twisted's concurrency model: non-blocking code or asynchronous code.
After discussing the concurrency model of which Deferreds are a part, it will introduce the methods of handling results when a function returns a Deferred object.
Introduction to concurrent programming
Many computing tasks take some time to complete, and there are two reasons why a task might take some time:
- it is computationally intensive (for example factorising large numbers) and requires a certain amount of CPU time to calculate the answer; or
- it is not computationally intensive but has to wait for data to be available to produce a result.
Waiting for answers
A fundamental feature of network programming is that of waiting for data. Imagine you have a function which sends an email summarising some information. This function needs to connect to a remote server, wait for the remote server to reply, check that the remote server can process the email, wait for the reply, send the email, wait for the confirmation, and then disconnect.
Any one of these steps may take a long period of time. Your program might use the simplest of all possible models, in which it actually sits and waits for data to be sent and received, but in this case it has some very obvious and basic limitations: it can't send many emails at once; and in fact it can't do anything else while it is sending an email.
Hence, all but the simplest network programs avoid this model. You can use one of several different models to allow your program to keep doing whatever tasks it has on hand while it is waiting for something to happen before a particular task can continue.
Not waiting on data
There are many ways to write network programs. The main ones are:
- handle each connection in a separate operating system process, in which case the operating system will take care of letting other processes run while one is waiting;
- handle each connection in a separate thread
1 in which the threading framework takes care of letting other threads run while one is waiting; or - use non-blocking system calls to handle all connections in one thread.
Non-blocking calls
The normal model when using the Twisted framework is the third model: non-blocking calls.
When dealing with many connections in one thread, the scheduling is the responsibility of the application, not the operating system, and is usually implemented by calling a registered function when each connection is ready to for reading or writing -- commonly known as asynchronous, event-driven or callback-based programming.
In this model, the earlier email sending function would work something like this:
- it calls a connection function to connect to the remote server;
- the connection function returns immediately, with the implication that the notify the email sending library will be called when the connect has been made; and
- once the connection is made, the connect mechanism notifies the email sending function that the connection is ready.
What advantage does the above sequence have over our original blocking sequence? The advantage is that while the email sending function can't do the next part of its job until the connection is open, the rest of the program can do other tasks, like begin the opening sequence for other email connections. Hence, the entire program is not waiting for the connection.
Callbacks
The typical asynchronous model for alerting an application that some data is ready for it is known as a callback. The application calls a function to request some data, and in this call, it also passes a callback function that should be called when the data is ready with the data as an argument. The callback function should therefore perform whatever tasks it was that the application needed that data for.
In synchonous programming, a function requests data, waits for the data, and then processes it. In asynchronous programming, a function requests the data, and lets the library call the callback function when the data is ready.
Deferreds
Twisted uses the Deferred
object to manage the callback
sequence. The client application attaches a series of functions to the
deferred to be called in order when the results of the asychronous request are
available (this series of functions is known as a series of
callbacks, or a callback chain), together
with a series of functions to be called if there is an error in the
asychronous request (known as a series of errbacks or an
errback chain). The asychronous library code calls the first
callback when the result is available, or the first errback when an error
occurs, and the Deferred
object then hands the results of each
callback or errback function to the next function in the chain.
The Problem that Deferreds Solve
It is the second class of concurrency problem — non-computationally intensive tasks that involve an appreciable delay — that Deferreds are designed to help solve. Functions that wait on hard drive access, database access, and network access all fall into this class, although the time delay varies.
Deferreds are designed to enable Twisted programs to wait for data
without hanging until that data arrives. They do this by giving a
simple management interface for callbacks to libraries and
applications. Libraries know that they always make their results
available by calling Deferred.callback
and errors by
calling
Deferred.errback
. Applications set up
result handlers by attaching callbacks and errbacks to deferreds in the order
they want them called.
The basic idea behind Deferreds, and other solutions to this problem, is to keep the CPU as active as possible. If one task is waiting on data, rather than have the CPU (and the program!) idle waiting for that data (a process normally called "blocking"), the program performs other operations in the meantime, and waits for some signal that data is ready to be processed before returning to that process.
In Twisted, a function signals to the calling function that it is waiting by returning a Deferred. When the data is available, the program activates the callbacks on that Deferred to process the data.
Deferreds - a signal that data is yet to come
In our email sending example above, a parent function calls a function to connect to the remote server. Asynchrony requires that this connection function return without waiting for the result so that the parent function can do other things. So how does the parent function or its controlling program know that the connection doesn't exist yet, and how does it use the connection once it does exist?
Twisted has an object that signals this situation. When the connection
function returns, it signals that the operation is incomplete by returning a
twisted.internet.defer.Deferred
object.
The Deferred has two purposes. The first is that it says "I am a signal that the result of whatever you wanted me to do is still pending." The second is that you can ask the Deferred to run things when the data does arrive.
Callbacks
The way you tell a Deferred what to do with the data once it arrives is by adding a callback — asking the Deferred to call a function once the data arrives.
One Twisted library function that returns a Deferred is twisted.web.client.getPage
. In this example, we call
getPage
, which returns a Deferred, and we attach a callback to
handle the contents of the page once the data is available:
from twisted.web.client import getPage from twisted.internet import reactor def printContents(contents): ''' This is the 'callback' function, added to the Deferred and called by it when the promised data is available ''' print "The Deferred has called printContents with the following contents:" print contents # Stop the Twisted event handling system -- this is usually handled # in higher level ways reactor.stop() # call getPage, which returns immediately with a Deferred, promising to # pass the page contents onto our callbacks when the contents are available deferred = getPage('http://twistedmatrix.com/') # add a callback to the deferred -- request that it run printContents when # the page content has been downloaded deferred.addCallback(printContents) # Begin the Twisted event handling system to manage the process -- again this # isn't the usual way to do this reactor.run()
A very common use of Deferreds is to attach two callbacks. The result of the first callback is passed to the second callback:
from twisted.web.client import getPage from twisted.internet import reactor def lowerCaseContents(contents): ''' This is a 'callback' function, added to the Deferred and called by it when the promised data is available. It converts all the data to lower case ''' return contents.lower() def printContents(contents): ''' This a 'callback' function, added to the Deferred after lowerCaseContents and called by it with the results of lowerCaseContents ''' print contents reactor.stop() deferred = getPage('http://twistedmatrix.com/') # add two callbacks to the deferred -- request that it run lowerCaseContents # when the page content has been downloaded, and then run printContents with # the result of lowerCaseContents deferred.addCallback(lowerCaseContents) deferred.addCallback(printContents) reactor.run()
Error handling: errbacks
Just as a asynchronous function returns before its result is available, it may also return before it is possible to detect errors: failed connections, erroneous data, protocol errors, and so on. Just as you can add callbacks to a Deferred which it calls when the data you are expecting is available, you can add error handlers ('errbacks') to a Deferred for it to call when an error occurs and it cannot obtain the data:
from twisted.web.client import getPage from twisted.internet import reactor def errorHandler(error): ''' This is an 'errback' function, added to the Deferred which will call it in the event of an error ''' # this isn't a very effective handling of the error, we just print it out: print "An error has occurred: <%s>" % str(error) # and then we stop the entire process: reactor.stop() def printContents(contents): ''' This a 'callback' function, added to the Deferred and called by it with the page content ''' print contents reactor.stop() # We request a page which doesn't exist in order to demonstrate the # error chain deferred = getPage('http://twistedmatrix.com/does-not-exist') # add the callback to the Deferred to handle the page content deferred.addCallback(printContents) # add the errback to the Deferred to handle any errors deferred.addErrback(errorHandler) reactor.run()
Conclusion
In this document, you have:
- seen why non-trivial network programs need to have some form of concurrency;
- learnt that the Twisted framework supports concurrency in the form of asynchronous calls;
- learnt that the Twisted framework has Deferred objects that manage callback chains;
- seen how the
getPage
function returns a Deferred object; - attached callbacks and errbacks to that Deferred; and
- seen the Deferred's callback chain and errback chain fire.
See also
Since the Deferred abstraction is such a core part of programming with Twisted, there are several other detailed guides to it:
- Using Deferreds, a more complete guide to using Deferreds, including Deferred chaining.
- Generating Deferreds, a guide to creating Deferreds and firing their callback chains.