Antoine Pitrou | 64a467d | 2010-12-12 20:34:49 +0000 | [diff] [blame] | 1 | :mod:`threading` --- Thread-based parallelism |
| 2 | ============================================= |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 3 | |
| 4 | .. module:: threading |
Antoine Pitrou | 64a467d | 2010-12-12 20:34:49 +0000 | [diff] [blame] | 5 | :synopsis: Thread-based parallelism. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 6 | |
Raymond Hettinger | 1048094 | 2011-01-10 03:26:08 +0000 | [diff] [blame] | 7 | **Source code:** :source:`Lib/threading.py` |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 8 | |
Raymond Hettinger | 4f707fd | 2011-01-10 19:54:11 +0000 | [diff] [blame] | 9 | -------------- |
| 10 | |
Georg Brandl | 2067bfd | 2008-05-25 13:05:15 +0000 | [diff] [blame] | 11 | This module constructs higher-level threading interfaces on top of the lower |
| 12 | level :mod:`_thread` module. See also the :mod:`queue` module. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 13 | |
Antoine Pitrou | b43c4ca | 2017-09-18 22:04:20 +0200 | [diff] [blame] | 14 | .. versionchanged:: 3.7 |
| 15 | This module used to be optional, it is now always available. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 16 | |
Benjamin Peterson | 8bdd545 | 2008-08-18 22:38:41 +0000 | [diff] [blame] | 17 | .. note:: |
| 18 | |
Benjamin Peterson | b3085c9 | 2008-09-01 23:09:31 +0000 | [diff] [blame] | 19 | While they are not listed below, the ``camelCase`` names used for some |
| 20 | methods and functions in this module in the Python 2.x series are still |
| 21 | supported by this module. |
Benjamin Peterson | 8bdd545 | 2008-08-18 22:38:41 +0000 | [diff] [blame] | 22 | |
Antoine Pitrou | 0034281 | 2011-01-06 16:31:28 +0000 | [diff] [blame] | 23 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 24 | This module defines the following functions: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 25 | |
| 26 | |
Benjamin Peterson | 672b803 | 2008-06-11 19:14:14 +0000 | [diff] [blame] | 27 | .. function:: active_count() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 28 | |
| 29 | Return the number of :class:`Thread` objects currently alive. The returned |
Benjamin Peterson | 4ac9ce4 | 2009-10-04 14:49:41 +0000 | [diff] [blame] | 30 | count is equal to the length of the list returned by :func:`.enumerate`. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 31 | |
| 32 | |
Benjamin Peterson | 672b803 | 2008-06-11 19:14:14 +0000 | [diff] [blame] | 33 | .. function:: current_thread() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 34 | |
| 35 | Return the current :class:`Thread` object, corresponding to the caller's thread |
| 36 | of control. If the caller's thread of control was not created through the |
| 37 | :mod:`threading` module, a dummy thread object with limited functionality is |
| 38 | returned. |
| 39 | |
| 40 | |
Victor Stinner | cd590a7 | 2019-05-28 00:39:52 +0200 | [diff] [blame] | 41 | .. function:: excepthook(args, /) |
| 42 | |
| 43 | Handle uncaught exception raised by :func:`Thread.run`. |
| 44 | |
| 45 | The *args* argument has the following attributes: |
| 46 | |
| 47 | * *exc_type*: Exception type. |
| 48 | * *exc_value*: Exception value, can be ``None``. |
| 49 | * *exc_traceback*: Exception traceback, can be ``None``. |
| 50 | * *thread*: Thread which raised the exception, can be ``None``. |
| 51 | |
| 52 | If *exc_type* is :exc:`SystemExit`, the exception is silently ignored. |
| 53 | Otherwise, the exception is printed out on :data:`sys.stderr`. |
| 54 | |
| 55 | If this function raises an exception, :func:`sys.excepthook` is called to |
| 56 | handle it. |
| 57 | |
| 58 | :func:`threading.excepthook` can be overridden to control how uncaught |
| 59 | exceptions raised by :func:`Thread.run` are handled. |
| 60 | |
Victor Stinner | 212646c | 2019-06-14 18:03:22 +0200 | [diff] [blame] | 61 | Storing *exc_value* using a custom hook can create a reference cycle. It |
| 62 | should be cleared explicitly to break the reference cycle when the |
| 63 | exception is no longer needed. |
| 64 | |
Daniel Baskal | 91528f4 | 2019-10-22 23:37:47 +0300 | [diff] [blame] | 65 | Storing *thread* using a custom hook can resurrect it if it is set to an |
| 66 | object which is being finalized. Avoid storing *thread* after the custom |
Victor Stinner | 212646c | 2019-06-14 18:03:22 +0200 | [diff] [blame] | 67 | hook completes to avoid resurrecting objects. |
| 68 | |
Victor Stinner | cd590a7 | 2019-05-28 00:39:52 +0200 | [diff] [blame] | 69 | .. seealso:: |
| 70 | :func:`sys.excepthook` handles uncaught exceptions. |
| 71 | |
| 72 | .. versionadded:: 3.8 |
| 73 | |
Mario Corchero | 750c5ab | 2020-11-12 18:27:44 +0100 | [diff] [blame] | 74 | .. data:: __excepthook__ |
| 75 | |
| 76 | Holds the original value of :func:`threading.excepthook`. It is saved so that the |
| 77 | original value can be restored in case they happen to get replaced with |
| 78 | broken or alternative objects. |
| 79 | |
| 80 | .. versionadded:: 3.10 |
Victor Stinner | cd590a7 | 2019-05-28 00:39:52 +0200 | [diff] [blame] | 81 | |
Victor Stinner | 2a12974 | 2011-05-30 23:02:52 +0200 | [diff] [blame] | 82 | .. function:: get_ident() |
| 83 | |
| 84 | Return the 'thread identifier' of the current thread. This is a nonzero |
| 85 | integer. Its value has no direct meaning; it is intended as a magic cookie |
| 86 | to be used e.g. to index a dictionary of thread-specific data. Thread |
| 87 | identifiers may be recycled when a thread exits and another thread is |
| 88 | created. |
| 89 | |
| 90 | .. versionadded:: 3.3 |
| 91 | |
| 92 | |
Jake Tesler | b121f63 | 2019-05-22 08:43:17 -0700 | [diff] [blame] | 93 | .. function:: get_native_id() |
| 94 | |
| 95 | Return the native integral Thread ID of the current thread assigned by the kernel. |
| 96 | This is a non-negative integer. |
| 97 | Its value may be used to uniquely identify this particular thread system-wide |
| 98 | (until the thread terminates, after which the value may be recycled by the OS). |
| 99 | |
Michael Felt | d0eeb93 | 2019-06-14 00:34:46 +0200 | [diff] [blame] | 100 | .. availability:: Windows, FreeBSD, Linux, macOS, OpenBSD, NetBSD, AIX. |
Jake Tesler | b121f63 | 2019-05-22 08:43:17 -0700 | [diff] [blame] | 101 | |
| 102 | .. versionadded:: 3.8 |
| 103 | |
| 104 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 105 | .. function:: enumerate() |
| 106 | |
Benjamin Peterson | 672b803 | 2008-06-11 19:14:14 +0000 | [diff] [blame] | 107 | Return a list of all :class:`Thread` objects currently alive. The list |
| 108 | includes daemonic threads, dummy thread objects created by |
| 109 | :func:`current_thread`, and the main thread. It excludes terminated threads |
| 110 | and threads that have not yet been started. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 111 | |
| 112 | |
Andrew Svetlov | 58b5c5a | 2013-09-04 07:01:07 +0300 | [diff] [blame] | 113 | .. function:: main_thread() |
| 114 | |
| 115 | Return the main :class:`Thread` object. In normal conditions, the |
| 116 | main thread is the thread from which the Python interpreter was |
| 117 | started. |
| 118 | |
| 119 | .. versionadded:: 3.4 |
| 120 | |
| 121 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 122 | .. function:: settrace(func) |
| 123 | |
| 124 | .. index:: single: trace function |
| 125 | |
| 126 | Set a trace function for all threads started from the :mod:`threading` module. |
| 127 | The *func* will be passed to :func:`sys.settrace` for each thread, before its |
Serhiy Storchaka | 9e0ae53 | 2013-08-24 00:23:38 +0300 | [diff] [blame] | 128 | :meth:`~Thread.run` method is called. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 129 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 130 | |
Mario Corchero | 0001a1b | 2020-11-04 10:27:43 +0100 | [diff] [blame] | 131 | .. function:: gettrace() |
| 132 | |
| 133 | .. index:: |
| 134 | single: trace function |
| 135 | single: debugger |
| 136 | |
| 137 | Get the trace function as set by :func:`settrace`. |
| 138 | |
| 139 | .. versionadded:: 3.10 |
| 140 | |
| 141 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 142 | .. function:: setprofile(func) |
| 143 | |
| 144 | .. index:: single: profile function |
| 145 | |
| 146 | Set a profile function for all threads started from the :mod:`threading` module. |
| 147 | The *func* will be passed to :func:`sys.setprofile` for each thread, before its |
Serhiy Storchaka | 9e0ae53 | 2013-08-24 00:23:38 +0300 | [diff] [blame] | 148 | :meth:`~Thread.run` method is called. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 149 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 150 | |
Mario Corchero | 0001a1b | 2020-11-04 10:27:43 +0100 | [diff] [blame] | 151 | .. function:: getprofile() |
| 152 | |
| 153 | .. index:: single: profile function |
| 154 | |
| 155 | Get the profiler function as set by :func:`setprofile`. |
| 156 | |
| 157 | .. versionadded:: 3.10 |
| 158 | |
| 159 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 160 | .. function:: stack_size([size]) |
| 161 | |
| 162 | Return the thread stack size used when creating new threads. The optional |
| 163 | *size* argument specifies the stack size to be used for subsequently created |
| 164 | threads, and must be 0 (use platform or configured default) or a positive |
Martin Panter | 31e7f50 | 2015-08-31 03:15:52 +0000 | [diff] [blame] | 165 | integer value of at least 32,768 (32 KiB). If *size* is not specified, |
| 166 | 0 is used. If changing the thread stack size is |
Georg Brandl | 9a13b43 | 2012-04-05 09:53:04 +0200 | [diff] [blame] | 167 | unsupported, a :exc:`RuntimeError` is raised. If the specified stack size is |
Serhiy Storchaka | f8def28 | 2013-02-16 17:29:56 +0200 | [diff] [blame] | 168 | invalid, a :exc:`ValueError` is raised and the stack size is unmodified. 32 KiB |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 169 | is currently the minimum supported stack size value to guarantee sufficient |
| 170 | stack space for the interpreter itself. Note that some platforms may have |
| 171 | particular restrictions on values for the stack size, such as requiring a |
Serhiy Storchaka | f8def28 | 2013-02-16 17:29:56 +0200 | [diff] [blame] | 172 | minimum stack size > 32 KiB or requiring allocation in multiples of the system |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 173 | memory page size - platform documentation should be referred to for more |
Serhiy Storchaka | f8def28 | 2013-02-16 17:29:56 +0200 | [diff] [blame] | 174 | information (4 KiB pages are common; using multiples of 4096 for the stack size is |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 175 | the suggested approach in the absence of more specific information). |
Cheryl Sabella | 2d6097d | 2018-10-12 10:55:20 -0400 | [diff] [blame] | 176 | |
| 177 | .. availability:: Windows, systems with POSIX threads. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 178 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 179 | |
Antoine Pitrou | 7c3e577 | 2010-04-14 15:44:10 +0000 | [diff] [blame] | 180 | This module also defines the following constant: |
| 181 | |
| 182 | .. data:: TIMEOUT_MAX |
| 183 | |
| 184 | The maximum value allowed for the *timeout* parameter of blocking functions |
| 185 | (:meth:`Lock.acquire`, :meth:`RLock.acquire`, :meth:`Condition.wait`, etc.). |
Georg Brandl | 6faee4e | 2010-09-21 14:48:28 +0000 | [diff] [blame] | 186 | Specifying a timeout greater than this value will raise an |
Antoine Pitrou | 7c3e577 | 2010-04-14 15:44:10 +0000 | [diff] [blame] | 187 | :exc:`OverflowError`. |
| 188 | |
Antoine Pitrou | adbc009 | 2010-04-19 14:05:51 +0000 | [diff] [blame] | 189 | .. versionadded:: 3.2 |
Antoine Pitrou | 7c3e577 | 2010-04-14 15:44:10 +0000 | [diff] [blame] | 190 | |
Georg Brandl | 67b21b7 | 2010-08-17 15:07:14 +0000 | [diff] [blame] | 191 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 192 | This module defines a number of classes, which are detailed in the sections |
| 193 | below. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 194 | |
| 195 | The design of this module is loosely based on Java's threading model. However, |
| 196 | where Java makes locks and condition variables basic behavior of every object, |
| 197 | they are separate objects in Python. Python's :class:`Thread` class supports a |
| 198 | subset of the behavior of Java's Thread class; currently, there are no |
| 199 | priorities, no thread groups, and threads cannot be destroyed, stopped, |
| 200 | suspended, resumed, or interrupted. The static methods of Java's Thread class, |
| 201 | when implemented, are mapped to module-level functions. |
| 202 | |
| 203 | All of the methods described below are executed atomically. |
| 204 | |
| 205 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 206 | Thread-Local Data |
| 207 | ----------------- |
| 208 | |
| 209 | Thread-local data is data whose values are thread specific. To manage |
| 210 | thread-local data, just create an instance of :class:`local` (or a |
| 211 | subclass) and store attributes on it:: |
| 212 | |
| 213 | mydata = threading.local() |
| 214 | mydata.x = 1 |
| 215 | |
| 216 | The instance's values will be different for separate threads. |
| 217 | |
| 218 | |
| 219 | .. class:: local() |
| 220 | |
| 221 | A class that represents thread-local data. |
| 222 | |
| 223 | For more details and extensive examples, see the documentation string of the |
| 224 | :mod:`_threading_local` module. |
| 225 | |
| 226 | |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 227 | .. _thread-objects: |
| 228 | |
| 229 | Thread Objects |
| 230 | -------------- |
| 231 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 232 | The :class:`Thread` class represents an activity that is run in a separate |
| 233 | thread of control. There are two ways to specify the activity: by passing a |
| 234 | callable object to the constructor, or by overriding the :meth:`~Thread.run` |
| 235 | method in a subclass. No other methods (except for the constructor) should be |
| 236 | overridden in a subclass. In other words, *only* override the |
| 237 | :meth:`~Thread.__init__` and :meth:`~Thread.run` methods of this class. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 238 | |
| 239 | Once a thread object is created, its activity must be started by calling the |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 240 | thread's :meth:`~Thread.start` method. This invokes the :meth:`~Thread.run` |
| 241 | method in a separate thread of control. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 242 | |
| 243 | Once the thread's activity is started, the thread is considered 'alive'. It |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 244 | stops being alive when its :meth:`~Thread.run` method terminates -- either |
| 245 | normally, or by raising an unhandled exception. The :meth:`~Thread.is_alive` |
| 246 | method tests whether the thread is alive. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 247 | |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 248 | Other threads can call a thread's :meth:`~Thread.join` method. This blocks |
| 249 | the calling thread until the thread whose :meth:`~Thread.join` method is |
| 250 | called is terminated. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 251 | |
| 252 | A thread has a name. The name can be passed to the constructor, and read or |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 253 | changed through the :attr:`~Thread.name` attribute. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 254 | |
Victor Stinner | cd590a7 | 2019-05-28 00:39:52 +0200 | [diff] [blame] | 255 | If the :meth:`~Thread.run` method raises an exception, |
| 256 | :func:`threading.excepthook` is called to handle it. By default, |
| 257 | :func:`threading.excepthook` ignores silently :exc:`SystemExit`. |
| 258 | |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 259 | A thread can be flagged as a "daemon thread". The significance of this flag is |
| 260 | that the entire Python program exits when only daemon threads are left. The |
| 261 | initial value is inherited from the creating thread. The flag can be set |
Antoine Pitrou | 61d85ba | 2012-04-10 22:51:26 +0200 | [diff] [blame] | 262 | through the :attr:`~Thread.daemon` property or the *daemon* constructor |
| 263 | argument. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 264 | |
Antoine Pitrou | 38b8254 | 2013-02-15 21:27:18 +0100 | [diff] [blame] | 265 | .. note:: |
| 266 | Daemon threads are abruptly stopped at shutdown. Their resources (such |
| 267 | as open files, database transactions, etc.) may not be released properly. |
| 268 | If you want your threads to stop gracefully, make them non-daemonic and |
| 269 | use a suitable signalling mechanism such as an :class:`Event`. |
| 270 | |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 271 | There is a "main thread" object; this corresponds to the initial thread of |
| 272 | control in the Python program. It is not a daemon thread. |
| 273 | |
| 274 | There is the possibility that "dummy thread objects" are created. These are |
| 275 | thread objects corresponding to "alien threads", which are threads of control |
| 276 | started outside the threading module, such as directly from C code. Dummy |
| 277 | thread objects have limited functionality; they are always considered alive and |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 278 | daemonic, and cannot be :meth:`~Thread.join`\ ed. They are never deleted, |
| 279 | since it is impossible to detect the termination of alien threads. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 280 | |
| 281 | |
Ezio Melotti | 8b61611 | 2012-09-08 20:49:18 +0300 | [diff] [blame] | 282 | .. class:: Thread(group=None, target=None, name=None, args=(), kwargs={}, *, \ |
| 283 | daemon=None) |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 284 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 285 | This constructor should always be called with keyword arguments. Arguments |
| 286 | are: |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 287 | |
| 288 | *group* should be ``None``; reserved for future extension when a |
| 289 | :class:`ThreadGroup` class is implemented. |
| 290 | |
| 291 | *target* is the callable object to be invoked by the :meth:`run` method. |
| 292 | Defaults to ``None``, meaning nothing is called. |
| 293 | |
Victor Stinner | 98c16c9 | 2020-09-23 23:21:19 +0200 | [diff] [blame] | 294 | *name* is the thread name. By default, a unique name is constructed |
| 295 | of the form "Thread-*N*" where *N* is a small decimal number, |
| 296 | or "Thread-*N* (target)" where "target" is ``target.__name__`` if the |
| 297 | *target* argument is specified. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 298 | |
| 299 | *args* is the argument tuple for the target invocation. Defaults to ``()``. |
| 300 | |
| 301 | *kwargs* is a dictionary of keyword arguments for the target invocation. |
| 302 | Defaults to ``{}``. |
| 303 | |
Antoine Pitrou | 0bd4deb | 2011-02-25 22:07:43 +0000 | [diff] [blame] | 304 | If not ``None``, *daemon* explicitly sets whether the thread is daemonic. |
| 305 | If ``None`` (the default), the daemonic property is inherited from the |
| 306 | current thread. |
| 307 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 308 | If the subclass overrides the constructor, it must make sure to invoke the |
| 309 | base class constructor (``Thread.__init__()``) before doing anything else to |
| 310 | the thread. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 311 | |
Victor Stinner | 98c16c9 | 2020-09-23 23:21:19 +0200 | [diff] [blame] | 312 | .. versionchanged:: 3.10 |
| 313 | Use the *target* name if *name* argument is omitted. |
| 314 | |
Antoine Pitrou | 0bd4deb | 2011-02-25 22:07:43 +0000 | [diff] [blame] | 315 | .. versionchanged:: 3.3 |
| 316 | Added the *daemon* argument. |
| 317 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 318 | .. method:: start() |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 319 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 320 | Start the thread's activity. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 321 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 322 | It must be called at most once per thread object. It arranges for the |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 323 | object's :meth:`~Thread.run` method to be invoked in a separate thread |
| 324 | of control. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 325 | |
Brian Curtin | bd0c897 | 2011-01-31 19:35:02 +0000 | [diff] [blame] | 326 | This method will raise a :exc:`RuntimeError` if called more than once |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 327 | on the same thread object. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 328 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 329 | .. method:: run() |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 330 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 331 | Method representing the thread's activity. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 332 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 333 | You may override this method in a subclass. The standard :meth:`run` |
| 334 | method invokes the callable object passed to the object's constructor as |
Mathieu Dupuy | 29d018a | 2019-04-23 15:01:09 +0200 | [diff] [blame] | 335 | the *target* argument, if any, with positional and keyword arguments taken |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 336 | from the *args* and *kwargs* arguments, respectively. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 337 | |
Georg Brandl | 7f01a13 | 2009-09-16 15:58:14 +0000 | [diff] [blame] | 338 | .. method:: join(timeout=None) |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 339 | |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 340 | Wait until the thread terminates. This blocks the calling thread until |
| 341 | the thread whose :meth:`~Thread.join` method is called terminates -- either |
Martin Panter | 972e04e | 2016-12-24 07:28:26 +0000 | [diff] [blame] | 342 | normally or through an unhandled exception -- or until the optional |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 343 | timeout occurs. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 344 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 345 | When the *timeout* argument is present and not ``None``, it should be a |
| 346 | floating point number specifying a timeout for the operation in seconds |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 347 | (or fractions thereof). As :meth:`~Thread.join` always returns ``None``, |
| 348 | you must call :meth:`~Thread.is_alive` after :meth:`~Thread.join` to |
| 349 | decide whether a timeout happened -- if the thread is still alive, the |
| 350 | :meth:`~Thread.join` call timed out. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 351 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 352 | When the *timeout* argument is not present or ``None``, the operation will |
| 353 | block until the thread terminates. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 354 | |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 355 | A thread can be :meth:`~Thread.join`\ ed many times. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 356 | |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 357 | :meth:`~Thread.join` raises a :exc:`RuntimeError` if an attempt is made |
| 358 | to join the current thread as that would cause a deadlock. It is also |
| 359 | an error to :meth:`~Thread.join` a thread before it has been started |
| 360 | and attempts to do so raise the same exception. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 361 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 362 | .. attribute:: name |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 363 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 364 | A string used for identification purposes only. It has no semantics. |
| 365 | Multiple threads may be given the same name. The initial name is set by |
| 366 | the constructor. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 367 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 368 | .. method:: getName() |
| 369 | setName() |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 370 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 371 | Old getter/setter API for :attr:`~Thread.name`; use it directly as a |
| 372 | property instead. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 373 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 374 | .. attribute:: ident |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 375 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 376 | The 'thread identifier' of this thread or ``None`` if the thread has not |
Benjamin Peterson | 236329e | 2017-09-26 23:13:15 -0700 | [diff] [blame] | 377 | been started. This is a nonzero integer. See the :func:`get_ident` |
| 378 | function. Thread identifiers may be recycled when a thread exits and |
| 379 | another thread is created. The identifier is available even after the |
| 380 | thread has exited. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 381 | |
Jake Tesler | b121f63 | 2019-05-22 08:43:17 -0700 | [diff] [blame] | 382 | .. attribute:: native_id |
| 383 | |
Antoine | a6ac239 | 2020-06-13 00:50:18 +0200 | [diff] [blame] | 384 | The Thread ID (``TID``) of this thread, as assigned by the OS (kernel). |
Jake Tesler | b121f63 | 2019-05-22 08:43:17 -0700 | [diff] [blame] | 385 | This is a non-negative integer, or ``None`` if the thread has not |
| 386 | been started. See the :func:`get_native_id` function. |
Antoine | a6ac239 | 2020-06-13 00:50:18 +0200 | [diff] [blame] | 387 | This value may be used to uniquely identify this particular thread |
| 388 | system-wide (until the thread terminates, after which the value |
| 389 | may be recycled by the OS). |
Jake Tesler | b121f63 | 2019-05-22 08:43:17 -0700 | [diff] [blame] | 390 | |
| 391 | .. note:: |
| 392 | |
| 393 | Similar to Process IDs, Thread IDs are only valid (guaranteed unique |
| 394 | system-wide) from the time the thread is created until the thread |
| 395 | has been terminated. |
| 396 | |
Jake Tesler | 84846b0 | 2019-07-30 14:41:46 -0700 | [diff] [blame] | 397 | .. availability:: Requires :func:`get_native_id` function. |
Jake Tesler | b121f63 | 2019-05-22 08:43:17 -0700 | [diff] [blame] | 398 | |
| 399 | .. versionadded:: 3.8 |
| 400 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 401 | .. method:: is_alive() |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 402 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 403 | Return whether the thread is alive. |
Georg Brandl | 770b0be | 2009-01-02 20:10:05 +0000 | [diff] [blame] | 404 | |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 405 | This method returns ``True`` just before the :meth:`~Thread.run` method |
| 406 | starts until just after the :meth:`~Thread.run` method terminates. The |
| 407 | module function :func:`.enumerate` returns a list of all alive threads. |
Georg Brandl | 770b0be | 2009-01-02 20:10:05 +0000 | [diff] [blame] | 408 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 409 | .. attribute:: daemon |
Georg Brandl | 770b0be | 2009-01-02 20:10:05 +0000 | [diff] [blame] | 410 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 411 | A boolean value indicating whether this thread is a daemon thread (True) |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 412 | or not (False). This must be set before :meth:`~Thread.start` is called, |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 413 | otherwise :exc:`RuntimeError` is raised. Its initial value is inherited |
| 414 | from the creating thread; the main thread is not a daemon thread and |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 415 | therefore all threads created in the main thread default to |
| 416 | :attr:`~Thread.daemon` = ``False``. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 417 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 418 | The entire Python program exits when no alive non-daemon threads are left. |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 419 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 420 | .. method:: isDaemon() |
| 421 | setDaemon() |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 422 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 423 | Old getter/setter API for :attr:`~Thread.daemon`; use it directly as a |
| 424 | property instead. |
Georg Brandl | 770b0be | 2009-01-02 20:10:05 +0000 | [diff] [blame] | 425 | |
| 426 | |
Antoine Pitrou | d6d17c5 | 2011-02-28 22:04:51 +0000 | [diff] [blame] | 427 | .. impl-detail:: |
| 428 | |
Victor Stinner | bb0b085 | 2020-08-14 12:20:05 +0200 | [diff] [blame] | 429 | In CPython, due to the :term:`Global Interpreter Lock |
| 430 | <global interpreter lock>`, only one thread |
Antoine Pitrou | d6d17c5 | 2011-02-28 22:04:51 +0000 | [diff] [blame] | 431 | can execute Python code at once (even though certain performance-oriented |
| 432 | libraries might overcome this limitation). |
Ezio Melotti | 6d043fc | 2013-01-18 19:58:47 +0200 | [diff] [blame] | 433 | If you want your application to make better use of the computational |
Antoine Pitrou | d6d17c5 | 2011-02-28 22:04:51 +0000 | [diff] [blame] | 434 | resources of multi-core machines, you are advised to use |
| 435 | :mod:`multiprocessing` or :class:`concurrent.futures.ProcessPoolExecutor`. |
| 436 | However, threading is still an appropriate model if you want to run |
| 437 | multiple I/O-bound tasks simultaneously. |
| 438 | |
| 439 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 440 | .. _lock-objects: |
| 441 | |
| 442 | Lock Objects |
| 443 | ------------ |
| 444 | |
| 445 | A primitive lock is a synchronization primitive that is not owned by a |
| 446 | particular thread when locked. In Python, it is currently the lowest level |
Georg Brandl | 2067bfd | 2008-05-25 13:05:15 +0000 | [diff] [blame] | 447 | synchronization primitive available, implemented directly by the :mod:`_thread` |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 448 | extension module. |
| 449 | |
| 450 | A primitive lock is in one of two states, "locked" or "unlocked". It is created |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 451 | in the unlocked state. It has two basic methods, :meth:`~Lock.acquire` and |
| 452 | :meth:`~Lock.release`. When the state is unlocked, :meth:`~Lock.acquire` |
| 453 | changes the state to locked and returns immediately. When the state is locked, |
| 454 | :meth:`~Lock.acquire` blocks until a call to :meth:`~Lock.release` in another |
| 455 | thread changes it to unlocked, then the :meth:`~Lock.acquire` call resets it |
| 456 | to locked and returns. The :meth:`~Lock.release` method should only be |
| 457 | called in the locked state; it changes the state to unlocked and returns |
| 458 | immediately. If an attempt is made to release an unlocked lock, a |
| 459 | :exc:`RuntimeError` will be raised. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 460 | |
Serhiy Storchaka | 1486799 | 2014-09-10 23:43:41 +0300 | [diff] [blame] | 461 | Locks also support the :ref:`context management protocol <with-locks>`. |
Antoine Pitrou | b96a354 | 2012-04-10 22:47:55 +0200 | [diff] [blame] | 462 | |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 463 | When more than one thread is blocked in :meth:`~Lock.acquire` waiting for the |
| 464 | state to turn to unlocked, only one thread proceeds when a :meth:`~Lock.release` |
| 465 | call resets the state to unlocked; which one of the waiting threads proceeds |
| 466 | is not defined, and may vary across implementations. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 467 | |
| 468 | All methods are executed atomically. |
| 469 | |
| 470 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 471 | .. class:: Lock() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 472 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 473 | The class implementing primitive lock objects. Once a thread has acquired a |
| 474 | lock, subsequent attempts to acquire it block, until it is released; any |
| 475 | thread may release it. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 476 | |
csabella | 56ddfd2 | 2017-05-31 20:14:19 -0400 | [diff] [blame] | 477 | Note that ``Lock`` is actually a factory function which returns an instance |
| 478 | of the most efficient version of the concrete Lock class that is supported |
| 479 | by the platform. |
Antoine Pitrou | 810023d | 2010-12-15 22:59:16 +0000 | [diff] [blame] | 480 | |
Georg Brandl | 67b21b7 | 2010-08-17 15:07:14 +0000 | [diff] [blame] | 481 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 482 | .. method:: acquire(blocking=True, timeout=-1) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 483 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 484 | Acquire a lock, blocking or non-blocking. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 485 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 486 | When invoked with the *blocking* argument set to ``True`` (the default), |
| 487 | block until the lock is unlocked, then set it to locked and return ``True``. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 488 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 489 | When invoked with the *blocking* argument set to ``False``, do not block. |
| 490 | If a call with *blocking* set to ``True`` would block, return ``False`` |
| 491 | immediately; otherwise, set the lock to locked and return ``True``. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 492 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 493 | When invoked with the floating-point *timeout* argument set to a positive |
| 494 | value, block for at most the number of seconds specified by *timeout* |
Georg Brandl | b19ef18 | 2013-10-06 10:48:08 +0200 | [diff] [blame] | 495 | and as long as the lock cannot be acquired. A *timeout* argument of ``-1`` |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 496 | specifies an unbounded wait. It is forbidden to specify a *timeout* |
| 497 | when *blocking* is false. |
| 498 | |
| 499 | The return value is ``True`` if the lock is acquired successfully, |
| 500 | ``False`` if not (for example if the *timeout* expired). |
| 501 | |
| 502 | .. versionchanged:: 3.2 |
| 503 | The *timeout* parameter is new. |
| 504 | |
| 505 | .. versionchanged:: 3.2 |
Benjamin Peterson | 5b10d51 | 2018-09-12 13:48:03 -0700 | [diff] [blame] | 506 | Lock acquisition can now be interrupted by signals on POSIX if the |
| 507 | underlying threading implementation supports it. |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 508 | |
| 509 | |
| 510 | .. method:: release() |
| 511 | |
| 512 | Release a lock. This can be called from any thread, not only the thread |
| 513 | which has acquired the lock. |
| 514 | |
| 515 | When the lock is locked, reset it to unlocked, and return. If any other threads |
| 516 | are blocked waiting for the lock to become unlocked, allow exactly one of them |
| 517 | to proceed. |
| 518 | |
| 519 | When invoked on an unlocked lock, a :exc:`RuntimeError` is raised. |
| 520 | |
| 521 | There is no return value. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 522 | |
idomic | fdafa1d | 2019-12-01 15:07:39 -0500 | [diff] [blame] | 523 | .. method:: locked() |
Grant Jenks | ef8844f | 2020-01-17 14:54:44 -0800 | [diff] [blame] | 524 | |
idomic | fdafa1d | 2019-12-01 15:07:39 -0500 | [diff] [blame] | 525 | Return true if the lock is acquired. |
| 526 | |
| 527 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 528 | |
| 529 | .. _rlock-objects: |
| 530 | |
| 531 | RLock Objects |
| 532 | ------------- |
| 533 | |
| 534 | A reentrant lock is a synchronization primitive that may be acquired multiple |
| 535 | times by the same thread. Internally, it uses the concepts of "owning thread" |
| 536 | and "recursion level" in addition to the locked/unlocked state used by primitive |
| 537 | locks. In the locked state, some thread owns the lock; in the unlocked state, |
| 538 | no thread owns it. |
| 539 | |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 540 | To lock the lock, a thread calls its :meth:`~RLock.acquire` method; this |
| 541 | returns once the thread owns the lock. To unlock the lock, a thread calls |
| 542 | its :meth:`~Lock.release` method. :meth:`~Lock.acquire`/:meth:`~Lock.release` |
| 543 | call pairs may be nested; only the final :meth:`~Lock.release` (the |
| 544 | :meth:`~Lock.release` of the outermost pair) resets the lock to unlocked and |
| 545 | allows another thread blocked in :meth:`~Lock.acquire` to proceed. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 546 | |
Serhiy Storchaka | 1486799 | 2014-09-10 23:43:41 +0300 | [diff] [blame] | 547 | Reentrant locks also support the :ref:`context management protocol <with-locks>`. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 548 | |
| 549 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 550 | .. class:: RLock() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 551 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 552 | This class implements reentrant lock objects. A reentrant lock must be |
| 553 | released by the thread that acquired it. Once a thread has acquired a |
| 554 | reentrant lock, the same thread may acquire it again without blocking; the |
| 555 | thread must release it once for each time it has acquired it. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 556 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 557 | Note that ``RLock`` is actually a factory function which returns an instance |
| 558 | of the most efficient version of the concrete RLock class that is supported |
| 559 | by the platform. |
Antoine Pitrou | adbc009 | 2010-04-19 14:05:51 +0000 | [diff] [blame] | 560 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 561 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 562 | .. method:: acquire(blocking=True, timeout=-1) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 563 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 564 | Acquire a lock, blocking or non-blocking. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 565 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 566 | When invoked without arguments: if this thread already owns the lock, increment |
| 567 | the recursion level by one, and return immediately. Otherwise, if another |
| 568 | thread owns the lock, block until the lock is unlocked. Once the lock is |
| 569 | unlocked (not owned by any thread), then grab ownership, set the recursion level |
| 570 | to one, and return. If more than one thread is blocked waiting until the lock |
| 571 | is unlocked, only one at a time will be able to grab ownership of the lock. |
| 572 | There is no return value in this case. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 573 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 574 | When invoked with the *blocking* argument set to true, do the same thing as when |
Serhiy Storchaka | 138ccbb | 2019-11-12 16:57:03 +0200 | [diff] [blame] | 575 | called without arguments, and return ``True``. |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 576 | |
| 577 | When invoked with the *blocking* argument set to false, do not block. If a call |
Serhiy Storchaka | 138ccbb | 2019-11-12 16:57:03 +0200 | [diff] [blame] | 578 | without an argument would block, return ``False`` immediately; otherwise, do the |
| 579 | same thing as when called without arguments, and return ``True``. |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 580 | |
| 581 | When invoked with the floating-point *timeout* argument set to a positive |
| 582 | value, block for at most the number of seconds specified by *timeout* |
Serhiy Storchaka | 138ccbb | 2019-11-12 16:57:03 +0200 | [diff] [blame] | 583 | and as long as the lock cannot be acquired. Return ``True`` if the lock has |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 584 | been acquired, false if the timeout has elapsed. |
| 585 | |
| 586 | .. versionchanged:: 3.2 |
| 587 | The *timeout* parameter is new. |
| 588 | |
| 589 | |
| 590 | .. method:: release() |
| 591 | |
| 592 | Release a lock, decrementing the recursion level. If after the decrement it is |
| 593 | zero, reset the lock to unlocked (not owned by any thread), and if any other |
| 594 | threads are blocked waiting for the lock to become unlocked, allow exactly one |
| 595 | of them to proceed. If after the decrement the recursion level is still |
| 596 | nonzero, the lock remains locked and owned by the calling thread. |
| 597 | |
| 598 | Only call this method when the calling thread owns the lock. A |
| 599 | :exc:`RuntimeError` is raised if this method is called when the lock is |
| 600 | unlocked. |
| 601 | |
| 602 | There is no return value. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 603 | |
| 604 | |
| 605 | .. _condition-objects: |
| 606 | |
| 607 | Condition Objects |
| 608 | ----------------- |
| 609 | |
| 610 | A condition variable is always associated with some kind of lock; this can be |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 611 | passed in or one will be created by default. Passing one in is useful when |
| 612 | several condition variables must share the same lock. The lock is part of |
| 613 | the condition object: you don't have to track it separately. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 614 | |
Serhiy Storchaka | 1486799 | 2014-09-10 23:43:41 +0300 | [diff] [blame] | 615 | A condition variable obeys the :ref:`context management protocol <with-locks>`: |
Antoine Pitrou | b96a354 | 2012-04-10 22:47:55 +0200 | [diff] [blame] | 616 | using the ``with`` statement acquires the associated lock for the duration of |
| 617 | the enclosed block. The :meth:`~Condition.acquire` and |
| 618 | :meth:`~Condition.release` methods also call the corresponding methods of |
| 619 | the associated lock. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 620 | |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 621 | Other methods must be called with the associated lock held. The |
| 622 | :meth:`~Condition.wait` method releases the lock, and then blocks until |
| 623 | another thread awakens it by calling :meth:`~Condition.notify` or |
| 624 | :meth:`~Condition.notify_all`. Once awakened, :meth:`~Condition.wait` |
| 625 | re-acquires the lock and returns. It is also possible to specify a timeout. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 626 | |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 627 | The :meth:`~Condition.notify` method wakes up one of the threads waiting for |
| 628 | the condition variable, if any are waiting. The :meth:`~Condition.notify_all` |
| 629 | method wakes up all threads waiting for the condition variable. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 630 | |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 631 | Note: the :meth:`~Condition.notify` and :meth:`~Condition.notify_all` methods |
| 632 | don't release the lock; this means that the thread or threads awakened will |
| 633 | not return from their :meth:`~Condition.wait` call immediately, but only when |
| 634 | the thread that called :meth:`~Condition.notify` or :meth:`~Condition.notify_all` |
| 635 | finally relinquishes ownership of the lock. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 636 | |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 637 | The typical programming style using condition variables uses the lock to |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 638 | synchronize access to some shared state; threads that are interested in a |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 639 | particular change of state call :meth:`~Condition.wait` repeatedly until they |
| 640 | see the desired state, while threads that modify the state call |
| 641 | :meth:`~Condition.notify` or :meth:`~Condition.notify_all` when they change |
| 642 | the state in such a way that it could possibly be a desired state for one |
| 643 | of the waiters. For example, the following code is a generic |
| 644 | producer-consumer situation with unlimited buffer capacity:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 645 | |
| 646 | # Consume one item |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 647 | with cv: |
| 648 | while not an_item_is_available(): |
| 649 | cv.wait() |
| 650 | get_an_available_item() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 651 | |
| 652 | # Produce one item |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 653 | with cv: |
| 654 | make_an_item_available() |
Antoine Pitrou | f6cd9b2 | 2012-04-11 19:37:56 +0200 | [diff] [blame] | 655 | cv.notify() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 656 | |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 657 | The ``while`` loop checking for the application's condition is necessary |
| 658 | because :meth:`~Condition.wait` can return after an arbitrary long time, |
Antoine Pitrou | f6cd9b2 | 2012-04-11 19:37:56 +0200 | [diff] [blame] | 659 | and the condition which prompted the :meth:`~Condition.notify` call may |
| 660 | no longer hold true. This is inherent to multi-threaded programming. The |
| 661 | :meth:`~Condition.wait_for` method can be used to automate the condition |
| 662 | checking, and eases the computation of timeouts:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 663 | |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 664 | # Consume an item |
| 665 | with cv: |
| 666 | cv.wait_for(an_item_is_available) |
| 667 | get_an_available_item() |
Kristján Valur Jónsson | 6331520 | 2010-11-18 12:46:39 +0000 | [diff] [blame] | 668 | |
Antoine Pitrou | 126aef7 | 2012-04-10 22:24:05 +0200 | [diff] [blame] | 669 | To choose between :meth:`~Condition.notify` and :meth:`~Condition.notify_all`, |
| 670 | consider whether one state change can be interesting for only one or several |
| 671 | waiting threads. E.g. in a typical producer-consumer situation, adding one |
| 672 | item to the buffer only needs to wake up one consumer thread. |
| 673 | |
| 674 | |
Georg Brandl | 7f01a13 | 2009-09-16 15:58:14 +0000 | [diff] [blame] | 675 | .. class:: Condition(lock=None) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 676 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 677 | This class implements condition variable objects. A condition variable |
| 678 | allows one or more threads to wait until they are notified by another thread. |
| 679 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 680 | If the *lock* argument is given and not ``None``, it must be a :class:`Lock` |
| 681 | or :class:`RLock` object, and it is used as the underlying lock. Otherwise, |
| 682 | a new :class:`RLock` object is created and used as the underlying lock. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 683 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 684 | .. versionchanged:: 3.3 |
| 685 | changed from a factory function to a class. |
| 686 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 687 | .. method:: acquire(*args) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 688 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 689 | Acquire the underlying lock. This method calls the corresponding method on |
| 690 | the underlying lock; the return value is whatever that method returns. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 691 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 692 | .. method:: release() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 693 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 694 | Release the underlying lock. This method calls the corresponding method on |
| 695 | the underlying lock; there is no return value. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 696 | |
Georg Brandl | 7f01a13 | 2009-09-16 15:58:14 +0000 | [diff] [blame] | 697 | .. method:: wait(timeout=None) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 698 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 699 | Wait until notified or until a timeout occurs. If the calling thread has |
| 700 | not acquired the lock when this method is called, a :exc:`RuntimeError` is |
| 701 | raised. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 702 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 703 | This method releases the underlying lock, and then blocks until it is |
| 704 | awakened by a :meth:`notify` or :meth:`notify_all` call for the same |
| 705 | condition variable in another thread, or until the optional timeout |
| 706 | occurs. Once awakened or timed out, it re-acquires the lock and returns. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 707 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 708 | When the *timeout* argument is present and not ``None``, it should be a |
| 709 | floating point number specifying a timeout for the operation in seconds |
| 710 | (or fractions thereof). |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 711 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 712 | When the underlying lock is an :class:`RLock`, it is not released using |
| 713 | its :meth:`release` method, since this may not actually unlock the lock |
| 714 | when it was acquired multiple times recursively. Instead, an internal |
| 715 | interface of the :class:`RLock` class is used, which really unlocks it |
| 716 | even when it has been recursively acquired several times. Another internal |
| 717 | interface is then used to restore the recursion level when the lock is |
| 718 | reacquired. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 719 | |
Georg Brandl | b9a4391 | 2010-10-28 09:03:20 +0000 | [diff] [blame] | 720 | The return value is ``True`` unless a given *timeout* expired, in which |
| 721 | case it is ``False``. |
| 722 | |
| 723 | .. versionchanged:: 3.2 |
| 724 | Previously, the method always returned ``None``. |
| 725 | |
Kristján Valur Jónsson | 6331520 | 2010-11-18 12:46:39 +0000 | [diff] [blame] | 726 | .. method:: wait_for(predicate, timeout=None) |
| 727 | |
Serhiy Storchaka | 4adf01c | 2016-10-19 18:30:05 +0300 | [diff] [blame] | 728 | Wait until a condition evaluates to true. *predicate* should be a |
Kristján Valur Jónsson | 6331520 | 2010-11-18 12:46:39 +0000 | [diff] [blame] | 729 | callable which result will be interpreted as a boolean value. |
| 730 | A *timeout* may be provided giving the maximum time to wait. |
| 731 | |
| 732 | This utility method may call :meth:`wait` repeatedly until the predicate |
| 733 | is satisfied, or until a timeout occurs. The return value is |
| 734 | the last return value of the predicate and will evaluate to |
| 735 | ``False`` if the method timed out. |
| 736 | |
| 737 | Ignoring the timeout feature, calling this method is roughly equivalent to |
| 738 | writing:: |
| 739 | |
| 740 | while not predicate(): |
| 741 | cv.wait() |
| 742 | |
| 743 | Therefore, the same rules apply as with :meth:`wait`: The lock must be |
Senthil Kumaran | b4760ef | 2015-06-14 17:35:37 -0700 | [diff] [blame] | 744 | held when called and is re-acquired on return. The predicate is evaluated |
Kristján Valur Jónsson | 6331520 | 2010-11-18 12:46:39 +0000 | [diff] [blame] | 745 | with the lock held. |
| 746 | |
Kristján Valur Jónsson | 6331520 | 2010-11-18 12:46:39 +0000 | [diff] [blame] | 747 | .. versionadded:: 3.2 |
| 748 | |
Eli Bendersky | d44af82 | 2011-11-12 20:44:25 +0200 | [diff] [blame] | 749 | .. method:: notify(n=1) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 750 | |
Eli Bendersky | d44af82 | 2011-11-12 20:44:25 +0200 | [diff] [blame] | 751 | By default, wake up one thread waiting on this condition, if any. If the |
| 752 | calling thread has not acquired the lock when this method is called, a |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 753 | :exc:`RuntimeError` is raised. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 754 | |
Eli Bendersky | d44af82 | 2011-11-12 20:44:25 +0200 | [diff] [blame] | 755 | This method wakes up at most *n* of the threads waiting for the condition |
| 756 | variable; it is a no-op if no threads are waiting. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 757 | |
Eli Bendersky | d44af82 | 2011-11-12 20:44:25 +0200 | [diff] [blame] | 758 | The current implementation wakes up exactly *n* threads, if at least *n* |
| 759 | threads are waiting. However, it's not safe to rely on this behavior. |
| 760 | A future, optimized implementation may occasionally wake up more than |
| 761 | *n* threads. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 762 | |
Eli Bendersky | d44af82 | 2011-11-12 20:44:25 +0200 | [diff] [blame] | 763 | Note: an awakened thread does not actually return from its :meth:`wait` |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 764 | call until it can reacquire the lock. Since :meth:`notify` does not |
| 765 | release the lock, its caller should. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 766 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 767 | .. method:: notify_all() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 768 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 769 | Wake up all threads waiting on this condition. This method acts like |
| 770 | :meth:`notify`, but wakes up all waiting threads instead of one. If the |
| 771 | calling thread has not acquired the lock when this method is called, a |
| 772 | :exc:`RuntimeError` is raised. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 773 | |
| 774 | |
| 775 | .. _semaphore-objects: |
| 776 | |
| 777 | Semaphore Objects |
| 778 | ----------------- |
| 779 | |
| 780 | This is one of the oldest synchronization primitives in the history of computer |
| 781 | science, invented by the early Dutch computer scientist Edsger W. Dijkstra (he |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 782 | used the names ``P()`` and ``V()`` instead of :meth:`~Semaphore.acquire` and |
| 783 | :meth:`~Semaphore.release`). |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 784 | |
| 785 | A semaphore manages an internal counter which is decremented by each |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 786 | :meth:`~Semaphore.acquire` call and incremented by each :meth:`~Semaphore.release` |
| 787 | call. The counter can never go below zero; when :meth:`~Semaphore.acquire` |
| 788 | finds that it is zero, it blocks, waiting until some other thread calls |
| 789 | :meth:`~Semaphore.release`. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 790 | |
Serhiy Storchaka | 1486799 | 2014-09-10 23:43:41 +0300 | [diff] [blame] | 791 | Semaphores also support the :ref:`context management protocol <with-locks>`. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 792 | |
| 793 | |
Georg Brandl | 7f01a13 | 2009-09-16 15:58:14 +0000 | [diff] [blame] | 794 | .. class:: Semaphore(value=1) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 795 | |
Garrett Berg | a0374dd | 2017-12-07 11:04:26 -0700 | [diff] [blame] | 796 | This class implements semaphore objects. A semaphore manages an atomic |
| 797 | counter representing the number of :meth:`release` calls minus the number of |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 798 | :meth:`acquire` calls, plus an initial value. The :meth:`acquire` method |
| 799 | blocks if necessary until it can return without making the counter negative. |
| 800 | If not given, *value* defaults to 1. |
| 801 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 802 | The optional argument gives the initial *value* for the internal counter; it |
| 803 | defaults to ``1``. If the *value* given is less than 0, :exc:`ValueError` is |
| 804 | raised. |
| 805 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 806 | .. versionchanged:: 3.3 |
| 807 | changed from a factory function to a class. |
| 808 | |
Antoine Pitrou | 0454af9 | 2010-04-17 23:51:58 +0000 | [diff] [blame] | 809 | .. method:: acquire(blocking=True, timeout=None) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 810 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 811 | Acquire a semaphore. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 812 | |
Garrett Berg | a0374dd | 2017-12-07 11:04:26 -0700 | [diff] [blame] | 813 | When invoked without arguments: |
| 814 | |
| 815 | * If the internal counter is larger than zero on entry, decrement it by |
Serhiy Storchaka | 138ccbb | 2019-11-12 16:57:03 +0200 | [diff] [blame] | 816 | one and return ``True`` immediately. |
Garrett Berg | a0374dd | 2017-12-07 11:04:26 -0700 | [diff] [blame] | 817 | * If the internal counter is zero on entry, block until awoken by a call to |
| 818 | :meth:`~Semaphore.release`. Once awoken (and the counter is greater |
Serhiy Storchaka | 138ccbb | 2019-11-12 16:57:03 +0200 | [diff] [blame] | 819 | than 0), decrement the counter by 1 and return ``True``. Exactly one |
Garrett Berg | a0374dd | 2017-12-07 11:04:26 -0700 | [diff] [blame] | 820 | thread will be awoken by each call to :meth:`~Semaphore.release`. The |
| 821 | order in which threads are awoken should not be relied on. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 822 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 823 | When invoked with *blocking* set to false, do not block. If a call |
Serhiy Storchaka | 138ccbb | 2019-11-12 16:57:03 +0200 | [diff] [blame] | 824 | without an argument would block, return ``False`` immediately; otherwise, do |
| 825 | the same thing as when called without arguments, and return ``True``. |
Antoine Pitrou | 0454af9 | 2010-04-17 23:51:58 +0000 | [diff] [blame] | 826 | |
Serhiy Storchaka | ecf41da | 2016-10-19 16:29:26 +0300 | [diff] [blame] | 827 | When invoked with a *timeout* other than ``None``, it will block for at |
Antoine Pitrou | 0454af9 | 2010-04-17 23:51:58 +0000 | [diff] [blame] | 828 | most *timeout* seconds. If acquire does not complete successfully in |
Serhiy Storchaka | 138ccbb | 2019-11-12 16:57:03 +0200 | [diff] [blame] | 829 | that interval, return ``False``. Return ``True`` otherwise. |
Antoine Pitrou | 0454af9 | 2010-04-17 23:51:58 +0000 | [diff] [blame] | 830 | |
| 831 | .. versionchanged:: 3.2 |
| 832 | The *timeout* parameter is new. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 833 | |
Raymond Hettinger | 35f6301 | 2019-08-29 01:45:19 -0700 | [diff] [blame] | 834 | .. method:: release(n=1) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 835 | |
Raymond Hettinger | 35f6301 | 2019-08-29 01:45:19 -0700 | [diff] [blame] | 836 | Release a semaphore, incrementing the internal counter by *n*. When it |
| 837 | was zero on entry and other threads are waiting for it to become larger |
| 838 | than zero again, wake up *n* of those threads. |
| 839 | |
| 840 | .. versionchanged:: 3.9 |
| 841 | Added the *n* parameter to release multiple waiting threads at once. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 842 | |
| 843 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 844 | .. class:: BoundedSemaphore(value=1) |
| 845 | |
| 846 | Class implementing bounded semaphore objects. A bounded semaphore checks to |
| 847 | make sure its current value doesn't exceed its initial value. If it does, |
| 848 | :exc:`ValueError` is raised. In most situations semaphores are used to guard |
| 849 | resources with limited capacity. If the semaphore is released too many times |
| 850 | it's a sign of a bug. If not given, *value* defaults to 1. |
| 851 | |
| 852 | .. versionchanged:: 3.3 |
| 853 | changed from a factory function to a class. |
| 854 | |
| 855 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 856 | .. _semaphore-examples: |
| 857 | |
| 858 | :class:`Semaphore` Example |
| 859 | ^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 860 | |
| 861 | Semaphores are often used to guard resources with limited capacity, for example, |
Georg Brandl | a572476 | 2011-01-06 19:28:18 +0000 | [diff] [blame] | 862 | a database server. In any situation where the size of the resource is fixed, |
| 863 | you should use a bounded semaphore. Before spawning any worker threads, your |
| 864 | main thread would initialize the semaphore:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 865 | |
| 866 | maxconnections = 5 |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 867 | # ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 868 | pool_sema = BoundedSemaphore(value=maxconnections) |
| 869 | |
| 870 | Once spawned, worker threads call the semaphore's acquire and release methods |
| 871 | when they need to connect to the server:: |
| 872 | |
Antoine Pitrou | b96a354 | 2012-04-10 22:47:55 +0200 | [diff] [blame] | 873 | with pool_sema: |
| 874 | conn = connectdb() |
| 875 | try: |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 876 | # ... use connection ... |
Antoine Pitrou | b96a354 | 2012-04-10 22:47:55 +0200 | [diff] [blame] | 877 | finally: |
| 878 | conn.close() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 879 | |
| 880 | The use of a bounded semaphore reduces the chance that a programming error which |
| 881 | causes the semaphore to be released more than it's acquired will go undetected. |
| 882 | |
| 883 | |
| 884 | .. _event-objects: |
| 885 | |
| 886 | Event Objects |
| 887 | ------------- |
| 888 | |
| 889 | This is one of the simplest mechanisms for communication between threads: one |
| 890 | thread signals an event and other threads wait for it. |
| 891 | |
| 892 | An event object manages an internal flag that can be set to true with the |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 893 | :meth:`~Event.set` method and reset to false with the :meth:`~Event.clear` |
| 894 | method. The :meth:`~Event.wait` method blocks until the flag is true. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 895 | |
| 896 | |
| 897 | .. class:: Event() |
| 898 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 899 | Class implementing event objects. An event manages a flag that can be set to |
| 900 | true with the :meth:`~Event.set` method and reset to false with the |
| 901 | :meth:`clear` method. The :meth:`wait` method blocks until the flag is true. |
| 902 | The flag is initially false. |
| 903 | |
| 904 | .. versionchanged:: 3.3 |
| 905 | changed from a factory function to a class. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 906 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 907 | .. method:: is_set() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 908 | |
Serhiy Storchaka | 138ccbb | 2019-11-12 16:57:03 +0200 | [diff] [blame] | 909 | Return ``True`` if and only if the internal flag is true. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 910 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 911 | .. method:: set() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 912 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 913 | Set the internal flag to true. All threads waiting for it to become true |
| 914 | are awakened. Threads that call :meth:`wait` once the flag is true will |
| 915 | not block at all. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 916 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 917 | .. method:: clear() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 918 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 919 | Reset the internal flag to false. Subsequently, threads calling |
Georg Brandl | 502d9a5 | 2009-07-26 15:02:41 +0000 | [diff] [blame] | 920 | :meth:`wait` will block until :meth:`.set` is called to set the internal |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 921 | flag to true again. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 922 | |
Georg Brandl | 7f01a13 | 2009-09-16 15:58:14 +0000 | [diff] [blame] | 923 | .. method:: wait(timeout=None) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 924 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 925 | Block until the internal flag is true. If the internal flag is true on |
| 926 | entry, return immediately. Otherwise, block until another thread calls |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 927 | :meth:`.set` to set the flag to true, or until the optional timeout occurs. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 928 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 929 | When the timeout argument is present and not ``None``, it should be a |
| 930 | floating point number specifying a timeout for the operation in seconds |
| 931 | (or fractions thereof). |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 932 | |
Serhiy Storchaka | 138ccbb | 2019-11-12 16:57:03 +0200 | [diff] [blame] | 933 | This method returns ``True`` if and only if the internal flag has been set to |
Charles-François Natali | ded0348 | 2012-01-07 18:24:56 +0100 | [diff] [blame] | 934 | true, either before the wait call or after the wait starts, so it will |
| 935 | always return ``True`` except if a timeout is given and the operation |
| 936 | times out. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 937 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 938 | .. versionchanged:: 3.1 |
| 939 | Previously, the method always returned ``None``. |
Benjamin Peterson | d23f822 | 2009-04-05 19:13:16 +0000 | [diff] [blame] | 940 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 941 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 942 | .. _timer-objects: |
| 943 | |
| 944 | Timer Objects |
| 945 | ------------- |
| 946 | |
| 947 | This class represents an action that should be run only after a certain amount |
| 948 | of time has passed --- a timer. :class:`Timer` is a subclass of :class:`Thread` |
| 949 | and as such also functions as an example of creating custom threads. |
| 950 | |
Serhiy Storchaka | 9e0ae53 | 2013-08-24 00:23:38 +0300 | [diff] [blame] | 951 | Timers are started, as with threads, by calling their :meth:`~Timer.start` |
| 952 | method. The timer can be stopped (before its action has begun) by calling the |
| 953 | :meth:`~Timer.cancel` method. The interval the timer will wait before |
| 954 | executing its action may not be exactly the same as the interval specified by |
| 955 | the user. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 956 | |
| 957 | For example:: |
| 958 | |
| 959 | def hello(): |
Collin Winter | c79461b | 2007-09-01 23:34:30 +0000 | [diff] [blame] | 960 | print("hello, world") |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 961 | |
| 962 | t = Timer(30.0, hello) |
Serhiy Storchaka | dba9039 | 2016-05-10 12:01:23 +0300 | [diff] [blame] | 963 | t.start() # after 30 seconds, "hello, world" will be printed |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 964 | |
| 965 | |
R David Murray | 19aeb43 | 2013-03-30 17:19:38 -0400 | [diff] [blame] | 966 | .. class:: Timer(interval, function, args=None, kwargs=None) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 967 | |
| 968 | Create a timer that will run *function* with arguments *args* and keyword |
| 969 | arguments *kwargs*, after *interval* seconds have passed. |
Serhiy Storchaka | ecf41da | 2016-10-19 16:29:26 +0300 | [diff] [blame] | 970 | If *args* is ``None`` (the default) then an empty list will be used. |
| 971 | If *kwargs* is ``None`` (the default) then an empty dict will be used. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 972 | |
R David Murray | ef4d286 | 2012-10-06 14:35:35 -0400 | [diff] [blame] | 973 | .. versionchanged:: 3.3 |
| 974 | changed from a factory function to a class. |
| 975 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 976 | .. method:: cancel() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 977 | |
Georg Brandl | 7a72b3a | 2009-07-26 14:48:09 +0000 | [diff] [blame] | 978 | Stop the timer, and cancel the execution of the timer's action. This will |
| 979 | only work if the timer is still in its waiting stage. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 980 | |
| 981 | |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 982 | Barrier Objects |
| 983 | --------------- |
| 984 | |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 985 | .. versionadded:: 3.2 |
| 986 | |
| 987 | This class provides a simple synchronization primitive for use by a fixed number |
| 988 | of threads that need to wait for each other. Each of the threads tries to pass |
Antoine Pitrou | 2c9f104 | 2012-04-10 22:35:53 +0200 | [diff] [blame] | 989 | the barrier by calling the :meth:`~Barrier.wait` method and will block until |
Saurabh Chaturvedi | 143be36 | 2017-08-15 00:24:53 +0530 | [diff] [blame] | 990 | all of the threads have made their :meth:`~Barrier.wait` calls. At this point, |
| 991 | the threads are released simultaneously. |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 992 | |
| 993 | The barrier can be reused any number of times for the same number of threads. |
| 994 | |
| 995 | As an example, here is a simple way to synchronize a client and server thread:: |
| 996 | |
| 997 | b = Barrier(2, timeout=5) |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 998 | |
| 999 | def server(): |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1000 | start_server() |
| 1001 | b.wait() |
| 1002 | while True: |
| 1003 | connection = accept_connection() |
| 1004 | process_server_connection(connection) |
| 1005 | |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1006 | def client(): |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1007 | b.wait() |
| 1008 | while True: |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1009 | connection = make_connection() |
| 1010 | process_client_connection(connection) |
| 1011 | |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1012 | |
| 1013 | .. class:: Barrier(parties, action=None, timeout=None) |
| 1014 | |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1015 | Create a barrier object for *parties* number of threads. An *action*, when |
| 1016 | provided, is a callable to be called by one of the threads when they are |
| 1017 | released. *timeout* is the default timeout value if none is specified for |
| 1018 | the :meth:`wait` method. |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1019 | |
| 1020 | .. method:: wait(timeout=None) |
| 1021 | |
| 1022 | Pass the barrier. When all the threads party to the barrier have called |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1023 | this function, they are all released simultaneously. If a *timeout* is |
Ezio Melotti | e130a52 | 2011-10-19 10:58:56 +0300 | [diff] [blame] | 1024 | provided, it is used in preference to any that was supplied to the class |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1025 | constructor. |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1026 | |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1027 | The return value is an integer in the range 0 to *parties* -- 1, different |
Raymond Hettinger | 5cee47f | 2011-01-11 19:59:46 +0000 | [diff] [blame] | 1028 | for each thread. This can be used to select a thread to do some special |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1029 | housekeeping, e.g.:: |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1030 | |
| 1031 | i = barrier.wait() |
| 1032 | if i == 0: |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1033 | # Only one thread needs to print this |
| 1034 | print("passed the barrier") |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1035 | |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1036 | If an *action* was provided to the constructor, one of the threads will |
| 1037 | have called it prior to being released. Should this call raise an error, |
| 1038 | the barrier is put into the broken state. |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1039 | |
| 1040 | If the call times out, the barrier is put into the broken state. |
| 1041 | |
| 1042 | This method may raise a :class:`BrokenBarrierError` exception if the |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1043 | barrier is broken or reset while a thread is waiting. |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1044 | |
| 1045 | .. method:: reset() |
| 1046 | |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1047 | Return the barrier to the default, empty state. Any threads waiting on it |
| 1048 | will receive the :class:`BrokenBarrierError` exception. |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1049 | |
Géry Ogam | 51a860e | 2019-05-18 00:44:57 +0200 | [diff] [blame] | 1050 | Note that using this function may require some external |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1051 | synchronization if there are other threads whose state is unknown. If a |
| 1052 | barrier is broken it may be better to just leave it and create a new one. |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1053 | |
| 1054 | .. method:: abort() |
| 1055 | |
| 1056 | Put the barrier into a broken state. This causes any active or future |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1057 | calls to :meth:`wait` to fail with the :class:`BrokenBarrierError`. Use |
Géry Ogam | 51a860e | 2019-05-18 00:44:57 +0200 | [diff] [blame] | 1058 | this for example if one of the threads needs to abort, to avoid deadlocking the |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1059 | application. |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1060 | |
| 1061 | It may be preferable to simply create the barrier with a sensible |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1062 | *timeout* value to automatically guard against one of the threads going |
| 1063 | awry. |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1064 | |
| 1065 | .. attribute:: parties |
| 1066 | |
| 1067 | The number of threads required to pass the barrier. |
| 1068 | |
| 1069 | .. attribute:: n_waiting |
| 1070 | |
| 1071 | The number of threads currently waiting in the barrier. |
| 1072 | |
| 1073 | .. attribute:: broken |
| 1074 | |
| 1075 | A boolean that is ``True`` if the barrier is in the broken state. |
| 1076 | |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1077 | |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1078 | .. exception:: BrokenBarrierError |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1079 | |
Georg Brandl | 5bc1686 | 2010-10-28 13:07:50 +0000 | [diff] [blame] | 1080 | This exception, a subclass of :exc:`RuntimeError`, is raised when the |
| 1081 | :class:`Barrier` object is reset or broken. |
Kristján Valur Jónsson | 3be0003 | 2010-10-28 09:43:10 +0000 | [diff] [blame] | 1082 | |
| 1083 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 1084 | .. _with-locks: |
| 1085 | |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 1086 | Using locks, conditions, and semaphores in the :keyword:`!with` statement |
| 1087 | ------------------------------------------------------------------------- |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 1088 | |
| 1089 | All of the objects provided by this module that have :meth:`acquire` and |
| 1090 | :meth:`release` methods can be used as context managers for a :keyword:`with` |
Antoine Pitrou | b96a354 | 2012-04-10 22:47:55 +0200 | [diff] [blame] | 1091 | statement. The :meth:`acquire` method will be called when the block is |
| 1092 | entered, and :meth:`release` will be called when the block is exited. Hence, |
| 1093 | the following snippet:: |
| 1094 | |
| 1095 | with some_lock: |
| 1096 | # do something... |
| 1097 | |
| 1098 | is equivalent to:: |
| 1099 | |
| 1100 | some_lock.acquire() |
| 1101 | try: |
| 1102 | # do something... |
| 1103 | finally: |
| 1104 | some_lock.release() |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 1105 | |
| 1106 | Currently, :class:`Lock`, :class:`RLock`, :class:`Condition`, |
| 1107 | :class:`Semaphore`, and :class:`BoundedSemaphore` objects may be used as |
Antoine Pitrou | b96a354 | 2012-04-10 22:47:55 +0200 | [diff] [blame] | 1108 | :keyword:`with` statement context managers. |