154fa9ecdSOlivier Giroux //===----------------------------------------------------------------------===//
254fa9ecdSOlivier Giroux //
354fa9ecdSOlivier Giroux // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
454fa9ecdSOlivier Giroux // See https://llvm.org/LICENSE.txt for license information.
554fa9ecdSOlivier Giroux // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
654fa9ecdSOlivier Giroux //
754fa9ecdSOlivier Giroux //===----------------------------------------------------------------------===//
854fa9ecdSOlivier Giroux //
954fa9ecdSOlivier Giroux // UNSUPPORTED: libcpp-has-no-threads
1031cbe0f2SLouis Dionne // UNSUPPORTED: c++03, c++11
1154fa9ecdSOlivier Giroux 
12*c0efe8f2SLouis Dionne // This test requires the dylib support introduced in D68480, which shipped in macOS 11.0.
13c360553cSLouis Dionne // XFAIL: use_system_cxx_lib && target={{.+}}-apple-macosx10.{{9|10|11|12|13|14|15}}
1480e73f22SLouis Dionne 
15a55632a0SLouis Dionne // TODO(ldionne): This test fails on Ubuntu Focal on our CI nodes (and only there), in 32 bit mode.
16a55632a0SLouis Dionne // UNSUPPORTED: linux && 32bits-on-64bits
17a55632a0SLouis Dionne 
1854fa9ecdSOlivier Giroux // <semaphore>
1954fa9ecdSOlivier Giroux 
2054fa9ecdSOlivier Giroux #include <semaphore>
2154fa9ecdSOlivier Giroux #include <chrono>
2254fa9ecdSOlivier Giroux #include <thread>
23c9af0e61SArthur O'Dwyer #include <type_traits>
2454fa9ecdSOlivier Giroux 
2556462801SLouis Dionne #include "make_test_thread.h"
2654fa9ecdSOlivier Giroux #include "test_macros.h"
2754fa9ecdSOlivier Giroux 
28c9af0e61SArthur O'Dwyer static_assert(std::is_same<std::binary_semaphore, std::counting_semaphore<1>>::value, "");
29c9af0e61SArthur O'Dwyer 
3054fa9ecdSOlivier Giroux int main(int, char**)
3154fa9ecdSOlivier Giroux {
3254fa9ecdSOlivier Giroux   std::binary_semaphore s(1);
3354fa9ecdSOlivier Giroux 
3454fa9ecdSOlivier Giroux   auto l = [&](){
3554fa9ecdSOlivier Giroux     for(int i = 0; i < 1024; ++i) {
3654fa9ecdSOlivier Giroux         s.acquire();
3754fa9ecdSOlivier Giroux         std::this_thread::sleep_for(std::chrono::microseconds(1));
3854fa9ecdSOlivier Giroux         s.release();
3954fa9ecdSOlivier Giroux     }
4054fa9ecdSOlivier Giroux   };
4154fa9ecdSOlivier Giroux 
4256462801SLouis Dionne   std::thread t = support::make_test_thread(l);
4354fa9ecdSOlivier Giroux   l();
4454fa9ecdSOlivier Giroux 
4554fa9ecdSOlivier Giroux   t.join();
4654fa9ecdSOlivier Giroux 
4754fa9ecdSOlivier Giroux   return 0;
4854fa9ecdSOlivier Giroux }
49