summaryrefslogtreecommitdiff
path: root/packages/Python/lldbsuite/test/functionalities/tsan/basic/TestTsanBasic.py
diff options
context:
space:
mode:
authorDimitry Andric <dim@FreeBSD.org>2019-08-20 18:01:57 +0000
committerDimitry Andric <dim@FreeBSD.org>2019-08-20 18:01:57 +0000
commit88c643b6fec27eec436c8d138fee6346e92337d6 (patch)
tree82cd13b2f3cde1c9e5f79689ba4e6ba67694843f /packages/Python/lldbsuite/test/functionalities/tsan/basic/TestTsanBasic.py
parent94994d372d014ce4c8758b9605d63fae651bd8aa (diff)
Notes
Diffstat (limited to 'packages/Python/lldbsuite/test/functionalities/tsan/basic/TestTsanBasic.py')
-rw-r--r--packages/Python/lldbsuite/test/functionalities/tsan/basic/TestTsanBasic.py136
1 files changed, 0 insertions, 136 deletions
diff --git a/packages/Python/lldbsuite/test/functionalities/tsan/basic/TestTsanBasic.py b/packages/Python/lldbsuite/test/functionalities/tsan/basic/TestTsanBasic.py
deleted file mode 100644
index c91ed41a2478..000000000000
--- a/packages/Python/lldbsuite/test/functionalities/tsan/basic/TestTsanBasic.py
+++ /dev/null
@@ -1,136 +0,0 @@
-"""
-Tests basic ThreadSanitizer support (detecting a data race).
-"""
-
-import os
-import time
-import lldb
-from lldbsuite.test.lldbtest import *
-from lldbsuite.test.decorators import *
-import lldbsuite.test.lldbutil as lldbutil
-import json
-
-
-class TsanBasicTestCase(TestBase):
-
- mydir = TestBase.compute_mydir(__file__)
-
- @expectedFailureAll(
- oslist=["linux"],
- bugnumber="non-core functionality, need to reenable and fix later (DES 2014.11.07)")
- @skipIfFreeBSD # llvm.org/pr21136 runtimes not yet available by default
- @skipIfRemote
- @skipUnlessThreadSanitizer
- def test(self):
- self.build()
- self.tsan_tests()
-
- def setUp(self):
- # Call super's setUp().
- TestBase.setUp(self)
- self.line_malloc = line_number('main.c', '// malloc line')
- self.line_thread1 = line_number('main.c', '// thread1 line')
- self.line_thread2 = line_number('main.c', '// thread2 line')
-
- def tsan_tests(self):
- exe = self.getBuildArtifact("a.out")
- self.expect(
- "file " + exe,
- patterns=["Current executable set to .*a.out"])
-
- self.runCmd("run")
-
- stop_reason = self.dbg.GetSelectedTarget().process.GetSelectedThread().GetStopReason()
- if stop_reason == lldb.eStopReasonExec:
- # On OS X 10.10 and older, we need to re-exec to enable
- # interceptors.
- self.runCmd("continue")
-
- # the stop reason of the thread should be breakpoint.
- self.expect("thread list", "A data race should be detected",
- substrs=['stopped', 'stop reason = Data race detected'])
-
- self.assertEqual(
- self.dbg.GetSelectedTarget().process.GetSelectedThread().GetStopReason(),
- lldb.eStopReasonInstrumentation)
-
- # test that the TSan dylib is present
- self.expect(
- "image lookup -n __tsan_get_current_report",
- "__tsan_get_current_report should be present",
- substrs=['1 match found'])
-
- # We should be stopped in __tsan_on_report
- process = self.dbg.GetSelectedTarget().process
- thread = process.GetSelectedThread()
- frame = thread.GetSelectedFrame()
- self.assertTrue("__tsan_on_report" in frame.GetFunctionName())
-
- # The stopped thread backtrace should contain either line1 or line2
- # from main.c.
- found = False
- for i in range(0, thread.GetNumFrames()):
- frame = thread.GetFrameAtIndex(i)
- if frame.GetLineEntry().GetFileSpec().GetFilename() == "main.c":
- if frame.GetLineEntry().GetLine() == self.line_thread1:
- found = True
- if frame.GetLineEntry().GetLine() == self.line_thread2:
- found = True
- self.assertTrue(found)
-
- self.expect(
- "thread info -s",
- "The extended stop info should contain the TSan provided fields",
- substrs=[
- "instrumentation_class",
- "description",
- "mops"])
-
- output_lines = self.res.GetOutput().split('\n')
- json_line = '\n'.join(output_lines[2:])
- data = json.loads(json_line)
- self.assertEqual(data["instrumentation_class"], "ThreadSanitizer")
- self.assertEqual(data["issue_type"], "data-race")
- self.assertEqual(len(data["mops"]), 2)
-
- backtraces = thread.GetStopReasonExtendedBacktraces(
- lldb.eInstrumentationRuntimeTypeAddressSanitizer)
- self.assertEqual(backtraces.GetSize(), 0)
-
- backtraces = thread.GetStopReasonExtendedBacktraces(
- lldb.eInstrumentationRuntimeTypeThreadSanitizer)
- self.assertTrue(backtraces.GetSize() >= 2)
-
- # First backtrace is a memory operation
- thread = backtraces.GetThreadAtIndex(0)
- found = False
- for i in range(0, thread.GetNumFrames()):
- frame = thread.GetFrameAtIndex(i)
- if frame.GetLineEntry().GetFileSpec().GetFilename() == "main.c":
- if frame.GetLineEntry().GetLine() == self.line_thread1:
- found = True
- if frame.GetLineEntry().GetLine() == self.line_thread2:
- found = True
- self.assertTrue(found)
-
- # Second backtrace is a memory operation
- thread = backtraces.GetThreadAtIndex(1)
- found = False
- for i in range(0, thread.GetNumFrames()):
- frame = thread.GetFrameAtIndex(i)
- if frame.GetLineEntry().GetFileSpec().GetFilename() == "main.c":
- if frame.GetLineEntry().GetLine() == self.line_thread1:
- found = True
- if frame.GetLineEntry().GetLine() == self.line_thread2:
- found = True
- self.assertTrue(found)
-
- self.runCmd("continue")
-
- # the stop reason of the thread should be a SIGABRT.
- self.expect("thread list", "We should be stopped due a SIGABRT",
- substrs=['stopped', 'stop reason = signal SIGABRT'])
-
- # test that we're in pthread_kill now (TSan abort the process)
- self.expect("thread list", "We should be stopped in pthread_kill",
- substrs=['pthread_kill'])