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 Sambucvoid 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 Sambucint 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