作用:给定2个及以上个锁,按照从构造函数实参列表左到右的顺序进行上锁,且没有副作用,当且仅当有一个及以上的锁上锁失败,则所有的锁都不会进行上锁:
template<class _Lock0,
class _Lock1,
class... _LockN> inline
void lock(_Lock0& _Lk0, _Lock1& _Lk1, _LockN&... _LkN)
{
_Lock_nonmember1(_Lk0, _Lk1, _LkN...);
}
template<class _Lock0,
class _Lock1> inline
void _Lock_nonmember1(_Lock0& _Lk0, _Lock1& _Lk1)
{
while (_Lock_attempt_small(_Lk0, _Lk1) && _Lock_attempt_small(_Lk1, _Lk0))
{
}
}
template<class... _LockN> inline
int _Lock_attempt(const int _Hard_lock, _LockN&... _LkN)
{ // attempt to lock 3 or more locks, starting by locking _LkN[_Hard_lock] and trying
//to lock the rest
using _Indices = index_sequence_for<_LockN...>;
_Lock_from_locks(_Hard_lock, _Indices{}, _LkN...);
int _Failed = -1;
int _Backout_start = _Hard_lock; // that is, unlock _Hard_lock
_TRY_BEGIN
_Failed = _Try_lock_range(0, _Hard_lock, _LkN...);
if (_Failed == -1)
{
_Backout_start = 0; // that is, unlock [0, _Hard_lock] if the next throws
_Failed = _Try_lock_range(_Hard_lock + 1, sizeof...(_LockN), _LkN...);
if (_Failed == -1)
{ // we got all the locks
return (-1);
}
}
_CATCH_ALL
_Unlock_locks(_Backout_start, _Hard_lock + 1, _Indices{}, _LkN...);
_RERAISE;
_CATCH_END
// we didn't get all the locks, backout
_Unlock_locks(_Backout_start, _Hard_lock + 1, _Indices{}, _LkN...);
_STD this_thread::yield();
return (_Failed);
}