进程同步

一、进程同步的基本概念
1.临界资源。一次仅允许一个进程使用的资源称为临界资源。对临界资源的访问，必须互斥地进行,
在每个进程中,访问临界资源的那段代码称为临界区,为了保证临界资源的正确使用,可把临界资源的
访问过程分为四个部分:
进入区。为了进入临界区使用临界资源,在进入去要检查可否进入临界区,若能进入临界区,则
应设置正在访问临界区的标志,以组织其他进程同时进入临界区。
临界区。进程中访问临界资源的那段代码,又称临界段，
退出区。将正在访问临界区的标志清除。
剩余区。代码中的其余部分。
2.同步。同步亦称直接制约关系,是指未完成某种任务而建立的两个或多个就进程,这些进程因为
需要在某些位置上协调它们的工作次序而等待、传递信息所产生的制约关系。进程间的直接制约
关系源于它们之间的相互合作。
3.互斥。互斥也称间接制约关系。当一个进程进入临界区使用临界资源时,另一个进程必须等待。
当占用临界资源的进出临界区后,另一进程才允许去访问此临界资源。
为禁止两个进程同时进入临界区,同步机制应遵循以下准则:
空闲让进、忙则等待、有限等待、让权等待(当进程不能进入临界区时,应立即释放处理器)
二、实现临界区互斥的基本方法
1.软件实现方法。在进入区设置并检查一些标志来标明是否有进程在临界区,若已有进程在临界
区,则在进入区通过循环检查进行等待,进程离开临界区后则在退出区修改标志。
2.硬件实现方法。计算机提供了特殊的硬件指令,允许对一个字中的内容进行检测和修正,或对两
个字的内容进行交换等。通过硬件支持实现临界段问题的方法称为低级方法,或称元方法。
(1)中断屏蔽方法。