第4章进程及进程管理1.ppt

* * 4.2.2 进程状态 运行 -- 等待 对一资源的访问尚不能进行 初始化I/O 且必须等待结果 等待某一进程提供输入 (IPC) 等待 -- 就绪 当所等待的事件发生时 * * 4.2.2 进程状态 3．进程的五态模型 在运行态、就绪态、阻塞态的基础上增加了如下两态： 新建态（New），进程刚被创建的状态，并没有被提交执行，而是在等待操作系统完成创建进程的必要操作。 终止态（Terminated），或称僵死态，该进程不再执行，但依然临时保留在系统中等待善后。 * * 4.2.2 进程状态 3．进程的五态模型 * * 作业 第4章 3、5、6、9题 操作系统与实验教程 第3章第1讲 第4章 进程 * * 本章主要内容 4.1 进程的引入 4.2 进程的概念 4.3 进程控制 4.4 进程之间的约束关系 4.5 同步机构 4.6 进程互斥与同步的实现 4.7 进程通信 4.8 线程概念及特点 4.9 Linux系统的进程管理 * * 4.1 进程的引入 * * 4.1 进程的引入 现代操作系统最主要的特点：实现多道程序并发执行，并由此引发资源共享。 进程概念引入的目的： 为了对并发执行的程序进行动态描述。 进程是操作系统最核心的概念，操作系统对于资源的分配和管理都是围绕进程进行的。 * * 一个程序由若干个程序段组成，而这些程序段必须按照一定的先后顺序执行，称为程序的顺序执行。如下图所示，两个作业之间的运行方式就是单道顺序执行的方式： 4.1.1 程序顺序及其特点 * * 程序顺序执行的特点： 顺序性 封闭性 可再现性 程序单道顺序执行之所以具有以上特点，是因为单道环境下作业独占系统资源。 * * 4.1.2/3 程序的并发执行以及“与时间有关的错误” 1: 程序并发执行 * * 2: 程序并发执行产生的与时间有关的错误 [例1]读写缓冲区操作 * * [例2]假设某飞机定票系统在t0时刻有A、B、C、D四个终端程序同时都要对机票库中的某航班当前剩余票数X进行操作。如果每个终端程序的当前定票需求为N，并对共享变量X进行如下操作： 在机票数据库中取出当前剩余票数X；（第1步） 判断X0（有票吗）？ （第2步） 如果有， X≥N（票够吗）？（第3步） 如果够，则出票（打印票据）；（第4步） X＝X－N（修改剩余票数）；（第5步） 将X回写到数据库中；（第6步） * * 初始条件：设系统剩余票数为10，终端A、B需要的票数也均为10。 首先，终端程序A抢先执行，当执行完第3步，正在打印票据； 此时，系统调度到终端程序B的请求执行。 最终结果？？ * * 导致“与时间有关的错误”的原因: 与诸程序的执行速度有关； 由于多个程序都共享了同一个变量或者互相需要协调同步； 对于变量的共享或者互相协作的过程没有进行有效地控制。 * * 在例中，如果诸终端程序是按照下述方式执行，则可以避免发生“与时间有关的错误”： 如果A能够执行得快一点，或者时间片长一点，使它来得及将X的剩余值回写到数据库中；或者A再慢一点，使票没有出。皆不会出现“与时间有关的错误”。（与诸程序的执行速度有关） 如果诸终端程序并发执行时操作的是不同的变量而不是共享变量，也不会出现“与时间有关的错误”。 （共享了同一个变量） 如果能够对该共享变量X在其共享过程中加以控制，实现当一个程序还没有使用完时另一个程序就不能使用，那么也可以避免“与时间有关的错误”。（没有进行有效地控制） * * 上述3种避免发生“与时间有关的错误”的方法中，操作系统无法使用前两种，因为： 第1种办法不可行是因为并发程序执行时所具有的不确定性是操作系统的特征，操作系统无法控制每个程序所需要的执行速度； 第2种办法不可行在于共享是操作系统的特点，是其提高资源利用率的宗旨所在。 因此，操作系统只能针对第3种解决方法，在资源分配和使用的过程中通过采取有效的措施来避免发生“与时间有关的错误”，保证程序并发执行结果的正确性。 * * 3: 程序并发执行的特点 (1)????? 失去了程序的封闭性和可再现性 由于程序相互协作打破了程序的封闭性及可再现性（如例1中两程序操作单独缓冲区）； 由于资源共享打破了程序的封闭性及可再现性（如例2中的公共变量X，系统剩下的机票数）。 * * (2)????? 程序与任务不再一一对应 程序并发执行时，多个任务可以共存于一个程序之中，从而使得一个程序对应于多个任务。比如，多个终端用户都对服务器提出某个相同的服务请求，服务器则需要针对每个用户创建一个任务去分别完成，这些针对不同用户的不同任务执行的却是相同的服务程序；另外，一个任务中也可能涉及多个程序调用或转移，从而打破了一对一的关系。 * * (3)?程序并发执行中存在相互制约的关