blob: 6c5995414c2a0d84074260862789f80f237d0b33 [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +00001
2:mod:`thread` --- Multiple threads of control
3=============================================
4
5.. module:: thread
6 :synopsis: Create multiple threads of control within one interpreter.
7
8
9.. index::
10 single: light-weight processes
11 single: processes, light-weight
12 single: binary semaphores
13 single: semaphores, binary
14
15This module provides low-level primitives for working with multiple threads
Thomas Wouters89d996e2007-09-08 17:39:28 +000016(also called :dfn:`light-weight processes` or :dfn:`tasks`) --- multiple threads of
Georg Brandl116aa622007-08-15 14:28:22 +000017control sharing their global data space. For synchronization, simple locks
Thomas Wouters89d996e2007-09-08 17:39:28 +000018(also called :dfn:`mutexes` or :dfn:`binary semaphores`) are provided.
19The :mod:`threading` module provides an easier to use and higher-level
20threading API built on top of this module.
Georg Brandl116aa622007-08-15 14:28:22 +000021
22.. index::
23 single: pthreads
24 pair: threads; POSIX
25
26The module is optional. It is supported on Windows, Linux, SGI IRIX, Solaris
272.x, as well as on systems that have a POSIX thread (a.k.a. "pthread")
28implementation. For systems lacking the :mod:`thread` module, the
29:mod:`dummy_thread` module is available. It duplicates this module's interface
30and can be used as a drop-in replacement.
31
32It defines the following constant and functions:
33
34
35.. exception:: error
36
37 Raised on thread-specific errors.
38
39
40.. data:: LockType
41
42 This is the type of lock objects.
43
44
45.. function:: start_new_thread(function, args[, kwargs])
46
47 Start a new thread and return its identifier. The thread executes the function
48 *function* with the argument list *args* (which must be a tuple). The optional
49 *kwargs* argument specifies a dictionary of keyword arguments. When the function
50 returns, the thread silently exits. When the function terminates with an
51 unhandled exception, a stack trace is printed and then the thread exits (but
52 other threads continue to run).
53
54
55.. function:: interrupt_main()
56
57 Raise a :exc:`KeyboardInterrupt` exception in the main thread. A subthread can
58 use this function to interrupt the main thread.
59
Georg Brandl116aa622007-08-15 14:28:22 +000060
61.. function:: exit()
62
63 Raise the :exc:`SystemExit` exception. When not caught, this will cause the
64 thread to exit silently.
65
66.. % \begin{funcdesc}{exit_prog}{status}
67.. % Exit all threads and report the value of the integer argument
68.. % \var{status} as the exit status of the entire program.
69.. % \strong{Caveat:} code in pending \keyword{finally} clauses, in this thread
70.. % or in other threads, is not executed.
71.. % \end{funcdesc}
72
73
74.. function:: allocate_lock()
75
76 Return a new lock object. Methods of locks are described below. The lock is
77 initially unlocked.
78
79
80.. function:: get_ident()
81
82 Return the 'thread identifier' of the current thread. This is a nonzero
83 integer. Its value has no direct meaning; it is intended as a magic cookie to
84 be used e.g. to index a dictionary of thread-specific data. Thread identifiers
85 may be recycled when a thread exits and another thread is created.
86
87
88.. function:: stack_size([size])
89
90 Return the thread stack size used when creating new threads. The optional
91 *size* argument specifies the stack size to be used for subsequently created
92 threads, and must be 0 (use platform or configured default) or a positive
93 integer value of at least 32,768 (32kB). If changing the thread stack size is
94 unsupported, a :exc:`ThreadError` is raised. If the specified stack size is
95 invalid, a :exc:`ValueError` is raised and the stack size is unmodified. 32kB
96 is currently the minimum supported stack size value to guarantee sufficient
97 stack space for the interpreter itself. Note that some platforms may have
98 particular restrictions on values for the stack size, such as requiring a
99 minimum stack size > 32kB or requiring allocation in multiples of the system
100 memory page size - platform documentation should be referred to for more
101 information (4kB pages are common; using multiples of 4096 for the stack size is
102 the suggested approach in the absence of more specific information).
103 Availability: Windows, systems with POSIX threads.
104
Georg Brandl116aa622007-08-15 14:28:22 +0000105
106Lock objects have the following methods:
107
108
109.. method:: lock.acquire([waitflag])
110
111 Without the optional argument, this method acquires the lock unconditionally, if
112 necessary waiting until it is released by another thread (only one thread at a
113 time can acquire a lock --- that's their reason for existence). If the integer
114 *waitflag* argument is present, the action depends on its value: if it is zero,
115 the lock is only acquired if it can be acquired immediately without waiting,
116 while if it is nonzero, the lock is acquired unconditionally as before. The
117 return value is ``True`` if the lock is acquired successfully, ``False`` if not.
118
119
120.. method:: lock.release()
121
122 Releases the lock. The lock must have been acquired earlier, but not
123 necessarily by the same thread.
124
125
126.. method:: lock.locked()
127
128 Return the status of the lock: ``True`` if it has been acquired by some thread,
129 ``False`` if not.
130
131In addition to these methods, lock objects can also be used via the
132:keyword:`with` statement, e.g.::
133
134 from __future__ import with_statement
135 import thread
136
137 a_lock = thread.allocate_lock()
138
139 with a_lock:
Collin Winterc79461b2007-09-01 23:34:30 +0000140 print("a_lock is locked while this executes")
Georg Brandl116aa622007-08-15 14:28:22 +0000141
142**Caveats:**
143
144 .. index:: module: signal
145
146* Threads interact strangely with interrupts: the :exc:`KeyboardInterrupt`
147 exception will be received by an arbitrary thread. (When the :mod:`signal`
148 module is available, interrupts always go to the main thread.)
149
150* Calling :func:`sys.exit` or raising the :exc:`SystemExit` exception is
151 equivalent to calling :func:`exit`.
152
153* Not all built-in functions that may block waiting for I/O allow other threads
154 to run. (The most popular ones (:func:`time.sleep`, :meth:`file.read`,
155 :func:`select.select`) work as expected.)
156
157* It is not possible to interrupt the :meth:`acquire` method on a lock --- the
158 :exc:`KeyboardInterrupt` exception will happen after the lock has been acquired.
159
160 .. index:: pair: threads; IRIX
161
162* When the main thread exits, it is system defined whether the other threads
163 survive. On SGI IRIX using the native thread implementation, they survive. On
164 most other systems, they are killed without executing :keyword:`try` ...
165 :keyword:`finally` clauses or executing object destructors.
166
167* When the main thread exits, it does not do any of its usual cleanup (except
168 that :keyword:`try` ... :keyword:`finally` clauses are honored), and the
169 standard I/O files are not flushed.
170