Linux课件11.ppt

进程/线程编程 本章主要内容： ◆ 进程概念、进程调度、进程通信和同步。 ◆ 线程定义、多线程同步及示例。 ◆ 多线程的编程方法。 一、 进程 1.1 进程概念 20世纪60年代，进程(process)一词首先在麻省理工学院的MULTICS和IBM的CTSS/360系统中被引入。 对进程下个准确定义不容易，一般的我们认为进程是一个程序的一次执行过程。进程是申请系统资源的基本的单位，它具有的两个重要特性。 （1） 独立性 进程是系统中独立存在的实体，它可以拥有自己独立的资源，比如文件和设备描述符等。 在没有经过进程本身允许的情况下，其他进程不能访问到这些资源。这一点上和线程有很大的不同。 线程是共享资源的程序实体，创建一个线程所花费的系统开销要比创建一个进程小得多。 （2.）动态性 进程与程序的区别在于，程序只是一个静态的指令集合，而进程是一个正在系统中活动的指令集合。 在进程中加入了时间的概念。进程具有自己的生命周期和各种不同的状态，这些概念在程序中都是不具备的。 由于以上两个性质，又可以衍生出进程的第三个重要特性，即并发性。 若干个进程可以在单处理机状态上并发执行。注意并发性(concurrency)和多处理机并行(parallel)是两个不同的概念。 并行指在同一时刻内，有多条指令在多个处理机上同时执行； 而并发指在同一时刻内可能只有一条指令执行，但多个进程的指令被快速轮换执行，使得在宏观上具有多个进程同时执行的效果。 1.2 进程的结构 作为申请系统资源的基本单位，进程必须有一个对应的物理内存空间。 而对这样的一块空间，首先要用数据结构进行描述，才能进一步对之进行管理。 进程运行的环境称为进程上下文(context)。 Linux中进程的上下文由进程控制块PCB(process control block)、代码段(text segment)、数据段(data segment)以及用户堆栈(stack)组成。 其中: 代码段存放该进程的可执行代码; 数据段存放进程中静态产生的数据结构; PCB包括进程的编号、状态、优先级以及正文段和数据段中数据分布的大概情况。 Linux中的PCB块又称为task_struct结构，task_struct 数据结构十分巨大、复杂（在2.4版本内核中，每个task_struct占1680个字节），但它可以按功能分为以下几类信息： 1）State、2）Scheduling Information、3）Identifiers、 4）Inter-Process Communication、5）Links、6）Times and Timers、7）File system、8）Virtual memory 、9）Processor Specific Context 。 图 5-1 进程的数据结构 在Linux中，进程以进程号PID(process ID)作为标识。系统每次访问一个进程时，内核根据PID在进程表中查找相应的进程PCB块(具体查找过程通过一个PID的hash表实现)，再通过PCB块找到其对应的代码段与数据段，并进行操作。 1.3 进程状态 进程是—个动态的实体，故而它是有生命的。 从创建到消亡，是一个进程的整个生命周期。 在这个周期中，进程可能会经历各种不同的状态。 一般来说，所有进程都要经历以下3种状态。 ◆ 就绪(ready)态： 指进程已经获得所有所需的其他资源，并正在申请处理机资源，准备开始运行。 这种情况下，称进程处于就绪态。 ◆ 阻塞(blocked)态： 指进程因为需要等待所需资源而放弃处理机，或者进程本不拥有处理机，且其他资源也没有满足，从而即使得到处理机资源也不能开始运行。 这种情况下，称进程处于阻塞态。阻塞状态又称休眠状态或者等待状态。 ◆ 运行态： 进程得到了处理机，并不需要等待其他任何资源，正在执行的状态，称之为运行态。 只有在运行态时，进程才可以使用所申请到的资源。 在Linux系统中，将各种状态进行了重新组织，由此得出Linux进程的几个状态(如图5-2所示)： 图 5-2 Linux 进程状态转换 ◆ RUNNING： 正在运行，或者在就绪队列中等待运行的进程。 也就是上面提到的运行态和就绪态进程的综合。 一个进程处于RUNNING状态，并不代表它一定在被执行。 由于在多任务系统中，各个就绪进程需要并发执行，所以在某个特定时刻，这些处于RUNNING状态