This revision was automatically updated to reflect the committed changes.
Closed by commit rL357276: Use the multi-lockable form of std::lock for
operator= (authored by jingham, committed by ).
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.
Changed prior to commit:
https://reviews.llvm.org/D59957?vs=192704&id=192851#toc
Repository:
rL LLVM
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D59957/new/
https://reviews.llvm.org/D59957
Files:
lldb/trunk/include/lldb/Core/ModuleSpec.h
lldb/trunk/include/lldb/Utility/StreamTee.h
lldb/trunk/source/Breakpoint/BreakpointLocationCollection.cpp
lldb/trunk/source/Core/ModuleList.cpp
lldb/trunk/source/Target/SectionLoadList.cpp
lldb/trunk/source/Target/ThreadList.cpp
Index: lldb/trunk/include/lldb/Utility/StreamTee.h
===================================================================
--- lldb/trunk/include/lldb/Utility/StreamTee.h
+++ lldb/trunk/include/lldb/Utility/StreamTee.h
@@ -49,8 +49,11 @@
StreamTee &operator=(const StreamTee &rhs) {
if (this != &rhs) {
Stream::operator=(rhs);
- std::lock_guard<std::recursive_mutex> lhs_locker(m_streams_mutex);
- std::lock_guard<std::recursive_mutex> rhs_locker(rhs.m_streams_mutex);
+ std::lock(m_streams_mutex, rhs.m_streams_mutex);
+ std::lock_guard<std::recursive_mutex> lhs_locker(m_streams_mutex,
+ std::adopt_lock);
+ std::lock_guard<std::recursive_mutex> rhs_locker(rhs.m_streams_mutex,
+ std::adopt_lock);
m_streams = rhs.m_streams;
}
return *this;
Index: lldb/trunk/include/lldb/Core/ModuleSpec.h
===================================================================
--- lldb/trunk/include/lldb/Core/ModuleSpec.h
+++ lldb/trunk/include/lldb/Core/ModuleSpec.h
@@ -311,8 +311,10 @@
ModuleSpecList &operator=(const ModuleSpecList &rhs) {
if (this != &rhs) {
- std::lock_guard<std::recursive_mutex> lhs_guard(m_mutex);
- std::lock_guard<std::recursive_mutex> rhs_guard(rhs.m_mutex);
+ std::lock(m_mutex, rhs.m_mutex);
+ std::lock_guard<std::recursive_mutex> lhs_guard(m_mutex, std::adopt_lock);
+ std::lock_guard<std::recursive_mutex> rhs_guard(rhs.m_mutex,
+ std::adopt_lock);
m_specs = rhs.m_specs;
}
return *this;
Index: lldb/trunk/source/Core/ModuleList.cpp
===================================================================
--- lldb/trunk/source/Core/ModuleList.cpp
+++ lldb/trunk/source/Core/ModuleList.cpp
@@ -130,25 +130,12 @@
const ModuleList &ModuleList::operator=(const ModuleList &rhs) {
if (this != &rhs) {
- // That's probably me nit-picking, but in theoretical situation:
- //
- // * that two threads A B and
- // * two ModuleList's x y do opposite assignments ie.:
- //
- // in thread A: | in thread B:
- // x = y; | y = x;
- //
- // This establishes correct(same) lock taking order and thus avoids
- // priority inversion.
- if (uintptr_t(this) > uintptr_t(&rhs)) {
- std::lock_guard<std::recursive_mutex> lhs_guard(m_modules_mutex);
- std::lock_guard<std::recursive_mutex> rhs_guard(rhs.m_modules_mutex);
- m_modules = rhs.m_modules;
- } else {
- std::lock_guard<std::recursive_mutex> lhs_guard(m_modules_mutex);
- std::lock_guard<std::recursive_mutex> rhs_guard(rhs.m_modules_mutex);
- m_modules = rhs.m_modules;
- }
+ std::lock(m_modules_mutex, rhs.m_modules_mutex);
+ std::lock_guard<std::recursive_mutex> lhs_guard(m_modules_mutex,
+ std::adopt_lock);
+ std::lock_guard<std::recursive_mutex> rhs_guard(rhs.m_modules_mutex,
+ std::adopt_lock);
+ m_modules = rhs.m_modules;
}
return *this;
}
Index: lldb/trunk/source/Target/ThreadList.cpp
===================================================================
--- lldb/trunk/source/Target/ThreadList.cpp
+++ lldb/trunk/source/Target/ThreadList.cpp
@@ -37,8 +37,10 @@
if (this != &rhs) {
// Lock both mutexes to make sure neither side changes anyone on us while
// the assignment occurs
- std::lock_guard<std::recursive_mutex> guard(GetMutex());
- std::lock_guard<std::recursive_mutex> rhs_guard(rhs.GetMutex());
+ std::lock(GetMutex(), rhs.GetMutex());
+ std::lock_guard<std::recursive_mutex> guard(GetMutex(), std::adopt_lock);
+ std::lock_guard<std::recursive_mutex> rhs_guard(rhs.GetMutex(),
+ std::adopt_lock);
m_process = rhs.m_process;
m_stop_id = rhs.m_stop_id;
Index: lldb/trunk/source/Target/SectionLoadList.cpp
===================================================================
--- lldb/trunk/source/Target/SectionLoadList.cpp
+++ lldb/trunk/source/Target/SectionLoadList.cpp
@@ -27,8 +27,9 @@
}
void SectionLoadList::operator=(const SectionLoadList &rhs) {
- std::lock_guard<std::recursive_mutex> lhs_guard(m_mutex);
- std::lock_guard<std::recursive_mutex> rhs_guard(rhs.m_mutex);
+ std::lock(m_mutex, rhs.m_mutex);
+ std::lock_guard<std::recursive_mutex> lhs_guard(m_mutex, std::adopt_lock);
+ std::lock_guard<std::recursive_mutex> rhs_guard(rhs.m_mutex, std::adopt_lock);
m_addr_to_sect = rhs.m_addr_to_sect;
m_sect_to_addr = rhs.m_sect_to_addr;
}
Index: lldb/trunk/source/Breakpoint/BreakpointLocationCollection.cpp
===================================================================
--- lldb/trunk/source/Breakpoint/BreakpointLocationCollection.cpp
+++ lldb/trunk/source/Breakpoint/BreakpointLocationCollection.cpp
@@ -181,17 +181,11 @@
BreakpointLocationCollection &BreakpointLocationCollection::operator=(
const BreakpointLocationCollection &rhs) {
- // Same trick as in ModuleList to avoid lock inversion.
if (this != &rhs) {
- if (uintptr_t(this) > uintptr_t(&rhs)) {
- std::lock_guard<std::mutex> lhs_guard(m_collection_mutex);
- std::lock_guard<std::mutex> rhs_guard(rhs.m_collection_mutex);
+ std::lock(m_collection_mutex, rhs.m_collection_mutex);
+ std::lock_guard<std::mutex> lhs_guard(m_collection_mutex, std::adopt_lock);
+ std::lock_guard<std::mutex> rhs_guard(rhs.m_collection_mutex, std::adopt_lock);
m_break_loc_collection = rhs.m_break_loc_collection;
- } else {
- std::lock_guard<std::mutex> lhs_guard(m_collection_mutex);
- std::lock_guard<std::mutex> rhs_guard(rhs.m_collection_mutex);
- m_break_loc_collection = rhs.m_break_loc_collection;
- }
}
return *this;
}
_______________________________________________
lldb-commits mailing list
lldb-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-commits
