編程思想之多線程與多進程(2)——線程優先級與線程安全

原文鏈接:https://blog.csdn.net/luoweifu/article/details/46701167

原文:https://blog.csdn.net/xiyangsu2617/article/details/102628442
作者:luoweifu
轉載請標名出處


編程思想之多線程與多進程(1)——以操作系統的角度述說線程與進程》一文詳細講述了線程、進程的關係及在操作系統中的表現,這是多線程學習必須瞭解的基礎。本文將接着講一下線程優先級和線程安全。


線程優先級

現在主流操作系統(如Windows、Linux、Mac OS X)的任務調度除了具有前面提到的時間片輪轉的特點外,還有優先級調度(Priority Schedule)的特點。優先級調度決定了線程按照什麼順序輪流執行,在具有優先級調度的系統中,線程擁有各自的線程優先級(Thread Priority)。具有高優先級的線程會更早地執行,而低優先級的線程通常要等沒有更高優先級的可執行線程時纔會被執行。

線程的優先級可以由用戶手動設置,此外系統也會根據不同情形調整優先級。通常情況下,頻繁地進入等待狀態(進入等待狀態會放棄之前仍可佔用的時間份額)的線程(如IO線程),比頻繁進行大量計算以至於每次都把所有時間片全部用盡的線程更受操作系統的歡迎。因爲頻繁進入等待的線程只會佔用很少的時間,這樣操作系統可以處理更多的任務。我們把頻繁等待的線程稱之爲IO密集型線程(IO Bound Thread),而把很少等待的線程稱之爲CPU密集型線程(CPU Bound Thread)。IO密集型線程總是比CPU密集型線程更容易得到優先級的提升。

線程餓死:

在優先級調度下,容易出現一種線程餓死的現象。一個線程餓死是說它的優先級較低,在它執行之前總是有比它優先級更高的線程等待執行,因此這個低優先級的線程始終得不到執行。當CPU密集型的線程優先級較高時,其它低優先級的線程就很可能出現餓死的情況;當IO密集型線程優先級較高時,其它線程相對不容易造成餓死的善,因爲IO線程有大量的等待時間。爲了避免線程餓死,調度系統通常會逐步提升那些等待了很久而得不到執行的線程的優先級。這樣,一個線程只要它等待了足夠長的時間,其優先級總會被提升到可以讓它執行的程度,也就是說這種情況下線程始終會得到執行,只是時間的問題。

在優先級調度環境下,線程優先級的改變有三種方式:
1. 用戶指定優先級;
2. 根據進入等待狀態的頻繁程度提升或降低優先級(由操作系統完成);
3. 長時間得不到執行而被提升優先級。


線程安全與鎖

在多個線程併發執行訪問同一個數據時,如果不採取相應的措施,將會是非常危險的。假設你在工行有一個銀行賬戶,兩張銀聯卡(自己手裏一張,女朋友手裏一張),裏面有100萬。假設取錢就兩個過程:1.檢查賬戶餘額,2.取出現金(如果要取出的金額 > 賬戶餘額,則取現成功,否則取現失敗)。有一天你要買房想把錢取出來,而此時你女朋友也想買一輛車(假設你們事先沒有商量)。兩個人都在取錢,你在A號ATM機取100萬,女朋友在B號ATM機取80萬。這時A號ATM檢查賬戶餘額發現有100萬,可以取出;而與此同時,同一時刻B號ATM也在檢查賬戶餘額發現有100萬,可以取出;這樣,A、B都把錢取出來了。

100萬的存款取出180萬,銀行就虧大發了(當然你就笑呵呵了……)!這就是線程併發的不安全性。爲避免這種情況發生,我們要將多個線程對同一數據的訪問同步,確保線程安全。

所謂同步(synchronization)就是指一個線程訪問數據時,其它線程不得對同一個數據進行訪問,即同一時刻只能有一個線程訪問該數據,當這一線程訪問結束時其它線程才能對這它進行訪問。同步最常見的方式就是使用鎖(Lock),也稱爲線程鎖。鎖是一種非強制機制,每一個線程在訪問數據或資源之前,首先試圖獲取(Acquire)鎖,並在訪問結束之後釋放(Release)鎖。在鎖被佔用時試圖獲取鎖,線程會進入等待狀態,直到鎖被釋放再次變爲可用。

二元信號量

二元信號量(Binary Semaphore)是一種最簡單的鎖,它有兩種狀態:佔用和非佔用。它適合只能被唯一一個線程獨佔訪問的資源。當二元信號量處於非佔用狀態時,第一個試圖獲取該二元信號量鎖的線程會獲得該鎖,並將二元信號量鎖置爲佔用狀態,之後其它試圖獲取該二元信號量的線程會進入等待狀態,直到該鎖被釋放。

信號量

多元信號量允許多個線程訪問同一個資源,多元信號量簡稱信號量(Semaphore),對於允許多個線程併發訪問的資源,這是一個很好的選擇。一個初始值爲N的信號量允許N個線程併發訪問。線程訪問資源時首先獲取信號量鎖,進行如下操作:
1. 將信號量的值減1;
2. 如果信號量的值小於0,則進入等待狀態,否則繼續執行;
訪問資源結束之後,線程釋放信號量鎖,進行如下操作:
1. 將信號量的值加1;
2. 如果信號量的值小於1(等於0),喚醒一個等待中的線程;

互斥量

互斥量(Mutex)和二元信號量類似,資源僅允許一個線程訪問。與二元信號量不同的是,信號量在整個系統中可以被任意線程獲取和釋放,也就是說,同一個信號量可以由一個線程獲取而由另一線程釋放。而互斥量則要求哪個線程獲取了該互斥量鎖就由哪個線程釋放,其它線程越俎代庖釋放互斥量是無效的。

臨界區

臨界區(Critical Section)是一種比互斥量更加嚴格的同步手段。互斥量和信號量在系統的任何進程都是可見的,也就是說一個進程創建了一個互斥量或信號量,另一進程試圖獲取該鎖是合法的。而臨界區的作用範圍僅限於本進程,其它的進程無法獲取該鎖。除此之處,臨界區與互斥量的性質相同。

讀寫鎖

讀寫鎖(Read-Write Lock)允許多個線程同時對同一個數據進行讀操作,而只允許一個線程進行寫操作。這是因爲讀操作不會改變數據的內容,是安全的;而寫操作會改變數據的內容,是不安全的。對同一個讀寫鎖,有兩種獲取方式:共享的(Shared)和獨佔的(Exclusive)。當鎖處於自由狀態時,試圖以任何一種方式獲取鎖都能成功,並將鎖置爲對應的狀態;如果鎖處於共享狀態,其它線程以共享方式獲取該鎖,仍然能成功,此時該鎖分配給了多個線程;如果其它線程試圖如獨佔的方式獲取處於共享狀態的鎖,它必須等待所有線程釋放該鎖;處於獨佔狀態的鎖阻止任何線程獲取該鎖,不論它們以何種方式。獲取讀寫鎖的方式總結如下:

讀寫鎖的狀態 以共享方式獲取 以獨佔方式獲取
自由 成功 成功
共享 成功 等待
獨佔 等待 等待
表 1 :獲取讀寫鎖的方式


線程和進程相關文章:

編程思想之多線程與多進程(1)——以操作系統的角度述說線程與進程

編程思想之多線程與多進程(2)——線程優先級與線程安全

編程思想之多線程與多進程(3)——Java中的多線程

編程思想之多線程與多進程(4)——C++中的多線程


發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章