blob: 770e70c77d3c049a16e8215703e9bf3ac2952fea [file] [log] [blame]
Victor Stinner024e37a2011-03-31 01:31:06 +02001from contextlib import contextmanager
Victor Stinnerc790a532011-04-08 13:39:59 +02002import datetime
Victor Stinner024e37a2011-03-31 01:31:06 +02003import faulthandler
Victor Stinner7e32f3a2011-06-29 13:44:05 +02004import os
Victor Stinner024e37a2011-03-31 01:31:06 +02005import re
6import signal
7import subprocess
8import sys
9from test import support, script_helper
Victor Stinnerd5698cb2012-07-31 02:55:49 +020010from test.script_helper import assert_python_ok
Victor Stinner024e37a2011-03-31 01:31:06 +020011import tempfile
12import unittest
13
Victor Stinnerff4cd882011-04-07 11:50:25 +020014try:
15 import threading
16 HAVE_THREADS = True
17except ImportError:
18 HAVE_THREADS = False
19
Victor Stinner44378d42011-04-01 15:37:12 +020020TIMEOUT = 0.5
21
Victor Stinner024e37a2011-03-31 01:31:06 +020022try:
23 from resource import setrlimit, RLIMIT_CORE, error as resource_error
24except ImportError:
25 prepare_subprocess = None
26else:
27 def prepare_subprocess():
28 # don't create core file
29 try:
30 setrlimit(RLIMIT_CORE, (0, 0))
31 except (ValueError, resource_error):
32 pass
33
Victor Stinner301f3f02011-06-01 13:49:12 +020034def expected_traceback(lineno1, lineno2, header, min_count=1):
Victor Stinner024e37a2011-03-31 01:31:06 +020035 regex = header
Victor Stinner7ad24e92011-03-31 22:35:49 +020036 regex += ' File "<string>", line %s in func\n' % lineno1
37 regex += ' File "<string>", line %s in <module>' % lineno2
Victor Stinner301f3f02011-06-01 13:49:12 +020038 if 1 < min_count:
39 return '^' + (regex + '\n') * (min_count - 1) + regex
40 else:
41 return '^' + regex + '$'
Victor Stinner024e37a2011-03-31 01:31:06 +020042
43@contextmanager
44def temporary_filename():
45 filename = tempfile.mktemp()
46 try:
47 yield filename
48 finally:
49 support.unlink(filename)
50
51class FaultHandlerTests(unittest.TestCase):
Victor Stinner05585cb2011-03-31 13:29:56 +020052 def get_output(self, code, filename=None):
Victor Stinner024e37a2011-03-31 01:31:06 +020053 """
54 Run the specified code in Python (in a new child process) and read the
55 output from the standard error or from a file (if filename is set).
56 Return the output lines as a list.
57
58 Strip the reference count from the standard error for Python debug
59 build, and replace "Current thread 0x00007f8d8fbd9700" by "Current
60 thread XXX".
61 """
62 options = {}
63 if prepare_subprocess:
64 options['preexec_fn'] = prepare_subprocess
65 process = script_helper.spawn_python('-c', code, **options)
66 stdout, stderr = process.communicate()
67 exitcode = process.wait()
Victor Stinner19402332011-03-31 18:15:52 +020068 output = support.strip_python_stderr(stdout)
69 output = output.decode('ascii', 'backslashreplace')
Victor Stinner024e37a2011-03-31 01:31:06 +020070 if filename:
Victor Stinner19402332011-03-31 18:15:52 +020071 self.assertEqual(output, '')
Victor Stinner024e37a2011-03-31 01:31:06 +020072 with open(filename, "rb") as fp:
73 output = fp.read()
Victor Stinner19402332011-03-31 18:15:52 +020074 output = output.decode('ascii', 'backslashreplace')
Victor Stinner024e37a2011-03-31 01:31:06 +020075 output = re.sub('Current thread 0x[0-9a-f]+',
76 'Current thread XXX',
77 output)
Victor Stinner05585cb2011-03-31 13:29:56 +020078 return output.splitlines(), exitcode
Victor Stinner024e37a2011-03-31 01:31:06 +020079
80 def check_fatal_error(self, code, line_number, name_regex,
Victor Stinner7bba62f2011-05-07 12:43:00 +020081 filename=None, all_threads=True, other_regex=None):
Victor Stinner024e37a2011-03-31 01:31:06 +020082 """
83 Check that the fault handler for fatal errors is enabled and check the
84 traceback from the child process output.
85
86 Raise an error if the output doesn't match the expected format.
87 """
88 if all_threads:
89 header = 'Current thread XXX'
90 else:
91 header = 'Traceback (most recent call first)'
92 regex = """
93^Fatal Python error: {name}
94
95{header}:
Vinay Sajip36371232012-05-06 11:28:46 +010096 File "<string>", line {lineno} in <module>
Victor Stinner024e37a2011-03-31 01:31:06 +020097""".strip()
98 regex = regex.format(
99 lineno=line_number,
100 name=name_regex,
101 header=re.escape(header))
Victor Stinnerf0480752011-03-31 11:34:08 +0200102 if other_regex:
103 regex += '|' + other_regex
Ezio Melotti25a40452013-03-05 20:26:17 +0200104 with support.suppress_crash_popup():
Ezio Melottie1857d92013-03-05 20:31:34 +0200105 output, exitcode = self.get_output(code, filename)
Victor Stinner024e37a2011-03-31 01:31:06 +0200106 output = '\n'.join(output)
107 self.assertRegex(output, regex)
Victor Stinner05585cb2011-03-31 13:29:56 +0200108 self.assertNotEqual(exitcode, 0)
Victor Stinner024e37a2011-03-31 01:31:06 +0200109
Victor Stinner330426c2013-07-03 22:29:42 +0200110 @unittest.skipIf(sys.platform.startswith('aix'),
111 "the first page of memory is a mapped read-only on AIX")
Victor Stinner024e37a2011-03-31 01:31:06 +0200112 def test_read_null(self):
113 self.check_fatal_error("""
114import faulthandler
115faulthandler.enable()
116faulthandler._read_null()
117""".strip(),
118 3,
Victor Stinnera8db3782011-08-08 22:43:45 +0200119 # Issue #12700: Read NULL raises SIGILL on Mac OS X Lion
120 '(?:Segmentation fault|Bus error|Illegal instruction)')
Victor Stinner024e37a2011-03-31 01:31:06 +0200121
122 def test_sigsegv(self):
123 self.check_fatal_error("""
124import faulthandler
125faulthandler.enable()
126faulthandler._sigsegv()
127""".strip(),
128 3,
129 'Segmentation fault')
130
Victor Stinnerd727e232011-04-01 12:13:55 +0200131 def test_sigabrt(self):
132 self.check_fatal_error("""
133import faulthandler
134faulthandler.enable()
135faulthandler._sigabrt()
136""".strip(),
137 3,
138 'Aborted')
139
Victor Stinner024e37a2011-03-31 01:31:06 +0200140 @unittest.skipIf(sys.platform == 'win32',
141 "SIGFPE cannot be caught on Windows")
142 def test_sigfpe(self):
143 self.check_fatal_error("""
144import faulthandler
145faulthandler.enable()
146faulthandler._sigfpe()
147""".strip(),
148 3,
149 'Floating point exception')
150
151 @unittest.skipIf(not hasattr(faulthandler, '_sigbus'),
152 "need faulthandler._sigbus()")
153 def test_sigbus(self):
154 self.check_fatal_error("""
155import faulthandler
156faulthandler.enable()
157faulthandler._sigbus()
158""".strip(),
159 3,
160 'Bus error')
161
162 @unittest.skipIf(not hasattr(faulthandler, '_sigill'),
163 "need faulthandler._sigill()")
164 def test_sigill(self):
165 self.check_fatal_error("""
166import faulthandler
167faulthandler.enable()
168faulthandler._sigill()
169""".strip(),
170 3,
171 'Illegal instruction')
172
173 def test_fatal_error(self):
174 self.check_fatal_error("""
175import faulthandler
176faulthandler._fatal_error(b'xyz')
177""".strip(),
178 2,
179 'xyz')
180
Charles-François Natali3391e642011-09-01 23:08:21 +0200181 @unittest.skipIf(sys.platform.startswith('openbsd') and HAVE_THREADS,
182 "Issue #12868: sigaltstack() doesn't work on "
183 "OpenBSD if Python is compiled with pthread")
Victor Stinner024e37a2011-03-31 01:31:06 +0200184 @unittest.skipIf(not hasattr(faulthandler, '_stack_overflow'),
185 'need faulthandler._stack_overflow()')
186 def test_stack_overflow(self):
187 self.check_fatal_error("""
188import faulthandler
189faulthandler.enable()
190faulthandler._stack_overflow()
191""".strip(),
192 3,
Victor Stinnerf0480752011-03-31 11:34:08 +0200193 '(?:Segmentation fault|Bus error)',
194 other_regex='unable to raise a stack overflow')
Victor Stinner024e37a2011-03-31 01:31:06 +0200195
196 def test_gil_released(self):
197 self.check_fatal_error("""
198import faulthandler
199faulthandler.enable()
200faulthandler._read_null(True)
201""".strip(),
202 3,
Victor Stinnera8db3782011-08-08 22:43:45 +0200203 '(?:Segmentation fault|Bus error|Illegal instruction)')
Victor Stinner024e37a2011-03-31 01:31:06 +0200204
205 def test_enable_file(self):
206 with temporary_filename() as filename:
207 self.check_fatal_error("""
208import faulthandler
209output = open({filename}, 'wb')
210faulthandler.enable(output)
Victor Stinner56785392013-06-17 23:37:59 +0200211faulthandler._sigsegv()
Victor Stinner024e37a2011-03-31 01:31:06 +0200212""".strip().format(filename=repr(filename)),
213 4,
Victor Stinner56785392013-06-17 23:37:59 +0200214 'Segmentation fault',
Victor Stinner024e37a2011-03-31 01:31:06 +0200215 filename=filename)
216
Victor Stinner7bba62f2011-05-07 12:43:00 +0200217 def test_enable_single_thread(self):
Victor Stinner024e37a2011-03-31 01:31:06 +0200218 self.check_fatal_error("""
219import faulthandler
Victor Stinner7bba62f2011-05-07 12:43:00 +0200220faulthandler.enable(all_threads=False)
Victor Stinner56785392013-06-17 23:37:59 +0200221faulthandler._sigsegv()
Victor Stinner024e37a2011-03-31 01:31:06 +0200222""".strip(),
223 3,
Victor Stinner56785392013-06-17 23:37:59 +0200224 'Segmentation fault',
Victor Stinner7bba62f2011-05-07 12:43:00 +0200225 all_threads=False)
Victor Stinner024e37a2011-03-31 01:31:06 +0200226
227 def test_disable(self):
228 code = """
229import faulthandler
230faulthandler.enable()
231faulthandler.disable()
Victor Stinner56785392013-06-17 23:37:59 +0200232faulthandler._sigsegv()
Victor Stinner024e37a2011-03-31 01:31:06 +0200233""".strip()
234 not_expected = 'Fatal Python error'
Ezio Melotti25a40452013-03-05 20:26:17 +0200235 with support.suppress_crash_popup():
236 stderr, exitcode = self.get_output(code)
Victor Stinner024e37a2011-03-31 01:31:06 +0200237 stder = '\n'.join(stderr)
238 self.assertTrue(not_expected not in stderr,
239 "%r is present in %r" % (not_expected, stderr))
Victor Stinner05585cb2011-03-31 13:29:56 +0200240 self.assertNotEqual(exitcode, 0)
Victor Stinner024e37a2011-03-31 01:31:06 +0200241
242 def test_is_enabled(self):
Victor Stinner7e32f3a2011-06-29 13:44:05 +0200243 orig_stderr = sys.stderr
Victor Stinner024e37a2011-03-31 01:31:06 +0200244 try:
Victor Stinner7e32f3a2011-06-29 13:44:05 +0200245 # regrtest may replace sys.stderr by io.StringIO object, but
246 # faulthandler.enable() requires that sys.stderr has a fileno()
247 # method
Victor Stinner72488502011-06-29 23:24:31 +0200248 sys.stderr = sys.__stderr__
Victor Stinner7e32f3a2011-06-29 13:44:05 +0200249
250 was_enabled = faulthandler.is_enabled()
251 try:
Victor Stinner024e37a2011-03-31 01:31:06 +0200252 faulthandler.enable()
Victor Stinner7e32f3a2011-06-29 13:44:05 +0200253 self.assertTrue(faulthandler.is_enabled())
Victor Stinner024e37a2011-03-31 01:31:06 +0200254 faulthandler.disable()
Victor Stinner7e32f3a2011-06-29 13:44:05 +0200255 self.assertFalse(faulthandler.is_enabled())
256 finally:
257 if was_enabled:
258 faulthandler.enable()
259 else:
260 faulthandler.disable()
261 finally:
262 sys.stderr = orig_stderr
Victor Stinner024e37a2011-03-31 01:31:06 +0200263
Victor Stinnerd5698cb2012-07-31 02:55:49 +0200264 def test_disabled_by_default(self):
265 # By default, the module should be disabled
266 code = "import faulthandler; print(faulthandler.is_enabled())"
267 rc, stdout, stderr = assert_python_ok("-c", code)
268 stdout = (stdout + stderr).strip()
269 self.assertEqual(stdout, b"False")
270
271 def test_sys_xoptions(self):
272 # Test python -X faulthandler
273 code = "import faulthandler; print(faulthandler.is_enabled())"
274 rc, stdout, stderr = assert_python_ok("-X", "faulthandler", "-c", code)
275 stdout = (stdout + stderr).strip()
276 self.assertEqual(stdout, b"True")
277
Victor Stinner024e37a2011-03-31 01:31:06 +0200278 def check_dump_traceback(self, filename):
279 """
280 Explicitly call dump_traceback() function and check its output.
281 Raise an error if the output doesn't match the expected format.
282 """
283 code = """
284import faulthandler
285
286def funcB():
287 if {has_filename}:
288 with open({filename}, "wb") as fp:
Victor Stinner7bba62f2011-05-07 12:43:00 +0200289 faulthandler.dump_traceback(fp, all_threads=False)
Victor Stinner024e37a2011-03-31 01:31:06 +0200290 else:
Victor Stinner7bba62f2011-05-07 12:43:00 +0200291 faulthandler.dump_traceback(all_threads=False)
Victor Stinner024e37a2011-03-31 01:31:06 +0200292
293def funcA():
294 funcB()
295
296funcA()
297""".strip()
298 code = code.format(
299 filename=repr(filename),
300 has_filename=bool(filename),
301 )
302 if filename:
303 lineno = 6
304 else:
305 lineno = 8
306 expected = [
307 'Traceback (most recent call first):',
308 ' File "<string>", line %s in funcB' % lineno,
309 ' File "<string>", line 11 in funcA',
310 ' File "<string>", line 13 in <module>'
311 ]
Victor Stinner05585cb2011-03-31 13:29:56 +0200312 trace, exitcode = self.get_output(code, filename)
Victor Stinner024e37a2011-03-31 01:31:06 +0200313 self.assertEqual(trace, expected)
Victor Stinner05585cb2011-03-31 13:29:56 +0200314 self.assertEqual(exitcode, 0)
Victor Stinner024e37a2011-03-31 01:31:06 +0200315
316 def test_dump_traceback(self):
317 self.check_dump_traceback(None)
Victor Stinner19402332011-03-31 18:15:52 +0200318
319 def test_dump_traceback_file(self):
Victor Stinner024e37a2011-03-31 01:31:06 +0200320 with temporary_filename() as filename:
321 self.check_dump_traceback(filename)
322
Victor Stinner53386d82012-08-01 19:45:34 +0200323 def test_truncate(self):
324 maxlen = 500
325 func_name = 'x' * (maxlen + 50)
326 truncated = 'x' * maxlen + '...'
327 code = """
328import faulthandler
329
330def {func_name}():
331 faulthandler.dump_traceback(all_threads=False)
332
333{func_name}()
334""".strip()
335 code = code.format(
336 func_name=func_name,
337 )
338 expected = [
339 'Traceback (most recent call first):',
340 ' File "<string>", line 4 in %s' % truncated,
341 ' File "<string>", line 6 in <module>'
342 ]
343 trace, exitcode = self.get_output(code)
344 self.assertEqual(trace, expected)
345 self.assertEqual(exitcode, 0)
346
Victor Stinnerff4cd882011-04-07 11:50:25 +0200347 @unittest.skipIf(not HAVE_THREADS, 'need threads')
Victor Stinner024e37a2011-03-31 01:31:06 +0200348 def check_dump_traceback_threads(self, filename):
349 """
350 Call explicitly dump_traceback(all_threads=True) and check the output.
351 Raise an error if the output doesn't match the expected format.
352 """
353 code = """
354import faulthandler
355from threading import Thread, Event
356import time
357
358def dump():
359 if {filename}:
360 with open({filename}, "wb") as fp:
361 faulthandler.dump_traceback(fp, all_threads=True)
362 else:
363 faulthandler.dump_traceback(all_threads=True)
364
365class Waiter(Thread):
366 # avoid blocking if the main thread raises an exception.
367 daemon = True
368
369 def __init__(self):
370 Thread.__init__(self)
371 self.running = Event()
372 self.stop = Event()
373
374 def run(self):
375 self.running.set()
376 self.stop.wait()
377
378waiter = Waiter()
379waiter.start()
380waiter.running.wait()
381dump()
382waiter.stop.set()
383waiter.join()
384""".strip()
385 code = code.format(filename=repr(filename))
Victor Stinner05585cb2011-03-31 13:29:56 +0200386 output, exitcode = self.get_output(code, filename)
Victor Stinner024e37a2011-03-31 01:31:06 +0200387 output = '\n'.join(output)
388 if filename:
389 lineno = 8
390 else:
391 lineno = 10
392 regex = """
393^Thread 0x[0-9a-f]+:
Victor Stinner1b3241f2011-04-03 18:41:22 +0200394(?: File ".*threading.py", line [0-9]+ in [_a-z]+
395){{1,3}} File "<string>", line 23 in run
Victor Stinner024e37a2011-03-31 01:31:06 +0200396 File ".*threading.py", line [0-9]+ in _bootstrap_inner
397 File ".*threading.py", line [0-9]+ in _bootstrap
398
399Current thread XXX:
400 File "<string>", line {lineno} in dump
401 File "<string>", line 28 in <module>$
402""".strip()
403 regex = regex.format(lineno=lineno)
404 self.assertRegex(output, regex)
Victor Stinner05585cb2011-03-31 13:29:56 +0200405 self.assertEqual(exitcode, 0)
Victor Stinner024e37a2011-03-31 01:31:06 +0200406
407 def test_dump_traceback_threads(self):
408 self.check_dump_traceback_threads(None)
Victor Stinner19402332011-03-31 18:15:52 +0200409
410 def test_dump_traceback_threads_file(self):
Victor Stinner024e37a2011-03-31 01:31:06 +0200411 with temporary_filename() as filename:
412 self.check_dump_traceback_threads(filename)
413
Georg Brandldeb92b52012-09-22 08:58:55 +0200414 def _check_dump_traceback_later(self, repeat, cancel, filename, loops):
Victor Stinner024e37a2011-03-31 01:31:06 +0200415 """
416 Check how many times the traceback is written in timeout x 2.5 seconds,
417 or timeout x 3.5 seconds if cancel is True: 1, 2 or 3 times depending
418 on repeat and cancel options.
419
420 Raise an error if the output doesn't match the expect format.
421 """
Victor Stinnerc790a532011-04-08 13:39:59 +0200422 timeout_str = str(datetime.timedelta(seconds=TIMEOUT))
Victor Stinner024e37a2011-03-31 01:31:06 +0200423 code = """
424import faulthandler
425import time
426
Victor Stinnerde10f402011-04-08 12:57:06 +0200427def func(timeout, repeat, cancel, file, loops):
428 for loop in range(loops):
Georg Brandldeb92b52012-09-22 08:58:55 +0200429 faulthandler.dump_traceback_later(timeout, repeat=repeat, file=file)
Victor Stinnerde10f402011-04-08 12:57:06 +0200430 if cancel:
Georg Brandldeb92b52012-09-22 08:58:55 +0200431 faulthandler.cancel_dump_traceback_later()
Victor Stinner301f3f02011-06-01 13:49:12 +0200432 time.sleep(timeout * 5)
Georg Brandldeb92b52012-09-22 08:58:55 +0200433 faulthandler.cancel_dump_traceback_later()
Victor Stinner024e37a2011-03-31 01:31:06 +0200434
Victor Stinner44378d42011-04-01 15:37:12 +0200435timeout = {timeout}
Victor Stinner024e37a2011-03-31 01:31:06 +0200436repeat = {repeat}
437cancel = {cancel}
Victor Stinnerde10f402011-04-08 12:57:06 +0200438loops = {loops}
Victor Stinner024e37a2011-03-31 01:31:06 +0200439if {has_filename}:
440 file = open({filename}, "wb")
441else:
442 file = None
Victor Stinnerde10f402011-04-08 12:57:06 +0200443func(timeout, repeat, cancel, file, loops)
Victor Stinner024e37a2011-03-31 01:31:06 +0200444if file is not None:
445 file.close()
446""".strip()
447 code = code.format(
Victor Stinnerde10f402011-04-08 12:57:06 +0200448 timeout=TIMEOUT,
Victor Stinner024e37a2011-03-31 01:31:06 +0200449 repeat=repeat,
450 cancel=cancel,
Victor Stinnerde10f402011-04-08 12:57:06 +0200451 loops=loops,
452 has_filename=bool(filename),
453 filename=repr(filename),
Victor Stinner024e37a2011-03-31 01:31:06 +0200454 )
Victor Stinner05585cb2011-03-31 13:29:56 +0200455 trace, exitcode = self.get_output(code, filename)
Victor Stinner024e37a2011-03-31 01:31:06 +0200456 trace = '\n'.join(trace)
457
Victor Stinnerf77ccc62011-04-03 18:45:42 +0200458 if not cancel:
Victor Stinnerde10f402011-04-08 12:57:06 +0200459 count = loops
Victor Stinnerf77ccc62011-04-03 18:45:42 +0200460 if repeat:
Victor Stinnerde10f402011-04-08 12:57:06 +0200461 count *= 2
Victor Stinnerc790a532011-04-08 13:39:59 +0200462 header = r'Timeout \(%s\)!\nThread 0x[0-9a-f]+:\n' % timeout_str
Victor Stinner301f3f02011-06-01 13:49:12 +0200463 regex = expected_traceback(9, 20, header, min_count=count)
Victor Stinnerf77ccc62011-04-03 18:45:42 +0200464 self.assertRegex(trace, regex)
Victor Stinner024e37a2011-03-31 01:31:06 +0200465 else:
Victor Stinnerf77ccc62011-04-03 18:45:42 +0200466 self.assertEqual(trace, '')
Victor Stinner05585cb2011-03-31 13:29:56 +0200467 self.assertEqual(exitcode, 0)
Victor Stinner024e37a2011-03-31 01:31:06 +0200468
Georg Brandldeb92b52012-09-22 08:58:55 +0200469 @unittest.skipIf(not hasattr(faulthandler, 'dump_traceback_later'),
470 'need faulthandler.dump_traceback_later()')
471 def check_dump_traceback_later(self, repeat=False, cancel=False,
Victor Stinnerde10f402011-04-08 12:57:06 +0200472 file=False, twice=False):
473 if twice:
474 loops = 2
475 else:
476 loops = 1
Victor Stinner024e37a2011-03-31 01:31:06 +0200477 if file:
478 with temporary_filename() as filename:
Georg Brandldeb92b52012-09-22 08:58:55 +0200479 self._check_dump_traceback_later(repeat, cancel,
Victor Stinnerde10f402011-04-08 12:57:06 +0200480 filename, loops)
Victor Stinner024e37a2011-03-31 01:31:06 +0200481 else:
Georg Brandldeb92b52012-09-22 08:58:55 +0200482 self._check_dump_traceback_later(repeat, cancel, None, loops)
Victor Stinner024e37a2011-03-31 01:31:06 +0200483
Georg Brandldeb92b52012-09-22 08:58:55 +0200484 def test_dump_traceback_later(self):
485 self.check_dump_traceback_later()
Victor Stinner024e37a2011-03-31 01:31:06 +0200486
Georg Brandldeb92b52012-09-22 08:58:55 +0200487 def test_dump_traceback_later_repeat(self):
488 self.check_dump_traceback_later(repeat=True)
Victor Stinner024e37a2011-03-31 01:31:06 +0200489
Georg Brandldeb92b52012-09-22 08:58:55 +0200490 def test_dump_traceback_later_cancel(self):
491 self.check_dump_traceback_later(cancel=True)
Victor Stinner024e37a2011-03-31 01:31:06 +0200492
Georg Brandldeb92b52012-09-22 08:58:55 +0200493 def test_dump_traceback_later_file(self):
494 self.check_dump_traceback_later(file=True)
Victor Stinner024e37a2011-03-31 01:31:06 +0200495
Georg Brandldeb92b52012-09-22 08:58:55 +0200496 def test_dump_traceback_later_twice(self):
497 self.check_dump_traceback_later(twice=True)
Victor Stinnerde10f402011-04-08 12:57:06 +0200498
Victor Stinner024e37a2011-03-31 01:31:06 +0200499 @unittest.skipIf(not hasattr(faulthandler, "register"),
500 "need faulthandler.register")
Victor Stinnera01ca122011-04-01 12:56:17 +0200501 def check_register(self, filename=False, all_threads=False,
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200502 unregister=False, chain=False):
Victor Stinner024e37a2011-03-31 01:31:06 +0200503 """
504 Register a handler displaying the traceback on a user signal. Raise the
505 signal and check the written traceback.
506
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200507 If chain is True, check that the previous signal handler is called.
508
Victor Stinner024e37a2011-03-31 01:31:06 +0200509 Raise an error if the output doesn't match the expected format.
510 """
Victor Stinnera01ca122011-04-01 12:56:17 +0200511 signum = signal.SIGUSR1
Victor Stinner024e37a2011-03-31 01:31:06 +0200512 code = """
513import faulthandler
514import os
515import signal
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200516import sys
Victor Stinner024e37a2011-03-31 01:31:06 +0200517
518def func(signum):
519 os.kill(os.getpid(), signum)
520
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200521def handler(signum, frame):
522 handler.called = True
523handler.called = False
524
525exitcode = 0
Victor Stinnera01ca122011-04-01 12:56:17 +0200526signum = {signum}
527unregister = {unregister}
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200528chain = {chain}
529
Victor Stinner024e37a2011-03-31 01:31:06 +0200530if {has_filename}:
531 file = open({filename}, "wb")
532else:
533 file = None
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200534if chain:
535 signal.signal(signum, handler)
536faulthandler.register(signum, file=file,
537 all_threads={all_threads}, chain={chain})
Victor Stinnera01ca122011-04-01 12:56:17 +0200538if unregister:
539 faulthandler.unregister(signum)
Victor Stinner024e37a2011-03-31 01:31:06 +0200540func(signum)
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200541if chain and not handler.called:
542 if file is not None:
543 output = file
544 else:
545 output = sys.stderr
546 print("Error: signal handler not called!", file=output)
547 exitcode = 1
Victor Stinner024e37a2011-03-31 01:31:06 +0200548if file is not None:
549 file.close()
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200550sys.exit(exitcode)
Victor Stinner024e37a2011-03-31 01:31:06 +0200551""".strip()
552 code = code.format(
553 filename=repr(filename),
554 has_filename=bool(filename),
555 all_threads=all_threads,
Victor Stinnera01ca122011-04-01 12:56:17 +0200556 signum=signum,
557 unregister=unregister,
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200558 chain=chain,
Victor Stinner024e37a2011-03-31 01:31:06 +0200559 )
Victor Stinner05585cb2011-03-31 13:29:56 +0200560 trace, exitcode = self.get_output(code, filename)
Victor Stinner024e37a2011-03-31 01:31:06 +0200561 trace = '\n'.join(trace)
Victor Stinnera01ca122011-04-01 12:56:17 +0200562 if not unregister:
563 if all_threads:
564 regex = 'Current thread XXX:\n'
565 else:
566 regex = 'Traceback \(most recent call first\):\n'
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200567 regex = expected_traceback(7, 28, regex)
Victor Stinnera01ca122011-04-01 12:56:17 +0200568 self.assertRegex(trace, regex)
Victor Stinner024e37a2011-03-31 01:31:06 +0200569 else:
Victor Stinnera01ca122011-04-01 12:56:17 +0200570 self.assertEqual(trace, '')
571 if unregister:
572 self.assertNotEqual(exitcode, 0)
573 else:
574 self.assertEqual(exitcode, 0)
Victor Stinner024e37a2011-03-31 01:31:06 +0200575
576 def test_register(self):
577 self.check_register()
578
Victor Stinnera01ca122011-04-01 12:56:17 +0200579 def test_unregister(self):
580 self.check_register(unregister=True)
581
Victor Stinner024e37a2011-03-31 01:31:06 +0200582 def test_register_file(self):
583 with temporary_filename() as filename:
584 self.check_register(filename=filename)
585
586 def test_register_threads(self):
587 self.check_register(all_threads=True)
588
Victor Stinnera9a9dab2011-07-13 23:39:53 +0200589 def test_register_chain(self):
590 self.check_register(chain=True)
591
Victor Stinner024e37a2011-03-31 01:31:06 +0200592
593def test_main():
594 support.run_unittest(FaultHandlerTests)
595
596if __name__ == "__main__":
597 test_main()