c++多线程：执行顺序

Question

我做了一个测试，但我不知道线程的执行顺序。

这是我的代码：

void func1()
{
    std::this_thread::sleep_for(std::chrono::milliseconds(4000));
    std::cout<<"func1"<<std::endl;
}

void func2()
{
    std::this_thread::sleep_for(std::chrono::milliseconds(4000));
    std::cout<<"func2"<<std::endl;
}
int main()
{
    std::thread t(func1);
    std::thread t2(func2);

    t.join();
    t2.join();
    std::this_thread::sleep_for(std::chrono::milliseconds(8000));

    cout << "Hello World" << endl; 

    return 0;
}

在这种情况下，我得到以下结果：
等待 4 秒 ---> 显示“func1func2\n\n” ---> 等待 8 秒 ---> 显示“Hello world”。

如果我将main 中的代码顺序更改如下：

t.join();
std::this_thread::sleep_for(std::chrono::milliseconds(8000));
t2.join();

我可以得到和上面一样的结果。

但是，如果我这样更改：

std::this_thread::sleep_for(std::chrono::milliseconds(8000));
t.join();
t2.join();

结果变成：
等待 4 秒 ---> 显示“func1func2\n\n” ---> 等待 4 秒 ---> 显示“Hello world”。
在这种情况下，似乎主线程和t和t2同时等待了4秒。

如何解释所有这些？

Answer 1

如果不使用锁（在您的情况下通常是信号量），您将无法预测线程的执行顺序。只有您的进程调度程序会确定这一点（非常低的级别，这有助于您的处理器在上下文之间切换）。

在您的第一种情况下，两个线程启动，并在 4 秒后打印“funcX”（对应于它们的功能）。 主线程将等待线程加入（join 方法的目的），然后等待 8 秒再打印“hello world”：join 方法将阻塞主线程的执行，直到线程完成。

在第二种情况下，线程在等待 8sec 后加入：实际上主线程和其他两个线程同时等待。所以 4 秒后他们打印了他们的消息，4 秒后（主已经等了 4 秒）“hello world”出现了！

希望它能帮助您了解这里发生了什么！