线程C11无法解释原因

Question

我在Ubuntu13.04桌面上运行这个非常简单的程序，但是如果我注释掉sleep_for一行，它会在从main打印cout后挂起。有人能解释为什么吗？据我所知，main是一个线程，t是另一个线程，在本例中，互斥体管理共享cout对象的同步。

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

using namespace std;
std::mutex mu;

void show()
{
 std::lock_guard<mutex> locker(mu);
 cout<<"this is from inside the thread"<<endl;
}

int main()
{
 std::thread t(show);
 std::this_thread::sleep_for(std::chrono::milliseconds(1000));
 std::lock_guard<mutex> locker(mu);
 cout<<"This is from inside the main"<<endl;
 t.join();
 return 0;
}

Answer 1

这只是一个典型的死锁：主线程获得锁，然后阻止连接另一个线程，但另一个线程只有在成功获得锁的情况下才能连接。

Answer 2

如果按如下方式切换到main功能，代码将按预期工作：

int main()
{
    std::thread t(show);
    {
        std::lock_guard<mutex> locker(mu);
        cout << "This is from inside the main" << endl;
    } // automatically release lock
    t.join();
}

在您的代码中，存在一个不幸的竞争条件。如果线程t首先获得锁，则一切正常。但是，如果主线程首先获得锁，它将保持锁，直到main函数结束。这意味着，线程t没有机会获得锁，无法完成，主线程将阻塞t.join（）。