操作系统 第二章 进程通信 线程

2.6进程通信

进程通信是指进程之间的信息交换。

一、低级通信——进程之间的互斥和同步
信号量机制是有效的同步工具，但作为通信工具缺点如下：
(1)效率低（通信量少）
(2)通信对用户不透明（程序员实现，操作系统只提供共享存储器供代码操作）

二、高级进程通信

用户直接利用操作系统提供的一组通信命令，高效地传送大量数据的通信方式。
操作系统隐藏了进程通信的细节，对用户透明，减少了通信程序编制上的复杂性。

1.进程通信的类型
通信机制可归纳为四大类
1）共享存储器系统
2）消息传递系统（发—收方式）
3）管道通信（中间文件方式）
4）Client-Server system

2.消息传递通信的实现方法
1）直接通信方式
发送进程利用OS所提供的发送命令（原语），直接把消息发送给目标进程。此时，发送进程和接收进程都以显式方式提供对方的标识符。通常利用系统通信命令（原语）：
Send(Receiver, message);
Receive(Sender, message);
2）间接通信方式
基于共享数据结构的实体用来暂存发送给目标进程的消息；接收进程则从该实体中，取出对方发送给自己的消息。通常把这种实体称为信箱。
消息在信箱中可以安全地保存，只允许核准的目标用户随时读取。既可实时通信，又可非实时通信。

3.消息传递系统的实现
单机和网络环境下的高级进程通信广泛采用“消息传递”方式，需要考虑的问题：
通信链路的建立，消息格式，同步方式。

4.消息缓冲队列通信机制
美国Hansan提出，在RC 4000系统上实现。后被广泛应用于本地进程通信。
不需管理链路，定义简单数据结构（亦即消息格式），实现发送和接收的操作原语。

一、认识线程
1.线程的引入
多道程序管理：追求效率的目的下实现“并发”
利用进程实现的多道程序系统中，进程是一个可拥有资源的独立单位；是一个可独立调度和分派资源的基本单位
有如下频繁操作：创建进程、撤销进程、进程切换，PCB信息，CPU环境的管理等付出不少时空开销，尤其在进程切换上。
所以并发程度不是随意设定的：并发进程数量不宜过多，切换频率不宜过高。限制并发程度问题所在：进程实体信息量大，对进程的管理操作越多，与运行时间的比值就越大，运行效率就低。

线程：进程内的一条执行路多线程系统中，同一个进程中的多个线程
共享进程资源，可并发执行

2.进程的属性
多线程OS中，一个进程包括多个线程，每个线程都是利用CPU的基本单位。
轻型实体：只需一点必不可少的、能保证独立运行的资源。（TCB）
独立调度和分派的基本单位：调度切换迅速且开销小。
可并发执行。
共享进程资源：同进程中的线程可共享相同的进程地址空间、已打开文件、信号量机构等。
3.进程的信息
状态参数
标识符、运行状态、优先级、寄存器状态、堆栈、专有存储器、信号屏蔽等。
运行状态
执行、就绪、阻塞
4.进程的创建和终止
在多线程OS中，应用程序启动时，通常只有一个线程(初始化线程)在执行，它根据需要再创建若干线程。
创建新线程
：利用线程创建函数(或系统调用)，提供相应参数。线程创建函数执行完后，返回一个线程标识符供以后使用。

线程被终止：不立即释放资源，只有当进程中的其它线程执行分离函数后，资源才分离出来能被其它线程利用。被终止而未释放资源的线程仍可被需要它的线程调用，使其重新恢复运行。

5.多线程系统中的进程
进程只是用于分配系统资源，包括多个线程，不是执行实体，线程在进程范围内作为执行实体。
进程与线程的比较
调度：线程作为CPU调度的基本单位，而进程只作为其它资源分配单位。
并发性：进程之间可以并发，实质上是不同进程中的两个线程并发。一个进程的多个线程之间亦可并发。
拥有资源：进程间资源相互独立；同一进程的各线程间共享。某进程内的线程在其它进程不可见
系统开销：线程上下文切换在同进程环境下上下文切换要快得多。因为同进程内线程间共享内存地址和打开的文件资源。

6.进程的管理
同步和通信机制
1）互斥锁
比较简单的，控制线程互斥访问资源；
适用于高频度使用的关键共享数据和程序段；
unlock和lock两个锁操作原语。
2）条件变量
与互斥锁一起使用，锁保证互斥进入临界区，但利用条件变量使线程阻塞
注意不满足条件时，wait条件变量：释放互斥锁，进程阻塞在条件变量指向队列中，
被唤醒后要重新再设互斥锁。
3）信号量
私用信号量：
用于同进程的线程间同步，数据结构存放在应用程序的地址空间。属于特定进程，OS感知不到其存在。
公用信号量：
用于不同进程间或不同进程中线程的同步，数据结构由OS管理，存放在受保护的系统存储区。

二、线程的实现方式
1.内核线程KST(kernel-level thread)
依赖于内核，利用系统调用由OS内核在内核空间完成创建、撤消、切换等线程工作。
2.用户线程ULT(user-level thread)
无须利用系统调用，不依赖于OS核心。进程利用线程库函数创建、同步、调度和管理控制用户线程。
调度由应用软件内部进行，通常采用非抢先式和更简单的规则，也无需用户态/核心态切换，速度比kst快。
3.组合方式
内核支持多KST线程的管理，同时也允许用户应用程序级的线程管理。