操作系统-进程和线程（二）

进程同步和进程互斥

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

在管道通信中，读进程和写进程并发地运行，由于并发必然导致异步性，因此“写数据”和“读数据”两个操作执行的先后顺序是不确定的。而实际应用中，又必须按照“写数据→读数据”的顺序来执行的。如何解决这种异步问题，就是“进程同步”所讨论的内容。

进程同步

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

进程互斥

进程的“并发”需要“共享”的支持。各个并发执行的进程不可避免的需要共享一些系统资源（比如内存，又比如打印机、摄像头这样的I/o设备）

我们把一个时间段内只允许一个进程使用的资源称为临界资源。许多物理设备（比如摄像头、打印机）都属于临界资源。此外还有许多变量、数据、内存缓冲区等都属于临界资源。

注意:临界区是进程中访问临界资源的代码段。进入区和退出区是负责实现互斥的代码段。临界区也可称为“临界段”。

如果一个进程暂时不能进入临界区，那么该进程是否应该一直占着处理机?该进程有没有可能一直进不了临界区?

为了实现对临界资源的互斥访问，同时保证系统整体性能，需要遵循以下原则:
1．空闲让进。临界区空闲时，可以允许一个请求进入临界区的进程立即进入临界区;
2．忙则等待。当已有进程进入临界区时，其他试图进入临界区的进程必须等待;
3．有限等待。对请求访问的进程，应保证能在有限时间内进入临界区（保证不会饥饿);
4．让权等待。当进程不能进入临界区时，应立即释放处理机，防止进程忙等待。

小结

进程互斥的软件实现方法

学习提示:
1.理解各个算法的思想、原理
2．结合上小节学习的“实现互斥的四个逻辑部分”，重点理解各算法在进入区、退出区都做了什么
3．分析各算法存在的缺陷（结合“实现互斥要遵循的四个原则”进行分析)

单标志法

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

turn表示当前允许进入临界区的进程号，而只有当前允许进入临界区的进程在访问了临界区之后，才会修改turn的值。也就是说，对于临界区的访问，一定是按PO→P1→PO→P1→…这样轮流访问。

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

双标志先检查法

双标志后检查法

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

Peterson算法

算法思想:双标志后检查法中，两个进程都争着想进入临界区，但是谁也不让谁，最后谁都无法进入临界区。Gary L.Peterson想到了一种方法，如果双方都争着想进入临界区，那可以让进程尝试“孔融让梨”，主动让对方先使用临界区。

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

小结

进程互斥的硬件实现方法

中断屏蔽方法

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

优点:简单、高效
缺点:不适用于多处理机;只适用于操作系统内核进程，不适用于用户进程（因为开/关中断指令只能运行在内核态，这组指令如果能让用户随意使用会很危险

TestAndSet指令

Swap指令

信号量机制

整型信号量

记录型信号量

（如果一个进程暂时进不了临界区，系统的资源暂时不够的话，进程会一直占用处理机，一直循环检查，从而导致忙等，不满足让权等待的原则）整型信号量的缺陷是存在“忙等”问题，因此人们又提出了“记录型信号量”，即用记录型数据结构表示的信号量。

是这样的，假如我们现在有两台打印机，那么资源数就是2.
假如现在有4个进程需要使用打印机
P0线程使用wait申请了一个打印机，value-1=1,P0申请到一台打印机可以开始使用打印机
P1线程使用wait申请了一个打印机，value-1=0,P1申请到一台打印机可以开始使用打印机
P2线程使用wait申请一个打印机，value-1=-1,P2未申请到打印机，P2进入等待队列
P3线程使用wait申请一个打印机，value-1=-2,P3未申请到打印机，P3进入等待队列

P0线程打印完毕，通过signal释放打印机，value+1=-1同时唤醒等待队列中的P2
P1线程打印完毕，通过signal释放打印机，value+1=0同时唤醒等待队列中的P3
P2线程打印完毕，通过signal释放打印机，value+1=1,等待队列为空，直接归还打印机资源
P3线程打印完毕，通过signal释放打印机，value+1=2,等待队列为空，直接归还打印机资源

