1ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant//===----------------------------------------------------------------------===//
2ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant//
3ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant//                     The LLVM Compiler Infrastructure
4ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant//
5ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant//
8ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant//===----------------------------------------------------------------------===//
9ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
10ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant// <shared_mutex>
11ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
12f9f95be93091c60e7c9034670f298d5a2fba8686David Majnemer// class shared_timed_mutex;
13ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
14ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant// template <class Rep, class Period>
15ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant//     bool try_lock_for(const chrono::duration<Rep, Period>& rel_time);
16ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
17ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#include <shared_mutex>
18ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#include <thread>
19ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#include <cstdlib>
20ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#include <cassert>
21ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
22ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#if _LIBCPP_STD_VER > 11
23ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
24f9f95be93091c60e7c9034670f298d5a2fba8686David Majnemerstd::shared_timed_mutex m;
25ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
26ba898e42081aec544a04d282834aa99b13d57803Howard Hinnanttypedef std::chrono::steady_clock Clock;
27ba898e42081aec544a04d282834aa99b13d57803Howard Hinnanttypedef Clock::time_point time_point;
28ba898e42081aec544a04d282834aa99b13d57803Howard Hinnanttypedef Clock::duration duration;
29ba898e42081aec544a04d282834aa99b13d57803Howard Hinnanttypedef std::chrono::milliseconds ms;
30ba898e42081aec544a04d282834aa99b13d57803Howard Hinnanttypedef std::chrono::nanoseconds ns;
31ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
32ba898e42081aec544a04d282834aa99b13d57803Howard Hinnantvoid f1()
33ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant{
34ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    time_point t0 = Clock::now();
35ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    assert(m.try_lock_for(ms(300)) == true);
36ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    time_point t1 = Clock::now();
37ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    m.unlock();
38ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    ns d = t1 - t0 - ms(250);
39ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    assert(d < ms(50));  // within 50ms
40ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant}
41ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
42ba898e42081aec544a04d282834aa99b13d57803Howard Hinnantvoid f2()
43ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant{
44ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    time_point t0 = Clock::now();
45ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    assert(m.try_lock_for(ms(250)) == false);
46ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    time_point t1 = Clock::now();
47ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    ns d = t1 - t0 - ms(250);
48ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    assert(d < ms(50));  // within 50ms
49ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant}
50ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
51ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#endif  // _LIBCPP_STD_VER > 11
52ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
53ba898e42081aec544a04d282834aa99b13d57803Howard Hinnantint main()
54ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant{
55ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#if _LIBCPP_STD_VER > 11
56ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    {
57ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        m.lock();
58ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        std::thread t(f1);
59ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        std::this_thread::sleep_for(ms(250));
60ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        m.unlock();
61ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        t.join();
62ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    }
63ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    {
64ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        m.lock();
65ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        std::thread t(f2);
66ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        std::this_thread::sleep_for(ms(300));
67ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        m.unlock();
68ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        t.join();
69ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    }
70ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#endif  // _LIBCPP_STD_VER > 11
71ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant}
72