多執行緒的那點事兒(之資料互斥)

2021-06-02 08:14:49 字數 2386 閱讀 7545

**:

在多執行緒存在的環境中,除了堆疊中的臨時資料之外,所有的資料都是共享的。如果我們需要執行緒之間正確地執行,那麼務必需要保證公共資料的執行和計算是正確的。簡單一點說,就是保證資料在執行的時候必須是互斥的。否則,如果兩個或者多個執行緒在同一時刻對資料進行了操作,那麼後果是不可想象的。

也許有的朋友會說,不光資料需要保護,**也需要保護。提出這個觀點的朋友只看到了資料訪問互斥的表象。在程式的執行空間裡面,什麼最重要的呢?**嗎?當然不是。**只是為了資料的訪問存在的。資料才是我們一切工作的出發點和落腳點。

那麼,有什麼辦法可以保證在某一時刻只有乙個執行緒對資料進行操作呢?四個基本方法:

(1)關中斷

(2)數學互斥方法

(3)作業系統提供的互斥方法

(4)cpu原子操作

為了讓大家可以對這四種方法有詳細的認識,我們可以進行詳細的介紹。

(1)關中斷

要讓資料在某一時刻只被乙個執行緒訪問,方法之一就是停止執行緒排程就可以了。那麼怎樣停止執行緒排程呢?那麼關掉時鐘中斷就可以了啊。在x86裡面的確存在這樣的兩個指令,

view plain

#include 

intmain()  

return

1;  

}  

其中cli是關中斷,sti是開中斷。這段**沒有什麼問題,可以編過,當然也可以生成執行檔案。但是在執行的時候會出現乙個異常告警:unhandled exception in test.exe: 0xc0000096:  privileged instruction。告警已經說的很清楚了,這是乙個特權指令。只有系統或者核心本身才可以使用這個指令。

不過,大家也可以想象一下。因為平常我們編寫的程式都是應用級別的程式,要是每個程式都是用這些**,那不亂了套了。比如說,你不小心安裝乙個低質量的軟體,說不定什麼時候把你的中斷關了,這樣你的網路就斷了,你的輸入就沒有回應了,你的**什麼都沒有了,這樣的環境你受的了嗎?應用層的軟體是千差萬別的,軟體的水平也是參差不齊的,所以系統不可能相信任何乙個私有軟體,它相信的只是它自己。

(2)數學方法

假設有兩個執行緒(a、b)正要對乙個共享資料進行訪問,那麼怎麼做到他們之間的互斥的呢?其實我們可以這麼做,

view plain

unsigned 

intflag[2] = ;  

unsigned int

turn = 0;  

void

process(unsigned 

intindex)    

其實,學過作業系統的朋友都知道,上面的演算法其實就是peterson演算法,可惜它只能用於兩個執行緒的資料互斥。當然,這個演算法還可以推廣到更多執行緒之間的互斥,那就是bakery演算法。但是數學演算法有兩個缺點:

a)占有空間多,兩個執行緒就要flag佔兩個單位空間,那麼n個執行緒就要n個flag空間,

b)**編寫複雜,考慮的情況比較複雜

(3)系統提供的互斥演算法

系統提供的互斥演算法其實是我們平時開發中用的最多的互斥工具。就拿windows來說,關於互斥的工具就有臨界區、互斥量、訊號量等等。這類演算法有乙個特點,那就是都是依據系統提高的互斥資源,那麼系統又是怎麼完成這些功能的呢?其實也不難。

系統加鎖過程,

view plain

void

lock(

handle

hlock)  

;  while

(1);  

return

;  }  

__asm;  

schedule();  

__asm;  

}  }  

系統解鎖過程,

view plain

void

unlock(

handle

hlock)  

;  /* 設定標誌, 當前鎖可用 */

__asm;  

}  

上面其實討論的就是一種最簡單的系統鎖情況。中間沒有涉及到就緒執行緒的壓入和彈出過程,沒有涉及到資源個數的問題,所以不是很複雜。朋友們仔細看看,應該都可以明白**表達的是什麼意思。

(4)cpu的原子操作

因為在多執行緒操作當中,有很大一部分是比較、自增、自減等簡單操作。因為需要互斥的**很少,所以使用互斥量、訊號量並不合算。因此,cpu廠商為了開發的方便,把一些常用的指令設計成了原子指令,在windows上面也被稱為原子鎖,常用的原子操作函式有

view plain

interlockedadd  

interlockedexchange  

interlockedcompareexchange  

interlockedincrement  

interlockeddecrement  

interlockedand  

interlockedor  

多執行緒那點事兒(之資料互斥)

在多執行緒存在的環境中,除了堆疊中的臨時資料之外,所有的資料都是共享的。如果我們需要執行緒之間正確地執行,那麼務必需要保證公共資料的執行和計算是正確的。簡單一點說,就是保證資料在執行的時候必須是互斥的。否則,如果兩個或者多個執行緒在同一時刻對資料進行了操作,那麼後果是不可想象的。也許有的朋友會說,不...

多執行緒的那點事兒(之資料互斥)

在多執行緒存在的環境中,除了堆疊中的臨時資料之外,所有的資料都是共享的。如果我們需要執行緒之間正確地執行,那麼務必需要保證公共資料的執行和計算是正確的。簡單一點說,就是保證資料在執行的時候必須是互斥的。否則,如果兩個或者多個執行緒在同一時刻對資料進行了操作,那麼後果是不可想象的。也許有的朋友會說,不...

多執行緒的那點事兒(之資料互斥)

在多執行緒存在的環境中,除了堆疊中的臨時資料之外,所有的資料都是共享的。如果我們需要執行緒之間正確地執行,那麼務必需要保證公共資料的執行和計算是正確的。簡單一點說,就是保證資料在執行的時候必須是互斥的。否則,如果兩個或者多個執行緒在同一時刻對資料進行了操作,那麼後果是不可想象的。也許有的朋友會說,不...