Skip to content
Merged
Show file tree
Hide file tree
Changes from 3 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions lldb/bindings/interface/SBMutexExtensions.i
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
%extend lldb::SBMutex {
#ifdef SWIGPYTHON
%pythoncode %{
def __enter__(self):
self.lock()
return self

def __exit__(self, exc_type, exc_value, traceback):
self.unlock()
%}
#endif
}
4 changes: 3 additions & 1 deletion lldb/bindings/interfaces.swig
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,7 @@
%include "./interface/SBMemoryRegionInfoListDocstrings.i"
%include "./interface/SBModuleDocstrings.i"
%include "./interface/SBModuleSpecDocstrings.i"
%include "./interface/SBMutexExtensions.i"
%include "./interface/SBPlatformDocstrings.i"
%include "./interface/SBProcessDocstrings.i"
%include "./interface/SBProcessInfoDocstrings.i"
Expand Down Expand Up @@ -121,15 +122,16 @@
%include "lldb/API/SBHostOS.h"
%include "lldb/API/SBInstruction.h"
%include "lldb/API/SBInstructionList.h"
%include "lldb/API/SBLanguages.h"
%include "lldb/API/SBLanguageRuntime.h"
%include "lldb/API/SBLanguages.h"
%include "lldb/API/SBLaunchInfo.h"
%include "lldb/API/SBLineEntry.h"
%include "lldb/API/SBListener.h"
%include "lldb/API/SBMemoryRegionInfo.h"
%include "lldb/API/SBMemoryRegionInfoList.h"
%include "lldb/API/SBModule.h"
%include "lldb/API/SBModuleSpec.h"
%include "lldb/API/SBMutex.h"
%include "lldb/API/SBPlatform.h"
%include "lldb/API/SBProcess.h"
%include "lldb/API/SBProcessInfo.h"
Expand Down
1 change: 1 addition & 0 deletions lldb/include/lldb/API/LLDB.h
Original file line number Diff line number Diff line change
Expand Up @@ -50,6 +50,7 @@
#include "lldb/API/SBMemoryRegionInfoList.h"
#include "lldb/API/SBModule.h"
#include "lldb/API/SBModuleSpec.h"
#include "lldb/API/SBMutex.h"
#include "lldb/API/SBPlatform.h"
#include "lldb/API/SBProcess.h"
#include "lldb/API/SBProcessInfo.h"
Expand Down
1 change: 1 addition & 0 deletions lldb/include/lldb/API/SBDefines.h
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,7 @@ class LLDB_API SBMemoryRegionInfoList;
class LLDB_API SBModule;
class LLDB_API SBModuleSpec;
class LLDB_API SBModuleSpecList;
class LLDB_API SBMutex;
class LLDB_API SBPlatform;
class LLDB_API SBPlatformConnectOptions;
class LLDB_API SBPlatformShellCommand;
Expand Down
45 changes: 45 additions & 0 deletions lldb/include/lldb/API/SBMutex.h
Original file line number Diff line number Diff line change
@@ -0,0 +1,45 @@
//===-- SBMutex.h ---------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#ifndef LLDB_API_SBMUTEX_H
#define LLDB_API_SBMUTEX_H

#include "lldb/API/SBDefines.h"
#include "lldb/lldb-forward.h"
#include <mutex>

namespace lldb {

class LLDB_API SBMutex {
public:
SBMutex();
SBMutex(const SBMutex &rhs);
const SBMutex &operator=(const SBMutex &rhs);
~SBMutex();

/// Returns true if this lock has ownership of the underlying mutex.
bool IsValid() const;

/// Blocking operation that takes ownership of this lock.
void lock() const;

/// Releases ownership of this lock.
void unlock() const;

private:
// Private constructor used by SBTarget to create the Target API mutex.
// Requires a friend declaration.
SBMutex(lldb::TargetSP target_sp);
friend class SBTarget;

std::shared_ptr<std::recursive_mutex> m_opaque_sp;
};

} // namespace lldb

