期末复习操作系统-第二章进程同步与互斥 -- 代码题

c无序

于 2024-12-04 20:07:38 发布

阅读量1.4k

点赞数 22

CC 4.0 BY-SA版权

分类专栏：期末复习文章标签：操作系统

本文链接：https://blog.csdn.net/2202_75331338/article/details/144248441

期末复习专栏收录该内容

16 篇文章

订阅专栏

温馨提示

本博客内容源自上课PPT，只是精简了部分，前期复习建议看学习通资料，这个可以用于考试前两天速刷

重点部分已经折成目录便于大家快速寻找，本期内容为代码题，好好理解，好好背，加油

第二章、进程同步与互斥

4.进程互斥的软件实现方式--单标志法、双标志先检查、双标志后检查、Peterson （皮特森）算法

第二章、进程同步与互斥

1.进程同步

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

2.进程互斥

进程互斥指当一个进程访问某临界资源时，另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束，释放该资源之后另一个进程才能去访问临界资源

对临界资源的互斥访问，可以在逻辑上分为如下四个部分：

do {
	entry section; //进入区 负责检查是否可进入临界区，若可进入，则应设置正在访问临界资源的标志（可理解为“上锁”），以阻止其他进程同时进入临界区
	critical section; //临界区 实际访问临界资源的那段代码
	exit section; //退出区 负责解除正在访问临界资源的标志（可理解为“解锁”）
	remainder section; //剩余区  做其它处理
}while(true)

3.为了实现对临界资源的互斥访问，同时保证系统整体性能，需要遵循以下原则

1. 空闲让进。临界区空闲时，可以允许一个请求进入临界区的进程立即进入临界区；

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

3. 有限等待。对请求访问的进程，应保证能在有限时间内进入临界区（保证不会饥饿）；

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

4.进程互斥的软件实现方式--单标志法、双标志先检查、双标志后检查、Peterson （皮特森）算法

单标志法

算法思想：两个进程在访问完临界区后会把使用临界区的权限转交给另一个进程。也就是说每个进程进入临界区的权限只能被另一个进程赋予。

总结：该算法可以实现“同一时刻最多只允许一个进程访问临界区”，turn变量背后的逻辑：表达“谦让”

只能按 P0 →P1→P0 →P1→…这样轮流访问。这种必须“轮流访问”带来的问题是，如果此时允许进入临界区的进程是 P0，而 P0一直不访问临界区，那么虽然此时临界区空闲，但是并不允许P1访问。单标志法存在的主要问题是:违背“空闲让进”原则。

双标志先检查法

算法思想：设置一个布尔型数组flag[]，数组中各个元素用来标记各进程想进入临界区的意愿，比如“flag[0]=ture”意味着0号进程P0现在想要进入临界区

每个进程在进入临界区之前先检查当前有没有别的进程想进入临界区，如果没有，则把自身对应的标志flag[i]设为true，之后开始访问临界区。

若按照①⑤②⑥③⑦...的顺序执行：P0和P1将会同时访问临界区；因此，双标志先检查法的主要问题是：违反“忙则等待”原则。

原因：进入区的“检查”和“上锁”两个处理不是一气呵成的。“检查”后，“上锁”前可能发生进程切换。

双标志后检查法

算法思想：双标志先检查法的改版。前一个算法的问题是先“检查”后“上锁”，但是这两个操作又无法一气呵成，因此导致了两个进程同时进入临界区的问题。因此，人们又想到先“上锁”后“检查”的方法，来避免上述问题。

若按照①⑤②⑥…的顺序执行：

P0和 P1将都无法进入临界区因此，双标志后检查法虽然解决了“忙则等待”的问题，但是又违背了“空闲让进”和“有限等待”原则，会因各进程都长期无法访问临界资源而产生“饥饿”现象。两个进程都争着想进入临界区，但是谁也不让谁，最后谁都无法进入临界区。

Peterson算法

算法思想：结合双标志法、单标志法的思想。如果双方都争着想进入临界区，那可以让进程尝试“孔融让梨”（谦让）。做一个“有礼貌”的进程。

双标志法：设置布尔型数组flag[]，每个进程主动表示自己想要进入临界区的意愿

单标志法：turn变量的使用让每个进程互相谦让，邀请对方使用临界区

Peterson 算法用软件方法解决了进程互斥问题，遵循了空闲让进、忙则等待、有限等待三个原则，但是依然未遵循让权等待的原则。

小结

5.中断屏蔽方法

