blob: 3faa1845e597867d0637de0e60369644ea00d62d [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
Antoine Pitrou0723d2c2010-08-22 20:43:26 +00008import os
Antoine Pitrou1f9dea02010-07-14 11:52:38 +00009import imp
10import sys
Antoine Pitrou7224d072010-08-22 10:18:36 +000011import time
Antoine Pitrou0723d2c2010-08-22 20:43:26 +000012import shutil
Georg Brandl89fad142010-03-14 10:23:39 +000013import unittest
Antoine Pitrou075050f2011-07-15 23:09:13 +020014from test.support import (
15 verbose, import_module, run_unittest, TESTFN, reap_threads)
Antoine Pitrou0723d2c2010-08-22 20:43:26 +000016threading = import_module('threading')
Tim Petersaa222232001-05-22 09:34:27 +000017
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000018def task(N, done, done_tasks, errors):
19 try:
Antoine Pitrou7224d072010-08-22 10:18:36 +000020 # We don't use modulefinder but still import it in order to stress
21 # importing of different modules from several threads.
22 if len(done_tasks) % 2:
23 import modulefinder
24 import random
25 else:
26 import random
27 import modulefinder
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000028 # This will fail if random is not completely initialized
29 x = random.randrange(1, 3)
30 except Exception as e:
31 errors.append(e.with_traceback(None))
32 finally:
Victor Stinner2a129742011-05-30 23:02:52 +020033 done_tasks.append(threading.get_ident())
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000034 finished = len(done_tasks) == N
35 if finished:
Antoine Pitroua62cbf72010-10-13 23:48:39 +000036 done.set()
Tim Petersaa222232001-05-22 09:34:27 +000037
Antoine Pitrou0723d2c2010-08-22 20:43:26 +000038# Create a circular import structure: A -> C -> B -> D -> A
39# NOTE: `time` is already loaded and therefore doesn't threaten to deadlock.
40
41circular_imports_modules = {
42 'A': """if 1:
43 import time
44 time.sleep(%(delay)s)
45 x = 'a'
46 import C
47 """,
48 'B': """if 1:
49 import time
50 time.sleep(%(delay)s)
51 x = 'b'
52 import D
53 """,
54 'C': """import B""",
55 'D': """import A""",
56}
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000057
Antoine Pitrou7224d072010-08-22 10:18:36 +000058class Finder:
59 """A dummy finder to detect concurrent access to its find_module()
60 method."""
61
62 def __init__(self):
63 self.numcalls = 0
64 self.x = 0
Antoine Pitrou075050f2011-07-15 23:09:13 +020065 self.lock = threading.Lock()
Antoine Pitrou7224d072010-08-22 10:18:36 +000066
67 def find_module(self, name, path=None):
68 # Simulate some thread-unsafe behaviour. If calls to find_module()
69 # are properly serialized, `x` will end up the same as `numcalls`.
70 # Otherwise not.
71 with self.lock:
72 self.numcalls += 1
73 x = self.x
74 time.sleep(0.1)
75 self.x = x + 1
76
77class FlushingFinder:
78 """A dummy finder which flushes sys.path_importer_cache when it gets
79 called."""
80
81 def find_module(self, name, path=None):
82 sys.path_importer_cache.clear()
83
84
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000085class ThreadedImportTests(unittest.TestCase):
86
Antoine Pitrou448acd02010-07-16 19:10:38 +000087 def setUp(self):
88 self.old_random = sys.modules.pop('random', None)
89
90 def tearDown(self):
91 # If the `random` module was already initialized, we restore the
92 # old module at the end so that pickling tests don't fail.
93 # See http://bugs.python.org/issue3657#msg110461
94 if self.old_random is not None:
95 sys.modules['random'] = self.old_random
96
Antoine Pitrou7224d072010-08-22 10:18:36 +000097 def check_parallel_module_init(self):
Antoine Pitrou1f9dea02010-07-14 11:52:38 +000098 if imp.lock_held():
99 # This triggers on, e.g., from test import autotest.
100 raise unittest.SkipTest("can't run when import lock is held")
101
Antoine Pitroua62cbf72010-10-13 23:48:39 +0000102 done = threading.Event()
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000103 for N in (20, 50) * 3:
104 if verbose:
105 print("Trying", N, "threads ...", end=' ')
Antoine Pitrou7224d072010-08-22 10:18:36 +0000106 # Make sure that random and modulefinder get reimported freshly
107 for modname in ['random', 'modulefinder']:
108 try:
109 del sys.modules[modname]
110 except KeyError:
111 pass
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000112 errors = []
113 done_tasks = []
Antoine Pitroua62cbf72010-10-13 23:48:39 +0000114 done.clear()
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000115 for i in range(N):
Antoine Pitrou075050f2011-07-15 23:09:13 +0200116 t = threading.Thread(target=task,
117 args=(N, done, done_tasks, errors,))
118 t.start()
Antoine Pitroua62cbf72010-10-13 23:48:39 +0000119 done.wait(60)
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000120 self.assertFalse(errors)
121 if verbose:
122 print("OK.")
Tim Petersaa222232001-05-22 09:34:27 +0000123
Antoine Pitrou7224d072010-08-22 10:18:36 +0000124 def test_parallel_module_init(self):
125 self.check_parallel_module_init()
126
127 def test_parallel_meta_path(self):
128 finder = Finder()
129 sys.meta_path.append(finder)
130 try:
131 self.check_parallel_module_init()
132 self.assertGreater(finder.numcalls, 0)
133 self.assertEqual(finder.x, finder.numcalls)
134 finally:
135 sys.meta_path.remove(finder)
136
137 def test_parallel_path_hooks(self):
138 # Here the Finder instance is only used to check concurrent calls
139 # to path_hook().
140 finder = Finder()
141 # In order for our path hook to be called at each import, we need
142 # to flush the path_importer_cache, which we do by registering a
143 # dedicated meta_path entry.
144 flushing_finder = FlushingFinder()
145 def path_hook(path):
146 finder.find_module('')
147 raise ImportError
Brett Cannon8923a4d2012-04-24 22:03:46 -0400148 sys.path_hooks.insert(0, path_hook)
Antoine Pitrou7224d072010-08-22 10:18:36 +0000149 sys.meta_path.append(flushing_finder)
150 try:
151 # Flush the cache a first time
152 flushing_finder.find_module('')
153 numtests = self.check_parallel_module_init()
154 self.assertGreater(finder.numcalls, 0)
155 self.assertEqual(finder.x, finder.numcalls)
156 finally:
157 sys.meta_path.remove(flushing_finder)
158 sys.path_hooks.remove(path_hook)
159
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000160 def test_import_hangers(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +0000161 # In case this test is run again, make sure the helper module
162 # gets loaded from scratch again.
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000163 try:
164 del sys.modules['test.threaded_import_hangers']
165 except KeyError:
166 pass
167 import test.threaded_import_hangers
168 self.assertFalse(test.threaded_import_hangers.errors)
Thomas Wouters477c8d52006-05-27 19:21:47 +0000169
Antoine Pitrou0723d2c2010-08-22 20:43:26 +0000170 def test_circular_imports(self):
171 # The goal of this test is to exercise implementations of the import
172 # lock which use a per-module lock, rather than a global lock.
173 # In these implementations, there is a possible deadlock with
174 # circular imports, for example:
175 # - thread 1 imports A (grabbing the lock for A) which imports B
176 # - thread 2 imports B (grabbing the lock for B) which imports A
177 # Such implementations should be able to detect such situations and
178 # resolve them one way or the other, without freezing.
179 # NOTE: our test constructs a slightly less trivial import cycle,
180 # in order to better stress the deadlock avoidance mechanism.
181 delay = 0.5
182 os.mkdir(TESTFN)
183 self.addCleanup(shutil.rmtree, TESTFN)
184 sys.path.insert(0, TESTFN)
185 self.addCleanup(sys.path.remove, TESTFN)
186 for name, contents in circular_imports_modules.items():
187 contents = contents % {'delay': delay}
188 with open(os.path.join(TESTFN, name + ".py"), "wb") as f:
189 f.write(contents.encode('utf-8'))
190 self.addCleanup(sys.modules.pop, name, None)
191
192 results = []
193 def import_ab():
194 import A
195 results.append(getattr(A, 'x', None))
196 def import_ba():
197 import B
198 results.append(getattr(B, 'x', None))
199 t1 = threading.Thread(target=import_ab)
200 t2 = threading.Thread(target=import_ba)
201 t1.start()
202 t2.start()
203 t1.join()
204 t2.join()
205 self.assertEqual(set(results), {'a', 'b'})
206
Tim Petersaa222232001-05-22 09:34:27 +0000207
Antoine Pitrou075050f2011-07-15 23:09:13 +0200208@reap_threads
Antoine Pitrou1f9dea02010-07-14 11:52:38 +0000209def test_main():
210 run_unittest(ThreadedImportTests)
Tim Peters69232342001-08-30 05:16:13 +0000211
Tim Petersd9742212001-05-22 18:28:25 +0000212if __name__ == "__main__":
213 test_main()