天天看点

【王道考研】进程同步与互斥

2.3.1 进程同步与互斥

知识来源: B站王道考研

什么是进程同步

知识回顾:进程具有异步性的特征。异步性是指,各并发执行的进程以各自独立的、不可预知的速度向前推进。

【王道考研】进程同步与互斥

读进程和写进程并发地运行,由于并发必然导致异步性,因此“写数据”和“读数据”两个操作执行的先后顺序是不确定的。而实际应用中,又必须按照“写数据 --> 读数据”的顺序来执行的。

如果解决这种异步问题,就是“进程同步”所讨论的内容。

同步也称为直接制约关系,它是指为完成某种任务而建立的两个或多个进程,这些进程因为需要在某些位置上协调他们的工作次序而产生的制约关系。进程间的直接制约关系就是源于它们之间的相互合作。

什么是进程互斥

进程的“并发”需要“共享”的支持。各个并发执行的进程不可避免的需要共享一些系统资源(比如内存,打印机、摄像头等I/O设备)

知识回顾:

两种资源共享方式:

  互斥共享方式:系统种的某些资源,虽然可以提供给多个进程使用,但一个时间段内只允许一个进程访问该资源

  同步共享方式:系统中的某些资源,允许一个时间段内由多个进程“同时”对它们进行访问。

临界资源: 一个时间段内只允许一个进程使用

对临界资源的访问,必须互斥地进行。互斥也称为间接制约关系。进程互斥指当一个进程访问某临界资源时,另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束,释放该资源之后,另一个进程才能u访问临界资源。

do{
	entry section; // 进入区
	critical section; // 临界区
	exit section; // 退出区
	remainder section; // 剩余区
}while(true);
           

临界区是进程中访问临界资源的代码段。

进入区和退出区是负责实现互斥代码段。

临界区也可称为“临界段”。

实现临界资源互斥访问,需遵循:

1.空闲让进:临界区空闲时,可以允许一个请求进入临界区的进程立即进入临界区;

2.忙则等待:当已有进程进入临界区时,其他试图进入临界区的进程必须等待。

3.有限等待:对请求访问的进程,应保证能在有限时间内进入临界区(保证不会饥饿)

4.让权等待:当进程不能进入临界区时,应立即释放处理机,防止进程忙等待。

【王道考研】进程同步与互斥

继续阅读