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// bool try_lock_shared();
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{
34ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    time_point t0 = Clock::now();
35ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    assert(!m.try_lock_shared());
36ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    assert(!m.try_lock_shared());
37ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    assert(!m.try_lock_shared());
38ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    while(!m.try_lock_shared())
39ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        ;
40ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    time_point t1 = Clock::now();
41ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    m.unlock_shared();
42ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    ns d = t1 - t0 - ms(250);
43ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    assert(d < ms(200));  // within 200ms
44ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant}
45ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
46ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#endif  // _LIBCPP_STD_VER > 11
47ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant
48ba898e42081aec544a04d282834aa99b13d57803Howard Hinnantint main()
49ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant{
50ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#if _LIBCPP_STD_VER > 11
51ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    m.lock();
52ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    std::vector<std::thread> v;
53ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    for (int i = 0; i < 5; ++i)
54ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        v.push_back(std::thread(f));
55ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    std::this_thread::sleep_for(ms(250));
56ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    m.unlock();
57ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant    for (auto& t : v)
58ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant        t.join();
59ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant#endif  // _LIBCPP_STD_VER > 11
60ba898e42081aec544a04d282834aa99b13d57803Howard Hinnant}
61