1//===----------------------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#ifndef _LIBCPP___MUTEX_MUTEX_H
10#define _LIBCPP___MUTEX_MUTEX_H
11
12#include <__config>
13#include <__thread/support.h>
14#include <__type_traits/is_nothrow_constructible.h>
15
16#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
17# pragma GCC system_header
18#endif
19
20#if _LIBCPP_HAS_THREADS
21
22_LIBCPP_BEGIN_NAMESPACE_STD
23_LIBCPP_BEGIN_EXPLICIT_ABI_ANNOTATIONS
24
25class _LIBCPP_EXPORTED_FROM_ABI _LIBCPP_CAPABILITY("mutex") mutex {
26 __libcpp_mutex_t __m_ = _LIBCPP_MUTEX_INITIALIZER;
27
28public:
29 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR mutex() = default;
30
31 mutex(const mutex&) = delete;
32 mutex& operator=(const mutex&) = delete;
33
34# if _LIBCPP_HAS_TRIVIAL_MUTEX_DESTRUCTION
35 _LIBCPP_HIDE_FROM_ABI ~mutex() = default;
36# else
37 ~mutex() _NOEXCEPT;
38# endif
39
40 _LIBCPP_ACQUIRE_CAPABILITY() void lock();
41 [[__nodiscard__]] _LIBCPP_TRY_ACQUIRE_CAPABILITY(true) bool try_lock() _NOEXCEPT;
42 _LIBCPP_RELEASE_CAPABILITY void unlock() _NOEXCEPT;
43
44 typedef __libcpp_mutex_t* native_handle_type;
45 [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI native_handle_type native_handle() { return &__m_; }
46};
47
48static_assert(is_nothrow_default_constructible<mutex>::value, "the default constructor for std::mutex must be nothrow");
49
50_LIBCPP_END_EXPLICIT_ABI_ANNOTATIONS
51_LIBCPP_END_NAMESPACE_STD
52
53#endif // _LIBCPP_HAS_THREADS
54
55#endif // _LIBCPP___MUTEX_MUTEX_H
56