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
12ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant// template <class Mutex> class shared_lock;
13ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
14ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant// void lock();
15ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
16ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#include <shared_mutex>
17ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#include <thread>
18ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#include <vector>
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::system_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 f()
33ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant{
34f9f95be93091c60e7c9034670f298d5a2fba8686David Majnemer    std::shared_lock<std::shared_timed_mutex> lk(m, std::defer_lock);
35ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    time_point t0 = Clock::now();
36ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    lk.lock();
37ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    time_point t1 = Clock::now();
38ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    assert(lk.owns_lock() == true);
39ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    ns d = t1 - t0 - ms(250);
40ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    assert(d < ms(25));  // within 25ms
41ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    try
42ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    {
43ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        lk.lock();
44ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        assert(false);
45ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    }
46ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    catch (std::system_error& e)
47ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    {
48ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        assert(e.code().value() == EDEADLK);
49ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    }
50ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    lk.unlock();
51ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    lk.release();
52ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    try
53ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    {
54ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        lk.lock();
55ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        assert(false);
56ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    }
57ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    catch (std::system_error& e)
58ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    {
59ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        assert(e.code().value() == EPERM);
60ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    }
61ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant}
62ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
63ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#endif  // _LIBCPP_STD_VER > 11
64ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
65ba898e42081aec544a04d282834aa99b13d57803Howard Hinnantint main()
66ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant{
67ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#if _LIBCPP_STD_VER > 11
68ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    m.lock();
69ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    std::vector<std::thread> v;
70ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    for (int i = 0; i < 5; ++i)
71ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        v.push_back(std::thread(f));
72ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    std::this_thread::sleep_for(ms(250));
73ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    m.unlock();
74ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    for (auto& t : v)
75ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        t.join();
76ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#endif  // _LIBCPP_STD_VER > 11
77ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant}
78