xref: /freebsd-src/contrib/llvm-project/libcxx/include/__mutex/mutex.h (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
106c3fb27SDimitry Andric //===----------------------------------------------------------------------===//
206c3fb27SDimitry Andric //
306c3fb27SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
406c3fb27SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
506c3fb27SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
606c3fb27SDimitry Andric //
706c3fb27SDimitry Andric //===----------------------------------------------------------------------===//
806c3fb27SDimitry Andric 
906c3fb27SDimitry Andric #ifndef _LIBCPP___MUTEX_MUTEX_H
1006c3fb27SDimitry Andric #define _LIBCPP___MUTEX_MUTEX_H
1106c3fb27SDimitry Andric 
1206c3fb27SDimitry Andric #include <__config>
13*0fca6ea1SDimitry Andric #include <__thread/support.h>
14*0fca6ea1SDimitry Andric #include <__type_traits/is_nothrow_constructible.h>
1506c3fb27SDimitry Andric 
1606c3fb27SDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
1706c3fb27SDimitry Andric #  pragma GCC system_header
1806c3fb27SDimitry Andric #endif
1906c3fb27SDimitry Andric 
2006c3fb27SDimitry Andric #ifndef _LIBCPP_HAS_NO_THREADS
2106c3fb27SDimitry Andric 
2206c3fb27SDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD
2306c3fb27SDimitry Andric 
2406c3fb27SDimitry Andric class _LIBCPP_EXPORTED_FROM_ABI _LIBCPP_THREAD_SAFETY_ANNOTATION(capability("mutex")) mutex {
2506c3fb27SDimitry Andric   __libcpp_mutex_t __m_ = _LIBCPP_MUTEX_INITIALIZER;
2606c3fb27SDimitry Andric 
2706c3fb27SDimitry Andric public:
2806c3fb27SDimitry Andric   _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR mutex() = default;
2906c3fb27SDimitry Andric 
3006c3fb27SDimitry Andric   mutex(const mutex&)            = delete;
3106c3fb27SDimitry Andric   mutex& operator=(const mutex&) = delete;
3206c3fb27SDimitry Andric 
3306c3fb27SDimitry Andric #  if defined(_LIBCPP_HAS_TRIVIAL_MUTEX_DESTRUCTION)
3406c3fb27SDimitry Andric   _LIBCPP_HIDE_FROM_ABI ~mutex() = default;
3506c3fb27SDimitry Andric #  else
3606c3fb27SDimitry Andric   ~mutex() _NOEXCEPT;
3706c3fb27SDimitry Andric #  endif
3806c3fb27SDimitry Andric 
3906c3fb27SDimitry Andric   void lock() _LIBCPP_THREAD_SAFETY_ANNOTATION(acquire_capability());
4006c3fb27SDimitry Andric   bool try_lock() _NOEXCEPT _LIBCPP_THREAD_SAFETY_ANNOTATION(try_acquire_capability(true));
4106c3fb27SDimitry Andric   void unlock() _NOEXCEPT _LIBCPP_THREAD_SAFETY_ANNOTATION(release_capability());
4206c3fb27SDimitry Andric 
4306c3fb27SDimitry Andric   typedef __libcpp_mutex_t* native_handle_type;
4406c3fb27SDimitry Andric   _LIBCPP_HIDE_FROM_ABI native_handle_type native_handle() { return &__m_; }
4506c3fb27SDimitry Andric };
4606c3fb27SDimitry Andric 
4706c3fb27SDimitry Andric static_assert(is_nothrow_default_constructible<mutex>::value, "the default constructor for std::mutex must be nothrow");
4806c3fb27SDimitry Andric 
4906c3fb27SDimitry Andric _LIBCPP_END_NAMESPACE_STD
5006c3fb27SDimitry Andric 
5106c3fb27SDimitry Andric #endif // _LIBCPP_HAS_NO_THREADS
5206c3fb27SDimitry Andric 
5306c3fb27SDimitry Andric #endif // _LIBCPP___MUTEX_MUTEX_H
54