操作系统之进程管理3

1. 管程机制

为了避免凡要使用临界资源的进程都自备同步操作 wait(s)和signal(s).将同步操作的机制和临界资源结合到一起，形成管程。

定义：一个数据结构和能为并发进程所执行的一组操作。

包括：

1. 局部于管程的共享变量。
2. 对该数据结构进程操作的一组过程。
3. 对局部管程数据设置初值。

条件变量
x,y:condition；
x.wait：作用是阻塞一个等待x的进程，插入到x.queue ；
x.signal：作用是重新启动一个被阻塞的进程；

任一时刻管程中只能有一个活跃进程。进入管程时的互斥由编译器 负责，即实现了临界区互斥的自动化。
管程提供了一种实现互斥的简便途径，同时引入条件变量及 两个相关操作wait和signal使得进程在无法继续运行时阻塞。

2.进程通信

进程间的信息交换。

进程通信的类型
一、共享存贮器系统
1.基于共享数据结构的通信方式：
▪ produce-consume中的缓冲区，低效，不透明。
▪ 系统只提供了一共享存贮器，适于少量通信。
2.基于共享存储区的通信方式：
▪ 系统提供：共享存储区。
▪ 通信过程：
–（1）向系统申请一个或多个分区
–（2）获得分区获后即可读/写.
▪ 特点：高效，速度快。

二、消息传递系统（可用于异种机）
٭ 信息单位：消息（报文）
٭ 是目前的主要通信方式，分为直接通信方式、间接 通信方式
٭ 实现：一组通信命令（原语），具有透明性—> 同步的实现。

三、管道通信
٭ 管道：连接一个读进程和一个写进程之间通信的共 享文件。
٭ 功能：大量的数据发收。
٭ 注意： ▪ （1）互斥 ▪ （2）同步 ▪ （3）对方是否存在

3.线程

线程的引入
٭ 减少并发执行时的时空开销，进程的创建、撤消、切换较费时空，因它既是调度单位，又是资源拥有者。
٭ 线程是系统独立调度和分派的基本单位，其基本上不拥有系统资源，只有少量资源（IP，寄存器，栈）， 但共享其所属进程所拥有的全部资源。

线程的属性
٭ 轻型实体
٭ 独立调度和分派的基本单位
٭ 可并发实体
٭ 共享进程资源

线程的状态
٭ 状态参数 ▪ 寄存器状态、堆栈、运行状态、优先级、线程专有存储器、 ▪ 信号屏蔽
٭ 线程的运行状态

线程的创建和终止
多线程中的进程
٭ 拥有系统资源的基本单位，不再是一个开执行的实体。

4.内核级和用户级线程

用户级线程不依赖于内核，内核级依赖内核，其创建、 撤消和切换都由内核实现，在内核中为其保留一张线程 控制块。

比较：
1.线程的调度和切换速度：
٭ 内核级线程切换类似于进程切换，但速度快于进程切换。
٭ 用户级线程切换通常发生在同一用户进程的诸线程 间，无需进入内核，更快。

2.系统调用（用户级线程对内核是以进程为单位；这时进 入系统态，并阻塞调用者）
٭ 当一个进程含多个用户线程，其中某一个线程进行 系统调用，由于内核不知道这些线程的存在，因此 将进程阻塞。
٭ 当一个进程含多个系统线程，其中某一线程进行系 统调用，则阻塞该线程，进程仍可运行。
3.线程执行时间（用户级以用户进程为单位；由内核分配）
٭ 用户级线程以进程为单位平均分配时间，对线程间 并发执行并不有利。
٭ 系统级线程以线程为单位平均分配时间。

5.进程小结

1.为了实现程序的并发执行，OS提供了进程的概念模型，在 此模型中，每个进程有自己的状态，可以认为它运行在属于 自己的虚拟CPU上。
2.有时进程须相互作用，从而导致竞争条件，在竞争条件 下，时序决定运行结果，运行结果具有不可在现性。
3.为了避免竞争条件，引入临界区概念，临界区提供了互斥。
4.进程间通过原语通信，这些原语确保同一时刻只可以有一 个进程访问临界区，从而保证了互斥。
5.现在有各种原语：信号量、管程和消息传递，从理论上讲， 这些原语是等价的，每一种原语都可以实现其他的原语，在实 际系统中，信号量和消息传递用得最多。