diff --git a/libcxx/src/debug.cpp b/libcxx/src/debug.cpp
--- a/libcxx/src/debug.cpp
+++ b/libcxx/src/debug.cpp
@@ -14,7 +14,7 @@
 #include "cstdio"
 #include "__hash_table"
 #ifndef _LIBCPP_HAS_NO_THREADS
-#include "mutex"
+#include "__threading_support"
 #if defined(__ELF__) && defined(_LIBCPP_LINK_PTHREAD_LIB)
 #pragma comment(lib, "pthread")
 #endif
@@ -62,17 +62,15 @@
 {
 
 #ifndef _LIBCPP_HAS_NO_THREADS
-typedef mutex mutex_type;
-typedef lock_guard<mutex_type> WLock;
-typedef lock_guard<mutex_type> RLock;
-
-mutex_type&
-mut()
-{
-    static _LIBCPP_NO_DESTROY mutex_type m;
-    return m;
-}
-#endif // !_LIBCPP_HAS_NO_THREADS
+_LIBCPP_SAFE_STATIC static __libcpp_mutex_t __db_mut = _LIBCPP_MUTEX_INITIALIZER;
+
+struct db_guard {
+  db_guard() { __libcpp_mutex_lock(&__db_mut); }
+  ~db_guard() { __libcpp_mutex_unlock(&__db_mut); }
+};
+#else
+struct db_guard {};
+#endif
 
 }  // unnamed namespace
 
@@ -136,9 +134,8 @@
 void*
 __libcpp_db::__find_c_from_i(void* __i) const
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    RLock _(mut());
-#endif
+    // Read lock
+    db_guard _;
     __i_node* i = __find_iterator(__i);
     _LIBCPP_ASSERT(i != nullptr, "iterator not found in debug database.");
     return i->__c_ != nullptr ? i->__c_->__c_ : nullptr;
@@ -147,9 +144,8 @@
 void
 __libcpp_db::__insert_ic(void* __i, const void* __c)
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    WLock _(mut());
-#endif
+    // Write lock
+    db_guard _;
     if (__cbeg_ == __cend_)
         return;
     size_t hc = hash<const void*>()(__c) % static_cast<size_t>(__cend_ - __cbeg_);
