操作系统——进程同步

      进程是资源分配和处理机调度的独立单位，如果多个进程并发执行，可再现性将难以保证，这就是进程同步的问题：使并发执行的进程可以有效地共享资源和相互合作。

临界资源与临界区

临界资源：一次仅允许一个进程访问的资源
临界区：访问临界资源的代码块，不允许多个并发进程交叉执行的一段程序

      通过一个例子来解释一下，现在有一个栈中存储了很多数据，Pa程序往栈中放数据，也就是入栈，Pb从栈中取出数据，称为出栈。在这个例子中，栈就是临界资源，而出栈入栈操作就是临界区。

同步与互斥

同步：进程之间相互合作
互斥：进程之间共享资源

      感觉这两者非常相似，区别在哪里？通过例子来说明，好几个班级要举行活动，需要借教室，而教室就是共享的资源，这几个班级就是互斥关系；运动会上的接力赛，一个人跑完把接力棒传给下一个人，接力棒是共享资源，而这几个运动员就是同步关系。所以，互斥在执行顺序上是任意的，同步是一个执行结果是另一个执行的条件，需要按照一定顺序执行。

访问临界区

      知道了临界区一个时刻只能有一个进程执行，并且不能交叉执行，如何保证对临界区的互斥访问

给出这样一幅图：

      答案就是在临界区前加进入区，在临界区后加退出区，进入区的功能是：当进程过来时，首先会检查临界资源是否繁忙，如果不繁忙，则进入临界区，访问临界资源，如果忙，则在时钟控制的管理下，每隔一段时间访问进入区，判断是否繁忙。退出区的作用就是恢复访问标志，告诉其他进程已经用完了，允许其他进程进入。

利用硬件实现

TS指令

boolean TS(boolean *lock) {
	boolean old;
	old = *lock;
	*lock = true;
	return old;
}

lock表示临界资源的可用状态，true表示正在占用，false表示空闲

      大概意思就是判断lock是否为false，然后把lock置为true（这里为了减少判断，直接每次都置为true，当不可用时本来就为true，所以不影响，可用时，该进程占用，从false变为true），返回判断后的结果。

Swap

为每个临界资源设置一个公共布尔变量lock，初值为false，每个进程设置一个私有布尔变量key=true

key=true
do
{
	swap(&lock,&key);
} while(key);

硬件实现互斥小结：

硬件方法的优点：

1. 适用于任意数目的进程
2. 简单容易验证

硬件方法的缺点：

1. 占用大量的cpu资源
2. 进入临界区时随机选取，造成不公平现象，引起饥饿问题

利用软件实现

信号量

利用软件实现，就需要引入信号量的概念，信号量是对资源可用情况的抽象，是一个结构体

typedef struct{
	int value;
	*pcb L;
} semaphore;

解释一下结构体中成员变量的含义：

value：value表示资源的可用数目，>0表示资源可用数目，=0表示资源刚好用完，<0表示资源不可用，|value|绝对值表示等待该资源的数目

L：是一个pcb表链，代表阻塞队列，当进程访问没有可用资源时，该进程会挂在该阻塞队列中，当有可用资源时，会按顺序唤醒等待资源的进程。

PV操作

P操作表示请求系统分配一个单位的资源，请求时s.value- - ，减完后分2种情况

1. s.value >= 0，说明本次请求资源是成功的
2. s.value < 0,说明系统没有可用资源，调用block原语阻塞进程，并将pcb挂在L后排队等待资源

V操作表示释放一个单位的资源，释放时s.value++,加完后分2种情况

1. s.value <= 0,说明在L阻塞队列上有等待的进程，调用wakeup原语唤醒等待的进程，然后该进程继续执行或转进程调度
2. s.value > 0,说明在L阻塞队列上没有等待的进程，该进程继续执行或转进程调度。

      通过信号量以及PV操作可用很好的解决互斥的问题，这也时信号量产生的初衷，信号量还有很多应用，后面会单独写一篇博客来讲解。
信号量的应用