进程的互斥和同步 - wolai 笔记

1. 进程同步

  • 同步,亦称直接制约关系,源于他们之间的相互合作
  • 并发性带来了异步性,有时需要通过进程同步解决这种异步问题
  • 有的进程之间需要相互配合的完成工作,各进程的工作推进需要遵循一定的先后顺序

2. 进程互斥

对临界资源的访问,需要互斥的进行。即同一时间段内只能允许一个进程访问该资源。
互斥是由并发进程之间竞争系统的临界资源引起的,是一个进程等待另一个进程已经占有的必须互斥使用的资源时的一种制约关系。

2.1临界资源

对临界资源的访问必须互斥的进行,访问临界资源的那段代码称为临界区
  • 进入区:检查是否可以进去临界区,若可进入,需要“上锁”
  • 临界区:访问临界资源的那段代码
  • 退出区:负责“解锁”
  • 剩余区:其余代码部分

2.2同步机制遵循的原则

  • 空闲让进:临界区空闲时,应允许一个进程访问
  • 忙则等待:临界区正在被访问时,其他试图访问的进程需要等待
  • 有限等待:要在有限时间内进入临界区,保证不会饥饿
  • 让权等待:进不了临界区的进程,要是否处理机,防止忙等

注意

  • 临界区是进程中访问临界资源的代码段,临界区也称“临界段”
  • 进入区和退出区是负责实现互斥的代码段




Comment