我們把異步環(huán)境下的一組并發(fā)進程因直接制約而互相發(fā)送消息、進行互相合作、互相等待,使得各進程按一定的速度執(zhí)行的過程稱為進程間的同步。
具有同步關系的一組并發(fā)進程稱為合作進程,合作進程間互相發(fā)送的信號稱為消息或事件。 如果我們對一個消息或事件賦以唯一的消息名,則我們
可用過程 wait (消息名) 表示進程等待合作進程發(fā)來的消息,而用過程 signal (消息名) 表示向合作進程發(fā)送消息。
(引自百度百科)
進程間的同步方式:
為了實現(xiàn)進程互斥地進入自己的臨界區(qū),操作系統(tǒng)中設置專門的同步機制來協(xié)調(diào)各進程間的運行。所有的同步機制都應遵循下書四條準則:
1)空閑讓進
2)忙則等待
3)有限等待
4)讓權原則。當進程不能進入自己的臨界區(qū)時,應立即釋放處理機,以免進程陷入“忙等”狀態(tài)。
1.單CPU (UP)機器利用sleep/wakeup函數(shù)對實現(xiàn)同步機制。
函數(shù)sleep是一個內(nèi)部的內(nèi)核例程,它掛起調(diào)用它的進程,直到指定的事件發(fā)生為止。這是一個以內(nèi)核態(tài)運行的進程自愿出讓控制權,允許自己被搶占。
函數(shù)wakeup用于發(fā)出一個特定事件已經(jīng)出現(xiàn)的信號,它使得所有等待該事件的進程被喚醒,并放回到運行隊列中。事件用一個整數(shù)值來表示,它往往
是該事件相關的內(nèi)核數(shù)據(jù)結構的地址。
void lock_object( char *flag_ptr)
{
lock(&object_locking); //自旋鎖
while (*flag_ptr)
sleep(flag_ptr);
*flag_ptr = 1;
unlock(&object_locking);
}
void unlock_object( char *flag_ptr)
{
lock( &object_locking );
*flag_ptr = 0;
wakeup( flag_ptr);
unlock( &object_locking );
}
應為wakeup操作沒有記憶,所以wakeup函數(shù)必須喚醒在同一事件上睡眠的所有進程。在多CPU系統(tǒng)上,即MP上sleep/wakeup機制不起作用。
2.SVR4.2 MP 提供了單獨的執(zhí)行進程同步的原語:同步變量。
因為同步變量不包含狀態(tài),所以可以把它們想成是sleep/wakeup的一種MP變形。相反,所需的任何狀態(tài)信息都保存在外部標志或者計數(shù)器中。
同步變量的設計要同自旋鎖配合工作。
同步變量被聲明為sv_t類型,采用下面的函數(shù)可以給它分配空間和進行初始化:
sv_t *SV_ALLOC( int slpflag);
slpflag指定,如果需要為同步變量分配內(nèi)存,那么是否能阻塞進程。
回收同步變量可以調(diào)用
void SV_DEALLOC( sv_t *svp );
內(nèi)核希望單獨等候的每一個事件都用一個不同的同步變量來表示,這就好比配合sleep如何使用唯一的事件參數(shù)。
void SV_WAIT( sv_t *svp, int pri, lock_t *lockp );
要觸發(fā)在同步變量上的事件,可以使用下面的函數(shù):
void SV_SIGNAL( sv_t *svp, int flags);
SV_SIGNAL與wakeup的相似之處在于,如果沒有正在睡眠的進程,那么就對過去曾經(jīng)執(zhí)行過的操作沒有記憶,調(diào)用什么也不做。
SV_SIGNAL只喚醒一個進程。如果要喚醒在事件上睡眠的所有進程,可以用同步變量的下列函數(shù)來實現(xiàn):
void SV_BROADCAST( sv_t *svp, int flags);
如果在事件被觸發(fā)之前出現(xiàn)了一個UNIX信號,那么下面的SV_WAIT變形會喚醒進程:
bool_t SV_WAIT_SIG( sv_t *svp, int pri, lock_t *lkp );
返回的代碼表明發(fā)生了什么樣的事件:如果出現(xiàn)了一個UNIX信號,那么它返回FALSE,如果出現(xiàn)了SV_SIGNAL或SV_BROADCAST,那么它返回TRUE.
3.采用信號量的同步
將信號量的值初始化為0,就可以用于進程同步,這樣允許通過使用P操作讓一個進程等待某個事件發(fā)生。既然信號量被初始化為0,那么進程將立即阻塞。
另一個進程使用V操作能夠發(fā)出信號,表明事件已經(jīng)結束。V操作導致正等待事件的進程被喚醒,并繼續(xù)進行。因為即使在信號量上沒有阻塞進程,
V操作也會給信號量加1,所以在前一個進程能夠執(zhí)行P操作之前出發(fā)事件會導致進程繼續(xù)進行,不必等待。這是一種受歡迎的情形,因為它不需要額外的
協(xié)調(diào)工作,就能夠處理在等候事件的進程同發(fā)信號表明該事件完成的進程之間本來就有的競爭條件。
進程1 進程2
p(s) /*等待事件*/ .
.
.
V(s) /*觸發(fā)事件*/
4.利用管程進行同步
管程為臨界資源以及訪問或者修改該資源的所有臨界段提供了互斥機制,它還提供了在使用管程的諸進程之間進行同步的手段。一個管程可以想成是一個裝有
資源的隔間。進程要訪問資源,它必須首先進入隔間。通過一次只允許一個進程進入隔間,就做到了互斥。如果在管程已經(jīng)投入使用的時候,別的進程試圖進
入它,那就會被阻塞,直到使用管程的進程退出管程為止,或者在與管程關聯(lián)的事件上等待。每個管程都可能有一個或者更多的事件,若干進程能夠在這些事
件上等待。進程被阻塞這些事件上,直到在管程內(nèi)執(zhí)行的其他進程觸發(fā)事件為止。根據(jù)定義,觸發(fā)操作只能從管程內(nèi)部完成。
5.利用事件計數(shù)進行同步
事件計數(shù)是一個非遞減的正整數(shù),在這個數(shù)值上定義了3種操作。操作advance(E)將事件計數(shù)E加1,這叫做出發(fā)事件。
操作await(E,V)致使調(diào)用進程被阻塞,指導事件計數(shù)E的值達到V為止。如果在調(diào)用await的時候,事件計數(shù)的值大于或等于V,那么進程繼續(xù)執(zhí)行,而不會阻塞,
因為事件是以前觸發(fā)的。事件計數(shù)的當前值可以用read(E)來讀取。在創(chuàng)建事件計數(shù)的時候,它被初始化為0,而且在數(shù)值上永遠不會減少。假定保存事件計數(shù)值
得存儲器位置足夠大,于是事件計數(shù)在其整個生命期中,一直都不會溢出(通常一個32位的無符號整數(shù)就夠了)。
有關代碼示例,請參見后面的隨筆。