说课-记录型信号量-操作系统
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
以生活为主题，突出学生在教师引导下的体验性学习；
教学设计
改革背景 教学理念 教法学法 过程设计
教 学 模 式 ： CDIO （ Conceive、 Design、Implement、Operate） 工程思想和模式
பைடு நூலகம்教学方法： 类比教学法 问题驱动法
教学手段： 动画演示
学习方法： 联系对比 联想学习 归纳总结 查阅文献
02
对复杂工程问题 的解决方案进行 优化和改进
03
对复杂工程问题 解决方案进行分 析，证实解决方 案的合理性
04
对计算机复杂工 程问题进行预测 和模拟，并理解 其局限性
教学分析
课程定位 教学内容及重难点 教学目标 学情分析
进程控制
信号量
整型信号量 记录型信号量
信号量集
数据结构
（重点）
原语操作
（重点）
的叉子；偶数号哲学家则相反。
（课后思考）
哲学家就餐
仅当哲学家的左右两只叉子均可用时，才允许他拿起叉
子进餐。
（引出下次课内容--信号量集）
导入新课 2分钟
教学过程
详解新课 知识应用 课堂小结
10分钟
14分钟 2分钟
能力拓展
信号量 项目
数据结构
整型信号量 整型变量
特点
实现简单，忙等待
适用范围
多处理机
导入新课 2分钟
教学过程
详解新课 知识应用 10分钟
课堂小结
能力拓展
3 记录型信号量-原语操作（重点）
教学方法：问题驱动法
若记录型信号量S.value的初值为2，当前值 为-1，则表示有（ ）个进程等待。
A、0 B、1 C、2 D、3
记录型信号量的物理含义是什么？
S.value>0: 系统中可利用的资源数量
改革背景 教学理念 教法改革 过程设计
教学分析 教学设计 教学过程
改革背景
提升应用型人才培养质量 以能力培养为主导，以学生学习为中心
注重知识传授与价值引领同向同行
教学设计
改革背景 教教学学理理念念 教法改革 过程设计
以学生为主体，突出学生在教师点拨下的自主性学习； 以探索为主线，突出学生在教师指导下的研究性学习；
导入新课 2分钟
教学过程
详解新课 知识应用 课堂小结 能力拓展
10分钟
14分钟
教师引导、师生互动
至多只允许有四位哲学家同时去拿左边的叉子，最终能 保证至少有一位哲学家能够进餐，并在用毕后释放出他 用过的两只叉子，从而使更多的哲学家能够进餐。
（服务生法） （当堂讲解）
规定奇数号哲学家先拿他左边的叉子，然后再去拿右边
匹配度：38%
6
教学分析
课程定位 教学内容及重难点 教学目标 学情分析
本课程授课对象为第四学期移动互联网方向学生
有一定理论基础（数据结构） 有一定动手实践能力(C,C++,JAVA)
对理论知识兴趣不高 理论联系实际能力欠缺
目录 CONTENTS PAGE
教学分析
教学设计 教学过程
教学设计
Xxx 讲师 计算机学院（软件学院）
目录 CONTENTS PAGE
教学分析 教学设计
教学过程
目录 CONTENTS PAGE
教学分析 教学设计
教学过程
教学分析
课课程程定定位位 教学内容及重难点 教学目标 学情分析
教学分析 教学设计 教学过程
软件工程专业移动互联网方向的专业基础课
01
运用相关知识发 现和评估计算机 复杂工程问题的 解决办法
S.value=0: 资源恰好分配完毕 S.value<0: 其绝对值表示在该信号量链表中已 阻塞进程的数目。
学法指导：归纳总结法
导课入前新准课备 2分钟
教学过程
详解新课 知识应用 10分钟 14分钟
课堂小结 能力拓展
问题描述
关系分析
思路整理
哲学家就餐
信号量设置
“死锁”就餐算法 C（构思）
D（设计）
学法指导：归纳总结法
记录型信号量 整型变量+链表
阻塞等待 单处理机、多处理机
导入新课 2分钟
教学过程
详解新课 知识应用 课堂小结 能力拓展
10分钟
10分钟 2分钟
2分钟
要要求求：： 查查阅阅文资献料使用Java语言模拟实现不死锁的哲学家就餐
CSDN:Java中Semaphore(信号量)的使用 Java之Semaphore信号量的原理和示例 Java并发编程之Semaphore信号量源码分析
学法指导：联系、对比学习法
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
信号量机制：使用信号量及有关的wait、signal操 作原语来实现进程的互斥与同步，是一种卓有成效的 进程同步机制
1、整型信号量机制 2、记录型信号量机制 3、信号量集机制
缺陷：忙等的方式会浪费CPU的计算资源
导课入前新准课备 2分钟
教学过程
详解新课 11分钟
知识应用
课堂小结
能力拓展
1 记录型信号量-数据结构（重点）
同步应用
（重难点）
教学分析
课程定位 教学内容及重难点 教学目标 学情分析
目标1
培养学生掌握信号量的基本概念和原理，
运用信号量机制发现和评估计算机复杂
&
工程问题解决办法的能力；
目标2
能够站在系统软件的高度思考问题，结 合文献研究对计算机复杂工程问题解决 方案进行分析，证实解决方案的合理性。
匹配度：62%
教学设计
改革背景 教学理念 教法改革 过程设计
导入新课
详解新课
1
2分钟
2
10分钟
知识应用
3
14分钟
课堂小结
4
2分钟
能力拓展
5
2分钟
目录 CONTENTS PAGE
教学分析
教学设计 教学过程
导导入入新新课课 2分钟
教学过程
详解新课 知识应用
课堂小结
能力拓展
教学分析 教学设计 教学过程
•以“知识回顾”的形式导入新课 教学方法：问题驱动法
I（实现）
D（运作）
Travelingin nsplash
TravelinThagnk yionu! unsplash
教学设计
改革背景 教学理念 教法学法 过程设计
教 学 模 式 ： CDIO （ Conceive、 Design、Implement、Operate） 工程思想和模式
பைடு நூலகம்教学方法： 类比教学法 问题驱动法
教学手段： 动画演示
学习方法： 联系对比 联想学习 归纳总结 查阅文献
02
对复杂工程问题 的解决方案进行 优化和改进
03
对复杂工程问题 解决方案进行分 析，证实解决方 案的合理性
04
对计算机复杂工 程问题进行预测 和模拟，并理解 其局限性
教学分析
课程定位 教学内容及重难点 教学目标 学情分析
进程控制
信号量
整型信号量 记录型信号量
信号量集
数据结构
（重点）
原语操作
（重点）
的叉子；偶数号哲学家则相反。
（课后思考）
哲学家就餐
仅当哲学家的左右两只叉子均可用时，才允许他拿起叉
子进餐。
（引出下次课内容--信号量集）
导入新课 2分钟
教学过程
详解新课 知识应用 课堂小结
10分钟
14分钟 2分钟
能力拓展
信号量 项目
数据结构
整型信号量 整型变量
特点
实现简单，忙等待
适用范围
多处理机
导入新课 2分钟
教学过程
详解新课 知识应用 10分钟
课堂小结
能力拓展
3 记录型信号量-原语操作（重点）
教学方法：问题驱动法
若记录型信号量S.value的初值为2，当前值 为-1，则表示有（ ）个进程等待。
A、0 B、1 C、2 D、3
记录型信号量的物理含义是什么？
S.value>0: 系统中可利用的资源数量
改革背景 教学理念 教法改革 过程设计
教学分析 教学设计 教学过程
改革背景
提升应用型人才培养质量 以能力培养为主导，以学生学习为中心
注重知识传授与价值引领同向同行
教学设计
改革背景 教教学学理理念念 教法改革 过程设计
以学生为主体，突出学生在教师点拨下的自主性学习； 以探索为主线，突出学生在教师指导下的研究性学习；
导入新课 2分钟
教学过程
详解新课 知识应用 课堂小结 能力拓展
10分钟
14分钟
教师引导、师生互动
至多只允许有四位哲学家同时去拿左边的叉子，最终能 保证至少有一位哲学家能够进餐，并在用毕后释放出他 用过的两只叉子，从而使更多的哲学家能够进餐。
（服务生法） （当堂讲解）
规定奇数号哲学家先拿他左边的叉子，然后再去拿右边
匹配度：38%
6
教学分析
课程定位 教学内容及重难点 教学目标 学情分析
本课程授课对象为第四学期移动互联网方向学生
有一定理论基础（数据结构） 有一定动手实践能力(C,C++,JAVA)
对理论知识兴趣不高 理论联系实际能力欠缺
目录 CONTENTS PAGE
教学分析
教学设计 教学过程
教学设计
Xxx 讲师 计算机学院（软件学院）
目录 CONTENTS PAGE
教学分析 教学设计
教学过程
目录 CONTENTS PAGE
教学分析 教学设计
教学过程
教学分析
课课程程定定位位 教学内容及重难点 教学目标 学情分析
教学分析 教学设计 教学过程
软件工程专业移动互联网方向的专业基础课
01
运用相关知识发 现和评估计算机 复杂工程问题的 解决办法
S.value=0: 资源恰好分配完毕 S.value<0: 其绝对值表示在该信号量链表中已 阻塞进程的数目。
学法指导：归纳总结法
导课入前新准课备 2分钟
教学过程
详解新课 知识应用 10分钟 14分钟
课堂小结 能力拓展
问题描述
关系分析
思路整理
哲学家就餐
信号量设置
“死锁”就餐算法 C（构思）
D（设计）
学法指导：归纳总结法
记录型信号量 整型变量+链表
阻塞等待 单处理机、多处理机
导入新课 2分钟
教学过程
详解新课 知识应用 课堂小结 能力拓展
10分钟
10分钟 2分钟
2分钟
要要求求：： 查查阅阅文资献料使用Java语言模拟实现不死锁的哲学家就餐
CSDN:Java中Semaphore(信号量)的使用 Java之Semaphore信号量的原理和示例 Java并发编程之Semaphore信号量源码分析
学法指导：联系、对比学习法
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
信号量机制：使用信号量及有关的wait、signal操 作原语来实现进程的互斥与同步，是一种卓有成效的 进程同步机制
1、整型信号量机制 2、记录型信号量机制 3、信号量集机制
缺陷：忙等的方式会浪费CPU的计算资源
导课入前新准课备 2分钟
教学过程
详解新课 11分钟
知识应用
课堂小结
能力拓展
1 记录型信号量-数据结构（重点）
同步应用
（重难点）
教学分析
课程定位 教学内容及重难点 教学目标 学情分析
目标1
培养学生掌握信号量的基本概念和原理，
运用信号量机制发现和评估计算机复杂
&
工程问题解决办法的能力；
目标2
能够站在系统软件的高度思考问题，结 合文献研究对计算机复杂工程问题解决 方案进行分析，证实解决方案的合理性。
匹配度：62%
教学设计
改革背景 教学理念 教法改革 过程设计
导入新课
详解新课
1
2分钟
2
10分钟
知识应用
3
14分钟
课堂小结
4
2分钟
能力拓展
5
2分钟
目录 CONTENTS PAGE
教学分析
教学设计 教学过程
导导入入新新课课 2分钟
教学过程
详解新课 知识应用
课堂小结
能力拓展
教学分析 教学设计 教学过程
•以“知识回顾”的形式导入新课 教学方法：问题驱动法
I（实现）
D（运作）
Travelingin nsplash
TravelinThagnk yionu! unsplash