Live lock — это ситуация, когда несколько потоков постоянно меняют своё состояние в ответ на действия друг друга, но при этом никто не достигает прогресса. Это отличается от dead lock тем, что потоки не блокируются полностью, а продолжают выполнение, но не продвигаются вперёд.
Простой пример: два вежливых сотрудника идут навстречу друг другу по коридору. Когда они встречаются, первый отходит вправо, а второй — влево. Они снова оказываются друг напротив друга. Первый отходит влево, а второй — вправо, но вновь оказываются на пути друг друга.
Ниже приведён пример, который воспроизводит эту ситуацию. В большинстве случаев программа будет крутиться в бесконечном цикле.
#include <iostream>
#include <thread>
enum class Position
{
left,
right
};
void moveA(Position& positionA, const Position& positionB)
{
while (true)
{
if (positionA != positionB)
{
break;
}
if (positionB == Position::right)
{
std::cout << "A sees B on the right, moves back to left\n";
positionA = Position::left;
}
std::cout << "A moves to the right\n";
positionA = Position::right;
}
}
void moveB(const Position& positionA, Position& positionB)
{
while (true)
{
if (positionA != positionB)
{
break;
}
if (positionA == Position::right)
{
std::cout << "B sees A on the right, moves back to left\n";
positionB = Position::left;
}
std::cout << "B moves to the right\n";
positionB = Position::right;
}
}
int main()
{
Position positionA{Position::left};
Position positionB{Position::left};
std::thread t1(moveA, std::ref(positionA), std::cref(positionB));
std::thread t2(moveB, std::cref(positionA), std::ref(positionB));
t1.join();
t2.join();
}
