操作系统之进程同步

注：临界区问题仅仅是进程同步问题的一部分。

使用信号量（semaphore，mutex）可以解决临界区问题。

1、软件实现---------------临界区问题

2、硬件实现----------------临界区问题

3、信号量（semaphore）  ----------多种进程同步问题

4、三个经典的同步问题

5、monitor

1.软件实现(bakery algorithm)

（bakery algorithm）面包店算法：

为每一个进程分配一个号码，依据号码的大小进行排序。这里可能会有重复的号码，但是每个进程名是唯一的，号码重复的情况下依据进程名的大小排序。

设置两个共享的数据结构

boolean choosing[n];

int number[n];

将它们初始化为false（没有选择号码）和0。

do

{

choosing[i] = true;

number[i] = max(number[0],number[1],...,number[n-1] +1;

choosing[i] = false;

for(j =0; j < n; j++)

{

while(choosing[j]);

while( (number[i] != 0 && (number[j],j) < (number[i],i)) );

}

critical section;

number[i] = 0;

remainder section;

}while(true)

当Pi在critical section里面时，Pk(k != i)已经选好了号码(number[k] != 0),并且会有number[i] < number[k]。

Mutual exclusive:在Pk的第二个while循环的条件一直成立(number[i] != 0 && (number[i],i ) < ( number[k],k) ) 所以Pk一直不能进入critical section。

很容易看出来，进程进入critical section的顺序是以FCFS（对应while（choosing[j]）的顺序进行的。

----------------------------------------------------------------------

天！！！写得好恶心，很多次想要放弃，但是又不能轻易放弃，暂且这样写着，以后再一点点修正吧

----------------------------------------------------------------------

2.硬件同步：

TestAndSet(lock)原子操作。

3.semaphore(信号量)：

wait(S),signal(S)原子操作，这两个操作本身又是一个critical section（临界区）问题,可用软件方法解决（临界区即为wait(S),signal(S)操作）。

wait(S){

while(S<=0);

S--;

}

signal(S){

S++;

}

4.三大经典同步问题

用以验证synchronization primitives的强大

The Bounded-Buffer Problem:

The Reader-Writer Problem:

The Dining-Philosophers Problem: