一、临界资源:一次仅允许一个进程使用的资源 成为临界资源(包括一些物理设备。访问临界资源的那段代码成为临界区。
二、为了保证临界资源的正确使用,可以把临界资源地访问过成分成四个部分:
- 进入区。为了进入临界区使用临界资源,在进入区要检查可否进入临界区,如果可以进入临界区,则映射之正在访问临界区的标志,以阻止其他进程同时进入临界区。
- 临界区。进程中访问临界资源的那段代码,又称临界段。
- 退出区。将整在访问临界区地标志清除。
- 剩余区。代码中地其余部分。
do{
entry section;//进入区
critical section;//临界区
exit section;//退出区
remainder;//剩余区
}while(true)
三、同步。也称直接制约关系,他是之为完成某种任务而建立的两个或多个进程。这些进程因为需要在某些位置上协调他们的工作次序而等待、传递信息所产生的直接制约关系。进程间地直接制约关系就是源于它们之间地相互合作。
例如进程A通过单缓冲向进程B提供数据。当缓冲区空时,进程B不能获得所需数据而阻塞,一旦进程A将数据送入缓冲区,进程B被唤醒。反之当缓冲区满时,进程A被阻塞,仅当进程B取走缓冲数据时,才能唤醒进程A。
四、互斥。互斥也称间接制约关系。当一个进程进去临界区使用临界资源时,另一个进程必须等待,当占用临界资源的进程退出临界区后,另一进程才允许区访问此临界资源。
例如在仅有一台打印机地系统中有进程A、B,如果进程A需要打印时,系统已将打印机分配给进程B,则进程A必须阻塞。一旦进程B将打印机释放,系统便将进程A唤醒,并将其由阻塞状态变为就绪状态。
五、为禁止两个进程同时进入临界区,同步机制应遵循一下准则:
- 临界区空闲时进程可以进入。
- 已有进程在临界区时,其他试图访问的进程必须等待。
- 有限等待。对请求访问的进程,应保证能在有限时间内进入临界区。
- 让权等待。当进程不能进入临界区时,应立即释放处理器,防止进程忙等待(通俗理解为等待进入临界区的进程一直在霸占着处理机空转)。
六、信号量。信报两级够可用来解决互斥和同步的问题,他只能被两个标准的原语wait(s) 和 signal(s) 来操作,也可记为P、V。
七、整形信号量。 整形信号量被定义为一个用于表示