利用“开/关中断指令”实现（与原语的实现思想相同，即在某进程开始访问临界区到结束访问为止都不允许被中断，也就不能发生进程切换）；因此也不可能发生两个同时访问临界区的情况

优点：简单、高效

缺点：1️⃣不适用于多处理机（开/关中断指令只对当前一个处理机有效）

2️⃣只适用于操作系统内核进程，不适用于用户进程（因为开/关中断指令只能运行在内核态，这组指令如果能让用户随意使用会很危险）

6.TestAndSet(TS指令/TSL指令)

TSL指令是用硬件实现的，执行的过程不允许被中断，只能一气呵成。以下是用C语言描述的逻辑

相比软件实现方法，TSL指令把“上锁”和“检查”操作用硬件的方式变成了一气呵成的原子操作

优点：实现简单，无需像软件实现方法那样严格检查是否会有逻辑漏洞；适用于多处理机环境

缺点：不满足“让权等待”原则，暂时无法进入临界区的进程会占用CPU并循环执行TSL指令，从而导致“忙等”

7.Swap指令

有的地方也叫 Exchange 指令，或简称XCHG 指令，Swap指令是用硬件实现的，执行的过程不允许被中断，只能一气呵成。以下是用C语言描述的逻辑

逻辑上来看Swap和TSL并无太大区别，都是先记录下此时临界区是否已经被上锁，将上锁标记lock值与old互换，检查old，如果old为false，则说明之前没有别的进程对临界区上锁，则可跳出循环，进入临界区

优点：实现简单，无需像软件实现方法那样严格检查是否会有逻辑漏洞；适用于多处理机环境

缺点:不满足“让权等待”原则，暂时无法进入临界区的进程会占用CPU并循环执行TSL指令，从而导致“忙等”

8.进程互斥--锁

互斥锁

解决临界区最简单的工具就是互斥锁。一个进程在进入临界区时应获得锁：在退出临界区时释放锁。函数acquire()获得锁，而函数release()释放锁

每个瓦斥锁有一个布尔变量 available，表示锁是否可用。如果锁是可用的，调用acguire()会成功，且锁不再可用。当一个进程试图获取不可用的锁时，会被阻塞，直到锁被释放。

acquire(){
		while(!available); //忙等待
		available =false; //获得锁
}
release(){
		available =true //释放锁
}

acquire()或release()的执行必须是原子操作，因此互斥锁通常采用硬件机制来实现

互斥锁的主要缺点是忙等待，当有一个进程在临界区中，任何其他进程在进入临界区时必须连续循环调用 acquire()。

当多个进程共享同一CPU时，就浪费了CPU周期，违反了让权等待规则。

因此，互斥锁通常用于多处理器系统，一个线程可以在一个处理器上等待，不影响其他线程的执行

自旋锁

需要连续循环忙等的互斥锁，都可称为自旋锁(spin lock)，如TSL指令、swap指令、单标志法

特性：

◼ 需忙等，进程时间片用完才下处理机，违反“让权等待”

◼ 优点:等待期间不用切换进程上下文，多处理器系统中，若上锁的时间短，则等待代价很低

◼ 常用于多处理器系统，一个核忙等，其他核照常工作，并快速释放临界区

◼ 不太适用于单处理机系统，忙等的过程中不可能解锁

9.信号量机制

用户进程可以通过使用操作系统提供的一对原语来对信号量进行操作，从而很方便的实现了进程互斥、进程同步。

信号量其实就是一个变量（可以是一个整数，也可以是更复杂的记录型变量），可以用一个信号量来表示系统中某种资源的数量，比如:系统中只有一台打印机，就可以设置一个初值为1的信号量

原语是一种特殊的程序段，其执行只能一气呵成，不可被中断。原语是由关中断/开中断指令实现的

一对原语：wait(S)原语和 signal(S)原语，可以把原语理解为我们自己写的函数，函数名分别为 wait和 signal，括号里的信号量S其实就是函数调用时传入的一个参数

wait、signal原语常简称为P、V操作（来自荷兰语 proberen和 verhogen）。因此，做题的时候常把wait(S)、signal(S)两个操作分别写为 P(S)、V(S)

整型信号量

用一个整数型的变量作为信号量，用来表示系统中某种资源的数量。

与普通整数变量可以进行加减乘除运算的区别：对信号量的操作只有三种，即初始化、P操作、V操作

例：某计算机系统中有一台打印机.….

记录型信号量

整型信号量的缺陷是存在“忙等”问题，因此人们又提出了“记录型信号量”，即用记录型数据结构表示的信号量

