blob: d3029587475ba871c5527878e15cb958af24dce1 [file] [log] [blame]
Fred Drake295da241998-08-10 19:42:37 +00001\section{\module{thread} ---
Fred Drake02e8c0f1999-04-21 18:01:14 +00002 Multiple threads of control}
Fred Drakeb91e9341998-07-23 17:59:49 +00003
Fred Drake02e8c0f1999-04-21 18:01:14 +00004\declaremodule{builtin}{thread}
Fred Drake295da241998-08-10 19:42:37 +00005\modulesynopsis{Create multiple threads of control within one interpreter.}
Fred Drakeb91e9341998-07-23 17:59:49 +00006
Guido van Rossum5fdeeea1994-01-02 01:22:07 +00007
8This module provides low-level primitives for working with multiple
Guido van Rossum6bb1adc1995-03-13 10:03:32 +00009threads (a.k.a.\ \dfn{light-weight processes} or \dfn{tasks}) --- multiple
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000010threads of control sharing their global data space. For
Guido van Rossum6bb1adc1995-03-13 10:03:32 +000011synchronization, simple locks (a.k.a.\ \dfn{mutexes} or \dfn{binary
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000012semaphores}) are provided.
Fred Drake61b04521998-01-20 05:52:23 +000013\index{light-weight processes}
14\index{processes, light-weight}
15\index{binary semaphores}
16\index{semaphores, binary}
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000017
Fred Drake7d428ec2002-10-22 15:06:49 +000018The module is optional. It is supported on Windows, Linux, SGI
Fred Drake65b32f71998-02-09 20:27:12 +000019IRIX, Solaris 2.x, as well as on systems that have a \POSIX{} thread
Guido van Rossum3572d371997-08-14 19:51:26 +000020(a.k.a. ``pthread'') implementation.
Fred Drake61b04521998-01-20 05:52:23 +000021\index{pthreads}
Fred Drakec37b65e2001-11-28 07:26:15 +000022\indexii{threads}{\POSIX}
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000023
24It defines the following constant and functions:
25
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000026\begin{excdesc}{error}
27Raised on thread-specific errors.
28\end{excdesc}
29
Guido van Rossum73d8bff1998-06-27 18:25:44 +000030\begin{datadesc}{LockType}
31This is the type of lock objects.
32\end{datadesc}
33
Fred Drake02e8c0f1999-04-21 18:01:14 +000034\begin{funcdesc}{start_new_thread}{function, args\optional{, kwargs}}
Guido van Rossum3c288632001-10-16 21:13:49 +000035Start a new thread and return its identifier. The thread executes the function
36\var{function} with the argument list \var{args} (which must be a tuple). The
37optional \var{kwargs} argument specifies a dictionary of keyword arguments.
38When the function returns, the thread silently exits. When the function
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000039terminates with an unhandled exception, a stack trace is printed and
40then the thread exits (but other threads continue to run).
41\end{funcdesc}
42
Guido van Rossum470be141995-03-17 16:07:09 +000043\begin{funcdesc}{exit}{}
Guido van Rossum73d8bff1998-06-27 18:25:44 +000044Raise the \exception{SystemExit} exception. When not caught, this
45will cause the thread to exit silently.
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000046\end{funcdesc}
47
Guido van Rossum470be141995-03-17 16:07:09 +000048\begin{funcdesc}{exit_thread}{}
Fred Drake91e52111998-07-02 19:33:12 +000049\deprecated{1.5.2}{Use \function{exit()}.}
Guido van Rossum73d8bff1998-06-27 18:25:44 +000050This is an obsolete synonym for \function{exit()}.
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000051\end{funcdesc}
52
Guido van Rossum470be141995-03-17 16:07:09 +000053%\begin{funcdesc}{exit_prog}{status}
54%Exit all threads and report the value of the integer argument
55%\var{status} as the exit status of the entire program.
Fred Drake02e8c0f1999-04-21 18:01:14 +000056%\strong{Caveat:} code in pending \keyword{finally} clauses, in this thread
Guido van Rossum470be141995-03-17 16:07:09 +000057%or in other threads, is not executed.
58%\end{funcdesc}
59
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000060\begin{funcdesc}{allocate_lock}{}
61Return a new lock object. Methods of locks are described below. The
62lock is initially unlocked.
63\end{funcdesc}
64
Guido van Rossumb8b264b1994-08-12 13:13:50 +000065\begin{funcdesc}{get_ident}{}
66Return the `thread identifier' of the current thread. This is a
67nonzero integer. Its value has no direct meaning; it is intended as a
68magic cookie to be used e.g. to index a dictionary of thread-specific
69data. Thread identifiers may be recycled when a thread exits and
70another thread is created.
71\end{funcdesc}
72
Fred Draked678cb71998-04-03 06:35:54 +000073
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000074Lock objects have the following methods:
75
Fred Draked678cb71998-04-03 06:35:54 +000076\begin{methoddesc}[lock]{acquire}{\optional{waitflag}}
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000077Without the optional argument, this method acquires the lock
78unconditionally, if necessary waiting until it is released by another
79thread (only one thread at a time can acquire a lock --- that's their
80reason for existence), and returns \code{None}. If the integer
Fred Draked61975e1998-11-30 16:26:50 +000081\var{waitflag} argument is present, the action depends on its
82value: if it is zero, the lock is only acquired if it can be acquired
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000083immediately without waiting, while if it is nonzero, the lock is
84acquired unconditionally as before. If an argument is present, the
Neal Norwitz6b353702002-04-09 18:15:00 +000085return value is \code{True} if the lock is acquired successfully,
86\code{False} if not.
Fred Draked678cb71998-04-03 06:35:54 +000087\end{methoddesc}
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000088
Fred Draked678cb71998-04-03 06:35:54 +000089\begin{methoddesc}[lock]{release}{}
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000090Releases the lock. The lock must have been acquired earlier, but not
91necessarily by the same thread.
Fred Draked678cb71998-04-03 06:35:54 +000092\end{methoddesc}
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000093
Fred Draked678cb71998-04-03 06:35:54 +000094\begin{methoddesc}[lock]{locked}{}
Neal Norwitz6b353702002-04-09 18:15:00 +000095Return the status of the lock:\ \code{True} if it has been acquired by
96some thread, \code{False} if not.
Fred Draked678cb71998-04-03 06:35:54 +000097\end{methoddesc}
Guido van Rossum5fdeeea1994-01-02 01:22:07 +000098
Fred Drakeaf8a0151998-01-14 14:51:31 +000099\strong{Caveats:}
Guido van Rossum5fdeeea1994-01-02 01:22:07 +0000100
101\begin{itemize}
102\item
103Threads interact strangely with interrupts: the
Fred Draked678cb71998-04-03 06:35:54 +0000104\exception{KeyboardInterrupt} exception will be received by an
Fred Drake02e8c0f1999-04-21 18:01:14 +0000105arbitrary thread. (When the \refmodule{signal}\refbimodindex{signal}
Fred Draked678cb71998-04-03 06:35:54 +0000106module is available, interrupts always go to the main thread.)
Guido van Rossum5fdeeea1994-01-02 01:22:07 +0000107
108\item
Fred Draked678cb71998-04-03 06:35:54 +0000109Calling \function{sys.exit()} or raising the \exception{SystemExit}
Fred Drake43b89b62000-04-05 15:00:38 +0000110exception is equivalent to calling \function{exit()}.
Guido van Rossum5fdeeea1994-01-02 01:22:07 +0000111
112\item
113Not all built-in functions that may block waiting for I/O allow other
Fred Draked678cb71998-04-03 06:35:54 +0000114threads to run. (The most popular ones (\function{time.sleep()},
115\method{\var{file}.read()}, \function{select.select()}) work as
116expected.)
Guido van Rossum5fdeeea1994-01-02 01:22:07 +0000117
Guido van Rossum3572d371997-08-14 19:51:26 +0000118\item
Fred Draked678cb71998-04-03 06:35:54 +0000119It is not possible to interrupt the \method{acquire()} method on a lock
120--- the \exception{KeyboardInterrupt} exception will happen after the
121lock has been acquired.
Guido van Rossum3572d371997-08-14 19:51:26 +0000122
123\item
124When the main thread exits, it is system defined whether the other
125threads survive. On SGI IRIX using the native thread implementation,
126they survive. On most other systems, they are killed without
Fred Draked678cb71998-04-03 06:35:54 +0000127executing \keyword{try} ... \keyword{finally} clauses or executing
128object destructors.
Fred Drake61b04521998-01-20 05:52:23 +0000129\indexii{threads}{IRIX}
Guido van Rossum3572d371997-08-14 19:51:26 +0000130
131\item
Fred Draked678cb71998-04-03 06:35:54 +0000132When the main thread exits, it does not do any of its usual cleanup
133(except that \keyword{try} ... \keyword{finally} clauses are honored),
134and the standard I/O files are not flushed.
Guido van Rossum3572d371997-08-14 19:51:26 +0000135
Guido van Rossum5fdeeea1994-01-02 01:22:07 +0000136\end{itemize}