2.4 线程和其实现.pptVIP

2.4 线程及其实现 2.4 线程及其实现 回顾单线程结构进程 进程是系统进行资源分配的基本单位 进程也是处理器调度的基本单位,任一时刻进程只有一个执行控制流 —— 单线程结构进程 （single threaded process） 单线程结构进程的问题 进程切换开销大 进程通信代价大 进程间的并发性粒度较粗，并发度不高 不适合并行计算和分布并行计算的要求 不适合客户/服务器计算的要求 问题的解决 按照需求在同一进程中设计出多条控制流；多控制流之间可以并行执行；多控制流切换不需要通过进程调度；多控制流之间还可以通过内存区直接通信，降低通信开销 ——多线程结构进程 multiple threaded process 问题的解决 解决问题的思路：把进程的两项功能－－“独立分配资源”与“被调度分派执行”分离开来，前者仍交给进程，后者交给一个新的概念 ——线程 2.4 线程及其实现 ? 单线程进程的内存布局和运行 管理和执行相分离的进程模型 多线程进程的内存布局 多线程环境中进程的定义 进程是操作系统中进行保护和资源分配的基本单位。它具有： ? 一个虚拟地址空间，用来容纳进程的映像； ? 对处理器、其他(通信的)进程、文件和I/O资源等的存取保护机制。 ? 多线程环境中的线程概念 线程：进程中能并发执行的实体，是进程的组成部分，也是处理器调度和分派的基本单位。 进程包含多个可并发执行的线程，这些线程共享进程所获得的主存空间和资源，可以为完成某一项任务而协同工作 线程组成与特性 组成： ? 线程执行状态 ? 不运行时保存的线程上下文 ? 核心栈 ? 私有存储区 特性： 并行性；共享性；动态性；结构性； 线程与进程的特征比较 进程和线程都具有并发性、异步性、结构性； 不同的是进程具有独立性，是独立的资源分配和调度单位，而线程具有共享性，所有属于同一进程的线程共享进程的资源； 进程中包含有程序运行的管理信息，即指令代码、全局数据和I/O状态数据等； 线程中包含有程序的执行信息，即CPU寄存器信息、用户栈和内核栈信息、局部变量、过程调用参数、返回值等各线程的私有部分的信息。 简述进程与线程的联系和区别 联系：进程是线程赖以生存的环境，在引入线程的系统中，线程是程序的真正执行单位。 四个方面的区别： 1、调度：传统OS中拥有资源、独立调度的基本单位都是进程，在引入线程的系统中，线程是调度的基本单位 2、并发性：在引入线程的系统中，进程之间可并发，同一进程内的各线程之间也能并发执行。因而系统具有更好的并发性。 3、拥有资源：进程是拥有资源的独立单位，线程一般不拥有系统资源，但它可以共享隶属进程的资源。 4、系统开销：进程的创建和撤消的开销要远大于线程创建和撤消的开销。 线程的状态 线程状态有：运行、就绪和阻塞，线程的状态转换也类似于进程。 挂起状态对线程是没有意义的，如果进程挂起后被对换出主存，则它的所有线程因共享了进程的地址空间，也必须全部对换出去。 线程的状态 对于线程的阻塞状态，有两种实现方法。 一种实现方法认为，只要有线程申请系统资源或线程之间相互通信，或由于其他事件而阻塞，相应线程的进程也进入阻塞状态，这样，进程的所有线程都进入阻塞状态，而不管是否有的线程会处于就绪状态； 另一种实现方法认为，只要有线程申请系统资源而阻塞，不会将相应线程的进程阻塞。这样，进程的所有线程，只要有线程处于就绪状态，则仍然有机会被调度。 一个进程的多个线程和不同进程的多个线程 一个进程的多个线程： 在一个进程中的多个线程并发执行，由于这些并发执行的线程之间共享进程的所有资源，线程之间的切换在进程内部进行，线程切换比独立的进程切换更加快速，开销也更小。 在一个进程中创建一个线程比单独创建一个进程所需要的存储器开销和时间开销更小。 在同一进程的线程之间通信的效率比单独进程之间通信的效率更高。 属于不同进程之间的线程： 属于不同进程中的多个线程并发执行，由于线程之间不存在资源共享，这些线程之间在线程切换上，在创建新线程上，在相互通信上，在资源分配上，和独立进程之间一样，没有多大的优势。 线程管理和线程库 多线程技术利用线程包(库)提供一整套有关线程的原语集来支持多线程运行 一般线程包(库)至少应提供以下原语调用： 孵化，封锁，活化，结束， 通信，同步，互斥， 切换，调度 线程管理和线程库 有的操作系统直接支持多线程，而有的操作系统不支持多线程。据此线程包(库)可分成两种： 用户空间中运行的线程包(库) 内核中运行的线程包(库) 基于上述两