_thread.rst 6.85 KB
Newer Older
1 2
:mod:`_thread` --- Low-level threading API
==========================================
3

4 5
.. module:: _thread
   :synopsis: Low-level threading API.
6 7 8 9 10 11 12 13 14


.. index::
   single: light-weight processes
   single: processes, light-weight
   single: binary semaphores
   single: semaphores, binary

This module provides low-level primitives for working with multiple threads
15
(also called :dfn:`light-weight processes` or :dfn:`tasks`) --- multiple threads of
16
control sharing their global data space.  For synchronization, simple locks
17 18 19
(also called :dfn:`mutexes` or :dfn:`binary semaphores`) are provided.
The :mod:`threading` module provides an easier to use and higher-level
threading API built on top of this module.
20 21 22 23 24 25 26

.. index::
   single: pthreads
   pair: threads; POSIX

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")
27 28
implementation.  For systems lacking the :mod:`_thread` module, the
:mod:`_dummy_thread` module is available. It duplicates this module's interface
29 30
and can be used as a drop-in replacement.

31
It defines the following constants and functions:
32 33 34 35 36 37


.. exception:: error

   Raised on thread-specific errors.

38 39 40
   .. versionchanged:: 3.3
      This is now a synonym of the built-in :exc:`RuntimeError`.

41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67

.. data:: LockType

   This is the type of lock objects.


.. function:: start_new_thread(function, args[, kwargs])

   Start a new thread and return its identifier.  The thread executes the function
   *function* with the argument list *args* (which must be a tuple).  The optional
   *kwargs* argument specifies a dictionary of keyword arguments. When the function
   returns, the thread silently exits.  When the function terminates with an
   unhandled exception, a stack trace is printed and then the thread exits (but
   other threads continue to run).


.. function:: interrupt_main()

   Raise a :exc:`KeyboardInterrupt` exception in the main thread.  A subthread can
   use this function to interrupt the main thread.


.. function:: exit()

   Raise the :exc:`SystemExit` exception.  When not caught, this will cause the
   thread to exit silently.

68 69 70 71 72 73 74
..
   function:: exit_prog(status)

      Exit all threads and report the value of the integer argument
      *status* as the exit status of the entire program.
      **Caveat:** code in pending :keyword:`finally` clauses, in this thread
      or in other threads, is not executed.
75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96


.. function:: allocate_lock()

   Return a new lock object.  Methods of locks are described below.  The lock is
   initially unlocked.


.. function:: 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.


.. function:: stack_size([size])

   Return the thread stack size used when creating new threads.  The optional
   *size* argument specifies the stack size to be used for subsequently created
   threads, and must be 0 (use platform or configured default) or a positive
   integer value of at least 32,768 (32kB). If changing the thread stack size is
97
   unsupported, a :exc:`RuntimeError` is raised.  If the specified stack size is
98 99 100 101 102 103 104 105 106 107 108
   invalid, a :exc:`ValueError` is raised and the stack size is unmodified.  32kB
   is currently the minimum supported stack size value to guarantee sufficient
   stack space for the interpreter itself.  Note that some platforms may have
   particular restrictions on values for the stack size, such as requiring a
   minimum stack size > 32kB or requiring allocation in multiples of the system
   memory page size - platform documentation should be referred to for more
   information (4kB pages are common; using multiples of 4096 for the stack size is
   the suggested approach in the absence of more specific information).
   Availability: Windows, systems with POSIX threads.


109 110 111
.. data:: TIMEOUT_MAX

   The maximum value allowed for the *timeout* parameter of
Georg Brandl's avatar
Georg Brandl committed
112
   :meth:`Lock.acquire`. Specifying a timeout greater than this value will
113 114
   raise an :exc:`OverflowError`.

115 116
   .. versionadded:: 3.2

117

118 119 120
Lock objects have the following methods:


121
.. method:: lock.acquire(waitflag=1, timeout=-1)
122

123
   Without any optional argument, this method acquires the lock unconditionally, if
124
   necessary waiting until it is released by another thread (only one thread at a
125
   time can acquire a lock --- that's their reason for existence).
126

127 128 129 130 131 132 133 134 135 136 137 138
   If the integer *waitflag* argument is present, the action depends on its
   value: if it is zero, the lock is only acquired if it can be acquired
   immediately without waiting, while if it is nonzero, the lock is acquired
   unconditionally as above.

   If the floating-point *timeout* argument is present and positive, it
   specifies the maximum wait time in seconds before returning.  A negative
   *timeout* argument specifies an unbounded wait.  You cannot specify
   a *timeout* if *waitflag* is zero.

   The return value is ``True`` if the lock is acquired successfully,
   ``False`` if not.
139

140 141 142
   .. versionchanged:: 3.2
      The *timeout* parameter is new.

143 144 145 146
   .. versionchanged:: 3.2
      Lock acquires can now be interrupted by signals on POSIX.


147 148 149 150 151 152 153 154 155 156 157 158 159 160
.. method:: lock.release()

   Releases the lock.  The lock must have been acquired earlier, but not
   necessarily by the same thread.


.. method:: lock.locked()

   Return the status of the lock: ``True`` if it has been acquired by some thread,
   ``False`` if not.

In addition to these methods, lock objects can also be used via the
:keyword:`with` statement, e.g.::

161
   import _thread
162

163
   a_lock = _thread.allocate_lock()
164 165

   with a_lock:
166
       print("a_lock is locked while this executes")
167 168 169 170 171 172 173 174 175 176

**Caveats:**

  .. index:: module: signal

* Threads interact strangely with interrupts: the :exc:`KeyboardInterrupt`
  exception will be received by an arbitrary thread.  (When the :mod:`signal`
  module is available, interrupts always go to the main thread.)

* Calling :func:`sys.exit` or raising the :exc:`SystemExit` exception is
Georg Brandl's avatar
Georg Brandl committed
177
  equivalent to calling :func:`_thread.exit`.
178 179 180 181 182 183 184 185 186

* Not all built-in functions that may block waiting for I/O allow other threads
  to run.  (The most popular ones (:func:`time.sleep`, :meth:`file.read`,
  :func:`select.select`) work as expected.)

* It is not possible to interrupt the :meth:`acquire` method on a lock --- the
  :exc:`KeyboardInterrupt` exception will happen after the lock has been acquired.

* When the main thread exits, it is system defined whether the other threads
187 188 189
  survive.  On most systems, they are killed without executing
  :keyword:`try` ... :keyword:`finally` clauses or executing object
  destructors.
190 191 192 193

* 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.
Christian Heimes's avatar
Christian Heimes committed
194