【操作系统】（三）：进程同步

创建进程的事件：用户登录、作业调度、提供服务、应用请求
终止：正常结束，异常件结束、外界干扰

进程同步

制约关系

间接形式的制约关系

由于共享资源，如CPU，I/O，形成了源于对该类资源共享的间接制约关系

直接相互制约关系

为完成同一项任务相互合作

临界资源

生产者和消费者
两者之间有n个缓冲区的缓冲池，它们的进程是异步，但它们之间保持同步。

void producer()
{
	int in = 0, out = 0, count = 0
	while(1){
	produce an item in nextp;
	...
	while (counter==n)//阻塞
	;
	buffer[in]=nextp;
	in=(in+1)%n;
	counter++;
	}
};
void conscumer()
{
	while(1){
	while (counter==0)//阻塞
	;
	nextc=buffer[out];
	out=(out+1)%n;
	counter--;
	consumer the item in nextc;
	}
};

这个是大概过程：

为了避免并发counter公用出现错误，要把counter作为临界资源，让生产者进程和消费者互斥地访问counter
临界区：访问临界资源的那一片代码
进入区：检查临界资源是否可用
退出区：标志恢复为未被访问

同步机制的规则

为了实现进程互斥地进入临界区，定了四个准则：

1. 空闲让进
2. 忙则等待
3. 有限等待
4. 让权等待：不能进入cpu的时候，要立即释放cpu

硬件同步机制

关中断

实现互斥
缺点：滥用关中断权力严重后果；关中断时间过长，影响效率；不适用多cpu

Test-and-Set

设置布尔变量

Swap

对换指令

swap(&lock,&key);

它们都不符合让权等待

信号量机制

整型信号量

P,V操作
WAIT(S)->P(S)//申请资源（-1）操作
SIGNAL(S)->P(S)//释放资源（+1）操作

记录型信号量