多執行緒請勿使用雙重檢驗鎖保護資料初始化

在前些年，雙重檢驗鎖據說被廣泛的運用。其形式如下：

#include #include using namespace std;
class someobject
};class badatempt
}		somedetail->hello();
}};

首先要明確的是為什麼要用雙重檢驗鎖：為了保護資料的初始化過程，光這麼說你或許還不能了解其真正內涵，那咱們首先這麼想，先不管多執行緒，在單程序下建立乙個類的例項，badatempt a;就行了，我們要明確的是這個例項中有個型別為someobject的成員變數沒有初始化。為什麼要用指標，就是為了延遲初始化，因為或許你一輩子都不會在這個例項中使用這個成員變數，那又何必初始化它占用多餘的空間。使用指標初始化，就需要考慮多執行緒所帶來的問題了。

多執行緒是併發執行的，在同一時間對同乙個例項，可能有多個執行緒同時初始化這個someobject型別的成員變數，因為在它們看來，這個變數都還未初始化。

void init()
somedetail->hello();
}

這當然就會導致異常了，那你說好，那我加個鎖不就行了。

void init()
somedetail->hello();
}//釋放鎖，允許下個阻塞的執行緒上鎖繼續。

這確實行，但你不覺得慢麼，會相當慢，因為這種情況下如果有100個執行緒同時初始化，第乙個執行緒上鎖，其他99個就得等。第乙個結束了，第二個上鎖，其他98個等……這叫做執行緒的序列化，多執行緒硬生生變成了好像單程序一樣順序執行。

所以應運而生了雙重檢驗鎖

void init()
}//ok,釋放鎖，其他所有執行緒都不會再序列化的被阻塞。
somedetail->hello();
}

看我的注釋，你會感覺這種方式，哎喲不錯哦。但它其實內涵乙個惡劣的race condition。你要注意乙個關鍵點，這個關鍵點也是避免序列化的關鍵：第乙個判斷沒有上鎖，你再注意第二個關鍵點：判斷如果是false，接下來的語句是somedetail指標呼叫hello函式。仔細想想，在多執行緒併發情況下，如果乙個執行緒已經進行到了給指標賦予指向的物件的語句並且正在賦值還沒賦值完（正在執行第8行），其他執行緒是可以進行第乙個判斷的因為第乙個判斷沒有上鎖，但是它判斷的是false!它以為指標已經指向了正確的物件，然後它就繼續呼叫hello()，自然而然，未定義的情況就出現了。這確實是個不容易發現但很致命的race condition。

你說那怎麼辦？初始化後不直接呼叫指標？總不是個長久之計（甚至連個計都算不上）。

class a
void somedetailhello()
};

****** and easy.

多執行緒請勿使用雙重檢驗鎖保護資料初始化

多執行緒中鎖的使用

多執行緒中鎖的使用

C 多執行緒中鎖的使用

多執行緒請勿使用雙重檢驗鎖保護資料初始化

多執行緒中鎖的使用

多執行緒中鎖的使用

C 多執行緒中鎖的使用

相關推薦