@@ -170,9 +166,8 @@
 void
 __libcpp_db::__insert_c(void* __c, __libcpp_db::_InsertConstruct *__fn)
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    WLock _(mut());
-#endif
+    // Write lock
+    db_guard _;
     if (__csz_ + 1 > static_cast<size_t>(__cend_ - __cbeg_))
     {
         size_t nc = __next_prime(2*static_cast<size_t>(__cend_ - __cbeg_) + 1);
@@ -209,9 +204,8 @@
 void
 __libcpp_db::__erase_i(void* __i)
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    WLock _(mut());
-#endif
+    // Write lock
+    db_guard _;
     if (__ibeg_ != __iend_)
     {
         size_t hi = hash<void*>()(__i) % static_cast<size_t>(__iend_ - __ibeg_);
@@ -242,9 +236,8 @@
 void
 __libcpp_db::__invalidate_all(void* __c)
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    WLock _(mut());
-#endif
+    // Write lock
+    db_guard _;
     if (__cend_ != __cbeg_)
     {
         size_t hc = hash<void*>()(__c) % static_cast<size_t>(__cend_ - __cbeg_);
@@ -269,12 +262,12 @@
 __libcpp_db::__find_c_and_lock(void* __c) const
 {
 #ifndef _LIBCPP_HAS_NO_THREADS
-    mut().lock();
+    __libcpp_mutex_lock(&__db_mut);
 #endif
     if (__cend_ == __cbeg_)
     {
 #ifndef _LIBCPP_HAS_NO_THREADS
-        mut().unlock();
+        __libcpp_mutex_unlock(&__db_mut);
 #endif
         return nullptr;
     }
@@ -283,7 +276,7 @@
     if (p == nullptr)
     {
 #ifndef _LIBCPP_HAS_NO_THREADS
-        mut().unlock();
+        __libcpp_mutex_unlock(&__db_mut);
 #endif
         return nullptr;
     }
@@ -293,7 +286,7 @@
         if (p == nullptr)
         {
 #ifndef _LIBCPP_HAS_NO_THREADS
-            mut().unlock();
+            __libcpp_mutex_unlock(&__db_mut);
 #endif
             return nullptr;
         }
@@ -319,16 +312,15 @@
 __libcpp_db::unlock() const
 {
 #ifndef _LIBCPP_HAS_NO_THREADS
-    mut().unlock();
+    __libcpp_mutex_unlock(&__db_mut);
 #endif
 }
 
 void
 __libcpp_db::__erase_c(void* __c)
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    WLock _(mut());
-#endif
+    // Write lock
+    db_guard _;
     if (__cend_ != __cbeg_)
     {
         size_t hc = hash<void*>()(__c) % static_cast<size_t>(__cend_ - __cbeg_);
@@ -363,9 +355,8 @@
 void
 __libcpp_db::__iterator_copy(void* __i, const void* __i0)
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    WLock _(mut());
-#endif
+    // Write lock
+    db_guard _;
     __i_node* i = __find_iterator(__i);
     __i_node* i0 = __find_iterator(__i0);
     __c_node* c0 = i0 != nullptr ? i0->__c_ : nullptr;
@@ -391,9 +382,8 @@
 bool
 __libcpp_db::__dereferenceable(const void* __i) const
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    RLock _(mut());
-#endif
+    // Read lock
+    db_guard _;
     __i_node* i = __find_iterator(__i);
     return i != nullptr && i->__c_ != nullptr && i->__c_->__dereferenceable(__i);
 }
@@ -401,9 +391,8 @@
 bool
 __libcpp_db::__decrementable(const void* __i) const
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    RLock _(mut());
-#endif
+    // Read lock
+    db_guard _;
     __i_node* i = __find_iterator(__i);
     return i != nullptr && i->__c_ != nullptr && i->__c_->__decrementable(__i);
 }
@@ -411,9 +400,8 @@
 bool
 __libcpp_db::__addable(const void* __i, ptrdiff_t __n) const
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    RLock _(mut());
-#endif
+    // Read lock
+    db_guard _;
     __i_node* i = __find_iterator(__i);
     return i != nullptr && i->__c_ != nullptr && i->__c_->__addable(__i, __n);
 }
@@ -421,9 +409,8 @@
 bool
 __libcpp_db::__subscriptable(const void* __i, ptrdiff_t __n) const
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    RLock _(mut());
-#endif
+    // Read lock
+    db_guard _;
     __i_node* i = __find_iterator(__i);
     return i != nullptr && i->__c_ != nullptr && i->__c_->__subscriptable(__i, __n);
 }
@@ -431,9 +418,8 @@
 bool
 __libcpp_db::__less_than_comparable(const void* __i, const void* __j) const
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    RLock _(mut());
-#endif
+    // Read lock
+    db_guard _;
     __i_node* i = __find_iterator(__i);
     __i_node* j = __find_iterator(__j);
     __c_node* ci = i != nullptr ? i->__c_ : nullptr;
@@ -444,9 +430,8 @@
 void
 __libcpp_db::swap(void* c1, void* c2)
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    WLock _(mut());
-#endif
+    // Write lock
+    db_guard _;
     size_t hc = hash<void*>()(c1) % static_cast<size_t>(__cend_ - __cbeg_);
     __c_node* p1 = __cbeg_[hc];
     _LIBCPP_ASSERT(p1 != nullptr, "debug mode internal logic error swap A");
@@ -475,9 +460,8 @@
 void
 __libcpp_db::__insert_i(void* __i)
 {
-#ifndef _LIBCPP_HAS_NO_THREADS
-    WLock _(mut());
-#endif
+    // Write lock
+    db_guard _;
     __insert_iterator(__i);
 }