ACE中的Double Checked Locking 模式
(作者:Douglas C. Schmidt ,
by huihoo.org CORBA課題 Thzhang 譯 , Allen整理,制作)
意圖
無論什么時(shí)候當(dāng)臨界區(qū)中的代碼僅僅需要加鎖一次，同時(shí)當(dāng)其獲取鎖的時(shí)候必須是線程安全的，可以用Double Checked Locking 模式來減少競爭和加鎖載荷。
動機(jī)
1、標(biāo)準(zhǔn)的單例。開發(fā)正確的有效的并發(fā)應(yīng)用是困難的。程序員必須學(xué)習(xí)新的技術(shù)（并發(fā)控制和防止死鎖的算法）和機(jī)制（如多線程和同步API）。此外，許多熟悉的設(shè)計(jì)模式（如單例和迭代子）在包含不使用任何并發(fā)上下文假設(shè)的順序程序中可以工作的很好。為了說明這點(diǎn)，考慮一個(gè)標(biāo)準(zhǔn)的單例模式在多線程環(huán)境下的實(shí)現(xiàn)。單例模式保證一個(gè)類僅有一個(gè)實(shí)例同時(shí)提供了全局唯一的訪問這個(gè)實(shí)例的入口點(diǎn)。在c++程序中動態(tài)分配單例對象是通用的方式，這是因?yàn)閏++程序沒有很好的定義靜態(tài)全局對象的初始化次序，因此是不可移植的。而且，動態(tài)分配避免了單例對象在永遠(yuǎn)沒有被使用情況下的初始化開銷。
class Singleton
{
public:
static Singleton *instance (void)
{
if (instance_ == 0)
// Critical section.
instance_ = new Singleton;
return instance_;
}
void method (void);
// Other methods and members omitted.
private:
static Singleton *instance_;
};
應(yīng)用代碼在使用單例對象提供的操作前，通過調(diào)用靜態(tài)的instance方法來獲取單例對象的引用，如下所示：
Singleton::instance ()->method ();
2、問題：競爭條件。不幸的是，上面展示的標(biāo)準(zhǔn)單例模式的實(shí)現(xiàn)在搶先多任務(wù)和真正并行環(huán)境下無法正常工作。例如，如果在并行主機(jī)上運(yùn)行的多個(gè)線程在單例對象初始化之前同時(shí)調(diào)用Singleton::instance方法，Singleton的構(gòu)造函數(shù)將被調(diào)用多次，這是因?yàn)槎鄠€(gè)線程將在上面展示的臨界區(qū)中執(zhí)行new singleton操作。臨界區(qū)是一個(gè)必須遵守下列定式的指令序列：當(dāng)一個(gè)線程/進(jìn)程在臨界區(qū)中運(yùn)行時(shí)，沒有其他任何線程/進(jìn)程會同時(shí)在臨界區(qū)中運(yùn)行。在這個(gè)例子中，單例的初始化過程是一個(gè)臨界區(qū)，違反臨界區(qū)的原則，在最好的情況下將導(dǎo)致內(nèi)存泄漏，最壞的情況下，如果初始化過程不是冪等的（idempotent.），將導(dǎo)致嚴(yán)重的后果。
3、 通常的陷阱和弊端。實(shí)現(xiàn)臨界區(qū)的通常方法是在類中增加一個(gè)靜態(tài)的Mutex對象。這個(gè)Mutex保證單例的分配和初始化是原子操作，如下：
class Singleton
{
public:
static Singleton *instance (void)
{
// Constructor of guard acquires lock_ automatically.
Guard guard (lock_);
// Only one thread in the critical section at a time.
if (instance_ == 0)
instance_ = new Singleton;
return instance_;
// Destructor of guard releases lock_ automatically.
}
private:
static Mutex lock_;
static Singleton *instance_;
};
guard類使用了一個(gè)c++的習(xí)慣用法，當(dāng)這個(gè)類的對象實(shí)例被創(chuàng)建時(shí)，它使用構(gòu)造函數(shù)來自動獲取一個(gè)資源，當(dāng)類對象離開一個(gè)區(qū)域時(shí)，使用析構(gòu)器來自動釋放這個(gè)資源。通過使用guard，每一個(gè)對Singleton::instance方法的訪問將自動的獲取和釋放lock_。
即使這個(gè)臨界區(qū)只是被使用了一次，但是每個(gè)對instance方法的調(diào)用都必須獲取和釋放lock_。雖然現(xiàn)在這個(gè)實(shí)現(xiàn)是線程安全的，但過多的加鎖負(fù)載是不能被接受的。一個(gè)明顯（雖然不正確）的優(yōu)化方法是將guard放在針對instance進(jìn)行條件檢測的內(nèi)部：
static Singleton *instance (void)
{
if (instance_ == 0) {
Guard guard (lock_);
// Only come here if instance_ hasn't been initialized yet.
instance_ = new Singleton;
}
return instance_;
}
這將減少加鎖負(fù)載，但是不能提供線程安全的初始化。在多線程的應(yīng)用中，仍然存在競爭條件，將導(dǎo)致多次初始化instance_。例如，考慮兩個(gè)線程同時(shí)檢測 instance_ == 0，都將會成功，一個(gè)將通過guard獲取lock_另一個(gè)將被阻塞。當(dāng)?shù)谝痪€程初始化Singleton后釋放lock_，被阻塞的線程將獲取lock_，錯誤的再次初始化Singleton。
4、解決之道，Double Checked Locking優(yōu)化。解決這個(gè)問題更好的方法是使用Double Checked Locking。它是一種用于清除不必要加鎖過程的優(yōu)化模式。具有諷刺意味的是，它的實(shí)現(xiàn)幾乎和前面的方法一樣。通過在另一個(gè)條件檢測中包裝對new的調(diào)用來避免不必要的加鎖：
class Singleton
{
public:
static Singleton *instance (void)
{
// First check
if (instance_ == 0)
{
// Ensure serialization (guard constructor acquires lock_).
Guard guard (lock_);
// Double check.
if (instance_ == 0)
instance_ = new Singleton;
}
return instance_;
// guard destructor releases lock_.
}
private:
static Mutex lock_;
static Singleton *instance_;
};
第一個(gè)獲取lock_的線程將構(gòu)建Singleton，并將指針分配給instance_，后續(xù)調(diào)用instance方法的線程將發(fā)現(xiàn)instance_ != 0，于是將跳過初始化過程。如果多個(gè)線程試圖并發(fā)初始化Singleton，第二個(gè)檢測件阻止競爭條件的發(fā)生。在上面的代碼中，這些線程將在lock_上排隊(duì)，當(dāng)排隊(duì)的線程最終獲取lock_時(shí)，他們將發(fā)現(xiàn)instance_ != 0于是將跳過初始化過程。
上面Singleton::instance的實(shí)現(xiàn)僅僅在Singleton首次被初始化時(shí)，如果有多個(gè)線程同時(shí)進(jìn)入instance方法將導(dǎo)致加鎖負(fù)載。在后續(xù)對Singleton::instance的調(diào)用因?yàn)閕nstance_ != 0而不會有加鎖和解鎖的負(fù)載。 通過增加一個(gè)mutex和一個(gè)二次條件檢測，標(biāo)準(zhǔn)的單例實(shí)現(xiàn)可以是線程安全的，同時(shí)不會產(chǎn)生過多的初始化加鎖負(fù)載。
適應(yīng)性
> 當(dāng)一個(gè)應(yīng)用具有下列特征時(shí)，可以使用Double Checked Locking優(yōu)化模式：
1、應(yīng)用包含一個(gè)或多個(gè)需要順序執(zhí)行的臨界區(qū)代碼。
2、多個(gè)線程可能潛在的試圖并發(fā)執(zhí)行臨界區(qū)。
3、臨界區(qū)僅僅需要被執(zhí)行一次。
4、在每一個(gè)對臨界區(qū)的訪問進(jìn)行加鎖操作將導(dǎo)致過多加鎖負(fù)載。
5、在一個(gè)鎖的范圍內(nèi)增加一個(gè)輕量的，可靠的條件檢測是可行的。
結(jié)構(gòu)和參與者
通過使用偽代碼能夠最好地展示Double Checked Locking模式的結(jié)構(gòu)和參與者，圖1展示了在Double Checked Locking模式有下列參與者：
1、僅有一次臨界區(qū)（Just Once Critical Section,）。臨界區(qū)所包含的代碼僅僅被執(zhí)行一次。例如，單例對象僅僅被初始化一次。這樣，執(zhí)行對new Singleton的調(diào)用（只有一次）相對于Singleton::instance方法的訪問將非常稀少。
2、mutex。鎖被用來序列化對臨界區(qū)中代碼的訪問。
3、標(biāo)記。標(biāo)記被用來指示臨界區(qū)的代碼是否已經(jīng)被執(zhí)行過。在上面的例子中單例指針instance_被用來作為標(biāo)記。
4、 應(yīng)用線程。試圖執(zhí)行臨界區(qū)代碼的線程。
協(xié)作
圖2展示了Double Checked Locking模式的參與者之間的互動。作為一種普通的優(yōu)化用例，應(yīng)用線程首先檢測flag是否已經(jīng)被設(shè)置。如果沒有被設(shè)置，mutex將被獲取。在持有這個(gè)鎖之后，應(yīng)用線程將再次檢測flag是否被設(shè)置，實(shí)現(xiàn)Just Once Critical Section，設(shè)定flag為真。最后應(yīng)用線程釋放鎖。
結(jié)論
使用Double Checked Locking模式帶來的幾點(diǎn)好處：
1、最小化加鎖。通過實(shí)現(xiàn)兩個(gè)flag檢測，Double Checked Locking模式實(shí)現(xiàn)通常用例的優(yōu)化。一旦flag被設(shè)置，第一個(gè)檢測將保證后續(xù)的訪問不要加鎖操作。
2、防止競爭條件。對flag的第二個(gè)檢測將保證臨界區(qū)中的事件僅實(shí)現(xiàn)一次。
使用Double Checked Locking模式也將帶來一個(gè)缺點(diǎn)：產(chǎn)生微妙的移植bug的潛能。這個(gè)微妙的移植問題能夠?qū)е轮旅腷ug，如果使用Double Checked Locking模式的軟件被移植到?jīng)]有原子性的指針和正數(shù)賦值語義的硬件平臺上。例如，如果一個(gè)instance_指針被用來作為Singleton實(shí)現(xiàn)的flag，instance_指針中的所有位（bit）必須在一次操作中完成讀和寫。如果將new的結(jié)果寫入內(nèi)存不是一個(gè)原子操作，其他的線程可能會試圖讀取一個(gè)不健全的指針，這將導(dǎo)致非法的內(nèi)存訪問。
在一些允許內(nèi)存地址跨越對齊邊界的系統(tǒng)上這種現(xiàn)象是可能的，因此每次訪問需要從內(nèi)存中取兩次。在這種情況下，系統(tǒng)可能使用分離的字對齊合成flag，來表示instance_指針。
如果一個(gè)過于激進(jìn)（aggressive）編譯器通過某種緩沖手段來優(yōu)化flag，或是移除了第二個(gè)flag==0檢測，將帶來另外的相關(guān)問題。后面會介紹如何使用volatile關(guān)鍵字來解決這個(gè)問題。
實(shí)現(xiàn)和例子代碼
ACE在多個(gè)庫組件中使用Double Checked Locking模式。例如，為了減少代碼的重復(fù)，ACE使用了一個(gè)可重用的適配器ACE Singleton來將普通的類轉(zhuǎn)換成具有單例行為的類。下面的代碼展示了如何用Double Checked Locking模式來實(shí)現(xiàn)ACE Singleton。
// A Singleton Adapter: uses the Adapter
// pattern to turn ordinary classes into
// Singletons optimized with the
// Double-Checked Locking pattern.
template
class ACE_Singleton
{
public:
static TYPE *instance (void);
protected:
static TYPE *instance_;
static LOCK lock_;
};
template TYPE *
ACE_Singleton::instance ()
{
// Perform the Double-Checked Locking to
// ensure proper initialization.
if (instance_ == 0) {
ACE_Guard lock (lock_);
if (instance_ == 0)
instance_ = new TYPE;
}
return instance_;
}
ACE Singleton類被TYPE和LOCK來參數(shù)化。因此一個(gè)給定TYEP的類將被轉(zhuǎn)換成使用LOCK類型的互斥量的具有單例行為的類。
ACE中的Token Manager.是使用ACE Singleton的一個(gè)例子。Token Manager實(shí)現(xiàn)在多線程應(yīng)用中對本地和遠(yuǎn)端的token（一種遞歸鎖）死鎖檢測。為了減少資源的使用，Token Manager被按需創(chuàng)建。為了創(chuàng)建一個(gè)單例的Token Manager對象，只是需要實(shí)現(xiàn)下面的typedef：
typedef ACE_Singleton
Token_Mgr;
Token Manager單例將被用于本地和遠(yuǎn)端的token死鎖檢測。在一個(gè)線程阻塞等待互斥量之前，它首先查詢Token Manager單例，來測試阻塞是否會導(dǎo)致死鎖狀態(tài)。對于系統(tǒng)中的每一個(gè)token，Token Manager單例維護(hù)一個(gè)持有token線程和所有阻塞等待在該token的線程記錄鏈表。這些數(shù)據(jù)將提供充足的檢測死鎖狀態(tài)的依據(jù)。使用Token Manager單例的過程如下：
// Acquire the mutex.
int Mutex_Token::acquire (void)
{
// If the token is already held, we must block.
if (mutex_in_use ()) {
// Use the Token_Mgr Singleton to check
// for a deadlock situation *before* blocking.
if (Token_Mgr::instance ()->testdeadlock ()) {
errno = EDEADLK;
return -1;
}
else
// Sleep waiting for the lock...
// Acquire lock...
}
變化
一種變化的Double Checked Locking模式實(shí)現(xiàn)可能是需要的，如果一個(gè)編譯器通過某種緩沖方式優(yōu)化了flag。在這種情況下，緩沖的粘著性（coherency）將變成問題，如果拷貝flag到多個(gè)線程的寄存器中，會產(chǎn)生不一致現(xiàn)象。如果一個(gè)線程更改flag的值將不能反映在其他線程的對應(yīng)拷貝中。
另一個(gè)相關(guān)的問題是編譯器移除了第二個(gè)flag==0檢測，因?yàn)樗鼘τ诔钟懈叨葍?yōu)化特性的編譯器來說是多余的。例如，下面的代碼在激進(jìn)的編譯器下將被跳過對flag的讀取，而是假定instance_還是為0，因?yàn)樗鼪]有被聲明為volatile的。
Singleton *Singleton::instance (void)
{
if (Singleton::instance_ == 0)
{
// Only lock if instance_ isn't 0.
Guard guard (lock_);
// Dead code elimination may remove the next line.
// Perform the Double-Check.
if (Singleton::instance_ == 0)
// ...
解決這兩個(gè)問題的一個(gè)方法是生命flag為Singleton的volatile成員變量，如下：
private:
static volatile long Flag_; // Flag is volatile.
使用volatile將保證編譯器不會將flag緩沖到編譯器，同時(shí)也不會優(yōu)化掉第二次讀操作。使用volatile關(guān)鍵字的言下之意是所有對flag的訪問是通過內(nèi)存，而不是通過寄存器。
相關(guān)模式
Double Checked Locking模式是First-Time-In習(xí)慣用法的一個(gè)變化。First-Time-In習(xí)慣用法經(jīng)常使用在類似c這種缺少構(gòu)造器的程序語言中，下面的代碼展示了這個(gè)模式：
static const int STACK_SIZE = 1000;
static T *stack_;
static int top_;
void push (T *item)
{
// First-time-in flag
if (stack_ == 0) {
stack_ = malloc (STACK_SIZE * sizeof *stack);
assert (stack_ != 0);
top_ = 0;
}
stack_[top_++] = item;
// ...
}
第一次push被調(diào)用時(shí)，stack_是0，這將導(dǎo)致觸發(fā)malloc來初始化它自己。