xref: /netbsd-src/external/gpl3/gcc/dist/libstdc++-v3/include/bits/semaphore_base.h (revision b1e838363e3c6fc78a55519254d99869742dd33c)
1*b1e83836Smrg // -*- C++ -*- header.
2*b1e83836Smrg 
3*b1e83836Smrg // Copyright (C) 2020-2022 Free Software Foundation, Inc.
4*b1e83836Smrg //
5*b1e83836Smrg // This file is part of the GNU ISO C++ Library.  This library is free
6*b1e83836Smrg // software; you can redistribute it and/or modify it under the
7*b1e83836Smrg // terms of the GNU General Public License as published by the
8*b1e83836Smrg // Free Software Foundation; either version 3, or (at your option)
9*b1e83836Smrg // any later version.
10*b1e83836Smrg 
11*b1e83836Smrg // This library is distributed in the hope that it will be useful,
12*b1e83836Smrg // but WITHOUT ANY WARRANTY; without even the implied warranty of
13*b1e83836Smrg // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14*b1e83836Smrg // GNU General Public License for more details.
15*b1e83836Smrg 
16*b1e83836Smrg // Under Section 7 of GPL version 3, you are granted additional
17*b1e83836Smrg // permissions described in the GCC Runtime Library Exception, version
18*b1e83836Smrg // 3.1, as published by the Free Software Foundation.
19*b1e83836Smrg 
20*b1e83836Smrg // You should have received a copy of the GNU General Public License and
21*b1e83836Smrg // a copy of the GCC Runtime Library Exception along with this program;
22*b1e83836Smrg // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
23*b1e83836Smrg // <http://www.gnu.org/licenses/>.
24*b1e83836Smrg 
25*b1e83836Smrg /** @file bits/semaphore_base.h
26*b1e83836Smrg  *  This is an internal header file, included by other library headers.
27*b1e83836Smrg  *  Do not attempt to use it directly. @headername{semaphore}
28*b1e83836Smrg  */
29*b1e83836Smrg 
30*b1e83836Smrg #ifndef _GLIBCXX_SEMAPHORE_BASE_H
31*b1e83836Smrg #define _GLIBCXX_SEMAPHORE_BASE_H 1
32*b1e83836Smrg 
33*b1e83836Smrg #pragma GCC system_header
34*b1e83836Smrg 
35*b1e83836Smrg #include <bits/atomic_base.h>
36*b1e83836Smrg #include <bits/chrono.h>
37*b1e83836Smrg #if __cpp_lib_atomic_wait
38*b1e83836Smrg #include <bits/atomic_timed_wait.h>
39*b1e83836Smrg #include <ext/numeric_traits.h>
40*b1e83836Smrg #endif // __cpp_lib_atomic_wait
41*b1e83836Smrg 
42*b1e83836Smrg #ifdef _GLIBCXX_HAVE_POSIX_SEMAPHORE
43*b1e83836Smrg # include <cerrno>	// errno, EINTR, EAGAIN etc.
44*b1e83836Smrg # include <limits.h>	// SEM_VALUE_MAX
45*b1e83836Smrg # include <semaphore.h>	// sem_t, sem_init, sem_wait, sem_post etc.
46*b1e83836Smrg #endif
47*b1e83836Smrg 
_GLIBCXX_VISIBILITY(default)48*b1e83836Smrg namespace std _GLIBCXX_VISIBILITY(default)
49*b1e83836Smrg {
50*b1e83836Smrg _GLIBCXX_BEGIN_NAMESPACE_VERSION
51*b1e83836Smrg 
52*b1e83836Smrg #ifdef _GLIBCXX_HAVE_POSIX_SEMAPHORE
53*b1e83836Smrg   struct __platform_semaphore
54*b1e83836Smrg   {
55*b1e83836Smrg     using __clock_t = chrono::system_clock;
56*b1e83836Smrg #ifdef SEM_VALUE_MAX
57*b1e83836Smrg     static constexpr ptrdiff_t _S_max = SEM_VALUE_MAX;
58*b1e83836Smrg #else
59*b1e83836Smrg     static constexpr ptrdiff_t _S_max = _POSIX_SEM_VALUE_MAX;
60*b1e83836Smrg #endif
61*b1e83836Smrg 
62*b1e83836Smrg     explicit __platform_semaphore(ptrdiff_t __count) noexcept
63*b1e83836Smrg     {
64*b1e83836Smrg       sem_init(&_M_semaphore, 0, __count);
65*b1e83836Smrg     }
66*b1e83836Smrg 
67*b1e83836Smrg     __platform_semaphore(const __platform_semaphore&) = delete;
68*b1e83836Smrg     __platform_semaphore& operator=(const __platform_semaphore&) = delete;
69*b1e83836Smrg 
70*b1e83836Smrg     ~__platform_semaphore()
71*b1e83836Smrg     { sem_destroy(&_M_semaphore); }
72*b1e83836Smrg 
73*b1e83836Smrg     _GLIBCXX_ALWAYS_INLINE void
74*b1e83836Smrg     _M_acquire() noexcept
75*b1e83836Smrg     {
76*b1e83836Smrg       for (;;)
77*b1e83836Smrg 	{
78*b1e83836Smrg 	  auto __err = sem_wait(&_M_semaphore);
79*b1e83836Smrg 	  if (__err && (errno == EINTR))
80*b1e83836Smrg 	    continue;
81*b1e83836Smrg 	  else if (__err)
82*b1e83836Smrg 	    std::__terminate();
83*b1e83836Smrg 	  else
84*b1e83836Smrg 	    break;
85*b1e83836Smrg 	}
86*b1e83836Smrg     }
87*b1e83836Smrg 
88*b1e83836Smrg     _GLIBCXX_ALWAYS_INLINE bool
89*b1e83836Smrg     _M_try_acquire() noexcept
90*b1e83836Smrg     {
91*b1e83836Smrg       for (;;)
92*b1e83836Smrg 	{
93*b1e83836Smrg 	  auto __err = sem_trywait(&_M_semaphore);
94*b1e83836Smrg 	  if (__err && (errno == EINTR))
95*b1e83836Smrg 	    continue;
96*b1e83836Smrg 	  else if (__err && (errno == EAGAIN))
97*b1e83836Smrg 	    return false;
98*b1e83836Smrg 	  else if (__err)
99*b1e83836Smrg 	    std::__terminate();
100*b1e83836Smrg 	  else
101*b1e83836Smrg 	    break;
102*b1e83836Smrg 	}
103*b1e83836Smrg       return true;
104*b1e83836Smrg     }
105*b1e83836Smrg 
106*b1e83836Smrg     _GLIBCXX_ALWAYS_INLINE void
107*b1e83836Smrg     _M_release(std::ptrdiff_t __update) noexcept
108*b1e83836Smrg     {
109*b1e83836Smrg       for(; __update != 0; --__update)
110*b1e83836Smrg 	{
111*b1e83836Smrg 	   auto __err = sem_post(&_M_semaphore);
112*b1e83836Smrg 	   if (__err)
113*b1e83836Smrg 	     std::__terminate();
114*b1e83836Smrg 	}
115*b1e83836Smrg     }
116*b1e83836Smrg 
117*b1e83836Smrg     bool
118*b1e83836Smrg     _M_try_acquire_until_impl(const chrono::time_point<__clock_t>& __atime)
119*b1e83836Smrg       noexcept
120*b1e83836Smrg     {
121*b1e83836Smrg 
122*b1e83836Smrg       auto __s = chrono::time_point_cast<chrono::seconds>(__atime);
123*b1e83836Smrg       auto __ns = chrono::duration_cast<chrono::nanoseconds>(__atime - __s);
124*b1e83836Smrg 
125*b1e83836Smrg       struct timespec __ts =
126*b1e83836Smrg       {
127*b1e83836Smrg 	static_cast<std::time_t>(__s.time_since_epoch().count()),
128*b1e83836Smrg 	static_cast<long>(__ns.count())
129*b1e83836Smrg       };
130*b1e83836Smrg 
131*b1e83836Smrg       for (;;)
132*b1e83836Smrg 	{
133*b1e83836Smrg 	  if (auto __err = sem_timedwait(&_M_semaphore, &__ts))
134*b1e83836Smrg 	    {
135*b1e83836Smrg 	      if (errno == EINTR)
136*b1e83836Smrg 		continue;
137*b1e83836Smrg 	      else if (errno == ETIMEDOUT || errno == EINVAL)
138*b1e83836Smrg 		return false;
139*b1e83836Smrg 	      else
140*b1e83836Smrg 		std::__terminate();
141*b1e83836Smrg 	    }
142*b1e83836Smrg 	  else
143*b1e83836Smrg 	    break;
144*b1e83836Smrg 	}
145*b1e83836Smrg       return true;
146*b1e83836Smrg     }
147*b1e83836Smrg 
148*b1e83836Smrg     template<typename _Clock, typename _Duration>
149*b1e83836Smrg       bool
150*b1e83836Smrg       _M_try_acquire_until(const chrono::time_point<_Clock,
151*b1e83836Smrg 			   _Duration>& __atime) noexcept
152*b1e83836Smrg       {
153*b1e83836Smrg 	if constexpr (std::is_same_v<__clock_t, _Clock>)
154*b1e83836Smrg 	  {
155*b1e83836Smrg 	    return _M_try_acquire_until_impl(__atime);
156*b1e83836Smrg 	  }
157*b1e83836Smrg 	else
158*b1e83836Smrg 	  {
159*b1e83836Smrg 	    const typename _Clock::time_point __c_entry = _Clock::now();
160*b1e83836Smrg 	    const auto __s_entry = __clock_t::now();
161*b1e83836Smrg 	    const auto __delta = __atime - __c_entry;
162*b1e83836Smrg 	    const auto __s_atime = __s_entry + __delta;
163*b1e83836Smrg 	    if (_M_try_acquire_until_impl(__s_atime))
164*b1e83836Smrg 	      return true;
165*b1e83836Smrg 
166*b1e83836Smrg 	    // We got a timeout when measured against __clock_t but
167*b1e83836Smrg 	    // we need to check against the caller-supplied clock
168*b1e83836Smrg 	    // to tell whether we should return a timeout.
169*b1e83836Smrg 	    return (_Clock::now() < __atime);
170*b1e83836Smrg 	  }
171*b1e83836Smrg       }
172*b1e83836Smrg 
173*b1e83836Smrg     template<typename _Rep, typename _Period>
174*b1e83836Smrg       _GLIBCXX_ALWAYS_INLINE bool
175*b1e83836Smrg       _M_try_acquire_for(const chrono::duration<_Rep, _Period>& __rtime)
176*b1e83836Smrg 	noexcept
177*b1e83836Smrg       { return _M_try_acquire_until(__clock_t::now() + __rtime); }
178*b1e83836Smrg 
179*b1e83836Smrg   private:
180*b1e83836Smrg     sem_t _M_semaphore;
181*b1e83836Smrg   };
182*b1e83836Smrg #endif // _GLIBCXX_HAVE_POSIX_SEMAPHORE
183*b1e83836Smrg 
184*b1e83836Smrg #if __cpp_lib_atomic_wait
185*b1e83836Smrg   struct __atomic_semaphore
186*b1e83836Smrg   {
187*b1e83836Smrg     static constexpr ptrdiff_t _S_max = __gnu_cxx::__int_traits<int>::__max;
188*b1e83836Smrg     explicit __atomic_semaphore(__detail::__platform_wait_t __count) noexcept
189*b1e83836Smrg       : _M_counter(__count)
190*b1e83836Smrg     {
191*b1e83836Smrg       __glibcxx_assert(__count >= 0 && __count <= _S_max);
192*b1e83836Smrg     }
193*b1e83836Smrg 
194*b1e83836Smrg     __atomic_semaphore(const __atomic_semaphore&) = delete;
195*b1e83836Smrg     __atomic_semaphore& operator=(const __atomic_semaphore&) = delete;
196*b1e83836Smrg 
197*b1e83836Smrg     static _GLIBCXX_ALWAYS_INLINE bool
198*b1e83836Smrg     _S_do_try_acquire(__detail::__platform_wait_t* __counter) noexcept
199*b1e83836Smrg     {
200*b1e83836Smrg       auto __old = __atomic_impl::load(__counter, memory_order::acquire);
201*b1e83836Smrg       if (__old == 0)
202*b1e83836Smrg 	return false;
203*b1e83836Smrg 
204*b1e83836Smrg       return __atomic_impl::compare_exchange_strong(__counter,
205*b1e83836Smrg 						    __old, __old - 1,
206*b1e83836Smrg 						    memory_order::acquire,
207*b1e83836Smrg 						    memory_order::relaxed);
208*b1e83836Smrg     }
209*b1e83836Smrg 
210*b1e83836Smrg     _GLIBCXX_ALWAYS_INLINE void
211*b1e83836Smrg     _M_acquire() noexcept
212*b1e83836Smrg     {
213*b1e83836Smrg       auto const __pred =
214*b1e83836Smrg 	[this] { return _S_do_try_acquire(&this->_M_counter); };
215*b1e83836Smrg       std::__atomic_wait_address_bare(&_M_counter, __pred);
216*b1e83836Smrg     }
217*b1e83836Smrg 
218*b1e83836Smrg     bool
219*b1e83836Smrg     _M_try_acquire() noexcept
220*b1e83836Smrg     {
221*b1e83836Smrg       auto const __pred =
222*b1e83836Smrg 	[this] { return _S_do_try_acquire(&this->_M_counter); };
223*b1e83836Smrg       return std::__detail::__atomic_spin(__pred);
224*b1e83836Smrg     }
225*b1e83836Smrg 
226*b1e83836Smrg     template<typename _Clock, typename _Duration>
227*b1e83836Smrg       _GLIBCXX_ALWAYS_INLINE bool
228*b1e83836Smrg       _M_try_acquire_until(const chrono::time_point<_Clock,
229*b1e83836Smrg 			   _Duration>& __atime) noexcept
230*b1e83836Smrg       {
231*b1e83836Smrg 	auto const __pred =
232*b1e83836Smrg 	  [this] { return _S_do_try_acquire(&this->_M_counter); };
233*b1e83836Smrg 
234*b1e83836Smrg 	return __atomic_wait_address_until_bare(&_M_counter, __pred, __atime);
235*b1e83836Smrg       }
236*b1e83836Smrg 
237*b1e83836Smrg     template<typename _Rep, typename _Period>
238*b1e83836Smrg       _GLIBCXX_ALWAYS_INLINE bool
239*b1e83836Smrg       _M_try_acquire_for(const chrono::duration<_Rep, _Period>& __rtime)
240*b1e83836Smrg 	noexcept
241*b1e83836Smrg       {
242*b1e83836Smrg 	auto const __pred =
243*b1e83836Smrg 	  [this] { return _S_do_try_acquire(&this->_M_counter); };
244*b1e83836Smrg 
245*b1e83836Smrg 	return __atomic_wait_address_for_bare(&_M_counter, __pred, __rtime);
246*b1e83836Smrg       }
247*b1e83836Smrg 
248*b1e83836Smrg     _GLIBCXX_ALWAYS_INLINE void
249*b1e83836Smrg     _M_release(ptrdiff_t __update) noexcept
250*b1e83836Smrg     {
251*b1e83836Smrg       if (0 < __atomic_impl::fetch_add(&_M_counter, __update, memory_order_release))
252*b1e83836Smrg 	return;
253*b1e83836Smrg       if (__update > 1)
254*b1e83836Smrg 	__atomic_notify_address_bare(&_M_counter, true);
255*b1e83836Smrg       else
256*b1e83836Smrg 	__atomic_notify_address_bare(&_M_counter, true);
257*b1e83836Smrg // FIXME - Figure out why this does not wake a waiting thread
258*b1e83836Smrg //	__atomic_notify_address_bare(&_M_counter, false);
259*b1e83836Smrg     }
260*b1e83836Smrg 
261*b1e83836Smrg   private:
262*b1e83836Smrg     alignas(__detail::__platform_wait_alignment)
263*b1e83836Smrg     __detail::__platform_wait_t _M_counter;
264*b1e83836Smrg   };
265*b1e83836Smrg #endif // __cpp_lib_atomic_wait
266*b1e83836Smrg 
267*b1e83836Smrg // Note: the _GLIBCXX_USE_POSIX_SEMAPHORE macro can be used to force the
268*b1e83836Smrg // use of Posix semaphores (sem_t). Doing so however, alters the ABI.
269*b1e83836Smrg #if defined __cpp_lib_atomic_wait && !_GLIBCXX_USE_POSIX_SEMAPHORE
270*b1e83836Smrg   using __semaphore_impl = __atomic_semaphore;
271*b1e83836Smrg #elif _GLIBCXX_HAVE_POSIX_SEMAPHORE
272*b1e83836Smrg   using __semaphore_impl = __platform_semaphore;
273*b1e83836Smrg #endif
274*b1e83836Smrg 
275*b1e83836Smrg _GLIBCXX_END_NAMESPACE_VERSION
276*b1e83836Smrg } // namespace std
277*b1e83836Smrg #endif // _GLIBCXX_SEMAPHORE_BASE_H
278