xref: /dflybsd-src/contrib/gcc-8.0/libstdc++-v3/src/c++11/condition_variable.cc (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
1*38fd1498Szrj // condition_variable -*- C++ -*-
2*38fd1498Szrj 
3*38fd1498Szrj // Copyright (C) 2008-2018 Free Software Foundation, Inc.
4*38fd1498Szrj //
5*38fd1498Szrj // This file is part of the GNU ISO C++ Library.  This library is free
6*38fd1498Szrj // software; you can redistribute it and/or modify it under the
7*38fd1498Szrj // terms of the GNU General Public License as published by the
8*38fd1498Szrj // Free Software Foundation; either version 3, or (at your option)
9*38fd1498Szrj // any later version.
10*38fd1498Szrj 
11*38fd1498Szrj // This library is distributed in the hope that it will be useful,
12*38fd1498Szrj // but WITHOUT ANY WARRANTY; without even the implied warranty of
13*38fd1498Szrj // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14*38fd1498Szrj // GNU General Public License for more details.
15*38fd1498Szrj 
16*38fd1498Szrj // Under Section 7 of GPL version 3, you are granted additional
17*38fd1498Szrj // permissions described in the GCC Runtime Library Exception, version
18*38fd1498Szrj // 3.1, as published by the Free Software Foundation.
19*38fd1498Szrj 
20*38fd1498Szrj // You should have received a copy of the GNU General Public License and
21*38fd1498Szrj // a copy of the GCC Runtime Library Exception along with this program;
22*38fd1498Szrj // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
23*38fd1498Szrj // <http://www.gnu.org/licenses/>.
24*38fd1498Szrj 
25*38fd1498Szrj #include <condition_variable>
26*38fd1498Szrj #include <cstdlib>
27*38fd1498Szrj 
28*38fd1498Szrj #if defined(_GLIBCXX_HAS_GTHREADS) && defined(_GLIBCXX_USE_C99_STDINT_TR1)
29*38fd1498Szrj 
30*38fd1498Szrj namespace std _GLIBCXX_VISIBILITY(default)
31*38fd1498Szrj {
32*38fd1498Szrj _GLIBCXX_BEGIN_NAMESPACE_VERSION
33*38fd1498Szrj 
34*38fd1498Szrj #ifdef __GTHREAD_COND_INIT
35*38fd1498Szrj   condition_variable::condition_variable() noexcept = default;
36*38fd1498Szrj #else
37*38fd1498Szrj   condition_variable::condition_variable() noexcept
38*38fd1498Szrj   {
39*38fd1498Szrj     __GTHREAD_COND_INIT_FUNCTION(&_M_cond);
40*38fd1498Szrj   }
41*38fd1498Szrj #endif
42*38fd1498Szrj 
~condition_variable()43*38fd1498Szrj   condition_variable::~condition_variable() noexcept
44*38fd1498Szrj   {
45*38fd1498Szrj     // XXX no thread blocked
46*38fd1498Szrj     /* int __e = */ __gthread_cond_destroy(&_M_cond);
47*38fd1498Szrj     // if __e == EBUSY then blocked
48*38fd1498Szrj   }
49*38fd1498Szrj 
50*38fd1498Szrj   void
wait(unique_lock<mutex> & __lock)51*38fd1498Szrj   condition_variable::wait(unique_lock<mutex>& __lock) noexcept
52*38fd1498Szrj   {
53*38fd1498Szrj     int __e = __gthread_cond_wait(&_M_cond, __lock.mutex()->native_handle());
54*38fd1498Szrj 
55*38fd1498Szrj     if (__e)
56*38fd1498Szrj       std::terminate();
57*38fd1498Szrj   }
58*38fd1498Szrj 
59*38fd1498Szrj   void
notify_one()60*38fd1498Szrj   condition_variable::notify_one() noexcept
61*38fd1498Szrj   {
62*38fd1498Szrj     int __e = __gthread_cond_signal(&_M_cond);
63*38fd1498Szrj 
64*38fd1498Szrj     // XXX not in spec
65*38fd1498Szrj     // EINVAL
66*38fd1498Szrj     if (__e)
67*38fd1498Szrj       __throw_system_error(__e);
68*38fd1498Szrj   }
69*38fd1498Szrj 
70*38fd1498Szrj   void
notify_all()71*38fd1498Szrj   condition_variable::notify_all() noexcept
72*38fd1498Szrj   {
73*38fd1498Szrj     int __e = __gthread_cond_broadcast(&_M_cond);
74*38fd1498Szrj 
75*38fd1498Szrj     // XXX not in spec
76*38fd1498Szrj     // EINVAL
77*38fd1498Szrj     if (__e)
78*38fd1498Szrj       __throw_system_error(__e);
79*38fd1498Szrj   }
80*38fd1498Szrj 
81*38fd1498Szrj   extern void
82*38fd1498Szrj   __at_thread_exit(__at_thread_exit_elt*);
83*38fd1498Szrj 
84*38fd1498Szrj   namespace
85*38fd1498Szrj   {
86*38fd1498Szrj     __gthread_key_t key;
87*38fd1498Szrj 
run(void * p)88*38fd1498Szrj     void run(void* p)
89*38fd1498Szrj     {
90*38fd1498Szrj       auto elt = (__at_thread_exit_elt*)p;
91*38fd1498Szrj       while (elt)
92*38fd1498Szrj 	{
93*38fd1498Szrj 	  auto next = elt->_M_next;
94*38fd1498Szrj 	  elt->_M_cb(elt);
95*38fd1498Szrj 	  elt = next;
96*38fd1498Szrj 	}
97*38fd1498Szrj     }
98*38fd1498Szrj 
run()99*38fd1498Szrj     void run()
100*38fd1498Szrj     {
101*38fd1498Szrj       auto elt = (__at_thread_exit_elt*)__gthread_getspecific(key);
102*38fd1498Szrj       __gthread_setspecific(key, nullptr);
103*38fd1498Szrj       run(elt);
104*38fd1498Szrj     }
105*38fd1498Szrj 
106*38fd1498Szrj     struct notifier final : __at_thread_exit_elt
107*38fd1498Szrj     {
notifierstd::__anon60c325200111::notifier108*38fd1498Szrj       notifier(condition_variable& cv, unique_lock<mutex>& l)
109*38fd1498Szrj       : cv(&cv), mx(l.release())
110*38fd1498Szrj       {
111*38fd1498Szrj 	_M_cb = &notifier::run;
112*38fd1498Szrj 	__at_thread_exit(this);
113*38fd1498Szrj       }
114*38fd1498Szrj 
~notifierstd::__anon60c325200111::notifier115*38fd1498Szrj       ~notifier()
116*38fd1498Szrj       {
117*38fd1498Szrj 	mx->unlock();
118*38fd1498Szrj 	cv->notify_all();
119*38fd1498Szrj       }
120*38fd1498Szrj 
121*38fd1498Szrj       condition_variable* cv;
122*38fd1498Szrj       mutex* mx;
123*38fd1498Szrj 
runstd::__anon60c325200111::notifier124*38fd1498Szrj       static void run(void* p) { delete static_cast<notifier*>(p); }
125*38fd1498Szrj     };
126*38fd1498Szrj 
127*38fd1498Szrj 
key_init()128*38fd1498Szrj     void key_init() {
129*38fd1498Szrj       struct key_s {
130*38fd1498Szrj 	key_s() { __gthread_key_create (&key, run); }
131*38fd1498Szrj 	~key_s() { __gthread_key_delete (key); }
132*38fd1498Szrj       };
133*38fd1498Szrj       static key_s ks;
134*38fd1498Szrj       // Also make sure the callbacks are run by std::exit.
135*38fd1498Szrj       std::atexit (run);
136*38fd1498Szrj     }
137*38fd1498Szrj   }
138*38fd1498Szrj 
139*38fd1498Szrj   void
__at_thread_exit(__at_thread_exit_elt * elt)140*38fd1498Szrj   __at_thread_exit(__at_thread_exit_elt* elt)
141*38fd1498Szrj   {
142*38fd1498Szrj     static __gthread_once_t once = __GTHREAD_ONCE_INIT;
143*38fd1498Szrj     __gthread_once (&once, key_init);
144*38fd1498Szrj 
145*38fd1498Szrj     elt->_M_next = (__at_thread_exit_elt*)__gthread_getspecific(key);
146*38fd1498Szrj     __gthread_setspecific(key, elt);
147*38fd1498Szrj   }
148*38fd1498Szrj 
149*38fd1498Szrj   void
notify_all_at_thread_exit(condition_variable & cv,unique_lock<mutex> l)150*38fd1498Szrj   notify_all_at_thread_exit(condition_variable& cv, unique_lock<mutex> l)
151*38fd1498Szrj   {
152*38fd1498Szrj     (void) new notifier{cv, l};
153*38fd1498Szrj   }
154*38fd1498Szrj 
155*38fd1498Szrj _GLIBCXX_END_NAMESPACE_VERSION
156*38fd1498Szrj } // namespace
157*38fd1498Szrj 
158*38fd1498Szrj #endif // _GLIBCXX_HAS_GTHREADS && _GLIBCXX_USE_C99_STDINT_TR1
159