小结

用信号量机制实现进程互斥、同步、前驱关系

实现互斥

实现同步

实现前驱关系

小结

生产者-消费者问题

经典的线程互斥同步问题

系统中有一组生产者进程和一组消费者进程，生产者进程每次生产一个产品放入缓冲区，消费者进程每次从缓冲区中取出一个产品并使用。（注:这里的“产品”理解为某种数据)生产者、消费者共享一个初始为空、大小为n的缓冲区。只有缓冲区没满时，生产者才能把产品放入缓冲区，否则必须等待。只有缓冲区不空时，消费者才能从中取出产品，否则必须等待。
缓冲区是临界资源，各进程必须互斥地访问。

小结

多生产者-多消费者问题

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

吸烟者问题

读者-写者问题

有读者和写者两组并发进程，共享一个文件，当两个或两个以上的读进程同时访问共享数据时不会产生副作用，但若某个写进程和其他进程（读进程或写进程数据不一致的错误。因此要求:①允许多个读者可以同时对文件执行读操作;2只允许一个与者往文件中写信息;③任一写者在完成写操作之前不允许其他读者或写者工作;④写者执行写操作前，应让已有的读者和写者全部退出。

哲学家进餐问题

管程

管程是一种特殊的软件模块，有这些部分组成:
1.局部于管程的共享数据结构说明;
2对该数据结构进行操作的一组过程;
3.对局部于管程的共享数据设置初始值的语句;
4管程有一个名字。

管程的基本特征:
1.局部于管程的数据只能被局部于管程的过程所访问;
2．一个进程只有通过调用管程内的过程才能进入管程访问共享数据;
3．每次仅允许一个进程在管程内执行某个内部过程。

死锁的概念

死锁:各进程互相等待对方手里的资源，导致各进程都阻塞，无法向前推进的现象。
饥饿:由于长期得不到想要的资源，某进程无法向前推进的现象。比如:在短进程优先（SPF）算法中，若有源源不断的短进程到来，则长进程将一直得不到处理机，从而发生长进程“饥饿”。

死锁产生的必要条件

什么时候会发生死锁

1．对系统资源的竞争。各进程对不可剥夺的资源（如打印机）的竞争可能引起死锁，对可剥夺的资源(CPU)的竞争是不会引起死锁的。
2．进程推进顺序非法。请求和释放资源的顺序不当，也同样会导致死锁。例如，并发执行的进程P1、
P2分别申请并占有了资源R1、R2，之后进程P1又紧接着申请资源R2，而进程p2又申请资源R1，
两者会因为申请的资源被对方占有而阻塞，从而发生死锁。
3．信号量的使用不当也会造成死锁。如生产者-消费者问题中，如果实现互斥的P操作在实现同步的
P操作之前，就有可能导致死锁。(可以把互斥信号量、同步信号量看做是一种抽象的系统资源)
总之，对不可剥夺资源的不合理分配，可能导致死锁。

死锁的处理策略

1.预防死锁。破坏死锁产生的四个必要条件中的一个或几个。
2．避免死锁。用某种方法防止系统进入不安全状态，从而避免死锁（银行家算法)
3．死锁的检测和解除。允许死锁的发生，不过操作系统会负责检测出死锁的发生，然后采取某种措
施解除死锁。

小结

死锁的处理策略

预防死锁

死锁的产生必须满足四个必要条件，只要其中一个或者几个条件不满足，死锁就不会发生。

破坏互斥条件

互斥条件:只有对必须互斥使用的资源的争抢才会导致死锁。
如果把只能互斥使用的资源改造为允许共享使用，则系统不会进入死锁状态。比如: SPOOLing技术。操作系统可以采用SPoOLing 技术把独占设备在逻辑上改造成共享设备。比如，用SPooLing技术将打印机改造为共享设备…

该策略的缺点:并不是所有的资源都可以改造成可共享使用的资源。并且为了系统安全，很多地方还必须保护这种互斥性。因此，很多时候都无法破坏互斥条件。

破坏不剥夺条件

