说课-记录型信号量-操作系统.pptx

1、Xxx 讲师计算机学院（软件学院）目 录CONTENTS PAGE 1 13 3教学分析教学设计教学过程2 2目 录CONTENTS PAGE 1 12 23 3教学分析教学设计教学过程1 1教学分析教学设计教学过程教学分析教学分析 课程定位 课程定位学情分析 教学内容及重难点教学目标0101020203030404运运用用相相关关知知识识发发现现和和评评估估计计算算机机复复杂杂工工程程问问题题的的解决解决办办法法软件工程专业移动互联网方向的专业基础课对对复复杂杂工工程程问问题题的的解解决决方方案案进进行行优优化和改化和改进进对对复复杂杂工工程程问问题题解解决决方方案案进进行行分分析析，证证实

2、实解解决决方方案的合理性案的合理性对对计计算算机机复复杂杂工工程程问问题题进进行行预预测测和和模模拟拟，并并理理解解其局限性其局限性教学分析 课程定位 教学内容及重难点信号量整型信号量记录型信号量信号量集进程控制数据结构原语操作同步应用（重点）（重点）（重难点）学情分析教学目标教学分析教学目标学情分析 课程定位 教学内容及重难点6培养学生掌握信号量的基本概念和原理，培养学生掌握信号量的基本概念和原理，运用信号量机制发现和评估计算机复杂运用信号量机制发现和评估计算机复杂工程问题解决办法的能力；工程问题解决办法的能力；目标1目标2能能够站在系统软件的高度思考问题，结合够站在系统软件的高度思考问题，

3、结合文献研究对计算机复杂工程问题解决方案文献研究对计算机复杂工程问题解决方案进行分析，证实解决方案的合理性。进行分析，证实解决方案的合理性。匹配度：62%匹配度：38%&教学分析学情分析n有一定理论基础（数据结构）n有一定动手实践能力(C,C+,JAVA)n对理论知识兴趣不高n理论联系实际能力欠缺不 足本课程授课对象为第四学期移动互联网方向学生 课程定位 教学内容及重难点教学目标目 录CONTENTS PAGE 1 12 23 3教学分析教学设计教学过程2 2教学分析教学设计教学过程教学设计教学设计改革背景提升应用型人才培养质量改革背景以能力培养为主导，以学生学习为中心教法改革教学理念改革背景

4、过程设计注重知识传授与价值引领同向同行教学设计教学理念以学生为主体，突出学生在教师点拨下的自主性学习；以探索为主线，突出学生在教师指导下的研究性学习；以生活为主题，突出学生在教师引导下的体验性学习；教学理念改革背景教法改革 过程设计教学设计改革背景 教学理念教法学法过程设计教学方法：教学手段：问题驱动法 类比教学法 动画演示教 学 模 式：CDIO（Conceive、Design、Implement、Operate）工程思想和模式 联系对比 联想学习 学习方法：归纳总结 查阅文献 教学设计改革背景 教学理念过程设计教法改革导入新课导入新课导入新课导入新课1详解新课详解新课2知识应用知识应用3课

5、堂小结课堂小结42分钟分钟10分钟分钟2分钟分钟14分钟分钟能力拓展能力拓展52分钟分钟目 录CONTENTS PAGE 1 12 23 3教学分析教学设计教学过程3 3导入新课知识应用详解新课导入新课以以“知识回顾知识回顾”的的形式导入新课形式导入新课2分钟分钟课堂小结教学分析教学设计教学过程教学过程教学方法：问题驱动法n信号量机制：使用信号量及有关的wait、signal操作原语来实现进程的互斥与同步，是一种卓有成效的进程同步机制1、整型信号量机制2、记录型信号量机制3、信号量集机制缺陷：忙等的方式会浪费CPU的计算资源能力拓展11分钟分钟课前准备知识应用导入新课详解新课课堂小结2分钟分钟

6、1 记录型信号量-数据结构（重点）2 记录型信号量-场景模拟教学方法：类比教学法学法指导：联系、对比学习法学法指导：联想学习法教学过程等待等待L能力拓展10分钟分钟2分钟分钟3 记录型信号量-原语操作（重点）教学方法：类比教学法教学过程知识应用详解新课课堂小结导入新课Procedure wait(S)var S:semaphore;begin S.value:=S.value（）1;if S.value（）0 block(S.L);end 0:系统中可利用的资源数量 S.value=0:资源恰好分配完毕 S.value0:其绝对值表示在该信号量链表中已阻塞进程的数目。教学过程导入新课能力拓展课

7、前准备详解新课导入新课知识应用课堂小结哲学家就餐问题描述关系分析10分钟分钟2分钟分钟14分钟分钟思路整理信号量设置“死锁”就餐算法教学过程能力拓展C（构思）D（设计）详解新课 知识应用课堂小结10分钟分钟2分钟分钟14分钟分钟哲学家就餐l至多只允许有四位哲学家同时去拿左边的叉子，最终能至多只允许有四位哲学家同时去拿左边的叉子，最终能保证至少有一位哲学家能够进餐，并在用毕后释放出他保证至少有一位哲学家能够进餐，并在用毕后释放出他用过的两只叉子，从而使更多的哲学家能够进餐。用过的两只叉子，从而使更多的哲学家能够进餐。教师引导、师生互动l规定奇数号哲学家先拿他左边的叉子，然后再去拿右边的叉子；偶数

8、号哲学家则相反。l仅当哲学家的左右两只叉子均可用时，才允许他拿起叉子进餐。（当堂讲解）（当堂讲解）（课后思考）（课后思考）（引出下次课内容（引出下次课内容-信号量集）信号量集）教学过程导入新课（服务生法）（服务生法）能力拓展详解新课课堂小结知识应用2分钟分钟10分钟分钟2分钟分钟14分钟分钟 信号量信号量 项目项目整型信号量整型信号量记录型信号量记录型信号量数据结构数据结构整型变量整型变量+链表特点特点实现简单，忙等待阻塞等待适用范围适用范围多处理机单处理机、多处理机教学过程导入新课学法指导：归纳总结法能力拓展详解新课能力拓展知识应用2分钟分钟10分钟分钟2分钟分钟10分钟分钟教学过程导入新课课堂小结2分钟分钟n要求：查阅资料n要求：要求：查阅文献使用Java语言模拟实现不死锁的哲学家就餐nCSDN:Java中Semaphore(信号量)的使用 Java之Semaphore信号量的原理和示例 Java并发编程之Semaphore信号量源码分析I（实现）D（运作）Travelingin unsplashThank you!Travelingin nsplash