2011-12-19 22:51:27 +00:00
|
|
|
"""
|
|
|
|
Test Debugger APIs.
|
|
|
|
"""
|
|
|
|
|
2012-08-25 00:29:07 +00:00
|
|
|
import lldb
|
2016-02-04 23:04:17 +00:00
|
|
|
|
|
|
|
from lldbsuite.test.decorators import *
|
2015-11-03 02:06:18 +00:00
|
|
|
from lldbsuite.test.lldbtest import *
|
2016-02-04 23:04:17 +00:00
|
|
|
from lldbsuite.test import lldbutil
|
2012-08-25 00:29:07 +00:00
|
|
|
|
2011-12-19 22:51:27 +00:00
|
|
|
|
|
|
|
class DebuggerAPITestCase(TestBase):
|
2020-01-13 10:00:06 +01:00
|
|
|
NO_DEBUG_INFO_TESTCASE = True
|
2011-12-19 22:51:27 +00:00
|
|
|
|
|
|
|
def test_debugger_api_boundary_condition(self):
|
|
|
|
"""Exercise SBDebugger APIs with boundary conditions."""
|
|
|
|
self.dbg.HandleCommand(None)
|
|
|
|
self.dbg.SetDefaultArchitecture(None)
|
|
|
|
self.dbg.GetScriptingLanguage(None)
|
|
|
|
self.dbg.CreateTarget(None)
|
|
|
|
self.dbg.CreateTarget(None, None, None, True, lldb.SBError())
|
|
|
|
self.dbg.CreateTargetWithFileAndTargetTriple(None, None)
|
|
|
|
self.dbg.CreateTargetWithFileAndArch(None, None)
|
|
|
|
self.dbg.FindTargetWithFileAndArch(None, None)
|
|
|
|
self.dbg.SetInternalVariable(None, None, None)
|
|
|
|
self.dbg.GetInternalVariableValue(None, None)
|
2012-08-25 00:29:07 +00:00
|
|
|
# FIXME (filcab): We must first allow for the swig bindings to know if
|
|
|
|
# a Python callback is set. (Check python-typemaps.swig)
|
|
|
|
# self.dbg.SetLoggingCallback(None)
|
2011-12-19 22:51:27 +00:00
|
|
|
self.dbg.SetPrompt(None)
|
|
|
|
self.dbg.SetCurrentPlatform(None)
|
|
|
|
self.dbg.SetCurrentPlatformSDKRoot(None)
|
2023-02-03 17:09:09 -08:00
|
|
|
|
2019-04-03 11:48:38 +00:00
|
|
|
fresh_dbg = lldb.SBDebugger()
|
2024-02-16 20:58:50 -08:00
|
|
|
self.assertEqual(len(fresh_dbg), 0)
|
2011-12-23 00:53:45 +00:00
|
|
|
|
|
|
|
def test_debugger_delete_invalid_target(self):
|
|
|
|
"""SBDebugger.DeleteTarget() should not crash LLDB given and invalid target."""
|
|
|
|
target = lldb.SBTarget()
|
|
|
|
self.assertFalse(target.IsValid())
|
|
|
|
self.dbg.DeleteTarget(target)
|
2020-12-18 16:36:15 +03:00
|
|
|
|
|
|
|
def test_debugger_internal_variables(self):
|
|
|
|
"""Ensure that SBDebugger reachs the same instance of properties
|
|
|
|
regardless CommandInterpreter's context initialization"""
|
|
|
|
self.build()
|
|
|
|
exe = self.getBuildArtifact("a.out")
|
|
|
|
|
|
|
|
# Create a target by the debugger.
|
|
|
|
target = self.dbg.CreateTarget(exe)
|
|
|
|
self.assertTrue(target, VALID_TARGET)
|
|
|
|
|
|
|
|
property_name = "target.process.memory-cache-line-size"
|
|
|
|
|
|
|
|
def get_cache_line_size():
|
|
|
|
value_list = lldb.SBStringList()
|
|
|
|
value_list = self.dbg.GetInternalVariableValue(
|
|
|
|
property_name, self.dbg.GetInstanceName()
|
2023-05-25 08:48:57 -07:00
|
|
|
)
|
2020-12-18 16:36:15 +03:00
|
|
|
|
|
|
|
self.assertEqual(value_list.GetSize(), 1)
|
|
|
|
try:
|
|
|
|
return int(value_list.GetStringAtIndex(0))
|
|
|
|
except ValueError as error:
|
|
|
|
self.fail("Value is not a number: " + error)
|
|
|
|
|
|
|
|
# Get global property value while there are no processes.
|
|
|
|
global_cache_line_size = get_cache_line_size()
|
|
|
|
|
|
|
|
# Run a process via SB interface. CommandInterpreter's execution context
|
|
|
|
# remains empty.
|
|
|
|
error = lldb.SBError()
|
|
|
|
launch_info = lldb.SBLaunchInfo(None)
|
|
|
|
launch_info.SetLaunchFlags(lldb.eLaunchFlagStopAtEntry)
|
|
|
|
process = target.Launch(launch_info, error)
|
|
|
|
self.assertTrue(process, PROCESS_IS_VALID)
|
|
|
|
|
|
|
|
# This should change the value of a process's local property.
|
|
|
|
new_cache_line_size = global_cache_line_size + 512
|
|
|
|
error = self.dbg.SetInternalVariable(
|
|
|
|
property_name, str(new_cache_line_size), self.dbg.GetInstanceName()
|
2023-05-25 08:48:57 -07:00
|
|
|
)
|
2022-02-11 21:23:16 -08:00
|
|
|
self.assertSuccess(error, property_name + " value was changed successfully")
|
2020-12-18 16:36:15 +03:00
|
|
|
|
|
|
|
# Check that it was set actually.
|
|
|
|
self.assertEqual(get_cache_line_size(), new_cache_line_size)
|
|
|
|
|
|
|
|
# Run any command to initialize CommandInterpreter's execution context.
|
|
|
|
self.runCmd("target list")
|
|
|
|
|
|
|
|
# Test the local property again, is it set to new_cache_line_size?
|
|
|
|
self.assertEqual(get_cache_line_size(), new_cache_line_size)
|
2022-02-25 14:47:27 +01:00
|
|
|
|
2024-05-24 23:19:51 +04:00
|
|
|
@expectedFailureAll(
|
|
|
|
remote=True,
|
|
|
|
bugnumber="github.com/llvm/llvm-project/issues/92419",
|
|
|
|
)
|
2022-02-25 14:47:27 +01:00
|
|
|
def test_CreateTarget_platform(self):
|
|
|
|
exe = self.getBuildArtifact("a.out")
|
|
|
|
self.yaml2obj("elf.yaml", exe)
|
|
|
|
error = lldb.SBError()
|
|
|
|
target1 = self.dbg.CreateTarget(exe, None, "remote-linux", False, error)
|
|
|
|
self.assertSuccess(error)
|
|
|
|
platform1 = target1.GetPlatform()
|
|
|
|
platform1.SetWorkingDirectory("/foo/bar")
|
|
|
|
|
|
|
|
# Reuse a platform if it matches the currently selected one...
|
|
|
|
target2 = self.dbg.CreateTarget(exe, None, "remote-linux", False, error)
|
|
|
|
self.assertSuccess(error)
|
|
|
|
platform2 = target2.GetPlatform()
|
2022-04-13 15:37:44 +02:00
|
|
|
self.assertTrue(
|
|
|
|
platform2.GetWorkingDirectory().endswith("bar"),
|
|
|
|
platform2.GetWorkingDirectory(),
|
|
|
|
)
|
2022-02-25 14:47:27 +01:00
|
|
|
|
|
|
|
# ... but create a new one if it doesn't.
|
|
|
|
self.dbg.SetSelectedPlatform(lldb.SBPlatform("remote-windows"))
|
|
|
|
target3 = self.dbg.CreateTarget(exe, None, "remote-linux", False, error)
|
|
|
|
self.assertSuccess(error)
|
|
|
|
platform3 = target3.GetPlatform()
|
|
|
|
self.assertIsNone(platform3.GetWorkingDirectory())
|
|
|
|
|
|
|
|
def test_CreateTarget_arch(self):
|
|
|
|
exe = self.getBuildArtifact("a.out")
|
|
|
|
if lldbplatformutil.getHostPlatform() == "linux":
|
|
|
|
self.yaml2obj("macho.yaml", exe)
|
|
|
|
arch = "x86_64-apple-macosx"
|
2022-04-13 15:37:44 +02:00
|
|
|
expected_platform = "remote-macosx"
|
2022-02-25 14:47:27 +01:00
|
|
|
else:
|
|
|
|
self.yaml2obj("elf.yaml", exe)
|
|
|
|
arch = "x86_64-pc-linux"
|
2022-04-13 15:37:44 +02:00
|
|
|
expected_platform = "remote-linux"
|
2022-02-25 14:47:27 +01:00
|
|
|
|
|
|
|
fbsd = lldb.SBPlatform("remote-freebsd")
|
|
|
|
self.dbg.SetSelectedPlatform(fbsd)
|
|
|
|
|
|
|
|
error = lldb.SBError()
|
|
|
|
target1 = self.dbg.CreateTarget(exe, arch, None, False, error)
|
|
|
|
self.assertSuccess(error)
|
|
|
|
platform1 = target1.GetPlatform()
|
2022-04-13 15:37:44 +02:00
|
|
|
self.assertEqual(platform1.GetName(), expected_platform)
|
2022-02-25 14:47:27 +01:00
|
|
|
platform1.SetWorkingDirectory("/foo/bar")
|
|
|
|
|
|
|
|
# Reuse a platform even if it is not currently selected.
|
|
|
|
self.dbg.SetSelectedPlatform(fbsd)
|
|
|
|
target2 = self.dbg.CreateTarget(exe, arch, None, False, error)
|
|
|
|
self.assertSuccess(error)
|
|
|
|
platform2 = target2.GetPlatform()
|
2022-04-13 15:37:44 +02:00
|
|
|
self.assertEqual(platform2.GetName(), expected_platform)
|
|
|
|
self.assertTrue(
|
|
|
|
platform2.GetWorkingDirectory().endswith("bar"),
|
|
|
|
platform2.GetWorkingDirectory(),
|
|
|
|
)
|
2023-02-03 17:09:09 -08:00
|
|
|
|
|
|
|
def test_SetDestroyCallback(self):
|
|
|
|
destroy_dbg_id = None
|
2023-05-25 08:48:57 -07:00
|
|
|
|
2023-02-03 17:09:09 -08:00
|
|
|
def foo(dbg_id):
|
|
|
|
# Need nonlocal to modify closure variable.
|
|
|
|
nonlocal destroy_dbg_id
|
|
|
|
destroy_dbg_id = dbg_id
|
|
|
|
|
|
|
|
self.dbg.SetDestroyCallback(foo)
|
|
|
|
|
|
|
|
original_dbg_id = self.dbg.GetID()
|
|
|
|
self.dbg.Destroy(self.dbg)
|
|
|
|
self.assertEqual(destroy_dbg_id, original_dbg_id)
|
SBDebugger: Add new APIs `AddDestroyCallback` and `RemoveDestroyCallback` (#89868)
# Motivation
Individual callers of `SBDebugger::SetDestroyCallback()` might think
that they have registered their callback and expect it to be called when
the debugger is destroyed. In reality, only the last caller survives,
and all previous callers are forgotten, which might be a surprise to
them. Worse, if this is called in a race condition, which callback
survives is less predictable, which may case confusing behavior
elsewhere.
# This PR
Allows multiple destroy callbacks to be registered and all called when
the debugger is destroyed.
**EDIT**: Adds two new APIs: `AddDestroyCallback()` and
`ClearDestroyCallback()`. `SetDestroyCallback()` will first clear then
add the given callback. Tests are added for the new APIs.
## Tests
```
bin/llvm-lit -sv ../external/llvm-project/lldb/test/API/python_api/debugger/TestDebuggerAPI.py
```
## (out-dated, see comments below) Semantic change to
`SetDestroyCallback()`
~~Currently, the method overwrites the old callback with the new one.
With this PR, it will NOT overwrite. Instead, it will hold on to both.
Both callbacks get called during destroy.~~
~~**Risk**: Although the documentation of `SetDestroyCallback()` (see
[C++](https://lldb.llvm.org/cpp_reference/classlldb_1_1SBDebugger.html#afa1649d9453a376b5c95888b5a0cb4ec)
and
[python](https://lldb.llvm.org/python_api/lldb.SBDebugger.html#lldb.SBDebugger.SetDestroyCallback))
doesn't really specify the behavior, there is a risk: if existing call
sites rely on the "overwrite" behavior, they will be surprised because
now the old callback will get called. But as the above said, the current
behavior of "overwrite" itself might be unintended, so I don't
anticipate users to rely on this behavior. In short, this risk might be
less of a problem if we correct it sooner rather than later (which is
what this PR is trying to do).~~
## (out-dated, see comments below) Implementation
~~The implementation holds a `std::vector<std::pair<callback, baton>>`.
When `SetDestroyCallback()` is called, callbacks and batons are appended
to the `std::vector`. When destroy event happen, the `(callback, baton)`
pairs are invoked FIFO. Finally, the `std::vector` is cleared.~~
# (out-dated, see comments below) Alternatives considered
~~Instead of changing `SetDestroyCallback()`, a new method
`AddDestroyCallback()` can be added, which use the same
`std::vector<std::pair<>>` implementation. Together with
`ClearDestroyCallback()` (see below), they will replace and deprecate
`SetDestroyCallback()`. Meanwhile, in order to be backward compatible,
`SetDestroyCallback()` need to be updated to clear the `std::vector` and
then add the new callback. Pros: The end state is semantically more
correct. Cons: More steps to take; potentially maintaining an
"incorrect" behavior (of "overwrite").~~
~~A new method `ClearDestroyCallback()` can be added. Might be
unnecessary at this point, because workflows which need to set then
clear callbacks may exist but shouldn't be too common at least for now.
Such method can be added later when needed.~~
~~The `std::vector` may bring slight performance drawback if its
implementation doesn't handle small size efficiently. However, even if
that's the case, this path should be very cold (only used during init
and destroy). Such performance drawback should be negligible.~~
~~A different implementation was also considered. Instead of using
`std::vector`, the current `m_destroy_callback` field can be kept
unchanged. When `SetDestroyCallback()` is called, a lambda function can
be stored into `m_destroy_callback`. This lambda function will first
call the old callback, then the new one. This way, `std::vector` is
avoided. However, this implementation is more complex, thus less
readable, with not much perf to gain.~~
---------
Co-authored-by: Roy Shi <royshi@meta.com>
2024-05-20 15:51:42 -07:00
|
|
|
|
|
|
|
def test_AddDestroyCallback(self):
|
|
|
|
original_dbg_id = self.dbg.GetID()
|
|
|
|
called = []
|
|
|
|
|
|
|
|
def foo(dbg_id):
|
|
|
|
# Need nonlocal to modify closure variable.
|
|
|
|
nonlocal called
|
|
|
|
called += [('foo', dbg_id)]
|
|
|
|
|
|
|
|
def bar(dbg_id):
|
|
|
|
# Need nonlocal to modify closure variable.
|
|
|
|
nonlocal called
|
|
|
|
called += [('bar', dbg_id)]
|
|
|
|
|
|
|
|
token_foo = self.dbg.AddDestroyCallback(foo)
|
|
|
|
token_bar = self.dbg.AddDestroyCallback(bar)
|
|
|
|
self.dbg.Destroy(self.dbg)
|
|
|
|
|
|
|
|
# Should call both `foo()` and `bar()`.
|
|
|
|
self.assertEqual(called, [
|
|
|
|
('foo', original_dbg_id),
|
|
|
|
('bar', original_dbg_id),
|
|
|
|
])
|
|
|
|
|
|
|
|
def test_RemoveDestroyCallback(self):
|
|
|
|
original_dbg_id = self.dbg.GetID()
|
|
|
|
called = []
|
|
|
|
|
|
|
|
def foo(dbg_id):
|
|
|
|
# Need nonlocal to modify closure variable.
|
|
|
|
nonlocal called
|
|
|
|
called += [('foo', dbg_id)]
|
|
|
|
|
|
|
|
def bar(dbg_id):
|
|
|
|
# Need nonlocal to modify closure variable.
|
|
|
|
nonlocal called
|
|
|
|
called += [('bar', dbg_id)]
|
|
|
|
|
|
|
|
token_foo = self.dbg.AddDestroyCallback(foo)
|
|
|
|
token_bar = self.dbg.AddDestroyCallback(bar)
|
|
|
|
ret = self.dbg.RemoveDestroyCallback(token_foo)
|
|
|
|
self.dbg.Destroy(self.dbg)
|
|
|
|
|
|
|
|
# `Remove` should be successful
|
|
|
|
self.assertTrue(ret)
|
|
|
|
# Should only call `bar()`
|
|
|
|
self.assertEqual(called, [('bar', original_dbg_id)])
|
|
|
|
|
|
|
|
def test_RemoveDestroyCallback_invalid_token(self):
|
|
|
|
original_dbg_id = self.dbg.GetID()
|
|
|
|
magic_token_that_should_not_exist = 32413
|
|
|
|
called = []
|
|
|
|
|
|
|
|
def foo(dbg_id):
|
|
|
|
# Need nonlocal to modify closure variable.
|
|
|
|
nonlocal called
|
|
|
|
called += [('foo', dbg_id)]
|
|
|
|
|
|
|
|
token_foo = self.dbg.AddDestroyCallback(foo)
|
|
|
|
ret = self.dbg.RemoveDestroyCallback(magic_token_that_should_not_exist)
|
|
|
|
self.dbg.Destroy(self.dbg)
|
|
|
|
|
|
|
|
# `Remove` should be unsuccessful
|
|
|
|
self.assertFalse(ret)
|
|
|
|
# Should call `foo()`
|
|
|
|
self.assertEqual(called, [('foo', original_dbg_id)])
|
|
|
|
|
|
|
|
def test_HandleDestroyCallback(self):
|
|
|
|
"""
|
|
|
|
Validates:
|
|
|
|
1. AddDestroyCallback and RemoveDestroyCallback work during debugger destroy.
|
|
|
|
2. HandleDestroyCallback invokes all callbacks in FIFO order.
|
|
|
|
"""
|
|
|
|
original_dbg_id = self.dbg.GetID()
|
|
|
|
events = []
|
|
|
|
bar_token = None
|
|
|
|
|
|
|
|
def foo(dbg_id):
|
|
|
|
# Need nonlocal to modify closure variable.
|
|
|
|
nonlocal events
|
|
|
|
events.append(('foo called', dbg_id))
|
|
|
|
|
|
|
|
def bar(dbg_id):
|
|
|
|
# Need nonlocal to modify closure variable.
|
|
|
|
nonlocal events
|
|
|
|
events.append(('bar called', dbg_id))
|
|
|
|
|
|
|
|
def add_foo(dbg_id):
|
|
|
|
# Need nonlocal to modify closure variable.
|
|
|
|
nonlocal events
|
|
|
|
events.append(('add_foo called', dbg_id))
|
|
|
|
events.append(('foo token', self.dbg.AddDestroyCallback(foo)))
|
|
|
|
|
|
|
|
def remove_bar(dbg_id):
|
|
|
|
# Need nonlocal to modify closure variable.
|
|
|
|
nonlocal events
|
|
|
|
events.append(('remove_bar called', dbg_id))
|
|
|
|
events.append(('remove bar ret', self.dbg.RemoveDestroyCallback(bar_token)))
|
|
|
|
|
|
|
|
# Setup
|
|
|
|
events.append(('add_foo token', self.dbg.AddDestroyCallback(add_foo)))
|
|
|
|
bar_token = self.dbg.AddDestroyCallback(bar)
|
|
|
|
events.append(('bar token', bar_token))
|
|
|
|
events.append(('remove_bar token', self.dbg.AddDestroyCallback(remove_bar)))
|
|
|
|
# Destroy
|
|
|
|
self.dbg.Destroy(self.dbg)
|
|
|
|
|
|
|
|
self.assertEqual(events, [
|
|
|
|
# Setup
|
|
|
|
('add_foo token', 0), # add_foo should be added
|
|
|
|
('bar token', 1), # bar should be added
|
|
|
|
('remove_bar token', 2), # remove_bar should be added
|
|
|
|
# Destroy
|
|
|
|
('add_foo called', original_dbg_id), # add_foo should be called
|
|
|
|
('foo token', 3), # foo should be added
|
|
|
|
('bar called', original_dbg_id), # bar should be called
|
|
|
|
('remove_bar called', original_dbg_id), # remove_bar should be called
|
|
|
|
('remove bar ret', False), # remove_bar should fail, because it's already invoked and removed
|
|
|
|
('foo called', original_dbg_id), # foo should be called
|
|
|
|
])
|