例：某计算机系统中有2台打印机…，则可在初始化信号量S时将S.value的值设为2，队列S.L设置为空

在题目中 wait(S)、signal(s)也可以记为P(S)、V(S)这对原语可用于实现系统资源的“申请”和“释放”

S.value 的初值表示系统中某种资源的数目

在对信号量s的一次P操作：意味着进程请求一个单位的该类资源，因此需要执行S.value--，表示资源数减1

当S.value<0时表示该类资源已分配完毕，因此进程应调用block 原语进行自我阻塞(当前运行的进程从运行态->阻塞态)，主动放弃处理机，并插入该类资源的等待队列 S.L中。

可见，该机制遵循了“让权等待”原则不会出现“忙等”现象。

在对信号量s的一次V操作：意味着进程释放一个单位的该类资源，因此需要执行 S.value++，表示资源数加1

若加1后仍是 S.value<=0，表示依然有进程在等待该类资源，因此应调用 wakeup 原语唤醒等待队列中的第一个进程(被唤醒进程从阻塞态→就绪态)。

10.信号量机制实现进程互斥

注意：对不同的临界资源需要设置不同的互斥信号量

P、V操作必须成对出现。缺少P(mutex)就不能保证临界资源的互斥访问。缺少V(mutex)会导致资源永不被释放，等待进程永不被唤醒

进程同步：要让各并发进程按要求有序地推进

P1、P2并发执行，由于存在异步性，因此二者交替推进的次序是不确定的。

若 P2的“代码4”要基于 P1的“代码1”和“代码2”的运行结果才能执行，那么我们就必须保证“代码4”一定是在“代码2”之后才会执行。

这就是进程同步问题，让本来异步并发的进程互相配合，有序推进

用信号量实现进程同步：

1. 分析什么地方需要实现“同步关系”，即必须保证“一前一后”执行的两个操作（或两句代码）

2. 设置同步信号量S，初始为 0

假设P1进程先运行，若先执行到 V(S) 操作，则 S++后S=1。

之后当执行到 P(S) 操作时，由于S=1，表示有可用资源，会执行S--，S的值变回0，P2 进程不会执行 block 原语，而是继续往下执行代码4。

假设P2进程先运行：

先执行到 P(S)操作，由于S=0，S--后 S=-1，表示此时没有可用资源，因此P操作中会执行 block 原语，主动请求阻塞。

之后当执行完代码2，继而执行V(S)操作，S++，使S变回0。由于此时有进程在该信号量对应的阻塞队列中，因此会在V操作中执行 wakeup 原语，唤醒 P2进程。这样 P2就可以继续代码4了

保证了代码4一定是在代码2之后执行

理解：信号量S代表“某种资源”。刚开始是没有这种资源的。P2需要使用这种资源，而又只能由P1产生这种资源。

前V后P

1. 分析什么地方需要实现“同步关系”，即必须保证“一前一后”执行的两个操作（或两句代码）

2. 设置同步信号量S，初始为 0

3. 在“前操作”之后执行 V(S)

4. 在“后操作”之前执行 P(S)

小结

11.生产者消费者问题

问题描述：系统中有一组生产者进程和一组消费者进程，生产者进程每次生产一个产品放入缓冲区，消费者进程每次从缓冲区中取出一个产品并使用。（注：这里的“产品”理解为某种数据）

生产者、消费者共享一个初始为空、大小为n的缓冲区。

只有缓冲区没满时，生产者才能把产品放入缓冲区，否则必须等待。缓冲区没满→生产者生产

只有缓冲区不空时，消费者才能从中取出产品，否则必须等待。缓冲区没空→消费者消费

缓冲区是临界资源，各进程必须互斥地访问。互斥关系

PV操作题目分析步骤：

关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系
整理思路。根据各进程的操作流程确定P、V操作的大致顺序。（前V后P）
设置信号量。并根据题目条件确定信号量初值。（互斥信号量初值一般为1，同步信号量的初始值要看对应资源的初始值是多少

semaphore mutex = 1; //互斥信号量，实现对缓冲区的互斥访问
semaphore empty = n; //同步信号量，表示空闲缓冲区的数量
semaphore full = 0; //同步信号量，表示产品的数量，即非空缓冲区的数量

思考：能否改变相邻P、V操作顺序

