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 \ п \ п" показывается --- > wait for sec ---> Отображается «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 \ п \ п" показывается ---> ожидание для sec ---> «Привет, мир».
Кажется, что основной поток и t и t2 ожидают в течение 4 секунд одновременно.

Как объяснить все это?

Answer 1

Без использования блокировок (как правило, семафоров в вашем случае) вы просто не можете предсказать порядок выполнения вашей нити. Только этот планировщик процессов определит это (очень низкий уровень, который помогает вашему процессору переключаться между контекстами).

В вашем первом случае начинается два потока, а после 4 секунд печатается «funcX» (что соответствует их функциям). Основной поток будет ждать потоков для соединения (цель метода соединения), а затем ждать 8 секунд перед печатью «hello world»: метод join заблокирует выполнение основного потока до тех пор, пока потоки не будут выполнены.

В вашем втором случае потоки присоединяются ПОСЛЕ ожидания 8 секунд: фактически главный поток и два других ждут в одно и то же время. Итак, через 4 секунды они печатают свое сообщение, а спустя 4 секунды (главное уже ждало 4 сек.) Появляется «привет мир»!

Надеюсь, это поможет вам понять, что здесь происходит!