設計線程安全類時避免嵌套調用造成死鎖

我知道我可以在一個類中使用一個mutex成員，並將其鎖定在每個方法中以防止多線程環境中的數據競爭。但是，如果在類的方法中存在嵌套調用，如下面的類中的add_one()和add_two()，則此方法可能會導致死鎖。對每種方法使用不同的mutex是一種解決方法。但是，在嵌套調用的情況下，是否有更原則更優雅的方法來防止死鎖？設計線程安全類時避免嵌套調用造成死鎖

class AddClass { 
public: 
    AddClass& operator=(AddClass const&) = delete; // disable copy-assignment constructor 
    AddClass(int val) : base(val) {} 
    int add_one() { return ++base; } 
    int add_two() { 
    add_one; 
    add_one; 
    return base; 
    } 
private: 
    int base; 
};

來源

2017-01-01 ROBOT AI

有std::recursive_mutex正是爲了這個目的。

是避免開銷遞歸互斥體發生的另一種方法是從民辦非同步執行獨立的公同步接口：

class AddClass { 
public: 
    AddClass& operator=(AddClass const&) = delete; // disable copy-assignment constructor 
    AddClass(int val) : base(val) {} 
    int add_one() { 
    std::lock_guard<std::mutex> guard{mutex}; 
    return add_one_impl(); 
    } 
    int add_two() { 
    std::lock_guard<std::mutex> guard{mutex}; 
    return add_two_impl(); 
    } 
private: 
    int base; 
    std::mutex mutex; 
    int add_one_impl() { 
    return ++base; 
    } 
    int add_two_impl() { 
    add_one_impl(); 
    add_one_impl(); 
    return base; 
    } 
};

但是請注意，這是不可能的。例如，如果您有一個接受回調並在持有鎖的同時調用它的方法，則回調可能會嘗試調用您的類的其他公共方法，並且您將再次面臨雙重鎖定嘗試。

來源

2017-01-01 16:08:25

鎖定和實現的關注分離是正確的方法。遞歸互斥應該是最後的手段。 +1 –