1*4684ddb6SLionel Sambuc //===----------------------------------------------------------------------===//
2*4684ddb6SLionel Sambuc //
3*4684ddb6SLionel Sambuc //                     The LLVM Compiler Infrastructure
4*4684ddb6SLionel Sambuc //
5*4684ddb6SLionel Sambuc // This file is dual licensed under the MIT and the University of Illinois Open
6*4684ddb6SLionel Sambuc // Source Licenses. See LICENSE.TXT for details.
7*4684ddb6SLionel Sambuc //
8*4684ddb6SLionel Sambuc //===----------------------------------------------------------------------===//
9*4684ddb6SLionel Sambuc 
10*4684ddb6SLionel Sambuc // <condition_variable>
11*4684ddb6SLionel Sambuc 
12*4684ddb6SLionel Sambuc // class condition_variable_any;
13*4684ddb6SLionel Sambuc 
14*4684ddb6SLionel Sambuc // template <class Lock>
15*4684ddb6SLionel Sambuc //   void wait(Lock& lock);
16*4684ddb6SLionel Sambuc 
17*4684ddb6SLionel Sambuc #include <condition_variable>
18*4684ddb6SLionel Sambuc #include <mutex>
19*4684ddb6SLionel Sambuc #include <thread>
20*4684ddb6SLionel Sambuc #include <cassert>
21*4684ddb6SLionel Sambuc 
22*4684ddb6SLionel Sambuc std::condition_variable_any cv;
23*4684ddb6SLionel Sambuc 
24*4684ddb6SLionel Sambuc typedef std::timed_mutex L0;
25*4684ddb6SLionel Sambuc typedef std::unique_lock<L0> L1;
26*4684ddb6SLionel Sambuc 
27*4684ddb6SLionel Sambuc L0 m0;
28*4684ddb6SLionel Sambuc 
29*4684ddb6SLionel Sambuc int test1 = 0;
30*4684ddb6SLionel Sambuc int test2 = 0;
31*4684ddb6SLionel Sambuc 
f()32*4684ddb6SLionel Sambuc void f()
33*4684ddb6SLionel Sambuc {
34*4684ddb6SLionel Sambuc     L1 lk(m0);
35*4684ddb6SLionel Sambuc     assert(test2 == 0);
36*4684ddb6SLionel Sambuc     test1 = 1;
37*4684ddb6SLionel Sambuc     cv.notify_one();
38*4684ddb6SLionel Sambuc     while (test2 == 0)
39*4684ddb6SLionel Sambuc         cv.wait(lk);
40*4684ddb6SLionel Sambuc     assert(test2 != 0);
41*4684ddb6SLionel Sambuc }
42*4684ddb6SLionel Sambuc 
main()43*4684ddb6SLionel Sambuc int main()
44*4684ddb6SLionel Sambuc {
45*4684ddb6SLionel Sambuc     L1 lk(m0);
46*4684ddb6SLionel Sambuc     std::thread t(f);
47*4684ddb6SLionel Sambuc     assert(test1 == 0);
48*4684ddb6SLionel Sambuc     while (test1 == 0)
49*4684ddb6SLionel Sambuc         cv.wait(lk);
50*4684ddb6SLionel Sambuc     assert(test1 != 0);
51*4684ddb6SLionel Sambuc     test2 = 1;
52*4684ddb6SLionel Sambuc     lk.unlock();
53*4684ddb6SLionel Sambuc     cv.notify_one();
54*4684ddb6SLionel Sambuc     t.join();
55*4684ddb6SLionel Sambuc }
56