信號量
信號量是最早出現(xiàn)的用來解決進程同步與互斥問題的機制,
包括一個稱為信號量的變量及對它進行的兩個原語操作。
一. 信號量的概念
1.信號量的類型定義
每個信號量至少須記錄兩個信息:信號量的值和等待該信號量的進程隊列。它的類型定義如下:(用類PASCAL語言表述)
semaphore = record
value: integer;
queue: ^PCB;
end;
其中PCB是進程控制塊,是操作系統(tǒng)為每個進程建立的數(shù)據(jù)結構。
s.value>=0時,s.queue為空;
s.value<0時,s.value的絕對值為s.queue中等待進程的個數(shù);
2.PV原語
對一個信號量變量可以進行兩種原語操作:p操作和v操作,定義如下: procedure p(var s:samephore);
{
s.value=s.value-1;
if (s.value<0) asleep(s.queue);
}
procedure v(var s:samephore);
{
s.value=s.value+1;
if (s.value<=0) wakeup(s.queue);
}
其中用到兩個標準過程:
asleep(s.queue);執(zhí)行此操作的進程的PCB進入s.queue尾部,進程變成等待狀態(tài)
信號量是最早出現(xiàn)的用來解決進程同步與互斥問題的機制,
包括一個稱為信號量的變量及對它進行的兩個原語操作。
一. 信號量的概念
1.信號量的類型定義
每個信號量至少須記錄兩個信息:信號量的值和等待該信號量的進程隊列。它的類型定義如下:(用類PASCAL語言表述)
semaphore = record
value: integer;
queue: ^PCB;
end;
其中PCB是進程控制塊,是操作系統(tǒng)為每個進程建立的數(shù)據(jù)結構。
s.value>=0時,s.queue為空;
s.value<0時,s.value的絕對值為s.queue中等待進程的個數(shù);
2.PV原語
對一個信號量變量可以進行兩種原語操作:p操作和v操作,定義如下: procedure p(var s:samephore);
{
s.value=s.value-1;
if (s.value<0) asleep(s.queue);
}
procedure v(var s:samephore);
{
s.value=s.value+1;
if (s.value<=0) wakeup(s.queue);
}
其中用到兩個標準過程:
asleep(s.queue);執(zhí)行此操作的進程的PCB進入s.queue尾部,進程變成等待狀態(tài)