В данном случае можно добиться строго одинаковой последовательности доступа путем сравнения указателей на объекты для определения порядка:
void transfer(Account& from, Account& to, double value)
{
auto p_first{::std::addressof(from)};
auto p_second{::std::addressof(to)};
if(p_first == p_second)
{
return;
}
auto const address_first{reinterpret_cast<::std::uintptr_t>(p_first)};
auto const address_second{reinterpret_cast<::std::uintptr_t>(p_second)};
if(address_first > address_second)
{
::std::swap(p_first, p_second);
}
::std::lock_guard<::std::mutex> const lock_first{p_first->mutex};
::std::lock_guard<::std::mutex> const lock_second{p_second->mutex};
from.amount -= value;
to.amount += value;
}
transfer()
) и лочьте его в началеtransfer()
. / Если потоков много (т.е. вы хотите, чтобы несколько не пересекающихся по счетам вызовов работали одновременно), то придется переработать алгоритм и сделать порядок доступа одним и тем же.