Как часто mutex :: lock () проверяет наличие разблокированного состояния, если оно уже заблокировано другим потоком?

В соответствии с cppreference, построение std::lock_guard с std::mutex параметр вызывает lock() метод этого mutex,

В соответствии с cplusplus, относительно mutex«s lock() метод:

Если мьютекс заблокирован другим потоком, выполнение вызова
поток заблокирован, пока не будет разблокирован другим потоком …

Я не уверен, правильно ли сформулирован титульный вопрос, поэтому я поставил его в контексте приведенного ниже кода.

Я хотел проверить это и посмотреть, действительно ли вызывающий поток ожидает разблокировки вместо того, чтобы завершить выполнение своего вызываемого объекта (например, функции, функтора, лямбды) и / или выдать исключение. Следующий код имеет два потока t1 а также t2каждая построена с указателем на одну и ту же функцию foo, Каждый звонок foo будут sleep_for определенное количество времени, определяемое foo«s unsigned параметр numперед выполнением кода, защищенного блокировкой. Сам код, защищенный замком, содержит другой sleep_for период, чтобы сделать любой заблокированный период выполнения более очевидным:

#include <iostream>
#include <thread>
#include <mutex>
#include <chrono>

std::mutex m;

void foo(unsigned num) {
std::this_thread::sleep_for(std::chrono::milliseconds(num * 10));
std::lock_guard<std::mutex> guard(m);
std::this_thread::sleep_for(std::chrono::milliseconds(3000));
std::cout << num << std::endl;
}

int main() {
std::thread t1(foo, 10);
std::thread t2(foo, 5);
t1.join();
t2.join();
}

Консольный вывод:

5
10

Это займет около / не менее 3,05 секунд для 5 выводить. Это займет около / по крайней мере дополнительные 3 секунды для 10 выводить. Это означает t2 сначала выполняет защищенный код, так как он имеет меньшее время ожидания перед блокировкой mutex,

Я полагаю, однажды звонок foo из потока t1 добирается до lock_guard линия и находит mutex был уже заблокирован t2, t1 не прекращает выполнение или не генерирует исключение. t1 просто ждет его разблокировки.

Как часто std::mutex::lock() или же std::lock_guard сделать эту проверку для разблокировки? Насколько дорогой чек? Проверка выполняется следующим образом?

while (some_mutex.try_lock() == false) {
std::this_thread::sleep_for(std::chrono::milliseconds(1))
}
// execute lock-protected code