Как работает механизм атомарного залочивания двух мьютексов?

Для корректной атомарной блокировки двух мьютексов используется функция std::lock. Она гарантирует, что либо оба мьютекса будут успешно заблокированы, либо ни один из них.

Алгоритм std::lock следующий:

1. Пытается заблокировать первый мьютекс.
2. Если успешно, пытается заблокировать второй мьютекс.
3. Если второй мьютекс также успешно заблокирован, оба мьютекса остаются заблокированными.
4. Если заблокировать второй мьютекс не удалось (например, он уже заблокирован другим потоком), то блокировка с первого мьютекса снимается, и функция ждет, пока оба мьютекса станут свободными, затем повторяет попытку.

Это предотвращает взаимные блокировки (deadlock), которые могли бы возникнуть при последовательной блокировке вручную:

cpp