若此时缓冲区内已经放满产品，则empty=0，full=n
则生产者进程执行① 使mutex变为0，再执行②，由于已没有空闲缓冲区，因此生产者被阻塞。
由于生产者阻塞，因此切换回消费者进程。消费者进程执行③，由于mutex为0，即生产者还没释放对临界资源的“锁”，因此消费者也被阻塞
这就造成了生产者等待消费者释放空闲缓冲区，而消费者又等待生产者释放临界区的情况，生产者和消费者循环等待被对方唤醒，出现“死锁”

考虑：若缓冲区中没有产品，即full=0，empty=n。按③④①的顺序执行：会发生死锁

因此，实现互斥的P操作一定要在实现同步的P操作之后

如果改变相邻V操作的顺序：V操作不会导致进程阻塞，也就是不会导致循环等待的问题

因此两个V操作顺序可以交换

12.多生产者-多消费者问题

问题描述：桌子上有一只盘子，每次只能向其中放入一个水果。爸爸专向盘子中放苹果，妈妈专向盘子中放橘子，儿子专等着吃盘子中的橘子，女儿专等着吃盘子中的苹果。只有盘子空时，爸爸或妈妈才可向盘子中放一个水果。仅当盘子中有自己需要的水果时，儿子或女儿可以从盘子中取出水果。用PV操作实现上述过程。

1. 关系分析，找出题目中描述的各个进程，分析它们之间的同步、互斥关系

2. 整理思路。根据各进程的操作流程确定P、V操作的大致顺序。

互斥：在临界区前后分别P、V 同步：前V后P

3.设置信号量。设置需要的信号量，并根据题目条件确定信号量初值。（互斥信号量初值一般为1，同步信号量的初始值要看对应资源的初始值是多少）

思考：不用互斥信号量

结论：即使不设置专门的互斥变量mutex，也不会出现多个进程同时访问盘子的现象

原因在于：本题中的缓冲区大小为1，在任何时刻，apple、orange、plate 三个同步信号量中最多只有一个是1。因此在任何时刻最多只有一个进程的P操作不会被阻塞，并顺利地进入临界区..

如果盘子容量设为2？就不可以了

于是就出现了两个进程同时访问缓冲区的情况，有可能导致两个进程写入缓冲区的数据相互覆盖的情况，因此，如果缓冲区大小大于1，就必须专门设置一个互斥信号量 mutex来保证互斥访问缓冲区。

小结：在生产者-消费者问题中，如果缓冲区大小为1，那么有可能不需要设置互斥信号量就可以实现互斥访问缓冲区的功能。当然，这不是绝对的，要具体问题具体分析

建议：在考试中如果来不及仔细分析，可以加上互斥信号量，保证各进程一定会互斥地访问缓冲区。但需要注意的是，实现互斥的P操作一定要在实现同步的P操作之后，否则可能引起“死锁”。

补充：

解决“多生产者-多消费者问题”的关键在于理清复杂的同步关系。
在分析同步问题（一前一后问题）的时候不能从单个进程行为的角度来分析，要把“一前一后”发生的事看做是两种“事件”的前后关系。
比如，如果从单个进程行为的角度来考虑的话，我们会有以下结论：

- 如果盘子里装有苹果，那么一定要女儿取走苹果后父亲或母亲才能再放入水果
- 如果盘子里装有橘子，那么一定要儿子取走橘子后父亲或母亲才能再放入水果
这么看是否就意味着要设置四个同步信号量分别实现这四个“一前一后”的关系了？

正确的分析方法应该从“事件”的角度来考虑，我们可以把上述四对“进程行为的前后关系”抽象为一对“事件的前后关系”

盘子变空事件→放入水果事件
“盘子变空事件”既可由儿子引发，也可由女儿引发；“放水果事件”既可能是父亲执行，也可能是母亲执行。
这样的话，就可以用一个同步信号量解决问题了

13.吸烟者问题

问题描述：假设一个系统有三个抽烟者进程和一个供应者进程。每个抽烟者不停地卷烟并抽掉它，但是要卷起并抽掉一支烟，抽烟者需要有三种材料；烟草、纸和胶水。三个抽烟者中，第一个拥有烟草、第二个拥有纸、第三个拥有胶水。

供应者进程无限地提供三种材料，供应者每次将两种材料放桌子上，拥有剩下那种材料的抽烟者卷一根烟并抽掉它，并给供应者进程一个信号告诉完成了，供应者就会放另外两种材料再桌上。这个过程一直重复（让三个抽烟者轮流地抽烟）

本质上这题也属于“生产者-消费者”问题，更详细的说应该是“可生产多种产品的单生产者-多消费者”

1. 关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。

