进程的同步与互斥
目录
一、进程同步和进程互斥
知识总览:
1.1思维导图
1.2进程同步
知识回顾:进程具有异步性
的特点。
异步性:各并发执行的进程以各自独立的、不可预知的速度向前推进。
举例:管道通信
读进程和写进程并发地运行,由于并发必然导致异步性,因此“写数据”和“读数据”两个操作执行的先后顺序是不确定的。而实际应用中,又必须按照“写数据->读数据”的顺序来执行。
而如何解决这种异步
问题,就是进程同步
所讨论的内容。
- 定义:进程同步是指在多个进程或线程之间协调彼此的执行顺序,以避免出现竞态条件、死锁和其他并发问题。当多个进程或线程共享同一资源时,如果它们同时读取或写入该资源,可能会引发数据不一致的问题。为了解决这些问题,需要使用同步机制来协调它们的访问。
- 机制:常见的同步机制包括互斥锁、信号量、条件变量等。它们可以限制进程或线程对共享资源的访问,确保它们按照正确的顺序访问资源,从而避免并发问题的发生。
1.3进程互斥
- 什么是互斥?
在之前的学习中,我们了解到两种资源共享方式。
我们把一个时间段内只允许一个进程使用
的资源称为临界资源
。许多物理设备(比如摄像头、打印机)都属于临界资源。此外还有许多变量、数据、内存缓冲区等都属于临界资源。
对临界资源的访问,必须互斥
地进行。互斥,亦称为间接制约关系
。进程互斥指的是当一个进程访问某临界资源时,另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束,释放该资源之后,另一个进程才能去访问临界资源。
- 对临界资源的访问
- 思考:如果一个进程暂时不能进入临界区,那么该进程是否应该一直占着处理机?该进程有没有可能一直进不了临界区?
如果一个进程暂时不能进入临界区,那么该进程不应该一直占着处理机,因为这样会浪费系统资源,导致其他进程无法运行。相反,该进程可以被阻塞
,等待资源可用后再次尝试进入临界区。
对于该进程一直进不了临界区的问题,是存在可能性
的。例如,在某些并发程序中,可能出现多个进程同时竞争访问同一资源,导致所有进程都无法进入临界区。这种情况下,需要采用合适的同步机制(如信号量、互斥锁等)来保证只有一个进程可以进入临界区。另外,如果临界区内部操作时间过长,也可能导致其它进程长时间等待而无法进入临界区。因此,在设计并发程序时,需要仔细考虑各种情况,并采用相应的同步机制来避免出现死锁等问题。
- 为了禁止两个进程同时进入
临界区
,需遵循以下准则
二、进程互斥的软件实现方法
2.1思维导图
2.2单标志法
- 算法思想:两个进程在
访问完临界区后
会把使用临界区的权限转交给另一个进程。也就是说每个进程进入临界区的权限只能被另一个进程赋予
。
turn的初值为0,即刚开始只允许0号进程进入临界区。
如果p1进程先上了处理机运行,因为现在turn不等于1,所以进程会一直卡在⑤循环。直到p1的时间片用完,发生调度,切换p0上处理机运行。
在p0进程执行的过程中,代码①不会卡住p0,p0可以正常访问②临界区,在p0访问临界区期间即使进程被切换回了p1,p1依然会卡在⑤。只有p0在退出区将turn改为1后,p1才能进入临界区。
因此,该算法可以实现“同一时刻最多只允许一个进程访问临界区
。
- 存在的问题:turn表示当前允许进入临界区的进程号,而只有当前允许进入临界区的进程在访问临界区之后,才会修改turn的值。也就是说,对于临界区的访问,一定是按p0->p1->p0->p1…这样轮流访问。这种
轮流访问
带来的问题是,如果此时允许进入临界区的进程是p0,而p0一直不访问临界区
,那么虽然此时临界区空闲,但是并不允许p1访问。 - 因此,
单标志法
存在的主要问题
是:违背“空闲让进”原则
。
2.3双标志先检查
- 算法思想:设置一个布尔型数组flag[],数组中各个元素用来
标记各进程想进入临界区的意愿
,比如“flag[0] = true”,意味着0号进程p0现在想要进入临界区。每个进程在进入临界区之前先检查当前有没有别的进程想进入临界区,如果没有,则把自身对应的标志flag[i]设为true,之后开始访问临界区。
设置flag数组的两个进程p1和p0的初始值都为false,即都不想进入临界区;
执行①的时候,因为flag[1]=false,所以跳出循环,进入②;
进入②后,设置p0进程访问临界区的意愿为true,进入③临界区,开始执行代码;
访问完临界区后,设置flag[0]=false,退出临界区,然后开始执行p1进程的代码。
- 存在的问题:因为进程是有并发性的,所以如果按照①⑤②⑥③⑦…的顺序执行,p0和p1会同时访问临界区。
- 因此,双标志先检查算法的主要问题是:
违反“忙则等待”原则
。原因在于,进入区
的“检查”和“上锁”两个处理不是一气呵成的
。“检查“后,”上锁“前可能发生进程切换。
2.4双标志后检查
-
算法思想:双标志先检查法的改版。双标志先检查法是通过“先检查”后“加锁”实现的,但是这两个操作又无法一气呵成,所以我们想到了“先上锁“,后”检查“的方法,来避免上述问题。
-
存在的问题:同样用之前的分析方法,如果进程出现并发,①和⑤同时执行了,那么p1和p2都无法进入临界区。
-
因此,双标志后检查法虽然
解决了“忙则等待”问题
,但是又违背了"空闲让进"和“有限等待”原则
,会因为各进程都长期无法访问临界资源而产生“饥饿”现象。
2.5Peterson算法
- 算法思想:双标志后检查算法中,两个进程都争着进入临界区,但是谁也不让谁,最后谁都无法进入临界区。Peterson算法就是如果双方都抢着进入临界区,那么可以让进程尝试“孔融让梨”,主动让对方先使用临界区。
三、进程互斥的硬件实现方法
3.1思维导图
3.2中断隐藏方法
- 实现思路:利用“开/关中断指令”实现(与原语的实现思想相同,即在某进程开始访问临界区到结束访问为止都不允许被中断,也就不能发生进程切换,因此也不可能发生两个同时访问临界区的情况)。
- 优点:简单、高效
- 缺点:不适用于多处理机,只适用于操作系统内核进程,不适用于用户进程(因为开/关中断指令只能运行在内核态,这组指令如果能让用户随意使用会很危险)
3.3TestAndSet指令
- 简称TS指令,也有地方称为TestAndSetLock指令,或TSL指令;TS指令
是用硬件实现的
,执行的过程不允许被中断,只能一气呵成。下面是用C语言描述的逻辑
如果刚开始lock是false,则TSL返回的old值为false,while循环条件不满足,直接跳过循环,进入临界区。如果刚开始lock是true,则执行TSL后old的返回值为true,while循环条件满足,会一直循环,直到当前访问临界区的进程在退出区进行“解锁“。
相比软件实现方法,TSL指令把“上锁”和“检查”操作用硬件的方式变成了一气呵成的原子操作。
-
优点:实现简单,无需像软件实现方法那样严格检查是否会有逻辑漏洞:适用于多处理机环境
-
缺点:不满足“让权等待“的原则,暂时无法进入临界区的进程会占用CPU并循环执行TSL指令,从而导致”忙等“。
3.4Swap指令
- 有的地方也叫Exchange指令,或者简称XCHG指令;
- Swap指令是
用硬件实现的
,执行的过程不允许被中断,只能一气呵成。以下是用C语言描述的逻辑。
逻辑上来看Swap和TSL并无太大区别,都是先记录下此时临界区是否已经被上锁(记录在old变量上),再将上锁标记lock设置为true,最后检查old,如果old为false则说明之前没有别的进程对临界区上锁,则可跳出循环,进入临界区。
- 优点:实现简单,无需像软件实现方法那样严格检查是否会有逻辑漏洞:适用于多处理机环境
- 缺点:不满足“让权等待”原则,暂时无法进入临界区的进程会占用CPU并循环执行TSL指令,从而导致“忙等”。
四、信号量机制
4.1思维导图
4.2概述
- 思考:之前学习的进程互斥的解决方案分别存在哪些问题?
- 进程互斥的四种软件实现方式和三种硬件实现方式
1、在双标志先检查法中,进入区的检查、上锁操作无法一气呵成
,从而导致了两个进程有可能同时进入临界区的问题。
2、所有的解决方案都无法实现让权等待
。
在后来,有学者提出了一种卓有成效的实现进程互斥、同步的方法——信号量机制
用户进程可以通过使用操作系统提供的一对原语
来对信号量
进行操作,从而很方便的实现了进程互斥、进程同步。
信号量
其实就是一个变量(可以是一个整数,也可以是更复杂的记录型变量),可以用一个信号量来表示系统中某种资源的数量
,比如:系统中只有一台打印机,就可以设置一个初值为1的信号量。
原语
是一种特殊的程序段,其执行只能一气呵成,不可被中断
。原语是由关中断/开中断指令
实现的。软件实现方式的主要问题是“进入区的各种操作无法一气呵成”,因此如果能把进入区、退出区的操作都用“原语”实现,使这些操作能够“一气呵成”就能避免问题。
一对原语
:wait(s)
原语和signal(s)
原语,我们可以把原语理解为我们自己写的函数,函数名分别为wait和signal,括号里的信号量S
其实就是函数调用时传入的一个参数。
wait、signal原语常简称为P、V
操作。
4.3整型信号量
用一个整数型的变量
作为信号量,用来表示系统中某种资源的数量
。
4.4记录型信号量
整型信号量的缺陷是存在“忙等”问题,因此人们又提出了“记录型信号量”,即用记录型数据结构表示的信号量。
五、用信号量机制实现进程互斥、同步、前驱关系
5.1思维导图
5.2实现进程互斥
1、分析并发进程的关键活动,划定临界区(如:对临界资源打印机的访问就应放在临界区)
2、设置互斥信号量
mutex,初值为1
3、在临界区之前执行P(mutex)
4、在临界区之后执行V(mutex)
注意:对
不同的临界资源
需要设置不同的互斥信号量
。
P、V操作必须成对出现
。缺少P就不能保证临界资源的互斥访问,缺少V就会导致资源永不被释放,等待进程永不被唤醒。
5.3实现进程同步
- 进程同步:要让各并发进程按要求有序地推进。
比如:P1、P2并发执行,由于存在异步性,因此二者交替推进的次序是不确定的。
如果P2的“代码4”要基于P1的“代码1和代码2”的运行结果才能执行,那么我们就必须保证“代码4”一定是在“代码2”之后才会执行。
这就是进程同步问题,让本来异步并发的进程互相配合,有序推进。
- 用信号量实现进程同步:
1、分析什么地方需要实现“同步关系”,即必须保证“一前一后”执行的两个操作。
2、设置同步信号量S
,初始为0;
3、在“前操作”之后执行V
4、在“后操作”之前执行P