操作系统第2章详解.pptVIP

第二章 ; 2.1.1 程序的顺序执行及特征 一、程序执行有固定的时序。 二、特征： 顺序性、封闭性、可再现性;2.1.2前趋图定义;2.1.3 程序的并发执行;程序的并发执行(2);程序的并发执行(3);2.1.4进程的特征和状态;2.1.4进程的特征和状态(2);2.1.4进程的特征和状态(3);2.1.4进程的特征和状态(4);图2－7 具有挂起状态的进程状态图;课余实验;2.1.5进程控制块;2.1.5进程控制块(2);等待队列示例;2.1.5进程控制块(3);2.2 进程控制;;2.2.1 进程的创建(2);2.2.2 进程的终止;2.2.2 进程的终止(2);2.2.3 进程的阻塞与唤醒;2.2.3 进程的阻塞与唤醒(2);2.2.4 进程的挂起与激活 ;2.3进程同步;2.3.1 进程同步的基本概念;生产者－消费者问题;生产者－消费者问题;生产者－消费者问题（2）;定义：进程访问临界资源的那段代码。 访问临界资源的描述： 进入区：检查有无进程进入 临界区： 退出区：将访问标志复位 Repeat Entry section Critical section Exit section Until false;4.同步机制应遵循的准则 ;2.3.2 信号量机制;2 记录型信号量 ;2 记录型信号量(2) ;3 AND型信号量;3 AND型信号量;3 AND型信号量;4 信号量集;2.3.3 信号量的应用 ;1.利用信号量实现互斥(2);2.利用信号量来描述前趋关系(1);利用信号量来描述前趋关系(2);练习：已知一个求知公式 （A2+3B）/（B+5A），若A，B已赋值，试画出求值过程的前趋图，并用信号量描述前驱关系。;;练习;答：;答：;例 一道考研题;;;;2.4 经典进程同步问题 ;一、利用记录型信号量解决生产者一消费者问题;一、利用记录型信号量解决生产者一消费者问题;二、利用AND信号量解决生产者——消费者问题 ;in:=(in+1) mod n; ssingal(mutex, full); Until false; End Consumer: begin repeat swait(full, mutex); nextc:=buffer(out); out:=(out+1) mod n; ssignal(mutex, empty); consumer the item in nextc; until false; end parend end;2.4.2哲学家进餐问题;2.4.2哲学家进餐问题;2.4.3 读者——写者问题;一、利用记录型信号量解决读者——写者问题 ;一、利用记录型信号量解决读者——写者问题 ;一、利用记录型信号量解决读者——写者问题 ;二、信号量集解决读者——写者问题(略) ;二、信号量集解决读者——写者问题（略） ;2.5管程机制;练习;;;;2.6进程通信 ;2.6.1进程通信的类型 ;2.6.1进程通信的类型 ;2.6.2直接/间接通信方式（消息通信的2种方式） ;2.6.2直接/间接通信方式（消息通信的2种方式） ;2.6.2直接/间接通信方式（消息通信的2种方式） ;2.6.3消息传递系统中的几个问题 ;2.6.3消息传递系统中的几个问题 ;2.6.3消息传递系统中的几个问题 ;2.6.4 消息缓冲队列通信机制 ;2.6.4 消息缓冲队列通信机制 ;2.6.4 消息缓冲队列通信机制 ;2.6.4 消息缓冲队列通信机制 ;2.7线程 ;2.7线程 ;2.7线程 ;2.7.2线程的同步和通信;2.7.2线程的同步和通信;2.7.3内核级和用户级线程;课堂作业; 到站停车