期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
操作系统中进程同步与互斥思政教学设计
被引量:
6
1
作者
王丽芳
武瑞娟
樊彩霞
《计算机时代》
2021年第6期102-105,109,共5页
加快发展“自主可控、安全可信”的国产操作系统,将思政元素融入操作系统的教学中,培养具有家国情怀、工匠精神和创新能力的信创产业领军人才势在必行。以操作系统中进程同步与互斥为例,围绕教学目标、教学内容和学情分析,将BOPPPS模型...
加快发展“自主可控、安全可信”的国产操作系统,将思政元素融入操作系统的教学中,培养具有家国情怀、工匠精神和创新能力的信创产业领军人才势在必行。以操作系统中进程同步与互斥为例,围绕教学目标、教学内容和学情分析,将BOPPPS模型引入教学过程,在模型的不同部分融入了不同的思政元素,提高了学生的参与度和主动性,激发了学生投身国产信创产业的爱国情怀,达到了较好的教学效果。
展开更多
关键词
国产操作系统
思政元素
BOPPPS模型
进程同步与互斥
下载PDF
职称材料
基于“微沙龙”的《操作系统》线上实践教学案例设计——以“同步互斥算法实现”实验为例
被引量:
1
2
作者
程葳
《北京城市学院学报》
2022年第6期14-20,共7页
实践教学是线上教学的难点,主要问题包括:师生互动受限、生生互动受限、学生间进度差异大等。本文探索以“微沙龙”方式组织线上实践教学,同时配合“三段式”混合式教学设计,激发学生学习内驱力,营造学生自主学习环境,真正做到了学生主...
实践教学是线上教学的难点,主要问题包括:师生互动受限、生生互动受限、学生间进度差异大等。本文探索以“微沙龙”方式组织线上实践教学,同时配合“三段式”混合式教学设计,激发学生学习内驱力,营造学生自主学习环境,真正做到了学生主体、教师主导的课堂组织新模式,有效缓解线上实践教学中的问题。文章将该方法应用于《操作系统》课程,最终保障课程目标的有效达成。
展开更多
关键词
操作系统
混合式教学
实践教学
案例
进程同步与互斥
下载PDF
职称材料
浅析Linux环境下的进程间通信机制
被引量:
4
3
作者
黄茹
《科技信息》
2014年第14期96-97,共2页
Linux系统提供了丰富的进程通信机制,包括管道、信号、消息队列、共享内存、信号量等。本文对Linux环境下多种进程间通信机制进行了概述,分析了各种方式实现的原理和在Linux环境下实现的方法,总结了各种通信机制的特点,通过对比各种通...
Linux系统提供了丰富的进程通信机制,包括管道、信号、消息队列、共享内存、信号量等。本文对Linux环境下多种进程间通信机制进行了概述,分析了各种方式实现的原理和在Linux环境下实现的方法,总结了各种通信机制的特点,通过对比各种通信机制的优缺点,说明了在进行程序设计时选择不同通信机制的标准。
展开更多
关键词
LINUX
进程
间通信
并发
进程同步与互斥
下载PDF
职称材料
哲学家就餐问题的算法实现
被引量:
1
4
作者
高升
陈月峰
《计算机工程与科学》
CSCD
北大核心
2016年第2期269-276,共8页
针对哲学家就餐问题这一操作系统中进程间通信的经典范例,设计了该范例的一个具有代表性的算法的技术实现方案。方案以Linux操作系统作为运行平台,通过进程而不是线程来体现哲学家的并发行为特征,以自动和随机相结合的灵活自然的人机交...
针对哲学家就餐问题这一操作系统中进程间通信的经典范例,设计了该范例的一个具有代表性的算法的技术实现方案。方案以Linux操作系统作为运行平台,通过进程而不是线程来体现哲学家的并发行为特征,以自动和随机相结合的灵活自然的人机交互模式模拟哲学家的状态,控制其状态切换;提出了两种形式的哲学家状态监控程序,它们能够生动、直观、准确地表达出哲学家状态的变化过程。字符形式的监控程序在字符终端和图形终端中均可使用,主要面向以超级终端登录到多用户Linux系统的用户;利用QT5开发的动画形式的监控程序适合在桌面Linux的图形终端中使用。
展开更多
关键词
操作系统
进程同步与互斥
信号量
共享存储器
哲学家就餐问题
状态监控程序
下载PDF
职称材料
题名
操作系统中进程同步与互斥思政教学设计
被引量:
6
1
作者
王丽芳
武瑞娟
樊彩霞
机构
中北大学大数据学院
出处
《计算机时代》
2021年第6期102-105,109,共5页
基金
2020年中北大学教育教学改革项目“新工科背景下物联网工程专业学生实践创新能力培养研究”(ZJ2020048)。
文摘
加快发展“自主可控、安全可信”的国产操作系统,将思政元素融入操作系统的教学中,培养具有家国情怀、工匠精神和创新能力的信创产业领军人才势在必行。以操作系统中进程同步与互斥为例,围绕教学目标、教学内容和学情分析,将BOPPPS模型引入教学过程,在模型的不同部分融入了不同的思政元素,提高了学生的参与度和主动性,激发了学生投身国产信创产业的爱国情怀,达到了较好的教学效果。
关键词
国产操作系统
思政元素
BOPPPS模型
进程同步与互斥
Keywords
domestic operating system
ideological and political elements
BOPPPS model
process synchronization and mutual exclusion
分类号
G642.3 [文化科学—高等教育学]
下载PDF
职称材料
题名
基于“微沙龙”的《操作系统》线上实践教学案例设计——以“同步互斥算法实现”实验为例
被引量:
1
2
作者
程葳
机构
北京城市学院信息学部
出处
《北京城市学院学报》
2022年第6期14-20,共7页
文摘
实践教学是线上教学的难点,主要问题包括:师生互动受限、生生互动受限、学生间进度差异大等。本文探索以“微沙龙”方式组织线上实践教学,同时配合“三段式”混合式教学设计,激发学生学习内驱力,营造学生自主学习环境,真正做到了学生主体、教师主导的课堂组织新模式,有效缓解线上实践教学中的问题。文章将该方法应用于《操作系统》课程,最终保障课程目标的有效达成。
关键词
操作系统
混合式教学
实践教学
案例
进程同步与互斥
Keywords
operating system
blending learning
practical teaching
teaching case
process mutex and synchronization
分类号
G642 [文化科学—高等教育学]
下载PDF
职称材料
题名
浅析Linux环境下的进程间通信机制
被引量:
4
3
作者
黄茹
机构
西安邮电大学计算机学院
出处
《科技信息》
2014年第14期96-97,共2页
文摘
Linux系统提供了丰富的进程通信机制,包括管道、信号、消息队列、共享内存、信号量等。本文对Linux环境下多种进程间通信机制进行了概述,分析了各种方式实现的原理和在Linux环境下实现的方法,总结了各种通信机制的特点,通过对比各种通信机制的优缺点,说明了在进行程序设计时选择不同通信机制的标准。
关键词
LINUX
进程
间通信
并发
进程同步与互斥
分类号
TP316.81 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
哲学家就餐问题的算法实现
被引量:
1
4
作者
高升
陈月峰
机构
广东海洋大学信息学院
出处
《计算机工程与科学》
CSCD
北大核心
2016年第2期269-276,共8页
基金
广东海洋大学卓越计划项目
文摘
针对哲学家就餐问题这一操作系统中进程间通信的经典范例,设计了该范例的一个具有代表性的算法的技术实现方案。方案以Linux操作系统作为运行平台,通过进程而不是线程来体现哲学家的并发行为特征,以自动和随机相结合的灵活自然的人机交互模式模拟哲学家的状态,控制其状态切换;提出了两种形式的哲学家状态监控程序,它们能够生动、直观、准确地表达出哲学家状态的变化过程。字符形式的监控程序在字符终端和图形终端中均可使用,主要面向以超级终端登录到多用户Linux系统的用户;利用QT5开发的动画形式的监控程序适合在桌面Linux的图形终端中使用。
关键词
操作系统
进程同步与互斥
信号量
共享存储器
哲学家就餐问题
状态监控程序
Keywords
operating system
process synchronization and mutual exclusion
semaphore
shared memory
dining philosophers problem
state monitoring program
分类号
TP316.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
操作系统中进程同步与互斥思政教学设计
王丽芳
武瑞娟
樊彩霞
《计算机时代》
2021
6
下载PDF
职称材料
2
基于“微沙龙”的《操作系统》线上实践教学案例设计——以“同步互斥算法实现”实验为例
程葳
《北京城市学院学报》
2022
1
下载PDF
职称材料
3
浅析Linux环境下的进程间通信机制
黄茹
《科技信息》
2014
4
下载PDF
职称材料
4
哲学家就餐问题的算法实现
高升
陈月峰
《计算机工程与科学》
CSCD
北大核心
2016
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部