第二章 2.6/7 进程通信、线程

进程通信

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

• 一、低级通信——进程之间的互斥和同步
  信号量机制是有效的同步工具，但作为通信工具缺点如下：
  - 效率低（通信量少）
  - 通信对用户不透明（程序员实现，操作系统只提供共享存储器供代码操作）
• 二、高级进程通信
  用户直接利用操作系统提供的一组通信命令，高效的传送大量数据的通信方式
  - 操作系统隐藏了进程通信的细节，对用户透明，减少了通信程序编制上的复杂性

进程通信的类型

高级通信机制可归结为四大类：

• 1、共享存储器系统（操作存储区方式）
  相互通信的进程共享某些数据结构或共享存储区，进程之间能够通过这些空间进行通信。
  • 基于共享数据结构的通信方式（低级）
    - 诸进程公用某些数据结构，借以实现诸进程间的信息交换
    （如生产消费问题，定义共享的数据结构：n个长度的有界缓冲区）
    - 程序员：提供对公用数据结构的设置及对进程间同步的处理
    - 操作系统：提供共享存储器
    - 特点：复杂、低效率，还只适合传递相对少量的数据
  • 基于共享存储区的通信方式（高级）
    - 在存储器中划出了一块共享存储区，诸进程可通过对共享存储区中数据的读或写来实现通信。
    - 进程通信前先向系统申请获得共享存储区中的一个分区，并指定该分区的关键字；
    - 若系统已经分给了其他进程，则将该分区的描述符返回给申请者，申请者把获得的共享存储分区连接到本进程上；此后，便可像读、写普通存储器一样地读、写该公用存储分区。多进程借助该区通信
• 2、消息传递系统（发——收方式）
  • 最广泛使用的一种，进程间的数据交换，以 格式化的消息为单位 。屏蔽底层复杂操作
• 3、管道通信（中间文件方式）
• 4、Client-Server system——套接字
  - 一个套接字就是一个通信标识类型的数据结构，包含了通信目的的地址，端口号，传输层协议、进程所在的网络地址，以及针对C\S程序提供的不同系统调用（API函数）等。
  - 系统中所有的连接都持有唯一的一对套接字及端口连接，从而方便地区分来自不同应用程序进程或网络连接的通信，确保通信双方间逻辑链路的唯一性

消息传递通信的实现方法

1）直接通信方式

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

消息传递系统的实现

单机和网络环境下的高级进程通信广泛采用“消息传递”方式，需要考虑的问题：

• 通信链路的建立
• 消息格式
• 同步方式

线程

** 提高并发效率，节约时空开销 **

• 以进程为单位分配资源
• 将进程划分为多个功能单位调度执行

线程的属性

多线程OS中，一个进程包括多个线程，每个线程都是利用CPU的基本单位。

• 轻型实体：只需一点必不可少的、能保证独立运行的资源。（TCB）
• 独立调度和分派的基本单位：调度切换迅速且开销小。
• 可并发执行
• 共享进程资源：同进程中的线程可共享相同的进程地址空间、已打开文件、信号量机构等

线程的创建与终止

在多线程OS中，应用程序启动时，通常只有一个线程(初始化线程)在执行，它根据需要再创建若干线程。

• 创建新线程
  利用线程创建函数(或系统调用)，提供相应参数。线程创建函数执行完后，返回一个线程标识符供以后使用。
• 线程被终止：
  不立即释放资源，只有当进程中的其它线程执行分离函数后，资源才分离出来能被其它线程利用。
  被终止而未释放资源的线程仍可被需要它的线程调用，使其重新恢复运行

多线程系统中的进程

• 进程只是用于分配系统资源
• 包括多个线程
• 不是执行体，线程在进程范围内作为执行实体

线程与进程的比较

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

线程的管理

同步和同步机制

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

线程的实现方式

1、内核线程KST(kernel-level thread)

• 依赖于内核，利用系统调用由OS内核在内核空间完成创建、撤消、切换等线程工作。
  • 时间片分配给线程，所以多线程的进程获得更多CPU时间
• 优点：
  - 多处理器系统下可实现多线程并行
  - 一个线程发起系统调用而阻塞，不会影响其它线程的运行
  - 线程切换开销远小于进程切换
  - 内核本身也采用多线程技术可提高系统执行速度和效率

2、用户线程ULT(user-level thread)

• 无须利用系统调用，不依赖于OS核心。进程利用线程库函数创建、同步、调度和管理控制用户线程。
• 调度由应用软件内部进行，通常采用非抢先式和更简单的规则，也无需用户态/核心态切换，速度比kst快
• 优点：
  - 用户线程的维护由应用进程完成；内核不了解用户线程的存在；线程切换不需要内核特权；
  - 用户线程调度算法可针对应用优化；
  - 多线程的实现与平台无关
  - 一旦系统调用引起进程阻塞，则整个进程的所有线程都不能执行
  - 以进程为单位分配cpu，所有在多处理器系统中没有优势

3、组合方式

• 内核支持多KST线程的管理，同时也允许用户应用程序级的线程管理。