cpython/Doc/lib/libthread.tex

137 lines
4.9 KiB
TeX
Raw Normal View History

\section{\module{thread} ---
Multiple threads of control}
\declaremodule{builtin}{thread}
\modulesynopsis{Create multiple threads of control within one interpreter.}
1994-01-01 21:22:07 -04:00
This module provides low-level primitives for working with multiple
1995-03-13 06:03:32 -04:00
threads (a.k.a.\ \dfn{light-weight processes} or \dfn{tasks}) --- multiple
1994-01-01 21:22:07 -04:00
threads of control sharing their global data space. For
1995-03-13 06:03:32 -04:00
synchronization, simple locks (a.k.a.\ \dfn{mutexes} or \dfn{binary
1994-01-01 21:22:07 -04:00
semaphores}) are provided.
\index{light-weight processes}
\index{processes, light-weight}
\index{binary semaphores}
\index{semaphores, binary}
1994-01-01 21:22:07 -04:00
The module is optional. It is supported on Windows, Linux, SGI
IRIX, Solaris 2.x, as well as on systems that have a \POSIX{} thread
(a.k.a. ``pthread'') implementation.
\index{pthreads}
\indexii{threads}{\POSIX}
1994-01-01 21:22:07 -04:00
It defines the following constant and functions:
\begin{excdesc}{error}
Raised on thread-specific errors.
\end{excdesc}
\begin{datadesc}{LockType}
This is the type of lock objects.
\end{datadesc}
\begin{funcdesc}{start_new_thread}{function, args\optional{, kwargs}}
Start a new thread and return its identifier. The thread executes the function
\var{function} with the argument list \var{args} (which must be a tuple). The
optional \var{kwargs} argument specifies a dictionary of keyword arguments.
When the function returns, the thread silently exits. When the function
1994-01-01 21:22:07 -04:00
terminates with an unhandled exception, a stack trace is printed and
then the thread exits (but other threads continue to run).
\end{funcdesc}
\begin{funcdesc}{exit}{}
Raise the \exception{SystemExit} exception. When not caught, this
will cause the thread to exit silently.
1994-01-01 21:22:07 -04:00
\end{funcdesc}
\begin{funcdesc}{exit_thread}{}
\deprecated{1.5.2}{Use \function{exit()}.}
This is an obsolete synonym for \function{exit()}.
1994-01-01 21:22:07 -04:00
\end{funcdesc}
%\begin{funcdesc}{exit_prog}{status}
%Exit all threads and report the value of the integer argument
%\var{status} as the exit status of the entire program.
%\strong{Caveat:} code in pending \keyword{finally} clauses, in this thread
%or in other threads, is not executed.
%\end{funcdesc}
1994-01-01 21:22:07 -04:00
\begin{funcdesc}{allocate_lock}{}
Return a new lock object. Methods of locks are described below. The
lock is initially unlocked.
\end{funcdesc}
\begin{funcdesc}{get_ident}{}
Return the `thread identifier' of the current thread. This is a
nonzero integer. Its value has no direct meaning; it is intended as a
magic cookie to be used e.g. to index a dictionary of thread-specific
data. Thread identifiers may be recycled when a thread exits and
another thread is created.
\end{funcdesc}
1998-04-03 02:35:54 -04:00
1994-01-01 21:22:07 -04:00
Lock objects have the following methods:
1998-04-03 02:35:54 -04:00
\begin{methoddesc}[lock]{acquire}{\optional{waitflag}}
1994-01-01 21:22:07 -04:00
Without the optional argument, this method acquires the lock
unconditionally, if necessary waiting until it is released by another
thread (only one thread at a time can acquire a lock --- that's their
reason for existence), and returns \code{None}. If the integer
\var{waitflag} argument is present, the action depends on its
value: if it is zero, the lock is only acquired if it can be acquired
1994-01-01 21:22:07 -04:00
immediately without waiting, while if it is nonzero, the lock is
acquired unconditionally as before. If an argument is present, the
return value is \code{True} if the lock is acquired successfully,
\code{False} if not.
1998-04-03 02:35:54 -04:00
\end{methoddesc}
1994-01-01 21:22:07 -04:00
1998-04-03 02:35:54 -04:00
\begin{methoddesc}[lock]{release}{}
1994-01-01 21:22:07 -04:00
Releases the lock. The lock must have been acquired earlier, but not
necessarily by the same thread.
1998-04-03 02:35:54 -04:00
\end{methoddesc}
1994-01-01 21:22:07 -04:00
1998-04-03 02:35:54 -04:00
\begin{methoddesc}[lock]{locked}{}
Return the status of the lock:\ \code{True} if it has been acquired by
some thread, \code{False} if not.
1998-04-03 02:35:54 -04:00
\end{methoddesc}
1994-01-01 21:22:07 -04:00
\strong{Caveats:}
1994-01-01 21:22:07 -04:00
\begin{itemize}
\item
Threads interact strangely with interrupts: the
1998-04-03 02:35:54 -04:00
\exception{KeyboardInterrupt} exception will be received by an
arbitrary thread. (When the \refmodule{signal}\refbimodindex{signal}
1998-04-03 02:35:54 -04:00
module is available, interrupts always go to the main thread.)
1994-01-01 21:22:07 -04:00
\item
1998-04-03 02:35:54 -04:00
Calling \function{sys.exit()} or raising the \exception{SystemExit}
exception is equivalent to calling \function{exit()}.
1994-01-01 21:22:07 -04:00
\item
Not all built-in functions that may block waiting for I/O allow other
1998-04-03 02:35:54 -04:00
threads to run. (The most popular ones (\function{time.sleep()},
\method{\var{file}.read()}, \function{select.select()}) work as
expected.)
1994-01-01 21:22:07 -04:00
\item
1998-04-03 02:35:54 -04:00
It is not possible to interrupt the \method{acquire()} method on a lock
--- the \exception{KeyboardInterrupt} exception will happen after the
lock has been acquired.
\item
When the main thread exits, it is system defined whether the other
threads survive. On SGI IRIX using the native thread implementation,
they survive. On most other systems, they are killed without
1998-04-03 02:35:54 -04:00
executing \keyword{try} ... \keyword{finally} clauses or executing
object destructors.
\indexii{threads}{IRIX}
\item
1998-04-03 02:35:54 -04:00
When the main thread exits, it does not do any of its usual cleanup
(except that \keyword{try} ... \keyword{finally} clauses are honored),
and the standard I/O files are not flushed.
1994-01-01 21:22:07 -04:00
\end{itemize}