mutex分为递归（以下简写为rm）和非递归（以下简写为nrm）两种，它们的唯一区别在于：同一个线程可以重复对rm加锁，但是不能重复对nrm加锁。

虽然rm使用起来要更加方便一些，并且不用考虑一个线程将自己锁死的问题，但是它可能会隐藏代码中的一些问题。例如：自以为拿到一个锁可以对对象进行修改时，外层代码已经拿到了锁，并且在此时正在修改这个对象。

MutexLock mutex;

vector<Foo> foos;

void post(const Foo& f)

{

    MutexLockGuard lock(mutex);

    foos.push_back(f);

}

void traverse()

{

    MutexLockGuard lock(mutex);

    for (vector<Foo>::const_iterator it = foos.begin(); it != foos.end(); ++it)

    {

        /*

            假设Foo::doit()会间接调用post。

        */

        it->doit();

    }

}

此时若假设mutex是递归的，将会出现死锁的情况。

若mutex是非递归的，push_back可能会导致vector迭代器失效，从而导致程序崩溃。

由于死锁更容易debug，因此使用nrm可以更快速的找到代码的逻辑错误进行修改。

此时有两种改进方式：一是把对foos的修改推后，先记录要修改的元素，等遍历完foos后再进行修改；二是copy-on-write。

巴特西

只使用非递归的mutex

mutex分为递归（以下简写为rm）和非递归（以下简写为nrm）两种，它们的唯一区别在于：同一个线程可以重复对rm加锁，但是不能重复对nrm加锁。

最新文章

热门文章