2. 整理思路。根据各进程的操作流程确定P、V操作的大致顺序

3. 设置信号量。设置需要的信号量，并根据题目条件确定信号量初值。（互斥信号量初值一般为1，同步信号量的初始值要看对应资源的初始值是多少）

思考：是否需要设置一个专门的互斥信号量?

缓冲区大小为1，同一时刻，四个同步信号量中至多有一个的值为1

小结：

吸烟者问题可以为我们解决“可以生产多个产品的单生产者”问题提供一个思路。

重点：“轮流让各个吸烟者吸烟”必然需要“轮流的在桌上放上组合一、二、三”，注意体会我们是如何用一个整型变量i实现这个“轮流”过程的。

若一个生产者要生产多种产品（或者说会引发多种前驱事件），那么各个V操作应该放在各自对应的“事件”发生之后的位置。

14.读者写者问题

问题描述：有读者和写者两组并发进程，共享一个文件，当两个或两个以上的读进程同时访问共享数据时不会产生副作用，但若某个写进程和其他进程（读进程或写进程）同时访问共享数据时则可能导致数据不一致的错误。因此要求：

①允许多个读者可以同时对文件执行读操作；

解析：与消费者进程不同，读者进程在读数据后并不会将数据清空，并不会改变数据。因此多个读者可同时访问共享数据；

②只允许一个写者往文件中写信息；

解析：两个写进程同时共享数据，可能导致数据错误覆盖的问题

③任一写者在完成写操作之前不允许其他读者或写者工作；

④写者执行写操作前，应让已有的读者和写者全部退出。

解析：读进程与写进程同时共享数据，可能导致读出的数据不一致的问题

1. 关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。

2. 整理思路。根据各进程的操作流程确定P、V操作的大致顺序设置信号量。

3. 设置需要的信号量。并根据题目条件确定信号量初值。（互斥信号量初值一般为1，同步信号量的初始值要看对应资源的初始值是多少）

两类进程：写进程、读进程

互斥关系：写进程一写进程、写进程一读进程、读进程与读进程

不存在互斥问题

潜在的问题：只要有读进程还在读，写进程就要一直阻塞等待，可能“饿死”。因此，这种算法中，读进程是优先的。假设读进程1在读文件，即rw=0→写进程1到达，无法执行P操作，阻塞→读进程2到来，count值大于0，跳过P操作，直接往下执行读文件

小结：

读者-写者问题为我们解决复杂的互斥问题提供了一个参考思路。

读者进程与读者进程之间不互斥，而写者进程与其它进程都互斥。

其核心思想在于设置了一个计数器 count用来记录当前正在访问共享文件的读进程数。我们可以用count的值来判断当前进入的进程是否是第一个/最后一个读进程，从而做出不同的处理。

另外，对 count变量的检查和赋值不能一气呵成导致了一些错误，如果需要实现“一气呵成”，自然应该想到用互斥信号量。

最后，还要认真体会我们是如何解决“写进程饥饿”问题的。

15.哲学家就餐问题

问题描述：有5位哲学家围坐在一张桌子周围共同讨论一问题。他们各自独立地或拿起筷子用餐或独自思考问题。假定桌上的每两位相邻的哲学家之间放一支筷子，每位哲学家在用餐时需要得到左右两边的筷子（一根一根地拿起），然后才能用餐，用餐后放下筷子，又开始独立思考问题。如果筷子已在他人手上，则需等待

如何防止死锁的发生？

①可以对哲学家进程施加一些限制条件，比如最多允许四个哲学家同时进餐。这样可以保证至少有一个哲学家是可以拿到左右两只筷子的。

②要求奇数号哲学家先拿左边的筷子，然后再拿右边的筷子，而偶数号哲学家刚好相反。用这种方法可以保证如果相邻的两个奇偶号哲学家都想吃饭，那么只会有其中一个可以拿起第一只筷子，另一个会直接阻塞。这就避免了占有一支后再等待另一只的情况。

③仅当一个哲学家左右两支筷子都可用时才允许他抓起筷子。

semaphore chopstick[5]={1,1,1,1,1};  
semaphore mutex=1;   //互斥地取筷子  
Pi（）{  
    //i号哲学家的进程  
    while(1){  
        P(mutex);  
        P(chopstick[i]);  //拿左  
        P(chopstick[(i+1)%5]);  //拿右  
        V(mutex);  
        吃饭...  
        V(chopstick[i]);  //放左  
        V(chopstick[(i+1)%5]);  //放右  
        思考...  
    }  
}

哲学家就餐问题