§2.3 进程同步 进程同步的主要任务:对多个相关进程在执行次序上进行协调,以使并发执行的诸进程之间能有效地共享资源和相互合作,从而使程序的执行具有可再现性。 2.3.1 进程同步的基本概念 1. 两种形式的制约关系 (1) 间接相互制约关系 源于资源共享(互斥方式) (2) 直接相互制约关系 源于进程合作(同步方式) 必须互斥访问的资源称为临界资源 (或者说一次仅允许一个进程访问的资源) 引起不可再现性是因为临界资源没有互斥访问。 例 如,打印机、变量、表格、队列等。 每个进程中访问临界资源的那段代码 对欲访问的临界资源进行检查, ………………进入区 若此刻未被访问,设正在访问的标志 访问临界资源 ………………临界区 将正在访问的标志恢复为未被访问的标志………退出区 其余部分 ………………剩余区 4. 同步机制应遵循的准则 空闲让进 无进程处于临界区内时,可让一个申请进入该临界区的进程进入。 忙则等待 临界区内有进程时,申请进入临界区的进程必须等待。 有限等待 进程进入临界区的请求,必须在有限的时间内满足。 让权等待 等待进入临界区的进程,必
原创力文档

文档评论(0)