Question

在询问有关互斥锁here的问题后，我被警告死锁。

我下面放在一起的例子是否是避免死锁的合理方法？

class Foo
{
public:
    Foo();

    void Thread();

    int GetWidgetProperty();
    int GetGadgetProperty();

private:

    Widget widget_;
    Gadget gadget_;

    VDK::MutexID widgetLock;
    VDK::MutexID gadgetLock;
};


Foo::Foo()
    : widget_(42)
    , gadget_(widget_)
{
    widgetLock = VDK::CreateMutex();
    gadgetLock = VDK::CreateMutex();
}

void Foo::Thread()
{
    while(1)
    {
        VDK::AcquireMutex(widgetLock);
        // Use widget
        VDK::ReleaseMutex(widgetLock);

        VDK::AcquireMutex(widgetLock);
        VDK::AcquireMutex(gadgetLock);
        // use gadget
        VDK::ReleaseMutex(widgetLock);
        VDK::ReleaseMutex(gadgetLock);
    }
}

int Foo::GetWidgetProperty()
{
    VDK::AcquireMutex(widgetLock);
    return widget_.GetProp();
    VDK::ReleaseMutex(widgetLock);
}

int Foo::GetGadgetProperty()
{
    VDK::AcquireMutex(widgetLock);
    VDK::AcquireMutex(gadgetLock);
    return gadget.GetProp();
    VDK::ReleaseMutex(widgetLock);
    VDK::ReleaseMutex(gadgetLock);  
}

由于调用GetGadgetProperty可能导致使用小部件，我猜测我们还需要在这里用锁来保护我们自己。我的问题是，我是否要求并以正确的顺序发布它们？

Answer 1

您的代码有明显的死锁。您不能在return语句后释放互斥锁。更重要的是，以反向（锁定）顺序解锁它们会更好。正确的代码应如下所示：

int Foo::GetWidgetProperty()
{
    VDK::AcquireMutex(widgetLock);
    int ret = widget_.GetProp();
    VDK::ReleaseMutex(widgetLock);
    return ret;
}

int Foo::GetGadgetProperty()
{
    VDK::AcquireMutex(widgetLock);
    VDK::AcquireMutex(gadgetLock);
    int ret = gadget.GetProp();
    VDK::ReleaseMutex(gadgetLock);  
    VDK::ReleaseMutex(widgetLock);
    return ret;
}

Answer 2

更好的方法是依靠RAII为你完成这项工作。

我邀请您阅读std::lock_guard。基本原则是通过声明对象来获取互斥锁。并且互斥锁在其生命周期结束时自动释放。

现在，您可以将块作用域用于需要以这种方式锁定互斥锁的代码区域：

{
    std::lock_guard lockWidget{widgetMutex};//Acquire widget mutex
    std::lock_guard lockGadget{gadgetMutex};//Acquire gadget mutex
    //do stuff with widget/gadget
    //...
    //As the lock_guards go out of scope in the reverse order of 
    //declaration, the mutexes are released
}

当然，这适用于标准库互斥体，因此您必须适应您的使用。

这样可以防止出现错误，例如在返回语句之后尝试释放互斥锁，这显然永远不会发生，或者面对在实际释放互斥锁之前发生的异常。

互斥和死锁

2 个答案: