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 // 9a7f9895cSLouis Dionne // UNSUPPORTED: no-threads 10*bf1666fbSLouis Dionne // UNSUPPORTED: c++03, c++11, c++14, c++17 119ddedf07SLouis Dionne 12f0fc8c48SLouis Dionne // XFAIL: availability-synchronization_library-missing 1380e73f22SLouis Dionne 1454fa9ecdSOlivier Giroux // <semaphore> 1554fa9ecdSOlivier Giroux 1654fa9ecdSOlivier Giroux #include <semaphore> 1754fa9ecdSOlivier Giroux #include <chrono> 1854fa9ecdSOlivier Giroux #include <thread> 19c9af0e61SArthur O'Dwyer #include <type_traits> 2054fa9ecdSOlivier Giroux 2156462801SLouis Dionne #include "make_test_thread.h" 2254fa9ecdSOlivier Giroux #include "test_macros.h" 2354fa9ecdSOlivier Giroux 24c9af0e61SArthur O'Dwyer static_assert(std::is_same<std::binary_semaphore, std::counting_semaphore<1>>::value, ""); 25c9af0e61SArthur O'Dwyer 2654fa9ecdSOlivier Giroux int main(int, char**) 2754fa9ecdSOlivier Giroux { 2854fa9ecdSOlivier Giroux std::binary_semaphore s(1); 2954fa9ecdSOlivier Giroux 3054fa9ecdSOlivier Giroux auto l = [&](){ 3154fa9ecdSOlivier Giroux for(int i = 0; i < 1024; ++i) { 3254fa9ecdSOlivier Giroux s.acquire(); 3354fa9ecdSOlivier Giroux std::this_thread::sleep_for(std::chrono::microseconds(1)); 3454fa9ecdSOlivier Giroux s.release(); 3554fa9ecdSOlivier Giroux } 3654fa9ecdSOlivier Giroux }; 3754fa9ecdSOlivier Giroux 3856462801SLouis Dionne std::thread t = support::make_test_thread(l); 3954fa9ecdSOlivier Giroux l(); 4054fa9ecdSOlivier Giroux 4154fa9ecdSOlivier Giroux t.join(); 4254fa9ecdSOlivier Giroux 4354fa9ecdSOlivier Giroux return 0; 4454fa9ecdSOlivier Giroux } 45