blob: 06b7b9b4fac598b6cd350b11023a8f34b45e646a [file] [log] [blame]
Jeremy Hylton92bb6e72002-08-14 19:25:42 +00001"""Thread module emulating a subset of Java's threading model."""
Guido van Rossum7f5013a1998-04-09 22:01:42 +00002
Fred Drakea8725952002-12-30 23:32:50 +00003import sys as _sys
Georg Brandl2067bfd2008-05-25 13:05:15 +00004import _thread
Fred Drakea8725952002-12-30 23:32:50 +00005
Victor Stinnerae586492014-09-02 23:18:25 +02006from time import monotonic as _time
Neil Schemenauerf607fc52003-11-05 23:03:00 +00007from traceback import format_exc as _format_exc
Antoine Pitrouc081c0c2011-07-15 22:12:24 +02008from _weakrefset import WeakSet
R David Murrayb186f1df2014-10-04 17:43:54 -04009from itertools import islice as _islice, count as _count
Raymond Hettingerec4b1742013-03-10 17:57:28 -070010try:
Raymond Hettingerec4b1742013-03-10 17:57:28 -070011 from _collections import deque as _deque
Brett Cannoncd171c82013-07-04 17:43:24 -040012except ImportError:
Raymond Hettingerec4b1742013-03-10 17:57:28 -070013 from collections import deque as _deque
Guido van Rossum7f5013a1998-04-09 22:01:42 +000014
Benjamin Petersonb3085c92008-09-01 23:09:31 +000015# Note regarding PEP 8 compliant names
16# This threading model was originally inspired by Java, and inherited
17# the convention of camelCase function and method names from that
Ezio Melotti30b9d5d2013-08-17 15:50:46 +030018# language. Those original names are not in any imminent danger of
Benjamin Petersonb3085c92008-09-01 23:09:31 +000019# being deprecated (even for Py3k),so this module provides them as an
20# alias for the PEP 8 compliant names
21# Note that using the new PEP 8 compliant names facilitates substitution
22# with the multiprocessing module, which doesn't provide the old
23# Java inspired names.
24
Benjamin Peterson672b8032008-06-11 19:14:14 +000025__all__ = ['active_count', 'Condition', 'current_thread', 'enumerate', 'Event',
Raymond Hettinger5cee47f2011-01-11 19:59:46 +000026 'Lock', 'RLock', 'Semaphore', 'BoundedSemaphore', 'Thread', 'Barrier',
Benjamin Peterson7761b952011-08-02 13:05:47 -050027 'Timer', 'ThreadError', 'setprofile', 'settrace', 'local', 'stack_size']
Guido van Rossum7f5013a1998-04-09 22:01:42 +000028
Raymond Hettinger5cee47f2011-01-11 19:59:46 +000029# Rename some stuff so "from threading import *" is safe
Georg Brandl2067bfd2008-05-25 13:05:15 +000030_start_new_thread = _thread.start_new_thread
31_allocate_lock = _thread.allocate_lock
Antoine Pitrou7b476992013-09-07 23:38:37 +020032_set_sentinel = _thread._set_sentinel
Victor Stinner2a129742011-05-30 23:02:52 +020033get_ident = _thread.get_ident
Georg Brandl2067bfd2008-05-25 13:05:15 +000034ThreadError = _thread.error
Antoine Pitrou434736a2009-11-10 18:46:01 +000035try:
36 _CRLock = _thread.RLock
37except AttributeError:
38 _CRLock = None
Antoine Pitrou7c3e5772010-04-14 15:44:10 +000039TIMEOUT_MAX = _thread.TIMEOUT_MAX
Georg Brandl2067bfd2008-05-25 13:05:15 +000040del _thread
Guido van Rossum7f5013a1998-04-09 22:01:42 +000041
Guido van Rossum7f5013a1998-04-09 22:01:42 +000042
Jeremy Hyltonbfccb352003-06-29 16:58:41 +000043# Support for profile and trace hooks
44
45_profile_hook = None
46_trace_hook = None
47
48def setprofile(func):
Georg Brandlc30b59f2013-10-13 10:43:59 +020049 """Set a profile function for all threads started from the threading module.
50
51 The func will be passed to sys.setprofile() for each thread, before its
52 run() method is called.
53
54 """
Jeremy Hyltonbfccb352003-06-29 16:58:41 +000055 global _profile_hook
56 _profile_hook = func
Tim Petersd1b108b2003-06-29 17:24:17 +000057
Jeremy Hyltonbfccb352003-06-29 16:58:41 +000058def settrace(func):
Georg Brandlc30b59f2013-10-13 10:43:59 +020059 """Set a trace function for all threads started from the threading module.
60
61 The func will be passed to sys.settrace() for each thread, before its run()
62 method is called.
63
64 """
Jeremy Hyltonbfccb352003-06-29 16:58:41 +000065 global _trace_hook
66 _trace_hook = func
Guido van Rossum7f5013a1998-04-09 22:01:42 +000067
68# Synchronization classes
69
70Lock = _allocate_lock
71
Victor Stinner135b6d82012-03-03 01:32:57 +010072def RLock(*args, **kwargs):
Georg Brandlc30b59f2013-10-13 10:43:59 +020073 """Factory function that returns a new reentrant lock.
74
75 A reentrant lock must be released by the thread that acquired it. Once a
76 thread has acquired a reentrant lock, the same thread may acquire it again
77 without blocking; the thread must release it once for each time it has
78 acquired it.
79
80 """
Victor Stinner135b6d82012-03-03 01:32:57 +010081 if _CRLock is None:
82 return _PyRLock(*args, **kwargs)
Antoine Pitrou434736a2009-11-10 18:46:01 +000083 return _CRLock(*args, **kwargs)
Guido van Rossum7f5013a1998-04-09 22:01:42 +000084
Victor Stinner135b6d82012-03-03 01:32:57 +010085class _RLock:
Georg Brandlc30b59f2013-10-13 10:43:59 +020086 """This class implements reentrant lock objects.
87
88 A reentrant lock must be released by the thread that acquired it. Once a
89 thread has acquired a reentrant lock, the same thread may acquire it
90 again without blocking; the thread must release it once for each time it
91 has acquired it.
92
93 """
Tim Petersb90f89a2001-01-15 03:26:36 +000094
Victor Stinner135b6d82012-03-03 01:32:57 +010095 def __init__(self):
Guido van Rossumd0648992007-08-20 19:25:41 +000096 self._block = _allocate_lock()
97 self._owner = None
98 self._count = 0
Guido van Rossum7f5013a1998-04-09 22:01:42 +000099
100 def __repr__(self):
Guido van Rossumd0648992007-08-20 19:25:41 +0000101 owner = self._owner
Antoine Pitroub0872682009-11-09 16:08:16 +0000102 try:
103 owner = _active[owner].name
104 except KeyError:
105 pass
Raymond Hettinger62f4dad2014-05-25 18:22:35 -0700106 return "<%s %s.%s object owner=%r count=%d at %s>" % (
107 "locked" if self._block.locked() else "unlocked",
108 self.__class__.__module__,
109 self.__class__.__qualname__,
110 owner,
111 self._count,
112 hex(id(self))
113 )
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000114
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000115 def acquire(self, blocking=True, timeout=-1):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200116 """Acquire a lock, blocking or non-blocking.
117
118 When invoked without arguments: if this thread already owns the lock,
119 increment the recursion level by one, and return immediately. Otherwise,
120 if another thread owns the lock, block until the lock is unlocked. Once
121 the lock is unlocked (not owned by any thread), then grab ownership, set
122 the recursion level to one, and return. If more than one thread is
123 blocked waiting until the lock is unlocked, only one at a time will be
124 able to grab ownership of the lock. There is no return value in this
125 case.
126
127 When invoked with the blocking argument set to true, do the same thing
128 as when called without arguments, and return true.
129
130 When invoked with the blocking argument set to false, do not block. If a
131 call without an argument would block, return false immediately;
132 otherwise, do the same thing as when called without arguments, and
133 return true.
134
135 When invoked with the floating-point timeout argument set to a positive
136 value, block for at most the number of seconds specified by timeout
137 and as long as the lock cannot be acquired. Return true if the lock has
138 been acquired, false if the timeout has elapsed.
139
140 """
Victor Stinner2a129742011-05-30 23:02:52 +0200141 me = get_ident()
Antoine Pitroub0872682009-11-09 16:08:16 +0000142 if self._owner == me:
Raymond Hettinger720da572013-03-10 15:13:35 -0700143 self._count += 1
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000144 return 1
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000145 rc = self._block.acquire(blocking, timeout)
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000146 if rc:
Guido van Rossumd0648992007-08-20 19:25:41 +0000147 self._owner = me
148 self._count = 1
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000149 return rc
150
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000151 __enter__ = acquire
152
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000153 def release(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200154 """Release a lock, decrementing the recursion level.
155
156 If after the decrement it is zero, reset the lock to unlocked (not owned
157 by any thread), and if any other threads are blocked waiting for the
158 lock to become unlocked, allow exactly one of them to proceed. If after
159 the decrement the recursion level is still nonzero, the lock remains
160 locked and owned by the calling thread.
161
162 Only call this method when the calling thread owns the lock. A
163 RuntimeError is raised if this method is called when the lock is
164 unlocked.
165
166 There is no return value.
167
168 """
Victor Stinner2a129742011-05-30 23:02:52 +0200169 if self._owner != get_ident():
Georg Brandl495f7b52009-10-27 15:28:25 +0000170 raise RuntimeError("cannot release un-acquired lock")
Guido van Rossumd0648992007-08-20 19:25:41 +0000171 self._count = count = self._count - 1
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000172 if not count:
Guido van Rossumd0648992007-08-20 19:25:41 +0000173 self._owner = None
174 self._block.release()
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000175
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000176 def __exit__(self, t, v, tb):
177 self.release()
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000178
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000179 # Internal methods used by condition variables
180
Guido van Rossum1bc535d2007-05-15 18:46:22 +0000181 def _acquire_restore(self, state):
Guido van Rossumd0648992007-08-20 19:25:41 +0000182 self._block.acquire()
183 self._count, self._owner = state
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000184
185 def _release_save(self):
Victor Stinnerc2824d42011-04-24 23:41:33 +0200186 if self._count == 0:
187 raise RuntimeError("cannot release un-acquired lock")
Guido van Rossumd0648992007-08-20 19:25:41 +0000188 count = self._count
189 self._count = 0
190 owner = self._owner
191 self._owner = None
192 self._block.release()
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000193 return (count, owner)
194
195 def _is_owned(self):
Victor Stinner2a129742011-05-30 23:02:52 +0200196 return self._owner == get_ident()
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000197
Antoine Pitrou434736a2009-11-10 18:46:01 +0000198_PyRLock = _RLock
199
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000200
Victor Stinner135b6d82012-03-03 01:32:57 +0100201class Condition:
Georg Brandlc30b59f2013-10-13 10:43:59 +0200202 """Class that implements a condition variable.
203
204 A condition variable allows one or more threads to wait until they are
205 notified by another thread.
206
207 If the lock argument is given and not None, it must be a Lock or RLock
208 object, and it is used as the underlying lock. Otherwise, a new RLock object
209 is created and used as the underlying lock.
210
211 """
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000212
Victor Stinner135b6d82012-03-03 01:32:57 +0100213 def __init__(self, lock=None):
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000214 if lock is None:
215 lock = RLock()
Guido van Rossumd0648992007-08-20 19:25:41 +0000216 self._lock = lock
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000217 # Export the lock's acquire() and release() methods
218 self.acquire = lock.acquire
219 self.release = lock.release
220 # If the lock defines _release_save() and/or _acquire_restore(),
221 # these override the default implementations (which just call
222 # release() and acquire() on the lock). Ditto for _is_owned().
223 try:
224 self._release_save = lock._release_save
225 except AttributeError:
226 pass
227 try:
228 self._acquire_restore = lock._acquire_restore
229 except AttributeError:
230 pass
231 try:
232 self._is_owned = lock._is_owned
233 except AttributeError:
234 pass
Raymond Hettingerec4b1742013-03-10 17:57:28 -0700235 self._waiters = _deque()
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000236
Thomas Wouters477c8d52006-05-27 19:21:47 +0000237 def __enter__(self):
Guido van Rossumd0648992007-08-20 19:25:41 +0000238 return self._lock.__enter__()
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000239
Thomas Wouters477c8d52006-05-27 19:21:47 +0000240 def __exit__(self, *args):
Guido van Rossumd0648992007-08-20 19:25:41 +0000241 return self._lock.__exit__(*args)
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000242
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000243 def __repr__(self):
Guido van Rossumd0648992007-08-20 19:25:41 +0000244 return "<Condition(%s, %d)>" % (self._lock, len(self._waiters))
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000245
246 def _release_save(self):
Guido van Rossumd0648992007-08-20 19:25:41 +0000247 self._lock.release() # No state to save
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000248
249 def _acquire_restore(self, x):
Guido van Rossumd0648992007-08-20 19:25:41 +0000250 self._lock.acquire() # Ignore saved state
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000251
252 def _is_owned(self):
Benjamin Peterson672b8032008-06-11 19:14:14 +0000253 # Return True if lock is owned by current_thread.
Serhiy Storchaka52005c22014-09-21 22:08:13 +0300254 # This method is called only if _lock doesn't have _is_owned().
Guido van Rossumd0648992007-08-20 19:25:41 +0000255 if self._lock.acquire(0):
256 self._lock.release()
Tim Petersbc0e9102002-04-04 22:55:58 +0000257 return False
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000258 else:
Tim Petersbc0e9102002-04-04 22:55:58 +0000259 return True
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000260
261 def wait(self, timeout=None):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200262 """Wait until notified or until a timeout occurs.
263
264 If the calling thread has not acquired the lock when this method is
265 called, a RuntimeError is raised.
266
267 This method releases the underlying lock, and then blocks until it is
268 awakened by a notify() or notify_all() call for the same condition
269 variable in another thread, or until the optional timeout occurs. Once
270 awakened or timed out, it re-acquires the lock and returns.
271
272 When the timeout argument is present and not None, it should be a
273 floating point number specifying a timeout for the operation in seconds
274 (or fractions thereof).
275
276 When the underlying lock is an RLock, it is not released using its
277 release() method, since this may not actually unlock the lock when it
278 was acquired multiple times recursively. Instead, an internal interface
279 of the RLock class is used, which really unlocks it even when it has
280 been recursively acquired several times. Another internal interface is
281 then used to restore the recursion level when the lock is reacquired.
282
283 """
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000284 if not self._is_owned():
Georg Brandl495f7b52009-10-27 15:28:25 +0000285 raise RuntimeError("cannot wait on un-acquired lock")
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000286 waiter = _allocate_lock()
287 waiter.acquire()
Guido van Rossumd0648992007-08-20 19:25:41 +0000288 self._waiters.append(waiter)
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000289 saved_state = self._release_save()
Antoine Pitroua64b92e2014-08-29 23:26:36 +0200290 gotit = False
Tim Petersc951bf92001-04-02 20:15:57 +0000291 try: # restore state no matter what (e.g., KeyboardInterrupt)
292 if timeout is None:
293 waiter.acquire()
Georg Brandlb9a43912010-10-28 09:03:20 +0000294 gotit = True
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000295 else:
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000296 if timeout > 0:
297 gotit = waiter.acquire(True, timeout)
298 else:
299 gotit = waiter.acquire(False)
Georg Brandlb9a43912010-10-28 09:03:20 +0000300 return gotit
Tim Petersc951bf92001-04-02 20:15:57 +0000301 finally:
302 self._acquire_restore(saved_state)
Antoine Pitroua64b92e2014-08-29 23:26:36 +0200303 if not gotit:
304 try:
305 self._waiters.remove(waiter)
306 except ValueError:
307 pass
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000308
Kristján Valur Jónsson63315202010-11-18 12:46:39 +0000309 def wait_for(self, predicate, timeout=None):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200310 """Wait until a condition evaluates to True.
311
312 predicate should be a callable which result will be interpreted as a
313 boolean value. A timeout may be provided giving the maximum time to
314 wait.
315
316 """
Kristján Valur Jónsson63315202010-11-18 12:46:39 +0000317 endtime = None
318 waittime = timeout
319 result = predicate()
320 while not result:
321 if waittime is not None:
322 if endtime is None:
323 endtime = _time() + waittime
324 else:
325 waittime = endtime - _time()
326 if waittime <= 0:
Kristján Valur Jónsson63315202010-11-18 12:46:39 +0000327 break
Kristján Valur Jónsson63315202010-11-18 12:46:39 +0000328 self.wait(waittime)
329 result = predicate()
Kristján Valur Jónsson63315202010-11-18 12:46:39 +0000330 return result
331
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000332 def notify(self, n=1):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200333 """Wake up one or more threads waiting on this condition, if any.
334
335 If the calling thread has not acquired the lock when this method is
336 called, a RuntimeError is raised.
337
338 This method wakes up at most n of the threads waiting for the condition
339 variable; it is a no-op if no threads are waiting.
340
341 """
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000342 if not self._is_owned():
Georg Brandl495f7b52009-10-27 15:28:25 +0000343 raise RuntimeError("cannot notify on un-acquired lock")
Raymond Hettingerb65e5792013-03-10 20:34:16 -0700344 all_waiters = self._waiters
345 waiters_to_notify = _deque(_islice(all_waiters, n))
346 if not waiters_to_notify:
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000347 return
Raymond Hettingerb65e5792013-03-10 20:34:16 -0700348 for waiter in waiters_to_notify:
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000349 waiter.release()
350 try:
Raymond Hettingerb65e5792013-03-10 20:34:16 -0700351 all_waiters.remove(waiter)
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000352 except ValueError:
353 pass
354
Benjamin Peterson672b8032008-06-11 19:14:14 +0000355 def notify_all(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200356 """Wake up all threads waiting on this condition.
357
358 If the calling thread has not acquired the lock when this method
359 is called, a RuntimeError is raised.
360
361 """
Guido van Rossumd0648992007-08-20 19:25:41 +0000362 self.notify(len(self._waiters))
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000363
Benjamin Petersonb3085c92008-09-01 23:09:31 +0000364 notifyAll = notify_all
365
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000366
Victor Stinner135b6d82012-03-03 01:32:57 +0100367class Semaphore:
Georg Brandlc30b59f2013-10-13 10:43:59 +0200368 """This class implements semaphore objects.
369
370 Semaphores manage a counter representing the number of release() calls minus
371 the number of acquire() calls, plus an initial value. The acquire() method
372 blocks if necessary until it can return without making the counter
373 negative. If not given, value defaults to 1.
374
375 """
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000376
Andrew M. Kuchling39d3bfc2000-02-29 00:10:24 +0000377 # After Tim Peters' semaphore class, but not quite the same (no maximum)
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000378
Victor Stinner135b6d82012-03-03 01:32:57 +0100379 def __init__(self, value=1):
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000380 if value < 0:
381 raise ValueError("semaphore initial value must be >= 0")
Guido van Rossumd0648992007-08-20 19:25:41 +0000382 self._cond = Condition(Lock())
383 self._value = value
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000384
Antoine Pitrou0454af92010-04-17 23:51:58 +0000385 def acquire(self, blocking=True, timeout=None):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200386 """Acquire a semaphore, decrementing the internal counter by one.
387
388 When invoked without arguments: if the internal counter is larger than
389 zero on entry, decrement it by one and return immediately. If it is zero
390 on entry, block, waiting until some other thread has called release() to
391 make it larger than zero. This is done with proper interlocking so that
392 if multiple acquire() calls are blocked, release() will wake exactly one
393 of them up. The implementation may pick one at random, so the order in
394 which blocked threads are awakened should not be relied on. There is no
395 return value in this case.
396
397 When invoked with blocking set to true, do the same thing as when called
398 without arguments, and return true.
399
400 When invoked with blocking set to false, do not block. If a call without
401 an argument would block, return false immediately; otherwise, do the
402 same thing as when called without arguments, and return true.
403
404 When invoked with a timeout other than None, it will block for at
405 most timeout seconds. If acquire does not complete successfully in
406 that interval, return false. Return true otherwise.
407
408 """
Antoine Pitrou0454af92010-04-17 23:51:58 +0000409 if not blocking and timeout is not None:
410 raise ValueError("can't specify timeout for non-blocking acquire")
Guido van Rossum8ca162f2002-04-07 06:36:23 +0000411 rc = False
Antoine Pitrou0454af92010-04-17 23:51:58 +0000412 endtime = None
Serhiy Storchaka81a58552013-04-22 22:51:43 +0300413 with self._cond:
414 while self._value == 0:
415 if not blocking:
416 break
417 if timeout is not None:
418 if endtime is None:
419 endtime = _time() + timeout
420 else:
421 timeout = endtime - _time()
422 if timeout <= 0:
423 break
424 self._cond.wait(timeout)
425 else:
Serhiy Storchakab00b5962013-04-22 22:54:16 +0300426 self._value -= 1
Serhiy Storchaka81a58552013-04-22 22:51:43 +0300427 rc = True
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000428 return rc
429
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000430 __enter__ = acquire
431
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000432 def release(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200433 """Release a semaphore, incrementing the internal counter by one.
434
435 When the counter is zero on entry and another thread is waiting for it
436 to become larger than zero again, wake up that thread.
437
438 """
Serhiy Storchaka81a58552013-04-22 22:51:43 +0300439 with self._cond:
Serhiy Storchakab00b5962013-04-22 22:54:16 +0300440 self._value += 1
Serhiy Storchaka81a58552013-04-22 22:51:43 +0300441 self._cond.notify()
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000442
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000443 def __exit__(self, t, v, tb):
444 self.release()
Guido van Rossum1a5e21e2006-02-28 21:57:43 +0000445
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000446
Éric Araujo0cdd4452011-07-28 00:28:28 +0200447class BoundedSemaphore(Semaphore):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200448 """Implements a bounded semaphore.
449
450 A bounded semaphore checks to make sure its current value doesn't exceed its
451 initial value. If it does, ValueError is raised. In most situations
452 semaphores are used to guard resources with limited capacity.
453
454 If the semaphore is released too many times it's a sign of a bug. If not
455 given, value defaults to 1.
456
457 Like regular semaphores, bounded semaphores manage a counter representing
458 the number of release() calls minus the number of acquire() calls, plus an
459 initial value. The acquire() method blocks if necessary until it can return
460 without making the counter negative. If not given, value defaults to 1.
461
462 """
463
Victor Stinner135b6d82012-03-03 01:32:57 +0100464 def __init__(self, value=1):
465 Semaphore.__init__(self, value)
Skip Montanaroe428bb72001-08-20 20:27:58 +0000466 self._initial_value = value
467
468 def release(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200469 """Release a semaphore, incrementing the internal counter by one.
470
471 When the counter is zero on entry and another thread is waiting for it
472 to become larger than zero again, wake up that thread.
473
474 If the number of releases exceeds the number of acquires,
475 raise a ValueError.
476
477 """
Tim Peters7634e1c2013-10-08 20:55:51 -0500478 with self._cond:
479 if self._value >= self._initial_value:
480 raise ValueError("Semaphore released too many times")
481 self._value += 1
482 self._cond.notify()
Skip Montanaroe428bb72001-08-20 20:27:58 +0000483
484
Victor Stinner135b6d82012-03-03 01:32:57 +0100485class Event:
Georg Brandlc30b59f2013-10-13 10:43:59 +0200486 """Class implementing event objects.
487
488 Events manage a flag that can be set to true with the set() method and reset
489 to false with the clear() method. The wait() method blocks until the flag is
490 true. The flag is initially false.
491
492 """
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000493
494 # After Tim Peters' event class (without is_posted())
495
Victor Stinner135b6d82012-03-03 01:32:57 +0100496 def __init__(self):
Guido van Rossumd0648992007-08-20 19:25:41 +0000497 self._cond = Condition(Lock())
498 self._flag = False
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000499
Gregory P. Smith9bd4a242011-01-04 18:33:38 +0000500 def _reset_internal_locks(self):
501 # private! called by Thread._reset_internal_locks by _after_fork()
Benjamin Peterson15982aa2015-10-05 21:56:22 -0700502 self._cond.__init__(Lock())
Gregory P. Smith9bd4a242011-01-04 18:33:38 +0000503
Benjamin Peterson672b8032008-06-11 19:14:14 +0000504 def is_set(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200505 """Return true if and only if the internal flag is true."""
Guido van Rossumd0648992007-08-20 19:25:41 +0000506 return self._flag
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000507
Benjamin Petersonb3085c92008-09-01 23:09:31 +0000508 isSet = is_set
Benjamin Petersonf0923f52008-08-18 22:10:13 +0000509
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000510 def set(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200511 """Set the internal flag to true.
512
513 All threads waiting for it to become true are awakened. Threads
514 that call wait() once the flag is true will not block at all.
515
516 """
Benjamin Peterson414918a2015-10-10 19:34:46 -0700517 with self._cond:
Guido van Rossumd0648992007-08-20 19:25:41 +0000518 self._flag = True
Benjamin Peterson672b8032008-06-11 19:14:14 +0000519 self._cond.notify_all()
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000520
521 def clear(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200522 """Reset the internal flag to false.
523
524 Subsequently, threads calling wait() will block until set() is called to
525 set the internal flag to true again.
526
527 """
Benjamin Peterson414918a2015-10-10 19:34:46 -0700528 with self._cond:
Guido van Rossumd0648992007-08-20 19:25:41 +0000529 self._flag = False
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000530
531 def wait(self, timeout=None):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200532 """Block until the internal flag is true.
533
534 If the internal flag is true on entry, return immediately. Otherwise,
535 block until another thread calls set() to set the flag to true, or until
536 the optional timeout occurs.
537
538 When the timeout argument is present and not None, it should be a
539 floating point number specifying a timeout for the operation in seconds
540 (or fractions thereof).
541
542 This method returns the internal flag on exit, so it will always return
543 True except if a timeout is given and the operation times out.
544
545 """
Benjamin Peterson414918a2015-10-10 19:34:46 -0700546 with self._cond:
Charles-François Natalided03482012-01-07 18:24:56 +0100547 signaled = self._flag
548 if not signaled:
549 signaled = self._cond.wait(timeout)
550 return signaled
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000551
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000552
553# A barrier class. Inspired in part by the pthread_barrier_* api and
554# the CyclicBarrier class from Java. See
555# http://sourceware.org/pthreads-win32/manual/pthread_barrier_init.html and
556# http://java.sun.com/j2se/1.5.0/docs/api/java/util/concurrent/
557# CyclicBarrier.html
558# for information.
559# We maintain two main states, 'filling' and 'draining' enabling the barrier
560# to be cyclic. Threads are not allowed into it until it has fully drained
561# since the previous cycle. In addition, a 'resetting' state exists which is
562# similar to 'draining' except that threads leave with a BrokenBarrierError,
Ezio Melottie130a522011-10-19 10:58:56 +0300563# and a 'broken' state in which all threads get the exception.
Victor Stinner135b6d82012-03-03 01:32:57 +0100564class Barrier:
Georg Brandlc30b59f2013-10-13 10:43:59 +0200565 """Implements a Barrier.
566
567 Useful for synchronizing a fixed number of threads at known synchronization
568 points. Threads block on 'wait()' and are simultaneously once they have all
569 made that call.
570
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000571 """
Georg Brandlc30b59f2013-10-13 10:43:59 +0200572
Victor Stinner135b6d82012-03-03 01:32:57 +0100573 def __init__(self, parties, action=None, timeout=None):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200574 """Create a barrier, initialised to 'parties' threads.
575
576 'action' is a callable which, when supplied, will be called by one of
577 the threads after they have all entered the barrier and just prior to
578 releasing them all. If a 'timeout' is provided, it is uses as the
579 default for all subsequent 'wait()' calls.
580
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000581 """
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000582 self._cond = Condition(Lock())
583 self._action = action
584 self._timeout = timeout
585 self._parties = parties
586 self._state = 0 #0 filling, 1, draining, -1 resetting, -2 broken
587 self._count = 0
588
589 def wait(self, timeout=None):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200590 """Wait for the barrier.
591
592 When the specified number of threads have started waiting, they are all
593 simultaneously awoken. If an 'action' was provided for the barrier, one
594 of the threads will have executed that callback prior to returning.
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000595 Returns an individual index number from 0 to 'parties-1'.
Georg Brandlc30b59f2013-10-13 10:43:59 +0200596
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000597 """
598 if timeout is None:
599 timeout = self._timeout
600 with self._cond:
601 self._enter() # Block while the barrier drains.
602 index = self._count
603 self._count += 1
604 try:
605 if index + 1 == self._parties:
606 # We release the barrier
607 self._release()
608 else:
609 # We wait until someone releases us
610 self._wait(timeout)
611 return index
612 finally:
613 self._count -= 1
614 # Wake up any threads waiting for barrier to drain.
615 self._exit()
616
617 # Block until the barrier is ready for us, or raise an exception
618 # if it is broken.
619 def _enter(self):
620 while self._state in (-1, 1):
621 # It is draining or resetting, wait until done
622 self._cond.wait()
623 #see if the barrier is in a broken state
624 if self._state < 0:
625 raise BrokenBarrierError
626 assert self._state == 0
627
628 # Optionally run the 'action' and release the threads waiting
629 # in the barrier.
630 def _release(self):
631 try:
632 if self._action:
633 self._action()
634 # enter draining state
635 self._state = 1
636 self._cond.notify_all()
637 except:
638 #an exception during the _action handler. Break and reraise
639 self._break()
640 raise
641
Martin Panter69332c12016-08-04 13:07:31 +0000642 # Wait in the barrier until we are released. Raise an exception
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000643 # if the barrier is reset or broken.
644 def _wait(self, timeout):
Kristján Valur Jónsson63315202010-11-18 12:46:39 +0000645 if not self._cond.wait_for(lambda : self._state != 0, timeout):
646 #timed out. Break the barrier
647 self._break()
648 raise BrokenBarrierError
649 if self._state < 0:
650 raise BrokenBarrierError
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000651 assert self._state == 1
652
653 # If we are the last thread to exit the barrier, signal any threads
654 # waiting for the barrier to drain.
655 def _exit(self):
656 if self._count == 0:
657 if self._state in (-1, 1):
658 #resetting or draining
659 self._state = 0
660 self._cond.notify_all()
661
662 def reset(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200663 """Reset the barrier to the initial state.
664
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000665 Any threads currently waiting will get the BrokenBarrier exception
666 raised.
Georg Brandlc30b59f2013-10-13 10:43:59 +0200667
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000668 """
669 with self._cond:
670 if self._count > 0:
671 if self._state == 0:
672 #reset the barrier, waking up threads
673 self._state = -1
674 elif self._state == -2:
675 #was broken, set it to reset state
676 #which clears when the last thread exits
677 self._state = -1
678 else:
679 self._state = 0
680 self._cond.notify_all()
681
682 def abort(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200683 """Place the barrier into a 'broken' state.
684
685 Useful in case of error. Any currently waiting threads and threads
686 attempting to 'wait()' will have BrokenBarrierError raised.
687
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000688 """
689 with self._cond:
690 self._break()
691
692 def _break(self):
693 # An internal error was detected. The barrier is set to
694 # a broken state all parties awakened.
695 self._state = -2
696 self._cond.notify_all()
697
698 @property
699 def parties(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200700 """Return the number of threads required to trip the barrier."""
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000701 return self._parties
702
703 @property
704 def n_waiting(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200705 """Return the number of threads currently waiting at the barrier."""
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000706 # We don't need synchronization here since this is an ephemeral result
707 # anyway. It returns the correct value in the steady state.
708 if self._state == 0:
709 return self._count
710 return 0
711
712 @property
713 def broken(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200714 """Return True if the barrier is in a broken state."""
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000715 return self._state == -2
716
Georg Brandlc30b59f2013-10-13 10:43:59 +0200717# exception raised by the Barrier class
718class BrokenBarrierError(RuntimeError):
719 pass
Kristján Valur Jónsson3be00032010-10-28 09:43:10 +0000720
721
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000722# Helper to generate new thread names
R David Murrayb186f1df2014-10-04 17:43:54 -0400723_counter = _count().__next__
724_counter() # Consume 0 so first non-main thread has id 1.
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000725def _newname(template="Thread-%d"):
R David Murrayb186f1df2014-10-04 17:43:54 -0400726 return template % _counter()
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000727
728# Active thread administration
729_active_limbo_lock = _allocate_lock()
Tim Peters711906e2005-01-08 07:30:42 +0000730_active = {} # maps thread id to Thread object
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000731_limbo = {}
Antoine Pitrouc081c0c2011-07-15 22:12:24 +0200732_dangling = WeakSet()
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000733
734# Main class for threads
735
Victor Stinner135b6d82012-03-03 01:32:57 +0100736class Thread:
Georg Brandlc30b59f2013-10-13 10:43:59 +0200737 """A class that represents a thread of control.
738
739 This class can be safely subclassed in a limited fashion. There are two ways
740 to specify the activity: by passing a callable object to the constructor, or
741 by overriding the run() method in a subclass.
742
743 """
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000744
Serhiy Storchaka52005c22014-09-21 22:08:13 +0300745 _initialized = False
Brett Cannoncc4e9352004-07-03 03:52:35 +0000746 # Need to store a reference to sys.exc_info for printing
747 # out exceptions when a thread tries to use a global var. during interp.
748 # shutdown and thus raises an exception about trying to perform some
749 # operation on/with a NoneType
Serhiy Storchaka52005c22014-09-21 22:08:13 +0300750 _exc_info = _sys.exc_info
Christian Heimesbbe741d2008-03-28 10:53:29 +0000751 # Keep sys.exc_clear too to clear the exception just before
752 # allowing .join() to return.
753 #XXX __exc_clear = _sys.exc_clear
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000754
755 def __init__(self, group=None, target=None, name=None,
Victor Stinner135b6d82012-03-03 01:32:57 +0100756 args=(), kwargs=None, *, daemon=None):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200757 """This constructor should always be called with keyword arguments. Arguments are:
758
759 *group* should be None; reserved for future extension when a ThreadGroup
760 class is implemented.
761
762 *target* is the callable object to be invoked by the run()
763 method. Defaults to None, meaning nothing is called.
764
765 *name* is the thread name. By default, a unique name is constructed of
766 the form "Thread-N" where N is a small decimal number.
767
768 *args* is the argument tuple for the target invocation. Defaults to ().
769
770 *kwargs* is a dictionary of keyword arguments for the target
771 invocation. Defaults to {}.
772
773 If a subclass overrides the constructor, it must make sure to invoke
774 the base class constructor (Thread.__init__()) before doing anything
775 else to the thread.
776
777 """
Guido van Rossum5a43e1a1998-06-09 19:04:26 +0000778 assert group is None, "group argument must be None for now"
Georg Brandla4a8b822005-07-15 09:13:21 +0000779 if kwargs is None:
780 kwargs = {}
Guido van Rossumd0648992007-08-20 19:25:41 +0000781 self._target = target
782 self._name = str(name or _newname())
783 self._args = args
784 self._kwargs = kwargs
Antoine Pitrou0bd4deb2011-02-25 22:07:43 +0000785 if daemon is not None:
786 self._daemonic = daemon
787 else:
788 self._daemonic = current_thread().daemon
Georg Brandl0c77a822008-06-10 16:37:50 +0000789 self._ident = None
Antoine Pitrou7b476992013-09-07 23:38:37 +0200790 self._tstate_lock = None
Christian Heimes9e7f1d22008-02-28 12:27:11 +0000791 self._started = Event()
Tim Petersc363a232013-09-08 18:44:40 -0500792 self._is_stopped = False
Guido van Rossumd0648992007-08-20 19:25:41 +0000793 self._initialized = True
Brett Cannoncc4e9352004-07-03 03:52:35 +0000794 # sys.stderr is not stored in the class like
795 # sys.exc_info since it can be changed between instances
Guido van Rossumd0648992007-08-20 19:25:41 +0000796 self._stderr = _sys.stderr
Antoine Pitrou5da7e792013-09-08 13:19:06 +0200797 # For debugging and _after_fork()
Antoine Pitrouc081c0c2011-07-15 22:12:24 +0200798 _dangling.add(self)
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000799
Antoine Pitrou7b476992013-09-07 23:38:37 +0200800 def _reset_internal_locks(self, is_alive):
Gregory P. Smith9bd4a242011-01-04 18:33:38 +0000801 # private! Called by _after_fork() to reset our internal locks as
802 # they may be in an invalid state leading to a deadlock or crash.
Gregory P. Smith9bd4a242011-01-04 18:33:38 +0000803 self._started._reset_internal_locks()
Antoine Pitrou7b476992013-09-07 23:38:37 +0200804 if is_alive:
805 self._set_tstate_lock()
806 else:
807 # The thread isn't alive after fork: it doesn't have a tstate
808 # anymore.
Tim Petersb5e9ac92013-09-09 14:41:50 -0500809 self._is_stopped = True
Antoine Pitrou7b476992013-09-07 23:38:37 +0200810 self._tstate_lock = None
Gregory P. Smith9bd4a242011-01-04 18:33:38 +0000811
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000812 def __repr__(self):
Guido van Rossumd0648992007-08-20 19:25:41 +0000813 assert self._initialized, "Thread.__init__() was not called"
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000814 status = "initial"
Benjamin Peterson672b8032008-06-11 19:14:14 +0000815 if self._started.is_set():
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000816 status = "started"
Tim Peters72460fa2013-09-09 18:48:24 -0500817 self.is_alive() # easy way to get ._is_stopped set when appropriate
Tim Petersc363a232013-09-08 18:44:40 -0500818 if self._is_stopped:
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000819 status = "stopped"
Guido van Rossumd0648992007-08-20 19:25:41 +0000820 if self._daemonic:
Georg Brandl0c77a822008-06-10 16:37:50 +0000821 status += " daemon"
822 if self._ident is not None:
823 status += " %s" % self._ident
Guido van Rossumd0648992007-08-20 19:25:41 +0000824 return "<%s(%s, %s)>" % (self.__class__.__name__, self._name, status)
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000825
826 def start(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200827 """Start the thread's activity.
828
829 It must be called at most once per thread object. It arranges for the
830 object's run() method to be invoked in a separate thread of control.
831
832 This method will raise a RuntimeError if called more than once on the
833 same thread object.
834
835 """
Guido van Rossumd0648992007-08-20 19:25:41 +0000836 if not self._initialized:
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000837 raise RuntimeError("thread.__init__() not called")
Christian Heimes9e7f1d22008-02-28 12:27:11 +0000838
Benjamin Peterson672b8032008-06-11 19:14:14 +0000839 if self._started.is_set():
Senthil Kumaranfdd4d0f2010-04-06 03:30:18 +0000840 raise RuntimeError("threads can only be started once")
Benjamin Petersond23f8222009-04-05 19:13:16 +0000841 with _active_limbo_lock:
842 _limbo[self] = self
Gregory P. Smith3fdd9642010-02-28 18:57:46 +0000843 try:
844 _start_new_thread(self._bootstrap, ())
845 except Exception:
846 with _active_limbo_lock:
847 del _limbo[self]
848 raise
Christian Heimes9e7f1d22008-02-28 12:27:11 +0000849 self._started.wait()
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000850
851 def run(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +0200852 """Method representing the thread's activity.
853
854 You may override this method in a subclass. The standard run() method
855 invokes the callable object passed to the object's constructor as the
856 target argument, if any, with sequential and keyword arguments taken
857 from the args and kwargs arguments, respectively.
858
859 """
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000860 try:
861 if self._target:
862 self._target(*self._args, **self._kwargs)
863 finally:
864 # Avoid a refcycle if the thread is running a function with
865 # an argument that has a member that points to the thread.
866 del self._target, self._args, self._kwargs
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000867
Guido van Rossumd0648992007-08-20 19:25:41 +0000868 def _bootstrap(self):
Guido van Rossum61e21b52007-08-20 19:06:03 +0000869 # Wrapper around the real bootstrap code that ignores
870 # exceptions during interpreter cleanup. Those typically
871 # happen when a daemon thread wakes up at an unfortunate
872 # moment, finds the world around it destroyed, and raises some
873 # random exception *** while trying to report the exception in
Christian Heimes9e7f1d22008-02-28 12:27:11 +0000874 # _bootstrap_inner() below ***. Those random exceptions
Guido van Rossum61e21b52007-08-20 19:06:03 +0000875 # don't help anybody, and they confuse users, so we suppress
876 # them. We suppress them only when it appears that the world
877 # indeed has already been destroyed, so that exceptions in
Christian Heimes9e7f1d22008-02-28 12:27:11 +0000878 # _bootstrap_inner() during normal business hours are properly
Guido van Rossum61e21b52007-08-20 19:06:03 +0000879 # reported. Also, we only suppress them for daemonic threads;
880 # if a non-daemonic encounters this, something else is wrong.
881 try:
Guido van Rossumd0648992007-08-20 19:25:41 +0000882 self._bootstrap_inner()
Guido van Rossum61e21b52007-08-20 19:06:03 +0000883 except:
Guido van Rossumd0648992007-08-20 19:25:41 +0000884 if self._daemonic and _sys is None:
Guido van Rossum61e21b52007-08-20 19:06:03 +0000885 return
886 raise
887
Benjamin Petersond23f8222009-04-05 19:13:16 +0000888 def _set_ident(self):
Victor Stinner2a129742011-05-30 23:02:52 +0200889 self._ident = get_ident()
Benjamin Petersond23f8222009-04-05 19:13:16 +0000890
Antoine Pitrou7b476992013-09-07 23:38:37 +0200891 def _set_tstate_lock(self):
892 """
893 Set a lock object which will be released by the interpreter when
894 the underlying thread state (see pystate.h) gets deleted.
895 """
896 self._tstate_lock = _set_sentinel()
897 self._tstate_lock.acquire()
898
Guido van Rossumd0648992007-08-20 19:25:41 +0000899 def _bootstrap_inner(self):
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000900 try:
Benjamin Petersond23f8222009-04-05 19:13:16 +0000901 self._set_ident()
Antoine Pitrou7b476992013-09-07 23:38:37 +0200902 self._set_tstate_lock()
Christian Heimes9e7f1d22008-02-28 12:27:11 +0000903 self._started.set()
Benjamin Petersond23f8222009-04-05 19:13:16 +0000904 with _active_limbo_lock:
905 _active[self._ident] = self
906 del _limbo[self]
Jeremy Hyltonbfccb352003-06-29 16:58:41 +0000907
908 if _trace_hook:
Jeremy Hyltonbfccb352003-06-29 16:58:41 +0000909 _sys.settrace(_trace_hook)
910 if _profile_hook:
Jeremy Hyltonbfccb352003-06-29 16:58:41 +0000911 _sys.setprofile(_profile_hook)
Tim Petersd1b108b2003-06-29 17:24:17 +0000912
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000913 try:
914 self.run()
915 except SystemExit:
Victor Stinner135b6d82012-03-03 01:32:57 +0100916 pass
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000917 except:
Brett Cannoncc4e9352004-07-03 03:52:35 +0000918 # If sys.stderr is no more (most likely from interpreter
Guido van Rossumd0648992007-08-20 19:25:41 +0000919 # shutdown) use self._stderr. Otherwise still use sys (as in
Brett Cannoncc4e9352004-07-03 03:52:35 +0000920 # _sys) in case sys.stderr was redefined since the creation of
921 # self.
Serhiy Storchaka52005c22014-09-21 22:08:13 +0300922 if _sys and _sys.stderr is not None:
923 print("Exception in thread %s:\n%s" %
Zachary Ware78b5ed92016-05-09 14:49:31 -0500924 (self.name, _format_exc()), file=_sys.stderr)
Serhiy Storchaka52005c22014-09-21 22:08:13 +0300925 elif self._stderr is not None:
Brett Cannoncc4e9352004-07-03 03:52:35 +0000926 # Do the best job possible w/o a huge amt. of code to
927 # approximate a traceback (code ideas from
928 # Lib/traceback.py)
Guido van Rossumd0648992007-08-20 19:25:41 +0000929 exc_type, exc_value, exc_tb = self._exc_info()
Brett Cannoncc4e9352004-07-03 03:52:35 +0000930 try:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000931 print((
Benjamin Petersonfdbea962008-08-18 17:33:47 +0000932 "Exception in thread " + self.name +
Guido van Rossumd0648992007-08-20 19:25:41 +0000933 " (most likely raised during interpreter shutdown):"), file=self._stderr)
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000934 print((
Guido van Rossumd0648992007-08-20 19:25:41 +0000935 "Traceback (most recent call last):"), file=self._stderr)
Brett Cannoncc4e9352004-07-03 03:52:35 +0000936 while exc_tb:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000937 print((
Brett Cannoncc4e9352004-07-03 03:52:35 +0000938 ' File "%s", line %s, in %s' %
939 (exc_tb.tb_frame.f_code.co_filename,
940 exc_tb.tb_lineno,
Guido van Rossumd0648992007-08-20 19:25:41 +0000941 exc_tb.tb_frame.f_code.co_name)), file=self._stderr)
Brett Cannoncc4e9352004-07-03 03:52:35 +0000942 exc_tb = exc_tb.tb_next
Guido van Rossumd0648992007-08-20 19:25:41 +0000943 print(("%s: %s" % (exc_type, exc_value)), file=self._stderr)
Brett Cannoncc4e9352004-07-03 03:52:35 +0000944 # Make sure that exc_tb gets deleted since it is a memory
945 # hog; deleting everything else is just for thoroughness
946 finally:
947 del exc_type, exc_value, exc_tb
Christian Heimesbbe741d2008-03-28 10:53:29 +0000948 finally:
949 # Prevent a race in
950 # test_threading.test_no_refcycle_through_target when
951 # the exception keeps the target alive past when we
952 # assert that it's dead.
Serhiy Storchaka52005c22014-09-21 22:08:13 +0300953 #XXX self._exc_clear()
Christian Heimesbbe741d2008-03-28 10:53:29 +0000954 pass
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000955 finally:
Christian Heimes1af737c2008-01-23 08:24:23 +0000956 with _active_limbo_lock:
Christian Heimes1af737c2008-01-23 08:24:23 +0000957 try:
Georg Brandl0c77a822008-06-10 16:37:50 +0000958 # We don't call self._delete() because it also
Christian Heimes1af737c2008-01-23 08:24:23 +0000959 # grabs _active_limbo_lock.
Victor Stinner2a129742011-05-30 23:02:52 +0200960 del _active[get_ident()]
Christian Heimes1af737c2008-01-23 08:24:23 +0000961 except:
962 pass
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000963
Guido van Rossumd0648992007-08-20 19:25:41 +0000964 def _stop(self):
Tim Petersb5e9ac92013-09-09 14:41:50 -0500965 # After calling ._stop(), .is_alive() returns False and .join() returns
966 # immediately. ._tstate_lock must be released before calling ._stop().
967 #
968 # Normal case: C code at the end of the thread's life
969 # (release_sentinel in _threadmodule.c) releases ._tstate_lock, and
970 # that's detected by our ._wait_for_tstate_lock(), called by .join()
971 # and .is_alive(). Any number of threads _may_ call ._stop()
972 # simultaneously (for example, if multiple threads are blocked in
973 # .join() calls), and they're not serialized. That's harmless -
974 # they'll just make redundant rebindings of ._is_stopped and
975 # ._tstate_lock. Obscure: we rebind ._tstate_lock last so that the
976 # "assert self._is_stopped" in ._wait_for_tstate_lock() always works
977 # (the assert is executed only if ._tstate_lock is None).
978 #
979 # Special case: _main_thread releases ._tstate_lock via this
980 # module's _shutdown() function.
981 lock = self._tstate_lock
982 if lock is not None:
983 assert not lock.locked()
Tim Peters78755232013-09-09 13:47:16 -0500984 self._is_stopped = True
985 self._tstate_lock = None
Guido van Rossum7f5013a1998-04-09 22:01:42 +0000986
Guido van Rossumd0648992007-08-20 19:25:41 +0000987 def _delete(self):
Tim Peters21429932004-07-21 03:36:52 +0000988 "Remove current thread from the dict of currently running threads."
Brett Cannon8b3d92a2004-07-21 02:21:58 +0000989
Georg Brandl2067bfd2008-05-25 13:05:15 +0000990 # Notes about running with _dummy_thread:
Tim Peters21429932004-07-21 03:36:52 +0000991 #
Georg Brandl2067bfd2008-05-25 13:05:15 +0000992 # Must take care to not raise an exception if _dummy_thread is being
Tim Peters21429932004-07-21 03:36:52 +0000993 # used (and thus this module is being used as an instance of
Georg Brandl2067bfd2008-05-25 13:05:15 +0000994 # dummy_threading). _dummy_thread.get_ident() always returns -1 since
995 # there is only one thread if _dummy_thread is being used. Thus
Tim Peters21429932004-07-21 03:36:52 +0000996 # len(_active) is always <= 1 here, and any Thread instance created
997 # overwrites the (if any) thread currently registered in _active.
998 #
999 # An instance of _MainThread is always created by 'threading'. This
1000 # gets overwritten the instant an instance of Thread is created; both
Georg Brandl2067bfd2008-05-25 13:05:15 +00001001 # threads return -1 from _dummy_thread.get_ident() and thus have the
Tim Peters21429932004-07-21 03:36:52 +00001002 # same key in the dict. So when the _MainThread instance created by
1003 # 'threading' tries to clean itself up when atexit calls this method
1004 # it gets a KeyError if another Thread instance was created.
1005 #
1006 # This all means that KeyError from trying to delete something from
1007 # _active if dummy_threading is being used is a red herring. But
1008 # since it isn't if dummy_threading is *not* being used then don't
1009 # hide the exception.
Brett Cannon8b3d92a2004-07-21 02:21:58 +00001010
Christian Heimes969fe572008-01-25 11:23:10 +00001011 try:
Neal Norwitzf5c7c2e2008-04-05 04:47:45 +00001012 with _active_limbo_lock:
Victor Stinner2a129742011-05-30 23:02:52 +02001013 del _active[get_ident()]
Neal Norwitzf5c7c2e2008-04-05 04:47:45 +00001014 # There must not be any python code between the previous line
1015 # and after the lock is released. Otherwise a tracing function
1016 # could try to acquire the lock again in the same thread, (in
Benjamin Peterson672b8032008-06-11 19:14:14 +00001017 # current_thread()), and would block.
Neal Norwitzf5c7c2e2008-04-05 04:47:45 +00001018 except KeyError:
1019 if 'dummy_threading' not in _sys.modules:
1020 raise
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001021
1022 def join(self, timeout=None):
Georg Brandlc30b59f2013-10-13 10:43:59 +02001023 """Wait until the thread terminates.
1024
1025 This blocks the calling thread until the thread whose join() method is
1026 called terminates -- either normally or through an unhandled exception
1027 or until the optional timeout occurs.
1028
1029 When the timeout argument is present and not None, it should be a
1030 floating point number specifying a timeout for the operation in seconds
1031 (or fractions thereof). As join() always returns None, you must call
1032 isAlive() after join() to decide whether a timeout happened -- if the
1033 thread is still alive, the join() call timed out.
1034
1035 When the timeout argument is not present or None, the operation will
1036 block until the thread terminates.
1037
1038 A thread can be join()ed many times.
1039
1040 join() raises a RuntimeError if an attempt is made to join the current
1041 thread as that would cause a deadlock. It is also an error to join() a
1042 thread before it has been started and attempts to do so raises the same
1043 exception.
1044
1045 """
Guido van Rossumd0648992007-08-20 19:25:41 +00001046 if not self._initialized:
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001047 raise RuntimeError("Thread.__init__() not called")
Benjamin Peterson672b8032008-06-11 19:14:14 +00001048 if not self._started.is_set():
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001049 raise RuntimeError("cannot join thread before it is started")
Benjamin Peterson672b8032008-06-11 19:14:14 +00001050 if self is current_thread():
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001051 raise RuntimeError("cannot join current thread")
Tim Peterse5bb0bf2013-10-25 20:46:51 -05001052
Tim Petersc363a232013-09-08 18:44:40 -05001053 if timeout is None:
1054 self._wait_for_tstate_lock()
Tim Peters7bad39f2013-10-25 22:33:52 -05001055 else:
1056 # the behavior of a negative timeout isn't documented, but
Tim Petersa577f1e2013-10-26 11:56:16 -05001057 # historically .join(timeout=x) for x<0 has acted as if timeout=0
Tim Peters7bad39f2013-10-25 22:33:52 -05001058 self._wait_for_tstate_lock(timeout=max(timeout, 0))
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001059
Tim Petersc363a232013-09-08 18:44:40 -05001060 def _wait_for_tstate_lock(self, block=True, timeout=-1):
Antoine Pitrou7b476992013-09-07 23:38:37 +02001061 # Issue #18808: wait for the thread state to be gone.
Tim Petersc363a232013-09-08 18:44:40 -05001062 # At the end of the thread's life, after all knowledge of the thread
1063 # is removed from C data structures, C code releases our _tstate_lock.
Martin Panter46f50722016-05-26 05:35:26 +00001064 # This method passes its arguments to _tstate_lock.acquire().
Tim Petersc363a232013-09-08 18:44:40 -05001065 # If the lock is acquired, the C code is done, and self._stop() is
1066 # called. That sets ._is_stopped to True, and ._tstate_lock to None.
Antoine Pitrou7b476992013-09-07 23:38:37 +02001067 lock = self._tstate_lock
Tim Petersc363a232013-09-08 18:44:40 -05001068 if lock is None: # already determined that the C code is done
1069 assert self._is_stopped
1070 elif lock.acquire(block, timeout):
Antoine Pitrou7b476992013-09-07 23:38:37 +02001071 lock.release()
Tim Petersc363a232013-09-08 18:44:40 -05001072 self._stop()
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001073
Benjamin Petersonfdbea962008-08-18 17:33:47 +00001074 @property
1075 def name(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +02001076 """A string used for identification purposes only.
1077
1078 It has no semantics. Multiple threads may be given the same name. The
1079 initial name is set by the constructor.
1080
1081 """
Guido van Rossumd0648992007-08-20 19:25:41 +00001082 assert self._initialized, "Thread.__init__() not called"
1083 return self._name
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001084
Benjamin Petersonfdbea962008-08-18 17:33:47 +00001085 @name.setter
1086 def name(self, name):
Guido van Rossumd0648992007-08-20 19:25:41 +00001087 assert self._initialized, "Thread.__init__() not called"
1088 self._name = str(name)
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001089
Benjamin Peterson773c17b2008-08-18 16:45:31 +00001090 @property
1091 def ident(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +02001092 """Thread identifier of this thread or None if it has not been started.
1093
1094 This is a nonzero integer. See the thread.get_ident() function. Thread
1095 identifiers may be recycled when a thread exits and another thread is
1096 created. The identifier is available even after the thread has exited.
1097
1098 """
Georg Brandl0c77a822008-06-10 16:37:50 +00001099 assert self._initialized, "Thread.__init__() not called"
1100 return self._ident
1101
Benjamin Peterson672b8032008-06-11 19:14:14 +00001102 def is_alive(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +02001103 """Return whether the thread is alive.
1104
1105 This method returns True just before the run() method starts until just
1106 after the run() method terminates. The module function enumerate()
1107 returns a list of all alive threads.
1108
1109 """
Guido van Rossumd0648992007-08-20 19:25:41 +00001110 assert self._initialized, "Thread.__init__() not called"
Tim Petersc363a232013-09-08 18:44:40 -05001111 if self._is_stopped or not self._started.is_set():
Antoine Pitrou7b476992013-09-07 23:38:37 +02001112 return False
Antoine Pitrou7b476992013-09-07 23:38:37 +02001113 self._wait_for_tstate_lock(False)
Tim Petersc363a232013-09-08 18:44:40 -05001114 return not self._is_stopped
Tim Petersb90f89a2001-01-15 03:26:36 +00001115
Benjamin Petersonb3085c92008-09-01 23:09:31 +00001116 isAlive = is_alive
Benjamin Petersonf0923f52008-08-18 22:10:13 +00001117
Benjamin Petersonfdbea962008-08-18 17:33:47 +00001118 @property
1119 def daemon(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +02001120 """A boolean value indicating whether this thread is a daemon thread.
1121
1122 This must be set before start() is called, otherwise RuntimeError is
1123 raised. Its initial value is inherited from the creating thread; the
1124 main thread is not a daemon thread and therefore all threads created in
1125 the main thread default to daemon = False.
1126
1127 The entire Python program exits when no alive non-daemon threads are
1128 left.
1129
1130 """
Guido van Rossumd0648992007-08-20 19:25:41 +00001131 assert self._initialized, "Thread.__init__() not called"
1132 return self._daemonic
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001133
Benjamin Petersonfdbea962008-08-18 17:33:47 +00001134 @daemon.setter
1135 def daemon(self, daemonic):
Guido van Rossumd0648992007-08-20 19:25:41 +00001136 if not self._initialized:
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001137 raise RuntimeError("Thread.__init__() not called")
Benjamin Peterson672b8032008-06-11 19:14:14 +00001138 if self._started.is_set():
Antoine Pitrou10959072014-03-17 18:22:41 +01001139 raise RuntimeError("cannot set daemon status of active thread")
Guido van Rossumd0648992007-08-20 19:25:41 +00001140 self._daemonic = daemonic
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001141
Benjamin Peterson6640d722008-08-18 18:16:46 +00001142 def isDaemon(self):
1143 return self.daemon
1144
1145 def setDaemon(self, daemonic):
1146 self.daemon = daemonic
1147
1148 def getName(self):
1149 return self.name
1150
1151 def setName(self, name):
1152 self.name = name
1153
Martin v. Löwis44f86962001-09-05 13:44:54 +00001154# The timer class was contributed by Itamar Shtull-Trauring
1155
Éric Araujo0cdd4452011-07-28 00:28:28 +02001156class Timer(Thread):
Martin v. Löwis44f86962001-09-05 13:44:54 +00001157 """Call a function after a specified number of seconds:
Tim Petersb64bec32001-09-18 02:26:39 +00001158
Georg Brandlc30b59f2013-10-13 10:43:59 +02001159 t = Timer(30.0, f, args=None, kwargs=None)
1160 t.start()
1161 t.cancel() # stop the timer's action if it's still waiting
1162
Martin v. Löwis44f86962001-09-05 13:44:54 +00001163 """
Tim Petersb64bec32001-09-18 02:26:39 +00001164
R David Murray19aeb432013-03-30 17:19:38 -04001165 def __init__(self, interval, function, args=None, kwargs=None):
Martin v. Löwis44f86962001-09-05 13:44:54 +00001166 Thread.__init__(self)
1167 self.interval = interval
1168 self.function = function
R David Murray19aeb432013-03-30 17:19:38 -04001169 self.args = args if args is not None else []
1170 self.kwargs = kwargs if kwargs is not None else {}
Martin v. Löwis44f86962001-09-05 13:44:54 +00001171 self.finished = Event()
Tim Petersb64bec32001-09-18 02:26:39 +00001172
Martin v. Löwis44f86962001-09-05 13:44:54 +00001173 def cancel(self):
Georg Brandlc30b59f2013-10-13 10:43:59 +02001174 """Stop the timer if it hasn't finished yet."""
Martin v. Löwis44f86962001-09-05 13:44:54 +00001175 self.finished.set()
Tim Petersb64bec32001-09-18 02:26:39 +00001176
Martin v. Löwis44f86962001-09-05 13:44:54 +00001177 def run(self):
1178 self.finished.wait(self.interval)
Benjamin Peterson672b8032008-06-11 19:14:14 +00001179 if not self.finished.is_set():
Martin v. Löwis44f86962001-09-05 13:44:54 +00001180 self.function(*self.args, **self.kwargs)
1181 self.finished.set()
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001182
1183# Special thread class to represent the main thread
1184# This is garbage collected through an exit handler
1185
1186class _MainThread(Thread):
1187
1188 def __init__(self):
Antoine Pitrou0bd4deb2011-02-25 22:07:43 +00001189 Thread.__init__(self, name="MainThread", daemon=False)
Tim Petersc363a232013-09-08 18:44:40 -05001190 self._set_tstate_lock()
Christian Heimes9e7f1d22008-02-28 12:27:11 +00001191 self._started.set()
Benjamin Petersond23f8222009-04-05 19:13:16 +00001192 self._set_ident()
1193 with _active_limbo_lock:
1194 _active[self._ident] = self
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001195
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001196
1197# Dummy thread class to represent threads not started here.
Tim Peters711906e2005-01-08 07:30:42 +00001198# These aren't garbage collected when they die, nor can they be waited for.
Benjamin Peterson672b8032008-06-11 19:14:14 +00001199# If they invoke anything in threading.py that calls current_thread(), they
Tim Peters711906e2005-01-08 07:30:42 +00001200# leave an entry in the _active dict forever after.
Benjamin Peterson672b8032008-06-11 19:14:14 +00001201# Their purpose is to return *something* from current_thread().
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001202# They are marked as daemon threads so we won't wait for them
1203# when we exit (conform previous semantics).
1204
1205class _DummyThread(Thread):
Tim Petersb90f89a2001-01-15 03:26:36 +00001206
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001207 def __init__(self):
Antoine Pitrou0bd4deb2011-02-25 22:07:43 +00001208 Thread.__init__(self, name=_newname("Dummy-%d"), daemon=True)
Tim Peters711906e2005-01-08 07:30:42 +00001209
Christian Heimes9e7f1d22008-02-28 12:27:11 +00001210 self._started.set()
Benjamin Petersond23f8222009-04-05 19:13:16 +00001211 self._set_ident()
1212 with _active_limbo_lock:
1213 _active[self._ident] = self
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001214
Antoine Pitrou8e6e0fd2012-04-19 23:55:01 +02001215 def _stop(self):
1216 pass
1217
Neal Norwitz45bec8c2002-02-19 03:01:36 +00001218 def join(self, timeout=None):
Guido van Rossum8ca162f2002-04-07 06:36:23 +00001219 assert False, "cannot join a dummy thread"
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001220
1221
1222# Global API functions
1223
Benjamin Peterson672b8032008-06-11 19:14:14 +00001224def current_thread():
Georg Brandlc30b59f2013-10-13 10:43:59 +02001225 """Return the current Thread object, corresponding to the caller's thread of control.
1226
1227 If the caller's thread of control was not created through the threading
1228 module, a dummy thread object with limited functionality is returned.
1229
1230 """
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001231 try:
Victor Stinner2a129742011-05-30 23:02:52 +02001232 return _active[get_ident()]
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001233 except KeyError:
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001234 return _DummyThread()
1235
Benjamin Petersonb3085c92008-09-01 23:09:31 +00001236currentThread = current_thread
Benjamin Petersonf0923f52008-08-18 22:10:13 +00001237
Benjamin Peterson672b8032008-06-11 19:14:14 +00001238def active_count():
Georg Brandlc30b59f2013-10-13 10:43:59 +02001239 """Return the number of Thread objects currently alive.
1240
1241 The returned count is equal to the length of the list returned by
1242 enumerate().
1243
1244 """
Benjamin Petersond23f8222009-04-05 19:13:16 +00001245 with _active_limbo_lock:
1246 return len(_active) + len(_limbo)
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001247
Benjamin Petersonb3085c92008-09-01 23:09:31 +00001248activeCount = active_count
Benjamin Petersonf0923f52008-08-18 22:10:13 +00001249
Antoine Pitroubdec11f2009-11-05 13:49:14 +00001250def _enumerate():
1251 # Same as enumerate(), but without the lock. Internal use only.
1252 return list(_active.values()) + list(_limbo.values())
1253
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001254def enumerate():
Georg Brandlc30b59f2013-10-13 10:43:59 +02001255 """Return a list of all Thread objects currently alive.
1256
1257 The list includes daemonic threads, dummy thread objects created by
1258 current_thread(), and the main thread. It excludes terminated threads and
1259 threads that have not yet been started.
1260
1261 """
Benjamin Petersond23f8222009-04-05 19:13:16 +00001262 with _active_limbo_lock:
1263 return list(_active.values()) + list(_limbo.values())
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001264
Georg Brandl2067bfd2008-05-25 13:05:15 +00001265from _thread import stack_size
Thomas Wouters0e3f5912006-08-11 14:57:12 +00001266
Thomas Wouters902d6eb2007-01-09 23:18:33 +00001267# Create the main thread object,
1268# and make it available for the interpreter
1269# (Py_Main) as threading._shutdown.
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001270
Andrew Svetlov58b5c5a2013-09-04 07:01:07 +03001271_main_thread = _MainThread()
1272
1273def _shutdown():
Tim Petersc363a232013-09-08 18:44:40 -05001274 # Obscure: other threads may be waiting to join _main_thread. That's
1275 # dubious, but some code does it. We can't wait for C code to release
1276 # the main thread's tstate_lock - that won't happen until the interpreter
1277 # is nearly dead. So we release it here. Note that just calling _stop()
1278 # isn't enough: other threads may already be waiting on _tstate_lock.
Tim Petersb5e9ac92013-09-09 14:41:50 -05001279 tlock = _main_thread._tstate_lock
1280 # The main thread isn't finished yet, so its thread state lock can't have
1281 # been released.
1282 assert tlock is not None
1283 assert tlock.locked()
1284 tlock.release()
Andrew Svetlov58b5c5a2013-09-04 07:01:07 +03001285 _main_thread._stop()
1286 t = _pickSomeNonDaemonThread()
1287 while t:
1288 t.join()
1289 t = _pickSomeNonDaemonThread()
1290 _main_thread._delete()
1291
1292def _pickSomeNonDaemonThread():
1293 for t in enumerate():
1294 if not t.daemon and t.is_alive():
1295 return t
1296 return None
1297
1298def main_thread():
Andrew Svetlovb1dd5572013-09-04 10:33:11 +03001299 """Return the main thread object.
1300
1301 In normal conditions, the main thread is the thread from which the
1302 Python interpreter was started.
1303 """
Andrew Svetlov58b5c5a2013-09-04 07:01:07 +03001304 return _main_thread
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001305
Jim Fultond15dc062004-07-14 19:11:50 +00001306# get thread-local implementation, either from the thread
1307# module, or from the python fallback
1308
1309try:
Georg Brandl2067bfd2008-05-25 13:05:15 +00001310 from _thread import _local as local
Brett Cannoncd171c82013-07-04 17:43:24 -04001311except ImportError:
Jim Fultond15dc062004-07-14 19:11:50 +00001312 from _threading_local import local
1313
Guido van Rossum7f5013a1998-04-09 22:01:42 +00001314
Jesse Nollera8513972008-07-17 16:49:17 +00001315def _after_fork():
1316 # This function is called by Python/ceval.c:PyEval_ReInitThreads which
1317 # is called from PyOS_AfterFork. Here we cleanup threading module state
1318 # that should not exist after a fork.
1319
1320 # Reset _active_limbo_lock, in case we forked while the lock was held
1321 # by another (non-forked) thread. http://bugs.python.org/issue874900
Andrew Svetlov58b5c5a2013-09-04 07:01:07 +03001322 global _active_limbo_lock, _main_thread
Jesse Nollera8513972008-07-17 16:49:17 +00001323 _active_limbo_lock = _allocate_lock()
1324
1325 # fork() only copied the current thread; clear references to others.
1326 new_active = {}
1327 current = current_thread()
Andrew Svetlov58b5c5a2013-09-04 07:01:07 +03001328 _main_thread = current
Jesse Nollera8513972008-07-17 16:49:17 +00001329 with _active_limbo_lock:
Antoine Pitrou5da7e792013-09-08 13:19:06 +02001330 # Dangling thread instances must still have their locks reset,
1331 # because someone may join() them.
1332 threads = set(_enumerate())
1333 threads.update(_dangling)
1334 for thread in threads:
Charles-François Natalib055bf62011-12-18 18:45:16 +01001335 # Any lock/condition variable may be currently locked or in an
1336 # invalid state, so we reinitialize them.
Jesse Nollera8513972008-07-17 16:49:17 +00001337 if thread is current:
Antoine Pitrou5fe291f2008-09-06 23:00:03 +00001338 # There is only one active thread. We reset the ident to
1339 # its new value since it can have changed.
Antoine Pitrou7b476992013-09-07 23:38:37 +02001340 thread._reset_internal_locks(True)
Victor Stinner2a129742011-05-30 23:02:52 +02001341 ident = get_ident()
Antoine Pitrou5fe291f2008-09-06 23:00:03 +00001342 thread._ident = ident
Jesse Nollera8513972008-07-17 16:49:17 +00001343 new_active[ident] = thread
1344 else:
1345 # All the others are already stopped.
Antoine Pitrou7b476992013-09-07 23:38:37 +02001346 thread._reset_internal_locks(False)
Charles-François Natalib055bf62011-12-18 18:45:16 +01001347 thread._stop()
Jesse Nollera8513972008-07-17 16:49:17 +00001348
1349 _limbo.clear()
1350 _active.clear()
1351 _active.update(new_active)
1352 assert len(_active) == 1