C ++意外的多线程行为

时间:2017-04-12 03:27:16

标签: c++ multithreading mutex

我正在使用互斥锁在C ++中使用多线程。我的代码如下:

#include "stdafx.h"
#include <thread>
#include <iostream>
#include <string>
#include <mutex>
using namespace std;

std::mutex mu;

void shared_print(string msg, int i) {
    std::lock_guard<std::mutex> guard(mu);
    cout << msg << i << endl;
}

void function_1() {
    for (int i = 0; i > -3; i--)
        shared_print("Thread1: ", i);
}

int main() {
    std::thread thread1(function_1);

    for (int i = 0; i < 3; i++)
        shared_print("Main: ", i);

    thread1.join();
    return 0;
}

根据我的理解,互斥锁一次只允许访问单个资源。因此,互斥锁将被调用它的第一个线程(Thread1)锁定。当main线程尝试访问互斥锁时,它将被阻止,直到互斥锁被Thread1解锁。一旦执行了cout,它将被取消阻止,main将被允许执行。

我希望结果是交错调用,例如Thread1, Main, Thread1, Main等。

但是,我在标准输出中获得了以下结果。对于任意数量的迭代,模式保持不变:

Thread1: 0
Thread1: -1
Thread1: -2
Main: 0
Main: 1
Main: 2

1 个答案:

答案 0 :(得分:2)

首先要意识到执行的顺序是非确定性的,所以你得到的是完全有效的 - 下次你运行它时,你可能得到一个完全不同的顺序。

我将每个线程的迭代次数增加到32.运行它,最后几次迭代看起来像这样:

Thread1: -22
Main: 22
Thread1: -23
Main: 23
Main: 24
Thread1: -24
Main: 25
Thread1: -25
Main: 26
Thread1: -26
Main: 27
Thread1: -27
Thread1: -28
Thread1: -29
Main: 28
Main: 29
Main: 30
Main: 31
Thread1: -30
Thread1: -31

因此,有时我们会进行交错,有时我们会从一个线程获得短期运行(在这种情况下,这是最长的4次)。其他时候我运行它,我得到了完美的交错,所以整个事情是从线程1的一个输出,然后是Main的一个输出,并重复。

底线:您的代码按预期工作。