#endif
4 changes: 3 additions & 1 deletion lldb/include/lldb/API/SBTarget.h
Original file line number Diff line number Diff line change
Expand Up @@ -342,7 +342,7 @@ class LLDB_API SBTarget {
uint32_t GetAddressByteSize();

const char *GetTriple();

const char *GetABIName();

const char *GetLabel() const;
Expand Down Expand Up @@ -946,6 +946,8 @@ class LLDB_API SBTarget {
/// An error if a Trace already exists or the trace couldn't be created.
lldb::SBTrace CreateTrace(SBError &error);

lldb::SBMutex GetAPIMutex() const;

protected:
friend class SBAddress;
friend class SBAddressRange;
Expand Down
1 change: 1 addition & 0 deletions lldb/source/API/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -81,6 +81,7 @@ add_lldb_library(liblldb SHARED ${option_framework}
SBMemoryRegionInfoList.cpp
SBModule.cpp
SBModuleSpec.cpp
SBMutex.cpp
SBPlatform.cpp
SBProcess.cpp
SBProcessInfo.cpp
Expand Down
60 changes: 60 additions & 0 deletions lldb/source/API/SBMutex.cpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,60 @@
//===-- SBMutex.cpp -------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#include "lldb/API/SBMutex.h"
#include "lldb/Target/Target.h"
#include "lldb/Utility/Instrumentation.h"
#include "lldb/lldb-forward.h"
#include <memory>
#include <mutex>

using namespace lldb;
using namespace lldb_private;

SBMutex::SBMutex() : m_opaque_sp(std::make_shared<std::recursive_mutex>()) {
LLDB_INSTRUMENT_VA(this);
}

SBMutex::SBMutex(const SBMutex &rhs) : m_opaque_sp(rhs.m_opaque_sp) {
LLDB_INSTRUMENT_VA(this);
}

const SBMutex &SBMutex::operator=(const SBMutex &rhs) {
LLDB_INSTRUMENT_VA(this);

m_opaque_sp = rhs.m_opaque_sp;
return *this;
}

SBMutex::SBMutex(lldb::TargetSP target_sp)
: m_opaque_sp(std::shared_ptr<std::recursive_mutex>(
target_sp, &target_sp->GetAPIMutex())) {
LLDB_INSTRUMENT_VA(this, target_sp);
}

SBMutex::~SBMutex() { LLDB_INSTRUMENT_VA(this); }

bool SBMutex::IsValid() const {
LLDB_INSTRUMENT_VA(this);

return static_cast<bool>(m_opaque_sp);
}

void SBMutex::lock() const {
LLDB_INSTRUMENT_VA(this);

if (m_opaque_sp)
m_opaque_sp->lock();
}

void SBMutex::unlock() const {
LLDB_INSTRUMENT_VA(this);

if (m_opaque_sp)
m_opaque_sp->unlock();
}
16 changes: 12 additions & 4 deletions lldb/source/API/SBTarget.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -7,10 +7,6 @@
//===----------------------------------------------------------------------===//

#include "lldb/API/SBTarget.h"
#include "lldb/Utility/Instrumentation.h"
#include "lldb/Utility/LLDBLog.h"
#include "lldb/lldb-public.h"

#include "lldb/API/SBBreakpoint.h"
#include "lldb/API/SBDebugger.h"
#include "lldb/API/SBEnvironment.h"
Expand All @@ -20,6 +16,7 @@
#include "lldb/API/SBListener.h"
#include "lldb/API/SBModule.h"
#include "lldb/API/SBModuleSpec.h"
#include "lldb/API/SBMutex.h"
#include "lldb/API/SBProcess.h"
#include "lldb/API/SBSourceManager.h"
#include "lldb/API/SBStream.h"
Expand Down Expand Up @@ -58,11 +55,14 @@
#include "lldb/Utility/ArchSpec.h"
#include "lldb/Utility/Args.h"
#include "lldb/Utility/FileSpec.h"
#include "lldb/Utility/Instrumentation.h"
#include "lldb/Utility/LLDBLog.h"
#include "lldb/Utility/ProcessInfo.h"
#include "lldb/Utility/RegularExpression.h"
#include "lldb/ValueObject/ValueObjectConstResult.h"
#include "lldb/ValueObject/ValueObjectList.h"
#include "lldb/ValueObject/ValueObjectVariable.h"
#include "lldb/lldb-public.h"

#include "Commands/CommandObjectBreakpoint.h"
#include "lldb/Interpreter/CommandReturnObject.h"
Expand Down Expand Up @@ -2439,3 +2439,11 @@ lldb::SBTrace SBTarget::CreateTrace(lldb::SBError &error) {
}
return SBTrace();
}

lldb::SBMutex SBTarget::GetAPIMutex() const {
LLDB_INSTRUMENT_VA(this);

if (TargetSP target_sp = GetSP())
return lldb::SBMutex(target_sp);
return lldb::SBMutex();
}
24 changes: 24 additions & 0 deletions lldb/test/API/python_api/target/TestTargetAPI.py
Original file line number Diff line number Diff line change
Expand Up @@ -537,3 +537,27 @@ def test_setting_selected_target_with_invalid_target(self):
"""Make sure we don't crash when trying to select invalid target."""
target = lldb.SBTarget()
self.dbg.SetSelectedTarget(target)

@no_debug_info_test
def test_get_api_mutex(self):
"""Make sure we can lock and unlock the API mutex from Python."""
target = self.dbg.GetDummyTarget()

mutex = target.GetAPIMutex()
self.assertTrue(mutex.IsValid())
mutex.lock()
# The API call below doesn't actually matter, it's just there to
# confirm we don't block on the API lock.
target.BreakpointCreateByName("foo", "bar")
mutex.unlock()

@no_debug_info_test
def test_get_api_mutex_with_statement(self):
"""Make sure we can lock and unlock the API mutex using a with-statement from Python."""
target = self.dbg.GetDummyTarget()

with target.GetAPIMutex() as mutex:
self.assertTrue(mutex.IsValid())
# The API call below doesn't actually matter, it's just there to
# confirm we don't block on the API lock.
target.BreakpointCreateByName("foo", "bar")
1 change: 1 addition & 0 deletions lldb/unittests/API/CMakeLists.txt
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
add_lldb_unittest(APITests
SBCommandInterpreterTest.cpp
SBLineEntryTest.cpp
SBMutexTest.cpp

LINK_LIBS
liblldb
Expand Down
59 changes: 59 additions & 0 deletions lldb/unittests/API/SBMutexTest.cpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,59 @@
//===-- SBMutexTest.cpp ---------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

// Use the umbrella header for -Wdocumentation.
#include "lldb/API/LLDB.h"

#include "TestingSupport/SubsystemRAII.h"
#include "lldb/API/SBDebugger.h"
#include "lldb/API/SBTarget.h"
#include "gtest/gtest.h"
#include <atomic>
#include <chrono>
#include <future>
#include <mutex>

using namespace lldb;
using namespace lldb_private;

class SBMutexTest : public testing::Test {
protected:
void SetUp() override { debugger = SBDebugger::Create(); }
void TearDown() override { SBDebugger::Destroy(debugger); }

SubsystemRAII<lldb::SBDebugger> subsystems;
SBDebugger debugger;
};

TEST_F(SBMutexTest, LockTest) {
lldb::SBTarget target = debugger.GetDummyTarget();

std::future<void> f;
{
std::atomic<bool> locked = false;
lldb::SBMutex lock = target.GetAPIMutex();
std::lock_guard<lldb::SBMutex> lock_guard(lock);
ASSERT_FALSE(locked.exchange(true));

f = std::async(std::launch::async, [&]() {
{
ASSERT_TRUE(locked);
target.BreakpointCreateByName("foo", "bar");
ASSERT_FALSE(locked);
}
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
{
ASSERT_TRUE(locked);
target.BreakpointCreateByName("foo", "bar");
ASSERT_FALSE(locked);
}
ASSERT_TRUE(locked);
target.BreakpointCreateByName("foo", "bar");
ASSERT_FALSE(locked);

});
ASSERT_TRUE(f.valid());

// Wait 500ms to confirm the thread is blocked.
auto status = f.wait_for(std::chrono::milliseconds(500));
ASSERT_EQ(status, std::future_status::timeout);

ASSERT_TRUE(locked.exchange(false));
}
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm seeing use-after-scope asan failures with this test. I think the problem is that locked can be accessed asynchronously at any time up util the point where f.wait() is called, but locked is declared inside these braces so it can be destroyed at the closing brace before the call to f.wait(). locked should outlive the wait operation.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm building with ASan, but based on your description this should fix it?

diff --git a/lldb/unittests/API/SBMutexTest.cpp b/lldb/unittests/API/SBMutexTest.cpp
index 0b888c2725aa..aafad59d58c1 100644
--- a/lldb/unittests/API/SBMutexTest.cpp
+++ b/lldb/unittests/API/SBMutexTest.cpp
@@ -32,10 +32,9 @@ protected:
 
 TEST_F(SBMutexTest, LockTest) {
   lldb::SBTarget target = debugger.GetDummyTarget();
-
+  std::atomic<bool> locked = false;
   std::future<void> f;
   {
-    std::atomic<bool> locked = false;
     lldb::SBMutex lock = target.GetAPIMutex();
     std::lock_guard<lldb::SBMutex> lock_guard(lock);
     ASSERT_FALSE(locked.exchange(true));

If you have a local build to confirm let me know, otherwise I'll put up a PR once my build finishes.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tried that fix, and I agree it looks like the right fix to me. It seems to solve the issue.

However after applying it I get some memory leaks reported by LeakSanitizer (our internal asan config enables it) that I haven't been able to debug yet. I'm working through the report and so far all the reported indirect leaks I've looked into seem to be owned by shared pointers, so it's weird and I haven't yet discarded the possibility that the leaks are a problem on my end. All this goes to say I don't have a fully successful run to prove the fix works, but I think the fix is right :)

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

f.wait();
}