不剥夺条件:进程所获得的资源在未使用完之前，不能由其他进程强行夺走，只能主动释放。

破坏不剥夺条件:

方案一:当某个进程请求新的资源得不到满足时，它必须立即释放保持的所有资源，待以后需要时再重新申请。也就是说，即使某些资源尚未使用完，也需要主动释放，从而破坏了不可剥夺条件。

方案二:当某个进程需要的资源被其他进程所占有的时候，可以由操作系统协助，将想要的资源强行剥夺。这种方式一般需要考虑各进程的优先级（比如:剥夺调度方式，就是将处理机资源强行剥夺给优先级更高的进程使用)

该策略的缺点:
1.实现起来比较复杂。
⒉释放已获得的资源可能造成前一阶段工作的失效。因此这种方法一般只适用于易保存和恢复状态的资源，如CPU。
3.反复地申请和释放资源会增加系统开销，降低系统吞吐量。
4.若采用方案一，意味着只要暂时得不到某个资源，之前获得的那些资源就都需要放弃，以后再重新申请。如果一直发生这样的情况，就会导致进程饥饿。

破坏请求和保持条件

请求和保持条件:进程已经保持了至少一个资源，但又提出了新的资源请求，而该资源又被其他进程占有，此时请求进程被阻塞，但又对自己已有的资源保持不放

可以采用静态分配方法，即进程在运行前一次申请完它所需要的全部资源，在它的资源未满足前，不让它投入运行。一旦投入运行后，这些资源就一直归它所有，该进程就不会再请求别的任何资源了。
该策略实现起来简单，但也有明显的缺点:
有些资源可能只需要用很短的时间，因此如果进程的整个运行期间都一直保持着所有资源，就会造成严重的资源浪费，资源利用率极低。另外，该策略也有可能导致某些进程饥饿。

如下图，每当来一个A类进程，就会占有资源1，每当来一个B类进程，就会占有资源2，那么C类进程需要有资源1和资源2，可能会导致C类进程拿不到资源而导致C类进程饥饿

破坏循环等待条件

循环等待条件:存在一种进程资源的循环等待链，链中的每一个进程已获得的资源同时被下一个进程所请求。
可采用顺序资源分配法。首先给系统中的资源编号，规定每个进程必须按编号递增的顺序请求资源，同类资源（即编号相同的资源）一次申请完。
原理分析:一个进程只有已占有小编号的资源时，才有资格申请更大编号的资源。按此规则，已持有大编号资源的进程不可能逆向地回来申请小编号的资源，从而就不会产生循环等待的现象。

小结

避免死锁

什么是安全序列

有的资源请求可以答应，有的资源请求不可以答应

所谓安全序列，就是指如果系统按照这种序列分配资源，则每个进程都能顺利完成。只要能找出一个安全序列，系统就是安全状态。当然，安全序列可能有多个

如果分配了资源之后，系统中找不出任何一个安全序列，系统就进入了不安全状态。这就意味着之后可能所有进程都无法顺利的执行下去。当然，如果有进程提前归还了一些资源，那系统也有可能重新回到安全状态，不过我们在分配资源之前总是要考虑到最坏的情况。

如果系统处于安全状态，就一定不会发生死锁。如果系统进入不安全状态，就可能发生死锁（处于不安全状态未必就是发生了死锁，但发生死锁时一定是在不安全状态）

因此可以在资源分配之前预先判断这次分配是否会导致系统进入不安全状态，以此决定是否答应资源分配请求。这也是“银行家算法”的核心思想。

银行家算法

系统处于不安全状态未必死锁，但死锁时一定处于不安全状态。系统处于安全状态一定不会死锁。

检测和解除

如果系统中既不采取预防死锁的措施，也不采取避免死锁的措施
系统就很可能发生死锁。在这种情况下，系统应当提供两个算法:
①死锁检测算法:用于检测系统状态，以确定系统中是否发生了死锁。
②死锁解除算法:当认定系统中已经发生了死锁，利用该算法可将系统从死锁状态中解脱出来。

如何决定死锁解除的线程

小结