來自:夢在天涯C++博客(http://www.shnenglu.com/mzty/)
一 線程
1)如果你正在編寫C/C++代碼,決不應該調用CreateThread。相反,應該使用VisualC++運行期庫函數_beginthreadex,退出也應該使用_endthreadex。如果不使用Microsoft的VisualC++編譯器,你的編譯器供應商有它自己的CreateThred替代函數。不管這個替代函數是什么,你都必須使用。
2)因為_beginthreadex和_endthreadex是CRT線程函數,所以必須注意編譯選項runtimelibaray的選擇,使用MT或MTD。
3) _beginthreadex函數的參數列表與CreateThread函數的參數列表是相同的,但是參數名和類型并不完全相同。這是因為Microsoft的C/C++運行期庫的開發小組認為,C/C++運行期函數不應該對Windows數據類型有任何依賴。_beginthreadex函數也像CreateThread那樣,返回新創建的線程的句柄。
4)下面是關于_beginthreadex的一些要點:
•每個線程均獲得由C/C++運行期庫的堆棧分配的自己的tiddata內存結構。(tiddata結構位于Mtdll.h文件中的VisualC++源代碼中)。
•傳遞給_beginthreadex的線程函數的地址保存在tiddata內存塊中。傳遞給該函數的參數也保存在該數據塊中。
•_beginthreadex確實從內部調用CreateThread,因為這是操作系統了解如何創建新線程的唯一方法。
•當調用CreatetThread時,它被告知通過調用_threadstartex而不是pfnStartAddr來啟動執行新線程。還有,傳遞給線程函數的參數是tiddata結構而不是pvParam的地址。
•如果一切順利,就會像CreateThread那樣返回線程句柄。如果任何操作失敗了,便返回NULL。
5) _endthreadex的一些要點:
•C運行期庫的_getptd函數內部調用操作系統的TlsGetValue函數,該函數負責檢索調用線程的tiddata內存塊的地址。
•然后該數據塊被釋放,而操作系統的ExitThread函數被調用,以便真正撤消該線程。當然,退出代碼要正確地設置和傳遞。
6) 雖然也提供了簡化版的的_beginthread和_endthread,但是可控制性太差,所以一般不使用。
6)線程handle因為是內核對象,所以需要在最后close handle。
7)C++主線程的終止,同時也會終止所有主線程創建的子線程,不管子線程有沒有執行完畢。
8)如果某線程掛起,然后有調用WaitForSingleObject等待該線程,就會導致死鎖。
二 線程同步之Critical Sections
1) 因為Critical Sections不是內核對象,所以只能用來同一進程內線程間的同步,不能用來多個不同進程間的線程的同步。
2) 如果在Critical Sections中間突然程序crash或是exit而沒有調用LeaveCriticalSection,則結果是該線程所對應的內核不能被釋放,該線程成為死線程。
3) 要比其他的內核對象的速度要快。
4)很好的封裝:
class CritSect
{
public:
friend class Lock;
CritSect() { InitializeCriticalSection(&_critSection); }
~CritSect() { DeleteCriticalSection(&_critSection); }
private:
void Acquire(){EnterCriticalSection(&_critSection);}
void Release(){LeaveCriticalSection(&_critSection);}
CRITICAL_SECTION _critSection;
};
class Lock
{
public:
Lock(CritSect& critSect):_critSect(critSect) { _critSect.Acquire(); }
~Lock(){_critSect.Release();}
private:
CritSect& _critSect;
};
調用:CritSect sect;Lock lock(sect);
三 線程同步之Mutex
1)互斥對象(mutex)內核對象能夠確保線程擁有對單個資源的互斥訪問權。實際上互斥對象是因此而得名的。互斥對象包含一個使用數量,一個線程ID和一個遞歸計數器。
2) 互斥對象的行為特性與關鍵代碼段相同,但是互斥對象屬于內核對象,而關鍵代碼段則屬于用戶方式對象。這意味著互斥對象的運行速度比關鍵代碼段要慢。但是這也意味著不同進程中的多個線程能夠訪問單個互斥對象,并且這意味著線程在等待訪問資源時可以設定一個超時值。
3) ID用于標識系統中的哪個線程當前擁有互斥對象,遞歸計數器用于指明該線程擁有互斥對象的次數。
4) 互斥對象有許多用途,屬于最常用的內核對象之一。通常來說,它們用于保護由多個線程訪問的內存塊。如果多個線程要同時訪問內存塊,內存塊中的數據就可能遭到破壞。互斥對象能夠保證訪問內存塊的任何線程擁有對該內存塊的獨占訪問權,這樣就能夠保證數據的完整性。
5)互斥對象的使用規則如下:
• 如果線程ID是0(這是個無效ID),互斥對象不被任何線程所擁有,并且發出該互斥對象的通知信號。
• 如果ID是個非0數字,那么一個線程就擁有互斥對象,并且不發出該互斥對象的通知信號。
• 與所有其他內核對象不同, 互斥對象在操作系統中擁有特殊的代碼,允許它們違反正常的規則。
四 線程同步之Event
1)在所有的內核對象中,事件內核對象是個最基本的對象。它們包含一個使用計數(與所有內核對象一樣),一個用于指明該事件是個自動重置的事件還是一個人工重置的事件的布爾值,另一個用于指明該事件處于已通知狀態還是未通知狀態的布爾值。
2)事件能夠通知一個操作已經完成。有兩種不同類型的事件對象。一種是人工重置的事件,另一種是自動重置的事件。當人工重置的事件得到通知時,等待該事件的所有線程均變為可調度線程。當一個自動重置的事件得到通知時,等待該事件的線程中只有一個線程變為可調度線程。
3)當一個線程執行初始化操作,然后通知另一個線程執行剩余的操作時,事件使用得最多。事件初始化為未通知狀態,然后,當該線程完成它的初始化操作后,它就將事件設置為已通知狀態。這時,一直在等待該事件的另一個線程發現該事件已經得到通知,因此它就變成可調度線程。
4)Microsoft為自動重置的事件定義了應該成功等待的副作用規則,即當線程成功地等待到該對象時,自動重置的事件就會自動重置到未通知狀態。這就是自動重置的事件如何獲得它們的名字的方法。通常沒有必要為自動重置的事件調用ResetEvent函數,因為系統會自動對事件進行重置。但是,Microsoft沒有為人工重置的事件定義成功等待的副作用,所以需要調用ResetEvent()。
五 線程同步之信號量(Semaphore)
信號量(Semaphore)內核對象對線程的同步方式與前面幾種方法不同,它允許多個線程在同一時刻訪問同一資源,但是需要限制在同一時刻訪問此資源的最大線程數目。在用 CreateSemaphore()創建信號量時即要同時指出允許的最大資源計數和當前可用資源計數。一般是將當前可用資源計數設置為最大資源計數,每增加一個線程對共享資源的訪問,當前可用資源計數就會減1,只要當前可用資源計數是大于0的,就可以發出信號量信號。但是當前可用計數減小到0時則說明當前占用資源的線程數已經達到了所允許的最大數目,不能在允許其他線程的進入,此時的信號量信號將無法發出。線程在處理完共享資源后,應在離開的同時通過 ReleaseSemaphore()函數將當前可用資源計數加1。在任何時候當前可用資源計數決不可能大于最大資源計數。
使用信號量內核對象進行線程同步主要會用到CreateSemaphore()、OpenSemaphore()、ReleaseSemaphore()、 WaitForSingleObject()和WaitForMultipleObjects()等函數。
六 線程同步之其他
1)線程局部存儲 (TLS),同一進程中的所有線程共享相同的虛擬地址空間。不同的線程中的局部變量有不同的副本,但是static和globl變量是同一進程中的所有線程共享的。使用TLS技術可以為static和globl的變量,根據當前進程的線程數量創建一個array,每個線程可以通過array的index來訪問對應的變量,這樣也就保證了static和global的變量為每一個線程都創建不同的副本。
2)互鎖函數的家族十分的龐大,例如InterlockedExchangeAdd()。。。,使用互鎖函數的優點是:他的速度要比其他的CriticalSection,Mutex,Event,Semaphore快很多。
3)等待函數,例如WaitForSingleObject 函數用來檢測 hHandle 事件的信號狀態,當函數的執行時間超過 dwMilliseconds 就返回,但如果參數 dwMilliseconds 為 INFINITE 時函數將直到相應時間事件變成有信號狀態才返回,否則就一直等待下去,直到 WaitForSingleObject 有返回直才執行后面的代碼。
六 《Windows核心編程(英文版·第5版)》
最好的windows多線程編程參考,更多更詳細請看原書。