blob: e7e7504c4201a9549d7d6cce20b99f3b9c942bfa [file] [log] [blame]
Georg Brandl2067bfd2008-05-25 13:05:15 +00001:mod:`_thread` --- Low-level threading API
2==========================================
Georg Brandl116aa622007-08-15 14:28:22 +00003
Georg Brandl2067bfd2008-05-25 13:05:15 +00004.. module:: _thread
5 :synopsis: Low-level threading API.
Georg Brandl116aa622007-08-15 14:28:22 +00006
7
8.. index::
9 single: light-weight processes
10 single: processes, light-weight
11 single: binary semaphores
12 single: semaphores, binary
13
14This module provides low-level primitives for working with multiple threads
Thomas Wouters89d996e2007-09-08 17:39:28 +000015(also called :dfn:`light-weight processes` or :dfn:`tasks`) --- multiple threads of
Georg Brandl116aa622007-08-15 14:28:22 +000016control sharing their global data space. For synchronization, simple locks
Thomas Wouters89d996e2007-09-08 17:39:28 +000017(also called :dfn:`mutexes` or :dfn:`binary semaphores`) are provided.
18The :mod:`threading` module provides an easier to use and higher-level
19threading API built on top of this module.
Georg Brandl116aa622007-08-15 14:28:22 +000020
21.. index::
22 single: pthreads
23 pair: threads; POSIX
24
25The module is optional. It is supported on Windows, Linux, SGI IRIX, Solaris
262.x, as well as on systems that have a POSIX thread (a.k.a. "pthread")
Georg Brandl2067bfd2008-05-25 13:05:15 +000027implementation. For systems lacking the :mod:`_thread` module, the
28:mod:`_dummy_thread` module is available. It duplicates this module's interface
Georg Brandl116aa622007-08-15 14:28:22 +000029and can be used as a drop-in replacement.
30
Antoine Pitrou7c3e5772010-04-14 15:44:10 +000031It defines the following constants and functions:
Georg Brandl116aa622007-08-15 14:28:22 +000032
33
34.. exception:: error
35
36 Raised on thread-specific errors.
37
Antoine Pitroufcf81fd2011-02-28 22:03:34 +000038 .. versionchanged:: 3.3
39 This is now a synonym of the built-in :exc:`RuntimeError`.
40
Georg Brandl116aa622007-08-15 14:28:22 +000041
42.. data:: LockType
43
44 This is the type of lock objects.
45
46
47.. function:: start_new_thread(function, args[, kwargs])
48
49 Start a new thread and return its identifier. The thread executes the function
50 *function* with the argument list *args* (which must be a tuple). The optional
51 *kwargs* argument specifies a dictionary of keyword arguments. When the function
52 returns, the thread silently exits. When the function terminates with an
53 unhandled exception, a stack trace is printed and then the thread exits (but
54 other threads continue to run).
55
56
57.. function:: interrupt_main()
58
59 Raise a :exc:`KeyboardInterrupt` exception in the main thread. A subthread can
60 use this function to interrupt the main thread.
61
Georg Brandl116aa622007-08-15 14:28:22 +000062
63.. function:: exit()
64
65 Raise the :exc:`SystemExit` exception. When not caught, this will cause the
66 thread to exit silently.
67
Christian Heimes5b5e81c2007-12-31 16:14:33 +000068..
69 function:: exit_prog(status)
70
71 Exit all threads and report the value of the integer argument
72 *status* as the exit status of the entire program.
73 **Caveat:** code in pending :keyword:`finally` clauses, in this thread
74 or in other threads, is not executed.
Georg Brandl116aa622007-08-15 14:28:22 +000075
76
77.. function:: allocate_lock()
78
79 Return a new lock object. Methods of locks are described below. The lock is
80 initially unlocked.
81
82
83.. function:: get_ident()
84
85 Return the 'thread identifier' of the current thread. This is a nonzero
86 integer. Its value has no direct meaning; it is intended as a magic cookie to
87 be used e.g. to index a dictionary of thread-specific data. Thread identifiers
88 may be recycled when a thread exits and another thread is created.
89
90
91.. function:: stack_size([size])
92
93 Return the thread stack size used when creating new threads. The optional
94 *size* argument specifies the stack size to be used for subsequently created
95 threads, and must be 0 (use platform or configured default) or a positive
96 integer value of at least 32,768 (32kB). If changing the thread stack size is
97 unsupported, a :exc:`ThreadError` is raised. If the specified stack size is
98 invalid, a :exc:`ValueError` is raised and the stack size is unmodified. 32kB
99 is currently the minimum supported stack size value to guarantee sufficient
100 stack space for the interpreter itself. Note that some platforms may have
101 particular restrictions on values for the stack size, such as requiring a
102 minimum stack size > 32kB or requiring allocation in multiples of the system
103 memory page size - platform documentation should be referred to for more
104 information (4kB pages are common; using multiples of 4096 for the stack size is
105 the suggested approach in the absence of more specific information).
106 Availability: Windows, systems with POSIX threads.
107
Georg Brandl116aa622007-08-15 14:28:22 +0000108
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000109.. data:: TIMEOUT_MAX
110
111 The maximum value allowed for the *timeout* parameter of
Georg Brandl6faee4e2010-09-21 14:48:28 +0000112 :meth:`Lock.acquire`. Specifying a timeout greater than this value will
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000113 raise an :exc:`OverflowError`.
114
Antoine Pitrouadbc0092010-04-19 14:05:51 +0000115 .. versionadded:: 3.2
116
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000117
Georg Brandl116aa622007-08-15 14:28:22 +0000118Lock objects have the following methods:
119
120
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000121.. method:: lock.acquire(waitflag=1, timeout=-1)
Georg Brandl116aa622007-08-15 14:28:22 +0000122
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000123 Without any optional argument, this method acquires the lock unconditionally, if
Georg Brandl116aa622007-08-15 14:28:22 +0000124 necessary waiting until it is released by another thread (only one thread at a
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000125 time can acquire a lock --- that's their reason for existence).
Georg Brandl116aa622007-08-15 14:28:22 +0000126
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000127 If the integer *waitflag* argument is present, the action depends on its
128 value: if it is zero, the lock is only acquired if it can be acquired
129 immediately without waiting, while if it is nonzero, the lock is acquired
130 unconditionally as above.
131
132 If the floating-point *timeout* argument is present and positive, it
133 specifies the maximum wait time in seconds before returning. A negative
134 *timeout* argument specifies an unbounded wait. You cannot specify
135 a *timeout* if *waitflag* is zero.
136
137 The return value is ``True`` if the lock is acquired successfully,
138 ``False`` if not.
Georg Brandl116aa622007-08-15 14:28:22 +0000139
Antoine Pitrouadbc0092010-04-19 14:05:51 +0000140 .. versionchanged:: 3.2
141 The *timeout* parameter is new.
142
Antoine Pitrou810023d2010-12-15 22:59:16 +0000143 .. versionchanged:: 3.2
144 Lock acquires can now be interrupted by signals on POSIX.
145
146
Georg Brandl116aa622007-08-15 14:28:22 +0000147.. method:: lock.release()
148
149 Releases the lock. The lock must have been acquired earlier, but not
150 necessarily by the same thread.
151
152
153.. method:: lock.locked()
154
155 Return the status of the lock: ``True`` if it has been acquired by some thread,
156 ``False`` if not.
157
158In addition to these methods, lock objects can also be used via the
159:keyword:`with` statement, e.g.::
160
Georg Brandl2067bfd2008-05-25 13:05:15 +0000161 import _thread
Georg Brandl116aa622007-08-15 14:28:22 +0000162
Georg Brandl2067bfd2008-05-25 13:05:15 +0000163 a_lock = _thread.allocate_lock()
Georg Brandl116aa622007-08-15 14:28:22 +0000164
165 with a_lock:
Collin Winterc79461b2007-09-01 23:34:30 +0000166 print("a_lock is locked while this executes")
Georg Brandl116aa622007-08-15 14:28:22 +0000167
168**Caveats:**
169
170 .. index:: module: signal
171
172* Threads interact strangely with interrupts: the :exc:`KeyboardInterrupt`
173 exception will be received by an arbitrary thread. (When the :mod:`signal`
174 module is available, interrupts always go to the main thread.)
175
176* Calling :func:`sys.exit` or raising the :exc:`SystemExit` exception is
Georg Brandla6053b42009-09-01 08:11:14 +0000177 equivalent to calling :func:`_thread.exit`.
Georg Brandl116aa622007-08-15 14:28:22 +0000178
179* Not all built-in functions that may block waiting for I/O allow other threads
180 to run. (The most popular ones (:func:`time.sleep`, :meth:`file.read`,
181 :func:`select.select`) work as expected.)
182
183* It is not possible to interrupt the :meth:`acquire` method on a lock --- the
184 :exc:`KeyboardInterrupt` exception will happen after the lock has been acquired.
185
Georg Brandl116aa622007-08-15 14:28:22 +0000186* When the main thread exits, it is system defined whether the other threads
Antoine Pitroue4754bd2010-04-19 14:09:57 +0000187 survive. On most systems, they are killed without executing
188 :keyword:`try` ... :keyword:`finally` clauses or executing object
189 destructors.
Georg Brandl116aa622007-08-15 14:28:22 +0000190
191* When the main thread exits, it does not do any of its usual cleanup (except
192 that :keyword:`try` ... :keyword:`finally` clauses are honored), and the
193 standard I/O files are not flushed.
Christian Heimes836baa52008-02-26 08:18:30 +0000194