作業系統之程序與執行緒4

忙等的演算法

執行緒阻塞喚醒實現不忙等

t0執行，t2還未執行

t0t1flag[0]=true

沒執行turn=1

沒執行未進入迴圈，獲得了資源

沒執行t0執行時，t1也執行了

t0進入迴圈判斷前，t1將自己的競爭標誌位置為true，導致t0一直迴圈等待直到t1執行了turn=0將許可權交給t0時，t0才結束迴圈獲得到了資源。

t0t1

flag[0]=true

flag[1]=true

turn=1

沒執行沒有許可權迴圈等待

turn=0

獲得許可權，結束迴圈獲得了資源

沒有許可權迴圈等待

flag[0]=false取消了競爭

沒有許可權迴圈等待

沒執行對方了取消了競爭，結束了迴圈獲得了資源

條件變數

執行緒呼叫

描述pthread_cond_init

建立乙個條件變數

pthread_cond_destory

撤銷乙個條件變數

pthread_cond_wait

阻塞以等待乙個訊號

pthread_cond_signal

向另乙個執行緒傳送訊號喚醒它

pthread_cond_broadcast

向多個執行緒傳送訊號喚醒它們

條件變數與互斥鎖的一同使用的例子

#include
int value=0;
pthread_mutex_t mutex;
pthread_cond_t cond;
void
provider()
unlock
(&mutex);}
void
consumer()
if(value>0)
unlock
(&mutex)
;}

條件變數解決的是在一些需要等待條件滿足的情況時，如果只使用互斥量則需要先加鎖再判斷條件是否滿足，若不滿足則需要釋放鎖並sleep或重複加鎖判斷。一直迴圈會造成cpu浪費，sleep再迴圈又因為等待條件滿足而sleep的時間無法判斷因此sleep時間可能會過長。

因此在這種情況下利用用等待佇列加上通知喚醒方式的條件變數就顯得效能更加強勁了，它在條件不滿足時會把執行緒加入到等待佇列中，而其他執行緒的工作導致條件滿足時可以喚醒乙個等待佇列中的執行緒。這樣既避免了迴圈加鎖判斷帶來的cpu浪費又避免了sleep時間過長的缺點。