OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity
llvm-project/libcxx/test/thread/thread.mutex/thread.lock.algorithm/try_lock.pass.cpp

515 lines
9.8 KiB
C++
Raw Blame History

//===----------------------------------------------------------------------===//
//
// 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.
//
//===----------------------------------------------------------------------===//
// <mutex>
// template <class L1, class L2, class... L3>
// int try_lock(L1&, L2&, L3&...);
#include <mutex>
#include <cassert>
class L0
{
bool locked_;
public:
L0() : locked_(false) {}
bool try_lock()
{
locked_ = true;
return locked_;
}
void unlock() {locked_ = false;}
bool locked() const {return locked_;}
};
class L1
{
bool locked_;
public:
L1() : locked_(false) {}
bool try_lock()
{
locked_ = false;
return locked_;
}
void unlock() {locked_ = false;}
bool locked() const {return locked_;}
};
class L2
{
bool locked_;
public:
L2() : locked_(false) {}
bool try_lock()
{
throw 1;
return locked_;
}
void unlock() {locked_ = false;}
bool locked() const {return locked_;}
};
int main()
{
{
L0 l0;
L0 l1;
assert(std::try_lock(l0, l1) == -1);
assert(l0.locked());
assert(l1.locked());
}
{
L0 l0;
L1 l1;
assert(std::try_lock(l0, l1) == 1);
assert(!l0.locked());
assert(!l1.locked());
}
{
L1 l0;
L0 l1;
assert(std::try_lock(l0, l1) == 0);
assert(!l0.locked());
assert(!l1.locked());
}
{
L0 l0;
L2 l1;
try
{
std::try_lock(l0, l1);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
}
}
{
L2 l0;
L0 l1;
try
{
std::try_lock(l0, l1);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
}
}
#ifndef _LIBCPP_HAS_NO_VARIADICS
{
L0 l0;
L0 l1;
L0 l2;
assert(std::try_lock(l0, l1, l2) == -1);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
}
{
L1 l0;
L1 l1;
L1 l2;
assert(std::try_lock(l0, l1, l2) == 0);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L2 l0;
L2 l1;
L2 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L0 l0;
L1 l1;
L2 l2;
assert(std::try_lock(l0, l1, l2) == 1);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L0 l0;
L0 l1;
L1 l2;
assert(std::try_lock(l0, l1, l2) == 2);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L0 l0;
L1 l1;
L0 l2;
assert(std::try_lock(l0, l1, l2) == 1);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L1 l0;
L0 l1;
L0 l2;
assert(std::try_lock(l0, l1, l2) == 0);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L0 l0;
L0 l1;
L2 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L0 l0;
L2 l1;
L0 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L0 l1;
L0 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L1 l0;
L1 l1;
L0 l2;
assert(std::try_lock(l0, l1, l2) == 0);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L1 l0;
L0 l1;
L1 l2;
assert(std::try_lock(l0, l1, l2) == 0);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L0 l0;
L1 l1;
L1 l2;
assert(std::try_lock(l0, l1, l2) == 1);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L1 l0;
L1 l1;
L2 l2;
assert(std::try_lock(l0, l1, l2) == 0);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L1 l0;
L2 l1;
L1 l2;
assert(std::try_lock(l0, l1, l2) == 0);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L2 l0;
L1 l1;
L1 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L2 l1;
L0 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L0 l1;
L2 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L0 l0;
L2 l1;
L2 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L2 l1;
L1 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L1 l1;
L2 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L1 l0;
L2 l1;
L2 l2;
assert(std::try_lock(l0, l1, l2) == 0);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L0 l0;
L2 l1;
L1 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L1 l0;
L0 l1;
L2 l2;
assert(std::try_lock(l0, l1, l2) == 0);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L1 l0;
L2 l1;
L0 l2;
assert(std::try_lock(l0, l1, l2) == 0);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
{
L2 l0;
L0 l1;
L1 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L1 l1;
L0 l2;
try
{
std::try_lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L0 l0;
L0 l1;
L0 l2;
L0 l3;
assert(std::try_lock(l0, l1, l2, l3) == -1);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
assert(l3.locked());
}
{
L1 l0;
L0 l1;
L0 l2;
L0 l3;
assert(std::try_lock(l0, l1, l2, l3) == 0);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
assert(!l3.locked());
}
{
L0 l0;
L1 l1;
L0 l2;
L0 l3;
assert(std::try_lock(l0, l1, l2, l3) == 1);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
assert(!l3.locked());
}
{
L0 l0;
L0 l1;
L1 l2;
L0 l3;
assert(std::try_lock(l0, l1, l2, l3) == 2);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
assert(!l3.locked());
}
{
L0 l0;
L0 l1;
L0 l2;
L1 l3;
assert(std::try_lock(l0, l1, l2, l3) == 3);
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
assert(!l3.locked());
}
#endif // _LIBCPP_HAS_NO_VARIADICS
}
Reference in New Issue View Git Blame Copy Permalink