15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier //
9*a7f9895cSLouis Dionne // UNSUPPORTED: no-threads
10642048eeSLouis Dionne // ALLOW_RETRIES: 2
115a83710eSEric Fiselier 
125a83710eSEric Fiselier // <condition_variable>
135a83710eSEric Fiselier 
145a83710eSEric Fiselier // class condition_variable_any;
155a83710eSEric Fiselier 
165a83710eSEric Fiselier // template <class Lock, class Clock, class Duration>
175a83710eSEric Fiselier //   cv_status
185a83710eSEric Fiselier //   wait_until(Lock& lock, const chrono::time_point<Clock, Duration>& abs_time);
195a83710eSEric Fiselier 
205a83710eSEric Fiselier #include <condition_variable>
215a83710eSEric Fiselier #include <mutex>
225a83710eSEric Fiselier #include <thread>
235a83710eSEric Fiselier #include <chrono>
245a83710eSEric Fiselier #include <cassert>
255a83710eSEric Fiselier 
2656462801SLouis Dionne #include "make_test_thread.h"
277fc6a556SMarshall Clow #include "test_macros.h"
287fc6a556SMarshall Clow 
295a83710eSEric Fiselier struct Clock
305a83710eSEric Fiselier {
315a83710eSEric Fiselier     typedef std::chrono::milliseconds duration;
325a83710eSEric Fiselier     typedef duration::rep             rep;
335a83710eSEric Fiselier     typedef duration::period          period;
345a83710eSEric Fiselier     typedef std::chrono::time_point<Clock> time_point;
355a83710eSEric Fiselier     static const bool is_steady =  true;
365a83710eSEric Fiselier 
nowClock375a83710eSEric Fiselier     static time_point now()
385a83710eSEric Fiselier     {
395a83710eSEric Fiselier         using namespace std::chrono;
405a83710eSEric Fiselier         return time_point(duration_cast<duration>(
415a83710eSEric Fiselier                 steady_clock::now().time_since_epoch()
425a83710eSEric Fiselier                                                  ));
435a83710eSEric Fiselier     }
445a83710eSEric Fiselier };
455a83710eSEric Fiselier 
465a83710eSEric Fiselier std::condition_variable_any cv;
475a83710eSEric Fiselier 
485a83710eSEric Fiselier typedef std::timed_mutex L0;
495a83710eSEric Fiselier typedef std::unique_lock<L0> L1;
505a83710eSEric Fiselier 
515a83710eSEric Fiselier L0 m0;
525a83710eSEric Fiselier 
535a83710eSEric Fiselier int test1 = 0;
545a83710eSEric Fiselier int test2 = 0;
555a83710eSEric Fiselier 
565a83710eSEric Fiselier int runs = 0;
575a83710eSEric Fiselier 
f()585a83710eSEric Fiselier void f()
595a83710eSEric Fiselier {
605a83710eSEric Fiselier     L1 lk(m0);
615a83710eSEric Fiselier     assert(test2 == 0);
625a83710eSEric Fiselier     test1 = 1;
635a83710eSEric Fiselier     cv.notify_one();
645a83710eSEric Fiselier     Clock::time_point t0 = Clock::now();
655a83710eSEric Fiselier     Clock::time_point t = t0 + Clock::duration(250);
665a83710eSEric Fiselier     while (test2 == 0 && cv.wait_until(lk, t) == std::cv_status::no_timeout)
675a83710eSEric Fiselier         ;
685a83710eSEric Fiselier     Clock::time_point t1 = Clock::now();
695a83710eSEric Fiselier     if (runs == 0)
705a83710eSEric Fiselier     {
715a83710eSEric Fiselier         assert(t1 - t0 < Clock::duration(250));
725a83710eSEric Fiselier         assert(test2 != 0);
735a83710eSEric Fiselier     }
745a83710eSEric Fiselier     else
755a83710eSEric Fiselier     {
765a83710eSEric Fiselier         assert(t1 - t0 - Clock::duration(250) < Clock::duration(50));
775a83710eSEric Fiselier         assert(test2 == 0);
785a83710eSEric Fiselier     }
795a83710eSEric Fiselier     ++runs;
805a83710eSEric Fiselier }
815a83710eSEric Fiselier 
main(int,char **)822df59c50SJF Bastien int main(int, char**)
835a83710eSEric Fiselier {
845a83710eSEric Fiselier     {
855a83710eSEric Fiselier         L1 lk(m0);
8656462801SLouis Dionne         std::thread t = support::make_test_thread(f);
875a83710eSEric Fiselier         assert(test1 == 0);
885a83710eSEric Fiselier         while (test1 == 0)
895a83710eSEric Fiselier             cv.wait(lk);
905a83710eSEric Fiselier         assert(test1 != 0);
915a83710eSEric Fiselier         test2 = 1;
925a83710eSEric Fiselier         lk.unlock();
935a83710eSEric Fiselier         cv.notify_one();
945a83710eSEric Fiselier         t.join();
955a83710eSEric Fiselier     }
965a83710eSEric Fiselier     test1 = 0;
975a83710eSEric Fiselier     test2 = 0;
985a83710eSEric Fiselier     {
995a83710eSEric Fiselier         L1 lk(m0);
10056462801SLouis Dionne         std::thread t = support::make_test_thread(f);
1015a83710eSEric Fiselier         assert(test1 == 0);
1025a83710eSEric Fiselier         while (test1 == 0)
1035a83710eSEric Fiselier             cv.wait(lk);
1045a83710eSEric Fiselier         assert(test1 != 0);
1055a83710eSEric Fiselier         lk.unlock();
1065a83710eSEric Fiselier         t.join();
1075a83710eSEric Fiselier     }
1082df59c50SJF Bastien 
1092df59c50SJF Bastien   return 0;
1105a83710eSEric Fiselier }
111