信號(hào)量
信號(hào)量是最早出現(xiàn)的用來(lái)解決進(jìn)程同步與互斥問(wèn)題的機(jī)制，
包括一個(gè)稱為信號(hào)量的變量及對(duì)它進(jìn)行的兩個(gè)原語(yǔ)操作。
一. 信號(hào)量的概念
1．信號(hào)量的類型定義
每個(gè)信號(hào)量至少須記錄兩個(gè)信息：信號(hào)量的值和等待該信號(hào)量的進(jìn)程隊(duì)列。它的類型定義如下：（用類PASCAL語(yǔ)言表述）
semaphore = record
value: integer;
queue: ^PCB;
end;
其中PCB是進(jìn)程控制塊，是操作系統(tǒng)為每個(gè)進(jìn)程建立的數(shù)據(jù)結(jié)構(gòu)。
s.value>=0時(shí)，s.queue為空；
s.value<0時(shí)，s.value的絕對(duì)值為s.queue中等待進(jìn)程的個(gè)數(shù)；
2．PV原語(yǔ)
對(duì)一個(gè)信號(hào)量變量可以進(jìn)行兩種原語(yǔ)操作：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);
}
其中用到兩個(gè)標(biāo)準(zhǔn)過(guò)程：
asleep(s.queue);執(zhí)行此操作的進(jìn)程的PCB進(jìn)入s.queue尾部，進(jìn)程變成等待狀態(tài)
信號(hào)量是最早出現(xiàn)的用來(lái)解決進(jìn)程同步與互斥問(wèn)題的機(jī)制，
包括一個(gè)稱為信號(hào)量的變量及對(duì)它進(jìn)行的兩個(gè)原語(yǔ)操作。
一. 信號(hào)量的概念
1．信號(hào)量的類型定義
每個(gè)信號(hào)量至少須記錄兩個(gè)信息：信號(hào)量的值和等待該信號(hào)量的進(jìn)程隊(duì)列。它的類型定義如下：（用類PASCAL語(yǔ)言表述）
semaphore = record
value: integer;
queue: ^PCB;
end;
其中PCB是進(jìn)程控制塊，是操作系統(tǒng)為每個(gè)進(jìn)程建立的數(shù)據(jù)結(jié)構(gòu)。
s.value>=0時(shí)，s.queue為空；
s.value<0時(shí)，s.value的絕對(duì)值為s.queue中等待進(jìn)程的個(gè)數(shù)；
2．PV原語(yǔ)
對(duì)一個(gè)信號(hào)量變量可以進(jìn)行兩種原語(yǔ)操作：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);
}
其中用到兩個(gè)標(biāo)準(zhǔn)過(guò)程：
asleep(s.queue);執(zhí)行此操作的進(jìn)程的PCB進(jìn)入s.queue尾部，進(jìn)程變成等待狀態(tài)