1

我在 32 核计算机上运行以下程序:

#include<iostream>
#include<algorithm>
#include<boost/thread.hpp>
using namespace std;

boost::thread_group g;
boost::mutex _mtx;

class A{
public:
    void foo()
    {   
        for(int ix = 0; ix < 10000000; ++ix)
                vec.push_back(ix);
        sort(vec.rbegin(), vec.rend());    
    }   
private:
        vector<int> vec;
};

void thread_fun()
{
    A a;
    _mtx.lock();   //line 24
    a.foo();
    _mtx.unlock();  //line 26
}

int main()
{
        g.add_thread(new boost::thread(thread_fun));
        g.add_thread(new boost::thread(thread_fun)); //line 32

        g.join_all();
}
  1. 注释第 24、26 和 32 行需要 9 秒才能完成。
  2. 只有第 24、26 行注释和 32 未注释,完成也需要 9 秒。
  3. 没有注释行需要 18 秒才能完成

我认为这两个线程是独立的,是否有锁都没有关系a.foo()。但确实如此,为什么呢?

4

2 回答 2

1

互斥体意味着一次只有一个线程可以输入一段代码。这意味着第 24 行的第一个线程将阻塞第二个线程,直到第一个线程到达第 26 行。

换句话说,当他们都试图获取互斥锁时,互斥锁确实使一个线程依赖于另一个线程。

于 2013-10-02T04:44:01.863 回答
1

是的,这两个线程是独立的,但它们使用的互斥锁是相同的。因此,如果该互斥锁被锁定,那么线程将被卡住,直到互斥锁被另一个线程释放。

于 2013-10-02T06:59:49.130 回答