信号量可以理解为某一类可用资源的数目,信号量用来解决进程同步和互斥问题。整型信号量是整型量,仅能通过两个原子操作来访问。原子操作是不可中断的,原子操作就是原语的执行,这段代码不可中断,要执行都执行完,若执行不完则回到这段代码起始位置重新执行。两个原子操作分别是P操作和V操作:
// P操作 伪代码
wait(S):
While(S<=0) do no-op;
S--;
// V操作 伪代码
signal(S):
S++;
// 这里的S就是整型信号量,wait(S)可以写作P(S),signal(S)可以写作V(S)。
我们看如何使用PV操作实现互斥:
// 用信号量机制实现互斥的模式
semaphore mutex = 1;
begin
parbegin
process 1: begin
repeat
wait(mutex);
critical section
signal(mutex);
remainder section
until false;
end
process 2: begin
repeat
wait(mutex);
critical section
signal(mutex);
remainder section
until false;
end
parend
end
mutex代表可用资源的数目,假设mutex=1,两个进程竞争使用mutex,那么防止不同步问题出现,每个进程中都要成对使用wait和signal。比如P1执行wait,mutex--代表使用资源,然后进行其他计算,这时P2执行wait无法通过判断条件,mutex=0表示当前没有可用资源,于是程序计数器调整指针回到wait起始代码。这样就很好的保证了P2不会参与P1的运行。P1执行完critical section临界区,执行signal,mutex++表示资源回收,这时P2才可以进行wait的执行。
整形信号量也是存在缺点的,比如wait中如果条件不满足就要一直循环等待,这违背了同步机制的让权等待规则;并且整型信号量是在一种资源且只有一个的情形下使用的,实际情况没有这么简单。由此改进而来的记录型信号量出现了。