286e0a491b
Summary: This patch attempts to fix the last 3 TSAN failures on the libc++ bot (http://lab.llvm.org:8011/builders/libcxx-libcxxabi-x86_64-linux-ubuntu-tsan/builds/143). This patch also adds a `Atomic` test type that can be used where `<atomic>` cannot. `wait.exception.pass.cpp` and `wait_for.exception.pass.cpp` were failing because the test replaced `std::terminate` with `std::exit`. `std::exit` would asynchronously run the TLS and static destructors and this would cause a race condition. See PR22606 and D8802 for more details. This is fixed by using `_Exit` to prevent cleanup. `notify_all_at_thread_exit.pass.cpp` exercises the same race condition but for different reasons. I fixed this test by manually joining the thread before beginning program termination. Reviewers: EricWF, mclow.lists Subscribers: cfe-commits Differential Revision: http://reviews.llvm.org/D11046 git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@245389 91177308-0d34-0410-b5e6-96231b3b80d8
157 lines
2.8 KiB
C++
157 lines
2.8 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// UNSUPPORTED: libcpp-has-no-threads
|
|
|
|
// <thread>
|
|
|
|
// class thread
|
|
|
|
// template <class F, class ...Args> thread(F&& f, Args&&... args);
|
|
|
|
// UNSUPPORTED: sanitizer-new-delete
|
|
|
|
#include <thread>
|
|
#include <new>
|
|
#include <cstdlib>
|
|
#include <cassert>
|
|
|
|
#include "test_macros.h"
|
|
|
|
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;
|
|
|
|
#if TEST_STD_VER >= 11
|
|
|
|
class MoveOnly
|
|
{
|
|
MoveOnly(const MoveOnly&);
|
|
public:
|
|
MoveOnly() {}
|
|
MoveOnly(MoveOnly&&) {}
|
|
|
|
void operator()(MoveOnly&&)
|
|
{
|
|
}
|
|
};
|
|
|
|
#endif
|
|
|
|
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);
|
|
}
|
|
}
|
|
#if TEST_STD_VER >= 11
|
|
{
|
|
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);
|
|
}
|
|
{
|
|
std::thread t = std::thread(MoveOnly(), MoveOnly());
|
|
t.join();
|
|
}
|
|
#endif
|
|
}
|