操作系统概念（第七版）—— 第六章：进程同步

最新推荐文章于 2021-07-07 16:07:14 发布

To-String

最新推荐文章于 2021-07-07 16:07:14 发布

阅读量478

点赞数

分类专栏：操作系统概念第七版翻译版文章标签：操作系统概念进程同步

本文链接：https://blog.csdn.net/qq_34536551/article/details/88956261

版权

本文深入探讨了操作系统中进程同步的概念，包括临界区问题、Peterson算法、硬件同步、信号量、自旋锁以及死锁和饥饿问题。通过信号量解决临界区问题，分析了计数信号量和二进制信号量的差异，讨论了忙等待与自旋锁的优缺点。此外，文章还提到了读者-写者问题和管程在进程同步中的应用。

摘要由CSDN通过智能技术生成

临界区问题

Peterson算法

硬件同步

信号量（semaphore）

计数信号量和二进制信号量 173P

忙等待和自旋锁 174P

死锁与饥饿

有限缓存问题—生产者消费问题 177P

读者-写者问题

管程

协作进程是可以与系统中其它执行的进程之间互相影响的进程。如果一个进程是协作的，那么该进程可以直接共享逻辑地址空间（即代码和数据），或者只通过文件或消息来共享数据。

临界区问题

如果一个系统有n个进程，每个进程都会有一个代码段称为临界区，在该区中的进程可能改变共同变量、更新一个表、写一个文件等。

这样的系统有一个重要的特点是：当一个进程在临界区内执行时，不可以有其他进程可同时在临界区执行。

临界区问题该设计以便让一个协议来协作进程。

每个进程必须在请求之后才可以进入其临界区。那么实现这一请求的代码段称为进入区，临界区执行完后有退出区，其它代码称为剩余区。

临界区问题需要注意的有：

互斥：只能一个进程在临界区内执行

有空让进：如果没有进程在其临界区内执行且此时有进程希望进入临界区，那么只有那些不在剩余区内执行的进程才能被选择，以选择谁能下一个进入临界区，且这种选择不能无限推迟。

有限等待：在一个进程作出进入其临界区的请求到该请求被允许期间，其他进程被允许进入其临界区的次数存在一个上限

有两种方法用于处理操作系统内的临界区问题：

抢占内核（preemptive kernel）与非抢占内核（nonpreemptive kernel）：

抢占内核允许处于内核模式的进程被抢占。

非抢占内核不允许内核模式的进程被抢占。

非抢占内核的内核数据结构从根本上不会导致竞争条件，对于抢占内核需要认真设计以确保其内核数据结构不会导致竞争条件。

但抢占内核更受欢迎，因为抢占内核更适合实时编程，因为它能允许实时进程抢占处于内核模式运行的其他进程。再者，抢占内核的响应更快，因为处于内核模式的进程在释放CPU之前不会运行过久。