blob: c7bfea07a1e726a89137d786db5ac68fb202bd12 [file] [log] [blame]
Tim Petersaa222232001-05-22 09:34:27 +00001# This is a variant of the very old (early 90's) file
2# Demo/threads/bug.py. It simply provokes a number of threads into
3# trying to import the same module "at the same time".
4# There are no pleasant failure modes -- most likely is that Python
5# complains several times about module random having no attribute
6# randrange, and then Python hangs.
7
Brett Cannone4f41de2013-06-16 13:13:40 -04008import _imp as imp
Antoine Pitrou0723d2c2010-08-22 20:43:26 +00009import os
Antoine Pitrou07edb822012-12-18 23:28:04 +010010import importlib
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000011import sys
Antoine Pitrou7224d072010-08-22 10:18:36 +000012import time
Antoine Pitrou0723d2c2010-08-22 20:43:26 +000013import shutil
Georg Brandl89fad142010-03-14 10:23:39 +000014import unittest
Antoine Pitrou075050f2011-07-15 23:09:13 +020015from test.support import (
Antoine Pitrou314a16b2012-05-17 21:02:54 +020016 verbose, import_module, run_unittest, TESTFN, reap_threads, forget, unlink)
Antoine Pitrou0723d2c2010-08-22 20:43:26 +000017threading = import_module('threading')
Tim Petersaa222232001-05-22 09:34:27 +000018
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000019def task(N, done, done_tasks, errors):
20 try:
Antoine Pitrou7224d072010-08-22 10:18:36 +000021 # We don't use modulefinder but still import it in order to stress
22 # importing of different modules from several threads.
23 if len(done_tasks) % 2:
24 import modulefinder
25 import random
26 else:
27 import random
28 import modulefinder
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000029 # This will fail if random is not completely initialized
30 x = random.randrange(1, 3)
31 except Exception as e:
32 errors.append(e.with_traceback(None))
33 finally:
Victor Stinner2a129742011-05-30 23:02:52 +020034 done_tasks.append(threading.get_ident())
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000035 finished = len(done_tasks) == N
36 if finished:
Antoine Pitroua62cbf72010-10-13 23:48:39 +000037 done.set()
Tim Petersaa222232001-05-22 09:34:27 +000038
Antoine Pitrou0723d2c2010-08-22 20:43:26 +000039# Create a circular import structure: A -> C -> B -> D -> A
40# NOTE: `time` is already loaded and therefore doesn't threaten to deadlock.
41
42circular_imports_modules = {
43 'A': """if 1:
44 import time
45 time.sleep(%(delay)s)
46 x = 'a'
47 import C
48 """,
49 'B': """if 1:
50 import time
51 time.sleep(%(delay)s)
52 x = 'b'
53 import D
54 """,
55 'C': """import B""",
56 'D': """import A""",
57}
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000058
Antoine Pitrou7224d072010-08-22 10:18:36 +000059class Finder:
Brett Cannonc091a572013-12-13 16:47:19 -050060 """A dummy finder to detect concurrent access to its find_spec()
Antoine Pitrou7224d072010-08-22 10:18:36 +000061 method."""
62
63 def __init__(self):
64 self.numcalls = 0
65 self.x = 0
Antoine Pitrou075050f2011-07-15 23:09:13 +020066 self.lock = threading.Lock()
Antoine Pitrou7224d072010-08-22 10:18:36 +000067
Brett Cannonc091a572013-12-13 16:47:19 -050068 def find_spec(self, name, path=None, target=None):
69 # Simulate some thread-unsafe behaviour. If calls to find_spec()
Antoine Pitrou7224d072010-08-22 10:18:36 +000070 # are properly serialized, `x` will end up the same as `numcalls`.
71 # Otherwise not.
Antoine Pitrou202b6062012-12-18 22:18:17 +010072 assert imp.lock_held()
Antoine Pitrou7224d072010-08-22 10:18:36 +000073 with self.lock:
74 self.numcalls += 1
75 x = self.x
Antoine Pitroue0b1c232012-12-18 23:03:42 +010076 time.sleep(0.01)
Antoine Pitrou7224d072010-08-22 10:18:36 +000077 self.x = x + 1
78
79class FlushingFinder:
80 """A dummy finder which flushes sys.path_importer_cache when it gets
81 called."""
82
Brett Cannonc091a572013-12-13 16:47:19 -050083 def find_spec(self, name, path=None, target=None):
Antoine Pitrou7224d072010-08-22 10:18:36 +000084 sys.path_importer_cache.clear()
85
86
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000087class ThreadedImportTests(unittest.TestCase):
88
Antoine Pitrou448acd02010-07-16 19:10:38 +000089 def setUp(self):
90 self.old_random = sys.modules.pop('random', None)
91
92 def tearDown(self):
93 # If the `random` module was already initialized, we restore the
94 # old module at the end so that pickling tests don't fail.
95 # See http://bugs.python.org/issue3657#msg110461
96 if self.old_random is not None:
97 sys.modules['random'] = self.old_random
98
Antoine Pitrou7224d072010-08-22 10:18:36 +000099 def check_parallel_module_init(self):
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000100 if imp.lock_held():
101 # This triggers on, e.g., from test import autotest.
102 raise unittest.SkipTest("can't run when import lock is held")
103
Antoine Pitroua62cbf72010-10-13 23:48:39 +0000104 done = threading.Event()
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000105 for N in (20, 50) * 3:
106 if verbose:
107 print("Trying", N, "threads ...", end=' ')
Antoine Pitrou7224d072010-08-22 10:18:36 +0000108 # Make sure that random and modulefinder get reimported freshly
109 for modname in ['random', 'modulefinder']:
110 try:
111 del sys.modules[modname]
112 except KeyError:
113 pass
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000114 errors = []
115 done_tasks = []
Antoine Pitroua62cbf72010-10-13 23:48:39 +0000116 done.clear()
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000117 for i in range(N):
Antoine Pitrou075050f2011-07-15 23:09:13 +0200118 t = threading.Thread(target=task,
119 args=(N, done, done_tasks, errors,))
120 t.start()
Antoine Pitroue0b1c232012-12-18 23:03:42 +0100121 self.assertTrue(done.wait(60))
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000122 self.assertFalse(errors)
123 if verbose:
124 print("OK.")
Tim Petersaa222232001-05-22 09:34:27 +0000125
Antoine Pitrou7224d072010-08-22 10:18:36 +0000126 def test_parallel_module_init(self):
127 self.check_parallel_module_init()
128
129 def test_parallel_meta_path(self):
130 finder = Finder()
Brett Cannon3c6ea1c2012-04-27 13:52:55 -0400131 sys.meta_path.insert(0, finder)
Antoine Pitrou7224d072010-08-22 10:18:36 +0000132 try:
133 self.check_parallel_module_init()
134 self.assertGreater(finder.numcalls, 0)
135 self.assertEqual(finder.x, finder.numcalls)
136 finally:
137 sys.meta_path.remove(finder)
138
139 def test_parallel_path_hooks(self):
140 # Here the Finder instance is only used to check concurrent calls
141 # to path_hook().
142 finder = Finder()
143 # In order for our path hook to be called at each import, we need
144 # to flush the path_importer_cache, which we do by registering a
145 # dedicated meta_path entry.
146 flushing_finder = FlushingFinder()
147 def path_hook(path):
Brett Cannonc091a572013-12-13 16:47:19 -0500148 finder.find_spec('')
Antoine Pitrou7224d072010-08-22 10:18:36 +0000149 raise ImportError
Brett Cannon8923a4d2012-04-24 22:03:46 -0400150 sys.path_hooks.insert(0, path_hook)
Antoine Pitrou7224d072010-08-22 10:18:36 +0000151 sys.meta_path.append(flushing_finder)
152 try:
153 # Flush the cache a first time
Brett Cannonc091a572013-12-13 16:47:19 -0500154 flushing_finder.find_spec('')
Antoine Pitrou7224d072010-08-22 10:18:36 +0000155 numtests = self.check_parallel_module_init()
156 self.assertGreater(finder.numcalls, 0)
157 self.assertEqual(finder.x, finder.numcalls)
158 finally:
159 sys.meta_path.remove(flushing_finder)
160 sys.path_hooks.remove(path_hook)
161
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000162 def test_import_hangers(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +0000163 # In case this test is run again, make sure the helper module
164 # gets loaded from scratch again.
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000165 try:
166 del sys.modules['test.threaded_import_hangers']
167 except KeyError:
168 pass
169 import test.threaded_import_hangers
170 self.assertFalse(test.threaded_import_hangers.errors)
Thomas Wouters477c8d52006-05-27 19:21:47 +0000171
Antoine Pitrou0723d2c2010-08-22 20:43:26 +0000172 def test_circular_imports(self):
173 # The goal of this test is to exercise implementations of the import
174 # lock which use a per-module lock, rather than a global lock.
175 # In these implementations, there is a possible deadlock with
176 # circular imports, for example:
177 # - thread 1 imports A (grabbing the lock for A) which imports B
178 # - thread 2 imports B (grabbing the lock for B) which imports A
179 # Such implementations should be able to detect such situations and
180 # resolve them one way or the other, without freezing.
181 # NOTE: our test constructs a slightly less trivial import cycle,
182 # in order to better stress the deadlock avoidance mechanism.
183 delay = 0.5
184 os.mkdir(TESTFN)
185 self.addCleanup(shutil.rmtree, TESTFN)
186 sys.path.insert(0, TESTFN)
187 self.addCleanup(sys.path.remove, TESTFN)
188 for name, contents in circular_imports_modules.items():
189 contents = contents % {'delay': delay}
190 with open(os.path.join(TESTFN, name + ".py"), "wb") as f:
191 f.write(contents.encode('utf-8'))
Antoine Pitrouea3eb882012-05-17 18:55:59 +0200192 self.addCleanup(forget, name)
Antoine Pitrou0723d2c2010-08-22 20:43:26 +0000193
Antoine Pitrou07edb822012-12-18 23:28:04 +0100194 importlib.invalidate_caches()
Antoine Pitrou0723d2c2010-08-22 20:43:26 +0000195 results = []
196 def import_ab():
197 import A
198 results.append(getattr(A, 'x', None))
199 def import_ba():
200 import B
201 results.append(getattr(B, 'x', None))
202 t1 = threading.Thread(target=import_ab)
203 t2 = threading.Thread(target=import_ba)
204 t1.start()
205 t2.start()
206 t1.join()
207 t2.join()
208 self.assertEqual(set(results), {'a', 'b'})
209
Antoine Pitrouea3eb882012-05-17 18:55:59 +0200210 def test_side_effect_import(self):
211 code = """if 1:
212 import threading
213 def target():
214 import random
215 t = threading.Thread(target=target)
216 t.start()
217 t.join()"""
218 sys.path.insert(0, os.curdir)
219 self.addCleanup(sys.path.remove, os.curdir)
Antoine Pitrou314a16b2012-05-17 21:02:54 +0200220 filename = TESTFN + ".py"
221 with open(filename, "wb") as f:
Antoine Pitrouea3eb882012-05-17 18:55:59 +0200222 f.write(code.encode('utf-8'))
Antoine Pitrou314a16b2012-05-17 21:02:54 +0200223 self.addCleanup(unlink, filename)
Antoine Pitrouea3eb882012-05-17 18:55:59 +0200224 self.addCleanup(forget, TESTFN)
Antoine Pitrou07edb822012-12-18 23:28:04 +0100225 importlib.invalidate_caches()
Antoine Pitrouea3eb882012-05-17 18:55:59 +0200226 __import__(TESTFN)
227
Tim Petersaa222232001-05-22 09:34:27 +0000228
Antoine Pitrou075050f2011-07-15 23:09:13 +0200229@reap_threads
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000230def test_main():
Antoine Pitrou4f0338c2012-08-28 00:24:52 +0200231 old_switchinterval = None
232 try:
233 old_switchinterval = sys.getswitchinterval()
Stefan Krah219c7b92012-10-01 23:21:45 +0200234 sys.setswitchinterval(1e-5)
Antoine Pitrou4f0338c2012-08-28 00:24:52 +0200235 except AttributeError:
236 pass
237 try:
238 run_unittest(ThreadedImportTests)
239 finally:
240 if old_switchinterval is not None:
241 sys.setswitchinterval(old_switchinterval)
Tim Peters69232342001-08-30 05:16:13 +0000242
Tim Petersd9742212001-05-22 18:28:25 +0000243if __name__ == "__main__":
244 test_main()