操作系统第三版第二章.pptVIP

进程的基本概念 前驱图 程序执行是为了对输入信息进行处理，并得到相应 的处理结果。为此程序在并发执行时必须保持封闭 性和可再现性。并发执行失去封闭性的原因是共享 资源的影响，如何去掉这些影响？ 1966年，Bernstein给出了程序并发执行的条件，假 设程序P(i)所访问的共享变量的读集和写集分别为 R(i)和W(i)，则任意两个程序P(i)和P(j)并发的 条 件： 1) R(i)∩W(j)=Φ 2) W(i)∩R(j)=Φ 3) W(i)∩W(j)=Φ 前两个条件保证一个程序在两次读操作之间存储器 中的数据不会发生变化；第三个条件保证程序的写 操作的结果不会丢失。同时满足三个条件，并发执 行的程序就可保持封闭性和可再现性。实际中很难 检查这三个条件。 进程的组成 其它复杂的进程状态：创建、退出、挂起三种状态 创建状态：进程正在创建过程中，还不能运行。要进行 的工作包括分配和建立PCB表项、建立资源表格并分配 资源、加载程序并建立地址空间表等。 退出状态：进程已结束运行，回收除PCB外的其它资 源，并让其它进程从PCB中收集有关信息，如将退出代 码传递给父进程。 挂起状态：用于区分进程地址空间位于内存还是外存。 五种状态模型： 增加创建、退出两种状态。 七种状态模型： 增加静止就绪和静止阻塞两种状态。 进程控制的职责 对系统中的全部进程实施有效的管理，负责 进程状态的改变。 进程状态变化： Fork()：产生新的PCB和新进程。新的PCB内容直接复制于父进程的相应内容，以后再调整。 Spawn()：产生新的PCB和新进程，新的PCB的内容来源于新加载的。 Exec()：不产生新的PCB和新进程，新进程的内容直接加载并覆盖原进程。 在UNIX系统中，与进入阻塞状态相关的系统调用 主要有：暂停一段时间sleep、暂停并等待信号pause 和等待子进程暂停或中止wait。与唤醒阻塞进程相关 的系统调用主要是发送信号到某个或一组进程kill。 sleep：在指定时间内挂起本进程，调用格式： unsigned sleep(unsigned seconds) 返回值为实际的挂起时间。 pause：挂起本进程以等待信号，接收到信号后恢复 执行。当接收到终止进程信号时，该调用不再返 回。调用格式： int pause(void) wait：挂起本进程以等待子进程的结束，子进程结束时返回。若父进程创建多个子进程且已有进程退出时，父进程中的wait函数在第一个子进程结束时返回，返回值为子进程ID。调用格式： pid_t wait(int *stat_loc) kill：可发送信号sig到某个或一组进程pid。调用格 式： int kill(pid_t pid, int sig) 信号的定义在文件/usr/ucbinclude/sys/signal.h中。 在Windows 2000/XP中，处理器的调度对象为线程， 用户可通过系统调用SuspendThread和ResumeThread 来挂起或激活线程。一个线程可多次挂起和激活，在线 程控制块TCB中有一个挂起计数，挂起操作使该计数加 1，激活操作使该计数减1。当挂起计数从0变为1时，线 程进入阻塞状态；当挂起计数由1变为0时，线程恢复执 行。系统调用的简要描述： 挂起：SuspendThread可挂起指定的线程。 DWORD SuspendThread(HANDLE hthread) 激活：ResumeThread可恢复指定线程的执行。 DWORD ResumeThread(HANDLE hthread) 例：下面是两个并发执行的进程。它们能正确执行吗？并改正。 锁和上锁、开锁操作 用变量w代表某种资源的状态，w称为“锁”。 上锁操作： 检测w的值 (是0还是1)： ? 如果w的值为1，继续检测； 如果w的值为0，将锁位置1 (表示占用资源)。 开锁操作： 临界资源使用完毕，将锁位置0。 上锁原语 算法 lock 输入：锁变量w 输出：无 { test： if (w==1) goto test； ∕*测试锁位的值*∕ else w=1； ∕*上锁*∕ } 开锁原语 算法 unlock 输入：锁变量w 输出：无 {