xref: /llvm-project/libcxx/include/__thread/id.h (revision c6f3b7bcd0596d30f8dabecdfb9e44f9a07b6e4c)
1053d9e58SLouis Dionne // -*- C++ -*-
2053d9e58SLouis Dionne //===----------------------------------------------------------------------===//
3053d9e58SLouis Dionne //
4053d9e58SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5053d9e58SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
6053d9e58SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7053d9e58SLouis Dionne //
8053d9e58SLouis Dionne //===----------------------------------------------------------------------===//
9053d9e58SLouis Dionne 
10053d9e58SLouis Dionne #ifndef _LIBCPP___THREAD_ID_H
11053d9e58SLouis Dionne #define _LIBCPP___THREAD_ID_H
12053d9e58SLouis Dionne 
13053d9e58SLouis Dionne #include <__compare/ordering.h>
14053d9e58SLouis Dionne #include <__config>
1533de5a31SNikolas Klauser #include <__fwd/functional.h>
16a65070a7Sphilnik777 #include <__fwd/ostream.h>
177162fd75SLouis Dionne #include <__thread/support.h>
18053d9e58SLouis Dionne 
19053d9e58SLouis Dionne #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
20053d9e58SLouis Dionne #  pragma GCC system_header
21053d9e58SLouis Dionne #endif
22053d9e58SLouis Dionne 
23053d9e58SLouis Dionne _LIBCPP_BEGIN_NAMESPACE_STD
24053d9e58SLouis Dionne 
25*c6f3b7bcSNikolas Klauser #if _LIBCPP_HAS_THREADS
26053d9e58SLouis Dionne class _LIBCPP_EXPORTED_FROM_ABI __thread_id;
27053d9e58SLouis Dionne 
28724fcaceSLouis Dionne namespace this_thread {
29053d9e58SLouis Dionne 
30724fcaceSLouis Dionne _LIBCPP_HIDE_FROM_ABI __thread_id get_id() _NOEXCEPT;
31053d9e58SLouis Dionne 
32053d9e58SLouis Dionne } // namespace this_thread
33053d9e58SLouis Dionne 
34724fcaceSLouis Dionne template <>
35724fcaceSLouis Dionne struct hash<__thread_id>;
36053d9e58SLouis Dionne 
37724fcaceSLouis Dionne class _LIBCPP_TEMPLATE_VIS __thread_id {
38053d9e58SLouis Dionne   // FIXME: pthread_t is a pointer on Darwin but a long on Linux.
39053d9e58SLouis Dionne   // NULL is the no-thread value on Darwin.  Someone needs to check
40053d9e58SLouis Dionne   // on other platforms.  We assume 0 works everywhere for now.
41053d9e58SLouis Dionne   __libcpp_thread_id __id_;
42053d9e58SLouis Dionne 
43724fcaceSLouis Dionne   static _LIBCPP_HIDE_FROM_ABI bool
44724fcaceSLouis Dionne   __lt_impl(__thread_id __x, __thread_id __y) _NOEXCEPT { // id==0 is always less than any other thread_id
45724fcaceSLouis Dionne     if (__x.__id_ == 0)
46724fcaceSLouis Dionne       return __y.__id_ != 0;
47724fcaceSLouis Dionne     if (__y.__id_ == 0)
48724fcaceSLouis Dionne       return false;
49053d9e58SLouis Dionne     return __libcpp_thread_id_less(__x.__id_, __y.__id_);
50053d9e58SLouis Dionne   }
51053d9e58SLouis Dionne 
52053d9e58SLouis Dionne public:
53724fcaceSLouis Dionne   _LIBCPP_HIDE_FROM_ABI __thread_id() _NOEXCEPT : __id_(0) {}
54053d9e58SLouis Dionne 
55724fcaceSLouis Dionne   _LIBCPP_HIDE_FROM_ABI void __reset() { __id_ = 0; }
56053d9e58SLouis Dionne 
57053d9e58SLouis Dionne   friend _LIBCPP_HIDE_FROM_ABI bool operator==(__thread_id __x, __thread_id __y) _NOEXCEPT;
58053d9e58SLouis Dionne #  if _LIBCPP_STD_VER <= 17
59053d9e58SLouis Dionne   friend _LIBCPP_HIDE_FROM_ABI bool operator<(__thread_id __x, __thread_id __y) _NOEXCEPT;
60053d9e58SLouis Dionne #  else  // _LIBCPP_STD_VER <= 17
61053d9e58SLouis Dionne   friend _LIBCPP_HIDE_FROM_ABI strong_ordering operator<=>(__thread_id __x, __thread_id __y) noexcept;
62053d9e58SLouis Dionne #  endif // _LIBCPP_STD_VER <= 17
63053d9e58SLouis Dionne 
64053d9e58SLouis Dionne   template <class _CharT, class _Traits>
65724fcaceSLouis Dionne   friend _LIBCPP_HIDE_FROM_ABI basic_ostream<_CharT, _Traits>&
66053d9e58SLouis Dionne   operator<<(basic_ostream<_CharT, _Traits>& __os, __thread_id __id);
67053d9e58SLouis Dionne 
68053d9e58SLouis Dionne private:
69724fcaceSLouis Dionne   _LIBCPP_HIDE_FROM_ABI __thread_id(__libcpp_thread_id __id) : __id_(__id) {}
70053d9e58SLouis Dionne 
71053d9e58SLouis Dionne   _LIBCPP_HIDE_FROM_ABI friend __libcpp_thread_id __get_underlying_id(const __thread_id __id) { return __id.__id_; }
72053d9e58SLouis Dionne 
73053d9e58SLouis Dionne   friend __thread_id this_thread::get_id() _NOEXCEPT;
74053d9e58SLouis Dionne   friend class _LIBCPP_EXPORTED_FROM_ABI thread;
75053d9e58SLouis Dionne   friend struct _LIBCPP_TEMPLATE_VIS hash<__thread_id>;
76053d9e58SLouis Dionne };
77053d9e58SLouis Dionne 
78724fcaceSLouis Dionne inline _LIBCPP_HIDE_FROM_ABI bool operator==(__thread_id __x, __thread_id __y) _NOEXCEPT {
79053d9e58SLouis Dionne   // Don't pass id==0 to underlying routines
80053d9e58SLouis Dionne   if (__x.__id_ == 0)
81053d9e58SLouis Dionne     return __y.__id_ == 0;
82053d9e58SLouis Dionne   if (__y.__id_ == 0)
83053d9e58SLouis Dionne     return false;
84053d9e58SLouis Dionne   return __libcpp_thread_id_equal(__x.__id_, __y.__id_);
85053d9e58SLouis Dionne }
86053d9e58SLouis Dionne 
87053d9e58SLouis Dionne #  if _LIBCPP_STD_VER <= 17
88053d9e58SLouis Dionne 
89724fcaceSLouis Dionne inline _LIBCPP_HIDE_FROM_ABI bool operator!=(__thread_id __x, __thread_id __y) _NOEXCEPT { return !(__x == __y); }
90053d9e58SLouis Dionne 
91724fcaceSLouis Dionne inline _LIBCPP_HIDE_FROM_ABI bool operator<(__thread_id __x, __thread_id __y) _NOEXCEPT {
92053d9e58SLouis Dionne   return __thread_id::__lt_impl(__x.__id_, __y.__id_);
93053d9e58SLouis Dionne }
94053d9e58SLouis Dionne 
95053d9e58SLouis Dionne inline _LIBCPP_HIDE_FROM_ABI bool operator<=(__thread_id __x, __thread_id __y) _NOEXCEPT { return !(__y < __x); }
96053d9e58SLouis Dionne inline _LIBCPP_HIDE_FROM_ABI bool operator>(__thread_id __x, __thread_id __y) _NOEXCEPT { return __y < __x; }
97053d9e58SLouis Dionne inline _LIBCPP_HIDE_FROM_ABI bool operator>=(__thread_id __x, __thread_id __y) _NOEXCEPT { return !(__x < __y); }
98053d9e58SLouis Dionne 
99053d9e58SLouis Dionne #  else // _LIBCPP_STD_VER <= 17
100053d9e58SLouis Dionne 
101724fcaceSLouis Dionne inline _LIBCPP_HIDE_FROM_ABI strong_ordering operator<=>(__thread_id __x, __thread_id __y) noexcept {
102053d9e58SLouis Dionne   if (__x == __y)
103053d9e58SLouis Dionne     return strong_ordering::equal;
104053d9e58SLouis Dionne   if (__thread_id::__lt_impl(__x, __y))
105053d9e58SLouis Dionne     return strong_ordering::less;
106053d9e58SLouis Dionne   return strong_ordering::greater;
107053d9e58SLouis Dionne }
108053d9e58SLouis Dionne 
109053d9e58SLouis Dionne #  endif // _LIBCPP_STD_VER <= 17
110053d9e58SLouis Dionne 
111724fcaceSLouis Dionne namespace this_thread {
112053d9e58SLouis Dionne 
113724fcaceSLouis Dionne inline _LIBCPP_HIDE_FROM_ABI __thread_id get_id() _NOEXCEPT { return __libcpp_thread_get_current_id(); }
114053d9e58SLouis Dionne 
115053d9e58SLouis Dionne } // namespace this_thread
116053d9e58SLouis Dionne 
117*c6f3b7bcSNikolas Klauser #endif // _LIBCPP_HAS_THREADS
118053d9e58SLouis Dionne 
119053d9e58SLouis Dionne _LIBCPP_END_NAMESPACE_STD
120053d9e58SLouis Dionne 
121053d9e58SLouis Dionne #endif // _LIBCPP___THREAD_ID_H
122