《记录型信号量》说课稿
操作系统（三）——信号量、死锁
操作系统（三）——信号量、死锁1、信号量信号量机制：概念：其实就是⼀个变量，可以⽤⼀个信号量来表⽰系统中某种资源的数量、⽤户进程通过使⽤操作系统提供的⼀对原语来对信号量进⾏操作，从⽽⽅便的实现了进程互斥。
这⾥的⼀对原语是指wait(S)和signal(S)，也简写为P(S)和V(S)，即申请和释放资源。
P、V操作必须成对出现。
整数型信号量：⽤⼀个整数作为信号量，数值表⽰某种资源数。
对信号量的操作只有三种：初始化、P操作、V操作。
不满⾜让权等待原则。
记录型信号量：S.value表⽰某种资源数，S.L指向等待该资源的队列。
P操作中，先S.value++，之后可能执⾏block阻塞原语。
V操作中，先S.value--，之后可能执⾏wakeup唤醒原语。
可以⽤记录型信号量实现系统资源的申请和释放，申请S.value--，然后如果S.value<0说明资源分配完了，就阻塞；释放S.value++，然后如果S.value<=0说明还有进程在等待队列中等待，就唤醒。
记录型信号量可以实现进程互斥、进程同步。
实现进程互斥：划定临界区。
设置互斥信号量mytex，初值为1。
在临界区之前执⾏P(mutex)，在临界区之后执⾏V(mutex)。
实现进程同步：分析那些地⽅是必须保证⼀前⼀后执⾏的两个操作。
设置同步信号量S，初始值为0。
在“前操作”之后执⾏V(S)。
在“后操作”之前执⾏P(S)。
实现前驱关系：每⼀对前驱关系都是⼀个进程同步问题。
为每⼀对前驱关系设置⼀个同步变量，初始值为0。
在“前操作”之后执⾏V操作。
在“后操作”之前执⾏P操作。
⽣产者消费者问题：⽣产者每次⽣产⼀个产品放⼊缓冲区，消费者每次从缓冲区取出⼀个产品使⽤。
缓冲区满⽣产者必须等待（同步关系1），缓冲区空消费者必须等待（同步关系2）。
缓冲区是临界资源，必须被互斥访问（互斥关系）。
问题中的P、V操作：⽣产者每次P⼀个缓冲区，V⼀个产品。
消费者每次V⼀个缓冲区，P⼀个产品。
2-6 AND型信号量
第二讲进程管理主讲教师：李志民2.3.2 信号量机制▪1. 整型信号量▪2. 记录型信号量▪3. AND型信号量▪4. 信号量集AND同步机制的基本思想是：(1)将进程在整个运行过程中需要的所有资源，一次性全部地分配给进程，待进程使用完后再一起释放。
(2)要么全部分配到进程，要么一个也不分配。
Swait(S 1, S 2, …, S n ) if S i ≥1 and … and S n ≥1 then for i ∶ =1 to n do S i ∶=S i -1; endfor else place the process in the waiting queue associated with the first S i found with S i ＜1, andset the program count of this process to thebeginning of Swait operationendifSwait 原语的实现只有进程所需的资源，全都满足时，执行Si ∶=Si-1操作；只要发现有第Si 个资源不满足，将进程阻塞在第Si 的队列中。
Ssignal (S1, S2, …, Sn) for i ∶ =1 to n do S i =S i +1; Remove all the process waiting in the queue associatedwith S i into the ready queue.endfor;S signal 原语的实现针对所有的资源，执行Si ∶=Si+1操作；将Si 队列中的阻塞进程移出，进入就绪队列。
AND型信号量的应用第i位哲学家的活动可描述为：repeat▪ Swait(chopstick［i］， chopstick［(i+1) mod 5］);▪…▪ eat;▪…▪ Ssignal(chopstick［i］， chopstick［(i+1) mod 5］);▪…▪ think;▪ until false;思考利用记录型信号量、AND型信号量，解决哲学家就餐问题，那个效率高？基本思想：（1）前面讲的信号量操作，每次施以加1、减1操作，当进程一次需要N个某类资源时，便要执行N次wait（S）操作，显然是低效的。
《计算机操作系统》汤小丹.
知道其他进程的存在，但这些进程既然同处于一个系 统中，也就必然存在资源共享的关系，如共享CPU、I /O设备等。此时进程同步的主要任务是保证诸进程能 互斥地访问临界资源。这样，系统中的资源应由系统 统一管理，不允许用户进程直接使用。 ② 直接相互制约的关系：在某些进程间还存在相互合作 关系，此时进程同步的主要任务是保证诸进程在执行 次序上的协调，不会出现与时间有关的差错。
waitp(Dromcuteesxs)B;:wait(Dmutex);//Dmwuatietx(=E-mu1t,Bex阻);塞 wait(Emu此te时x)A;，B进入死锁状态。显wa然it，(D进mu程te要x)求;
L:list of process; //链接所有等待进程的
end
进程链表
相应地，wait(s)和signal初(s值)记操表录作示型可系描信述统号为中量：某类资源
Procedure wait(S)
的数目,减1操作表示进程
var S:semaphore; 请求一个单位的资源.
begin
若不大于0。表示在该信
② 同步机制应遵循的准则
• 空闲让进：当无进程处于临界区时，表明临界资源处 于空闲状态。可允许一请求进入临界区的进程立即进 入自己的临界区。
• 忙则等待：当已有进程进入到临界区时，表明临界资 源正被访问，故其他试图进入临界区的进程必须等待。
• 有限等待：对要求访问临界资源的进程，应保证该进 程能在有效时间内进入自己的临界区，以免陷入“死 等状态”。
资源而言的。多个进程共享多个临界资源时则要采取 另外的若信A和号B量按机下制述。次序执行wait操作: • 设A(和DmB为ut进ex程,E，m都ute要x初求值访为问1共）享数据D和E，这时D和E 为临界p资ro源ce。ss为A:Dw、aEit设(D置m用ute于x)互;/斥/D的m信ute号x=量0Dmutex、E mutex，pr令oc初es值sB为:w1a，it这(E时muAt和exB)有;//操Em作u：tex=0 ProcessprAo:cessA:wait(Emutex);//Epmroucteesxs=-B1:,A阻塞
操作系统实验指导书---精品模板
《操作系统原理》实验指导书羊四清编写适用专业：计算机科学与技术网络工程湖南人文科技学院计算机科学技术系2008年8 月前言操作系统是计算机的核心和灵魂.操作系统软件的设计对整个计算机的功能和性能起着至关重要的作用,所以此门课也是必不可少的，是面向计算机科学与技术、网络工程、软件工程等大多数计算机专业本科生开设的一门计算机专业课程。
操作系统是计算机系统的核心，《操作系统》课程是计算机科学与技术专业的重要必修课.本课程的目的是使学生掌握现代计算机操作系统的基本原理、基本设计方法及实现技术，具有分析现行操作系统和设计、开发实际操作系统的基本能力。
操作系统实验是操作系统课程的重要组成部分，属于学科基础实验范畴。
作为与相关教学内容配合的实践性教学环节，应在操作系统理论课教学过程中开设。
操作系统是计算机科学与技术专业必修的专业基础课程，操作系统实验的作用是：理解操作系统的设计和实现思路,掌握典型算法。
基本要求是：理解进程的概念，理解死锁，掌握银行家算法；掌握请求页式存储管理的实现原理及页面置换算法。
学生应具有高级语言编程能力、具有数据结构等基础知识。
说明：本实验指导书所提供的源程序均已在VC６.０下调试运行过．目录实验一进程创建模拟 (1)实验二进程撤销模拟 (9)实验三P、V 原语的模拟实现 (10)实验四带优先级的时间片轮换的进程调度算法的实现 (16)实验五银行家算法模拟 (26)实验六连续动态内存管理模拟实现 (29)实验七请求页式存储管理中常用页面置换算法模拟 (31)实验八SCAN 磁盘调度模拟实现 (36)实验九UNIX基本操作 (37)实验一进程创建模拟实验学时：2实验类型：验证实验要求：必修一、实验目的1）理解进程创建相关理论；2）掌握进程创建方法；3）掌握进程相关数据结构。
二、实验内容本实验针对操作系统中进程创建相关理论进行实验.要求实验者输入实验指导书提供的代码并进行测试。
代码简化了进程创建的多个步骤和内容。
说课-记录型信号量-操作系统
导入新课 2分钟
教学过程
详解新课 知识应用 10分钟
课堂小结
能力拓展
3 记录型信号量-原语操作（重点）
教学方法：问题驱动法
若记录型信号量S.value的初值为2，当前值 为-1，则表示有（ ）个进程等待。
A、0 B、1 C、2 D、3
记录型信号量的物理含义是什么？
S.value>0: 系统中可利用的资源数量
学法指导：联系、对比学习法
2 记录型信号量-场景模拟
教学方法：类比教学法 学法指导：联想学习法
等待 L
导入新课 2分钟
教学过程
详解新课 知识应用 课堂小结 10分钟
能力拓展
3 记录型信号量-原语操作（重点） 教学方法：类比教学法
Procedure wait(S) var S: semaphore; begin S.value:=S.value（ － ）1; if S.value（ < ）0 block(S.L) ; end
同步应用
（重难点）
教学分析
课程定位 教学内容及重难点 教学目标 学情分析
目标1
培养学生掌握信号量的基本概念和原理，
运用信号量机制发现和评估计算机复杂
&
工程问题解决办法的能力；
目标2
能够站在系统软件的高度思考问题，结 合文献研究对计算机复杂工程问题解决 方案进行分析，证实解决方案的合理性。
匹配度：62%
的叉子；偶数号哲学家则相反。
（课后思考）
哲学家就餐
仅当哲学家的左右两只叉子均可用时，才允许他拿起叉
子进餐。
（引出下次课内容--信号量集）
导入新课 2分钟
教学过程
详解新课 知识应用 课堂小结
记录型信号量
内容回顾
信号量机制：使用信号量及有关的wait、signal操 作原语来实现进程的互斥与同步，是一种卓有成效的 进程同步机制
1、整型信号量机制 2、记录型信号量机制 3、信号量集机制
缺陷：忙等的方式会浪费CPU的计算资源
进程控制
1 记录型信号量-数据结构（重点）
数据结构
type semaphore = record
3.1 wait原语（重点） S.Value =3
①
S.value:= S.value-1= 2
②
S.value= 1
③
S.value= 0
④
S.value= -1
等待
⑤
S.value= -2
Lቤተ መጻሕፍቲ ባይዱ
进程控制
3.1 wait原语（重点）
wait原语语法：
Procedure wait(S) var S: semaphore; begin S.value:=S.value（ － ）1; if S.value（ < ）0 block(S.L) ; end
进程控制
3.2 signal原语（重点） S.Value = -2 ① S.value:= S.value+1=-1 ② S.value= 0
③ S.value= 1 ④ S.value= 2
等待
⑤ S.value= 3
L
进程控制
3.2 signal原语（重点）
signal原语语法
Procedure signal(S) var S: semaphore; begin S.value:=S.value（ + ）1; if S.value（ <= 0 ） then wakeup(S.L) ; end
记录型信号量解决读者写者问题的探究
ห้องสมุดไป่ตู้
电子 技 术 论 坛
记 已 录 型 求 信 号 量 解 决读者写者 问题 的探 究
■林德 丽 臧香伟
摘 要 ：在 多道程序环境 下，进程 同步 问题十分 重要 ， 操 作系统引 八 进程后 ，进程 的异步性在 多个进程争用临界 资源时会给 系统造成 混 乱， 进程 同步的主要 任务就是使并发执 行的各 个进程之 间能有 效地共 享 各种 资源， 相 互合作 ， 是程序的执行具有可再现性。其中读 者写者问题 尤其具有 代表性 ，而记 录型信 号量是 一个很好的解决方法 。 关键词 ：信 号量 记 录式信 号量 同步
ｗ ａ ｉ ｔ （ Ｓ ） ： ｗ ｈ ｉ ｌ ｅ Ｓ ≤０ ｄ ｏ ｎ ｏ ｏ ｐ
Ｓ ：－ Ｓ ～ １
：＝
０：
Ｒ ｅ ａ ｄ ｅ ｒ ： ｂ ｅ ｇ ｉ ｎ
ｒｅｐｅａｔ
读 者 进 程 ／
ｗ ａ ｉ ｔ （ ｒ ｍ ｕ ｔ ｅ ｘ ） ： ｉ ｆ ｒ ｅ ａ ｄ ｃ ｏ ｕ ｎ ｔ － Ｏ ｔ ｈ ｅ ｎ ｗ ａ ｉ ｔ （ ｗ ｍ ｕ ｔ ｅ ｘ ） ： ／ 第 申请 互 斥 信 号量 ｗ ｍ ｕ ｔ ｅ ｘ ／
态。 二 、记 录 型 信 号 量 的 描 述
ｓ ｉ ｇ ｎ ａ ｌ （ ｒ ｍ ｕ ｔ ｅ ｘ ） ：
ｗ ａ ｉ ｔ （ ｒ ｍ ｕ ｔ ｅ ｘ ） ：
ｒ ｅ ａ ｄ ｃ ｏ ｕ ｎｔ ： ＝ ｒ ｅ ａｄ ｃ ｏｕ ｎｔ — ｌ：
为 了解决 “ 忙等 ” 现象 的问题 ， 提 出 了记录型信号量机制 ， 采用 “ 让 权等待 ” ，但在采取 了 “ 让权等待 ”的策略后 ，又会 出现 多个进程等待 访问同 一临界资源 的情况 。为此 ，存信 号量机制中，除了需要 一个用于 代 表 资 源 数 目的整 型 变 最 ｖ ａ ｌ ｕ ｅ外 ，还 应 增 加 一 个 进 程 链 表 Ｌ ，用 于链 按ｊ 述 的所有等待进程 。 记录 型信 号鼍 足由于它采用 了记录型 的数据结 构 丽得名的 。它所包含 的上述两个数据项可描述为： ｔ ｙ ｐ ｅ ｓ ｅ ｍ ａ ｐ ｈ ｏ ｒ ｅ ＝ ｒ ｅ ｃ ０ ｒ ｄ ／ 定 义 类 型 为 记 录 型 ／
操作系统ch3.3信号量与PV操作
生产者消费者问题
①一个生产者、一个消费者共享一个缓冲区 ②一个生产者、一个消费者共享多个缓冲区 ③多个生产者、多个消费者共享多个缓冲区 ④多个生产者、多个消费者共享一个缓冲区 ⑤多个生产者、一个消费者共享多个缓冲区 ⑥一个生产者、多个消费者共享多个缓冲区
一个生产者、一个消费者共 享一个缓冲区的解
记录型信号量(4)
• 推论2：若信号量s为负值，则 其绝对值等于登记排列在该信 号量s队列之中等待的进程个 数、亦即恰好等于对信号量s 实施P操作而被封锁起来并进 入信号量s队列的进程数
记录型信号量(5)
• 推论3：通常，P操作意味着请求 一个资源，V操作意味着释放一 个资源。在一定条件下，P操作 代表挂起进程操作，而V操作代 表唤醒被挂起进程的操作
哲学家吃通心面问题(1)
有五个哲学家围坐在一圆桌旁，桌中 央有一盘通心面，每人面前有一只空 盘于，每两人之间放一把叉子。每个 哲学家思考、饥饿、然后吃通心面。 为了吃面，每个哲学家必须获得两把 叉子，且每人只能直接从自己左边或 右边去取叉子
哲学家吃通心面问题(2)
哲 学 家 吃 通 心 面 问 题 (3)
• 一个进程在某一特殊点上被迫停 止执行直到接收到一个对应的特 殊变量值，这种特殊变量就是信 号量(semaphore)，复杂的进程合 作需求都可以通过适当的信号结 构得到满足。
记录型信号量与PV操作(5)
• 通过信号量传送信号，进程使 用P、V两个特殊操作来发送和 接收信号，如果进程相应的信 号仍然没有送到，进程被挂起 直到信号到达为止。
3.3.3记录型信号量解决进程互斥问题
s : semaphore; s := 1; cobegin …… process Pi begin …… P(s); 临界区； V(s); …… end; …… coend;
OS
process A:
wait(DS); ． ．
．
process B:
． ． ． ． ． ．
wait(ES); A阻塞
． ． ． ． ． ．
wait(ES);
． ． ． ． ． ．
wait(DS); B阻塞 进程出现死锁！
AND同步机制的基本思想是：
将进程在整个运行过程中需要的所有资源，一
次性全部地分配给进程，待进程使用完后再一起释
放。只要尚有一个资源未能分配给进程，其它所有 可能为之分配的资源，也不分配给他。亦即，对若 干个临界资源的分配，采取原子操作方式：要么全 部分配到进程，要么一个也不分配。
AND同步机制的定义如下：
Swait(S1, S2, „, Sn) if S１≥1 and „ and Sn≥1 then for i∶ =1 to n do Si∶=Si-1; endfor else place the process in the waiting queue associated with the first Si found with Si＜1, and set the program count of this process to the beginning of Swait operation endif Ssignal(S1, S2, „, Sn) for i∶ =1 to n do Si=Si+1; Remove all the process waiting in the queue associated with Si into the ready queue. endfor;
生产者和消费者问题：
• 生产者和消费者两进程共享下面的变量：
• • • • • Var n, integer; Type item=…; var buffer : array［0, 1, …, n-1］ of item; in, out: 0, 1, …, n-1; Counter : 0, 1, …, n;
计算机操作系统第二章课后答案(完整版)
第二章1. 什么是前趋图？为什么要引入前趋图？答：前趋图(Precedence Graph)是一个有向无循环图，记为DAG(Directed Acyclic Graph)，用于描述进程之间执行的前后关系。
2. 画出下面四条语句的前趋图:S1=a：=x+y; S2=b：=z+1; S3=c：=a – b； S4=w：=c+1;答：其前趋图为：3. 什么程序并发执行会产生间断性特征？答：程序在并发执行时，由于它们共享系统资源，为完成同一项任务需要相互合作，致使这些并发执行的进程之间，形成了相互制约关系，从而使得进程在执行期间出现间断性。
4．程序并发执行时为什么会失去封闭性和可再现性？答：程序并发执行时，多个程序共享系统中的各种资源，因而这些资源的状态由多个程序改变，致使程序运行失去了封闭性，也会导致其失去可再现性。
5．在操作系统中为什么要引入进程概念？它会产生什么样的影响?答：为了使程序在多道程序环境下能并发执行，并对并发执行的程序加以控制和描述，在操作系统中引入了进程概念。
影响: 使程序的并发执行得以实行。
6．试从动态性，并发性和独立性上比较进程和程序?答：(1)动态性是进程最基本的特性，表现为由创建而产生，由调度而执行，因得不到资源而暂停执行，由撤销而消亡。
进程有一定的生命期，而程序只是一组有序的指令集合，是静态实体。
(2)并发性是进程的重要特征，同时也是OS 的重要特征。
引入进程的目的正是为了使其程序能和其它进程的程序并发执行，而程序是不能并发执行的。
(3)独立性是指进程实体是一个能独立运行的基本单位，也是系统中独立获得资源和独立调度的基本单位。
对于未建立任何进程的程序，不能作为独立单位参加运行。
7．试说明PCB 的作用，为什么说PCB 是进程存在的惟一标志？答：PCB 是进程实体的一部分，是操作系统中最重要的记录型数据结构。
作用是使一个在多道程序环境下不能独立运行的程序，成为一个能独立运行的基本单位，成为能与其它进程并发执行的进程。
信号量与PV操作PPT.ppt
s.value=0;
else begin
w(s.queue);
end;
procedure BV(var s:semaphore);
if s.queue is empty;
then
s.value=1;
else begin
R(s.queue);
记录型信号量解决进程互斥问题
s : semaphore; s := 1; cobegin
记录型信号量解决生产者消费者问题
B : integer;
sput:semaphore；
/* 可以使用的空缓冲区数 */
sget:semaphore;
/* 缓冲区内可以使用的产品数 */
sput := 1;
/ * 缓冲区内允许放入一件产品 */
sget := 0;
/* 缓冲区内没有产品 */
process producer
cobegin
process Pi
// i=0,1,2,3,4,
begin
L1:
思考；
P(fork[i])； // i=4,P(fork[0])
P(fork[i+1])； // i=4,P(fork[4])
吃通心面；
V(fork[i])；
V(fork[(i+1)mod 5])；
goto L1;
end;
…… process Pi
begin
…… P(s); 临界区； V(s);
…… end;
…… coend;
记 录 型 信 号 量 解 决 机 票 问 题
A : ARRAY[1..m] OF integer; A : ARRAY[1..m] OF integer;
信号量与PV操作
哲学家吃通心面问题 问题
有五个哲学家围坐在一圆桌旁， 有五个哲学家围坐在一圆桌旁 ， 桌中央 有一盘通心面， 每人面前有一只空盘于， 有一盘通心面 ， 每人面前有一只空盘于 ， 每两人之间放一把叉子。 每个哲学家思 每两人之间放一把叉子 。 饥饿、 然后吃通心面。 为了吃面， 考 、 饥饿 、 然后吃通心面 。 为了吃面 ， 每个哲学家必须获得两把叉子， 每个哲学家必须获得两把叉子 ， 且每人 只能直接从自己左边或右边去取叉子
记录型信号量与PV操作 记录型信号量与PV操作
推论1 若信号量s为正值， 推论 1 ： 若信号量 s 为正值 ， 则该值等于在封 锁进程之前对信号量s可施行的P操作数、 锁进程之前对信号量 s 可施行的 P 操作数 、 亦 等于s 等于s所代表的实际还可以使用的物理资源数 推论2 若信号量s为负值， 推论 2 ： 若信号量 s 为负值 ， 则其绝对值等于 登记排列在该信号量s 登记排列在该信号量s队列之中等待的进程个 亦即恰好等于对信号量s实施P 数 、 亦即恰好等于对信号量 s 实施 P 操作而被 封锁起来并进入信号量s 封锁起来并进入信号量s队列的进程数 推论3 通常， 操作意味着请求一个资源， 推论3：通常，P操作意味着请求一个资源，V 操作意味着释放一个资源。在一定条件下， 操作意味着释放一个资源。在一定条件下，P 操作代表挂起进程操作， 操作代表挂起进程操作，而V操作代表唤醒被 挂起进程的操作
一个生产者一个消费者共享一个缓冲区
B : integer; sput:semaphore； sput:semaphore ； /* 可以使用的空缓冲区数 */ sget:semaphore; /* 缓冲区内可以使用的产品数 */ sput := 1; /* 缓冲区内允许放入一件产品 */ sget := 0; /* 缓冲区内没有产品 */ process producer process consumer begin begin L1: L2: product； produce a product ； P(sget); B； P(sput); product:= B ； product； B := product ； V(sput); product； V(sget); consume a product ； goto L1; goto L2; end; end;
2_4计
例：一辆公共汽车上，司机和售票员进程的同步
司机：
启动车辆; 正常行车； 到站停车； 分析：同步关系
（1）关闭车门→启动车辆 start
（2）到站停车→打开车门 open
售票员：
关闭车门; 售票; 打开车门;
semaphore start=open={0,NULL}; driver() { while(1){ P(start)； /*等待关门*/ start a car; driving; /*正常行车*/ stopping; V(open)； /*唤醒开门*/ } }
while(1){ P(full); P(mutex); P(mutex); P(full); nextc=buffer[ out ]; out=( out+1) % N; V(mutex); V(empty); 消费产品nextc;
conductor() { while(1){ close the door; V(start)； /*唤醒司机开车*/ sell tickets; /*售票*/ P(open)； /*等待停车*/ open the door; } }
用信号量解决前趋关系
直接前趋关系：
Pi
Pj
semaphore s={0,NULL); Pi(){ …… signal(s); } Pj(){ wait(s); …… }
…
分析
M+K个
• 确定进程：进程数量及工作内容；
生产者： 生产下一个产品； 消费者： 从满缓冲中取出 产品；
将产品放入空缓冲；
Producer1 生产指针 in
将取出的产品消费掉；
消费指针 out Consumer1 Consumer2 „„
操作系统(8)
18/44
几种特殊情况
Swait(S, d, d)表示每次申请d个资源，当少于d个 时，便不分配； Swait(S, 1, 1),当S>1时，表示记录型信号量；当 S=1时，表示互斥信号量； Swait(S, 1, 0)可作为一个可控开关（当S1时，允 许多个进程进入特定区域；当S=0时，禁止任何进 程进入该特定区域）
如图，试用信号量实现这三个进程的同步。
S1
P3 S2
P1
P2
26/44
解答
设有两个信号量S1、S2，初值均为０ P1： P2： P3： … … wait(S1) signal(S1); signal(S2); wait(S2) …
27/44
【思考题】
如图，试用信号量实现这6个进程的同步
S1 P1 S2
35/44
【思考题】
用P.V操作解决下图之同步问题 提示：分别考虑对缓冲区S和T的同步，再合并考虑
get
copy
put
s
t
36/44
解答
设置四个信号量Sin=1，Sout=0，Tin=1，Tout=0；
get：
while（1） { P(Sin）; 将数放入S; V(Sout); }
copy： while（1） { P(Sout）; P(Tin）; 将数从S取出放入T; V(Tout); V(Sin); }
33/44
分析
通过分析可知，ＣＰ、ＩＯＰ必须遵守以下同步规 则： 当ＣＰ进程把计算结果送入缓冲区时，IOP进程 才 能从缓冲区中取出结果去打印; 当IOP进程把缓冲区中的数据取出打印后，ＣＰ 进程才能把下一个计算结果送入缓冲区
34/44
解答
为此设有两个信号量Sa=0，Sb=1，Sa表示缓冲区中有无数 据，Sb表示缓冲区中有无空位置。 两个进程的同步可以描述如下：
进程控制--记录型信号量-教案
第 1 页
第 2 页
第 3 页
师生互动：教师给出问题，根据学生反应情况考虑点名回答或者抢答。
待学生回答后，适当给于分析解释。
教师引导学生归纳总结记录型信号量的物理含义。
[可提醒学生从value的值与系统资源和阻塞进程之间的关系着手，同时进行学法指导，归纳总结法]
[师生互动归纳总结wait原语和signal原语使用注意事项]
1.wait(S)和signal(S)是原子操作；
2.信号量的值仅由wait、signal操作改变；
3.必须给信号量赋初值，且只能赋一次初值；
4.互斥信号量为1
三、知识应用（24分钟）：
[情境教学法，引入经典哲学家就餐问题，调动学生兴趣]
1．问题描述（4分钟）
教师活动：结合PPT描述哲学家就餐问题的背景，强调两点：
A.互相不交谈，表示进程之间不通信；
B.每个人只能直接从自己的左边和右边取叉子，表示同一只叉子只能被两个哲学家互斥访问，为后面设置信号量埋伏笔。
2．问题分析（12分钟）
(1)师生互动，一起分析完成信号量的设置，初始值的设置。
叉子的数学表达式，注意提醒学生哲学家右边叉子的编号(i+1)%5。
(2)教师带领学生使用记录型信号量完成哲学家就餐算法。
如下所示。
提问：该算法是否正确？
(3)学生活动：[分组讨论]
[此过程，教师可根据学生讨论情况引导学生结合“多进程并发执行时可能随时发生中断”这一原理，分析代码。
]
第 4 页
第5 页。
操作系统讲稿-4-2013 (2)
10
产生与时间有关错误
它们可以按各自独立的速度前进，所以运行的 顺序也可能是：
P1: P2: P1: P2:
R1∶=count; R2∶=count; R1∶=R1+1; count∶=R1; R2∶=R2+1; count∶=R2;
产生与时间有关错误！！
原因是这两个进程共享了临界资源-变量count 请指出本例的临界资源和临界区!!!
20
为克服算法1和算法2的缺点，提出正确使用临 界区的方法。 设进程共享两个变量： boolean flag[2]； //初值为： flag[0]= flag[1]= false int turn； //初值为0或1
21
算法3中进程Pi结构
进程Pi(flag[i]是boolean型数组变量，初始化均为 false ) do{ flag[i]=true; turn=j; while(flag[j]&&turn==j);
8
例1
临界资源互斥
进程A 进程B
① 请求资源R 使用 R ② 释放资源R
② 请求资源R （阻塞）
R
唤醒 ④ 释放资源 R
临界资源R互斥使用
9
例2
共享变量
设有两个进程P1、 P2， 它们共享同一变量 count, P1、 P2 的主要操作如下： P1：R1∶=count; R1∶=R1+1; count∶=R1; P2: R2∶=count; R2∶=R2+1; count∶=R2;
使用临界区的原则
空闲让进：当无进程处于临界区内时，允许一个进程立 即进入
忙则等待：当已有进程在临界区时，其它试图进入临界 区的进程必须等待 有限等待：任何进入临界区的进程,要求应在有限的时 间内得到满足 让权等待：处于等待状态的进程应放弃占用CPU，以使 其它进程有机会得到CPU的使用权
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
《记录型信号量》说课稿
尊敬的各位评委老师：
大家下午好！
我是来自xxxxxxxx，我说课的内容选自《操作系统》课程，第二章“进程控制”中的记录型信号量。
今天的说课从三个方面展开：教学分析、教学设计及教学过程。
一、教学分析
教学分析方面我主要从课程性质、教学内容、教学重难点、教学目标、学情分析五个点展开。
1．课程性质
操作系统课程是计算机软件工程专业的一门专业必修课。
也是计算机专业考研的一门必考课程。
通过本课程的学习，使学生能够掌握操作系统当中涉及到的基本概念、原理和算法，理解操作系统运行过程中的各种机制以及操作系统的五大管理功能。
学习本课程需要具备计算机组成原理、数据结构和高级程序设计语言基础。
学好本课程能够为后续软件开发课程如移动平台开发、Cocos 程序设计的学习打下坚实的理论基础。
2．教学内容
进程控制是操作系统课程的核心内容，是保证多进程有序使用操作系统资源的重要措施。
信号量机制是一种卓有成效的进程同步机制。
本次课在回顾整型信号量的基础上，对记录型信号量展开讲解，包括记录型信号量的数据结构、两个原语操作及其同步应用，同时引出信号量集的概念，为下一节课做铺垫。
3．教学重难点
记录型信号量的数据结构是理解该机制的基础，原语操作是使用该机制解决进程同步的核心，同步应用能帮助学生将知识应用于实践，所以都是教学重点。
由于学生之前有一定的数据结构基础，故记录型信号量的数据结构、原语操作不是难点，难点是如何在实践中准确的应用他们来解决问题。
4．教学目标
在确定了教学的重点、难点，依据教学内容在课程中的地位，及课程教学大纲的要求，制定教学目标为：
（1）知识目标：了解信号量的概念和种类；掌握记录型信号量的数据结构和原语操作
（2）能力目标：根据不同应用特点设置信号量。
运用wait原语、signal 原语完成进程的同步与互斥控制。
（3）情感目标：激发学生学习的兴趣；培养学生自主学习精神和探索学习精神。
5．学情分析
本学期教学的对象是13级软件工程专业数字媒体方向的学生，学生们通过对计算机导论，C语言，数据结构等先修专业课程的学习，对计算机操作系统中涉及到的一些基本术语、结构有所了解，有一定的理论基础和动手实践能力。
但对理论知识兴趣不高，理论联系实际能力欠缺。
二、教学设计
通过教学分析，本课程内容理论性较强，又缺乏实验环节，加上学生学习兴趣不浓，课堂参与度低。
为了改善学生的学习现状，本课程遵循“以学生为主体、以探索为主线、以生活为主题、以兴趣为主流”的教学理念，突出学生在教师的点拨下的自主性学习，研究性学习、体验性学习和愉快性学习。
介于此，我主要采用类比教学法，用生活中形象的事物类比操作系统中抽象的概念，创设真实生动情景，使学生感到抽象的理论不再抽象，提高学生的学习积极性；采用问题驱动法，适时的抛出问题，引导学生积极主动的去分析解决问题，提高课堂的互动性。
同时采用动画演示手段让学生更加直观的了解抽象事物。
在具体的教学过程设计上，共分为四个环节：
①导入新课（2）；
②详解新课（11）；
③知识应用（15）；
④课堂小结（2）。
三、教学设计
导入新课阶段，以“知识回顾”的形式回忆信号量概念，在回顾整型信号量机制缺陷的基础上，采用问题驱动教学法抛出“记录型信号量是否能解决忙等缺
陷”这一问题引出记录型信号量机制。
详解新课阶段，针对数据结构这一教学重点，我首先以图的形式直观的给出记录型信号量的数据结构，引导学生联系进程状态、对比整型信号量，解决导入新课阶段的问题。
然后通过类比教学法引入“汽车进入停车位必须先申请停车证”这一生活情景，引导学生采用联想学习法将数据结构中涉及的抽象概念与生活中的事物关联，结合汽车入库出库提出问题“记录型信号量如何实现资源的申请和释放”，引出第二个教学重点“原语操作”。
接下来采用汽车入库出库动画模拟演示5个进程对3个系统资源的访问过程，分别引出wait原语和signal原语的语法结构和作用，同时采用提问填空的形式检查学生是否掌握原语操作的语法；最后采用问题驱动法抛出问题，引导学生结合记录型信号量中的整型值和系统资源的关系，归纳总结出记录型信号量的物理含义。
知识应用阶段，针对同步应用这一教学重难点，引入经典进程同步问题哲学家就餐，通过问题描述、关系分析、思路整理、信号量设置，给出一个就餐算法，带领学生结合进程并发的中断性，提问学生哲学家就餐的最佳情况和最坏情况，分析该算法可能出现的“死锁”问题。
然后通过日常生活中的规则引导学生思考解决死锁问题的方法，调动学生参与课堂，结合学生给出的解决方案，说明各种方案的实际应用范畴。
另外给出三种常用方案，其中第一种解决方案“服务生法”由教师带领学生当堂解决，在理论教学中引出“小角色也有大作为”的社会情感培养，第二种解决方案由教师引导学生课后自我探究解决，同时通过分析第三种方案跟其他方案本质区别，引出下次课内容。
最后采用对比教学法，引导学生从数据结构、特点、适用范围三个方面对整型信号量和记录型型信号量展开小结。
各位领导、老师们，本次课我根据课程的特点和学情，主要采用类比教学法和问题驱动法，以“教师为主导，学生为主体”，教法学法相结合，力求使学生在积极、愉快的课堂氛围中提高自己的认识水平，从而达到预期的教学效果。
我的说课完毕，谢谢大家。