123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130 |
- //===----------------------------------------------------------------------===//
- //
- // The LLVM Compiler Infrastructure
- //
- // This file is distributed under the University of Illinois Open Source
- // License. See LICENSE.TXT for details.
- //
- //===----------------------------------------------------------------------===//
- // <thread>
- // class thread
- // template <class F, class ...Args> thread(F&& f, Args&&... args);
- #include <thread>
- #include <new>
- #include <cstdlib>
- #include <cassert>
- unsigned throw_one = 0xFFFF;
- void* operator new(std::size_t s) throw(std::bad_alloc)
- {
- if (throw_one == 0)
- throw std::bad_alloc();
- --throw_one;
- return std::malloc(s);
- }
- void operator delete(void* p) throw()
- {
- std::free(p);
- }
- bool f_run = false;
- void f()
- {
- f_run = true;
- }
- class G
- {
- int alive_;
- public:
- static int n_alive;
- static bool op_run;
- G() : alive_(1) {++n_alive;}
- G(const G& g) : alive_(g.alive_) {++n_alive;}
- ~G() {alive_ = 0; --n_alive;}
- void operator()()
- {
- assert(alive_ == 1);
- assert(n_alive >= 1);
- op_run = true;
- }
- void operator()(int i, double j)
- {
- assert(alive_ == 1);
- assert(n_alive >= 1);
- assert(i == 5);
- assert(j == 5.5);
- op_run = true;
- }
- };
- int G::n_alive = 0;
- bool G::op_run = false;
- int main()
- {
- {
- std::thread t(f);
- t.join();
- assert(f_run == true);
- }
- f_run = false;
- {
- try
- {
- throw_one = 0;
- std::thread t(f);
- assert(false);
- }
- catch (...)
- {
- throw_one = 0xFFFF;
- assert(!f_run);
- }
- }
- {
- assert(G::n_alive == 0);
- assert(!G::op_run);
- std::thread t((G()));
- t.join();
- assert(G::n_alive == 0);
- assert(G::op_run);
- }
- G::op_run = false;
- {
- try
- {
- throw_one = 0;
- assert(G::n_alive == 0);
- assert(!G::op_run);
- std::thread t((G()));
- assert(false);
- }
- catch (...)
- {
- throw_one = 0xFFFF;
- assert(G::n_alive == 0);
- assert(!G::op_run);
- }
- }
- #ifndef _LIBCPP_HAS_NO_VARIADICS
- {
- assert(G::n_alive == 0);
- assert(!G::op_run);
- std::thread t(G(), 5, 5.5);
- t.join();
- assert(G::n_alive == 0);
- assert(G::op_run);
- }
- #endif // _LIBCPP_HAS_NO_VARIADICS
- }
|