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