xref: /llvm-project/libcxx/test/std/thread/thread.semaphore/try_acquire.pass.cpp (revision bf1666fb0bc19ffa18072e2727e4611c293a9aee)
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 
16d4303307SArthur O'Dwyer #include <cassert>
1754fa9ecdSOlivier Giroux #include <semaphore>
1854fa9ecdSOlivier Giroux #include <thread>
1954fa9ecdSOlivier Giroux 
2056462801SLouis Dionne #include "make_test_thread.h"
2154fa9ecdSOlivier Giroux #include "test_macros.h"
2254fa9ecdSOlivier Giroux 
2354fa9ecdSOlivier Giroux int main(int, char**)
2454fa9ecdSOlivier Giroux {
2554fa9ecdSOlivier Giroux   std::counting_semaphore<> s(1);
2654fa9ecdSOlivier Giroux 
2754fa9ecdSOlivier Giroux   assert(s.try_acquire());
28c92a253cSArthur O'Dwyer   assert(!s.try_acquire());
2954fa9ecdSOlivier Giroux   s.release();
3054fa9ecdSOlivier Giroux   assert(s.try_acquire());
31c92a253cSArthur O'Dwyer   assert(!s.try_acquire());
3254fa9ecdSOlivier Giroux   s.release(2);
3356462801SLouis Dionne   std::thread t = support::make_test_thread([&](){
3454fa9ecdSOlivier Giroux     assert(s.try_acquire());
3554fa9ecdSOlivier Giroux   });
3654fa9ecdSOlivier Giroux   t.join();
3754fa9ecdSOlivier Giroux   assert(s.try_acquire());
38c92a253cSArthur O'Dwyer   assert(!s.try_acquire());
3954fa9ecdSOlivier Giroux 
4054fa9ecdSOlivier Giroux   return 0;
4154fa9ecdSOlivier Giroux }
42