嵌入式操作系统设计中的若干问题 被引量：16

1

作者 李江 常葆林 《计算机工程》 EI CAS CSCD 北大核心 2000年第6期88-89,94,共3页

该文从任务调度、存储管理、中断和操作系统与用户的接口等4个部分出发，讨论了嵌入式操作系统与一般的操作系统的相同与不同之处，这4个部分是组成一个操作系统最重要的组成部分。从而得出要设计、选择一个好的嵌入式操作系统，必须从... 该文从任务调度、存储管理、中断和操作系统与用户的接口等4个部分出发，讨论了嵌入式操作系统与一般的操作系统的相同与不同之处，这4个部分是组成一个操作系统最重要的组成部分。从而得出要设计、选择一个好的嵌入式操作系统，必须从被嵌入系统的需求出发，根据实际的应用来设计、选择嵌入式操作系统。 展开更多

关键词 嵌入式操作系统 任务调度 存储管理 计算机

下载PDF 职称材料

基于Event-B的航天器内存管理系统形式化验证 被引量：13

2

作者 乔磊 杨孟飞 +2 位作者 谭彦亮 蒲戈光 杨桦 《软件学报》 EI CSCD 北大核心 2017年第5期1204-1220,共17页

内存管理系统位于操作系统内核的最底层,为上层提供内存分配和回收机制.在航天器这类安全攸关的关键系统中,其可靠性和安全性至关重要,必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束.因此,系统通常采用较为复杂... 内存管理系统位于操作系统内核的最底层,为上层提供内存分配和回收机制.在航天器这类安全攸关的关键系统中,其可靠性和安全性至关重要,必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束.因此,系统通常采用较为复杂的数据结构和算法来管理内存空间,同时需要采用非常严格的形式化方法来保证航天器这类安全攸关系统的高可信性.对复杂内存管理系统的形式化验证也会比之前的验证工作带来更多难题,主要体现在:内存管理模块中的复杂数据结构的形式化描述,操作的规范语义,行为的建模,内部函数的规范及断言定义与循环不变式的定义,实时性验证等方面.针对这些问题,深入分析实际的航天器操作系统内存管理系统的特性;探索基于分层迭代的语义描述与验证的一般性方法与理论,并应用这些理论方法来验证一个具有实际应用的航天嵌入式操作系统的内存管理系统.该研究成果有望直接应用于我国新一代的航天器系统. 展开更多

关键词 航天器操作系统 内存管理 形式化验证

下载PDF 职称材料

嵌入式操作系统内存管理研究 被引量：6

3

作者 田令平 《电脑知识与技术》 2006年第4期161-163,共3页

嵌入式操作系统的内存管理有其独特之处。基于开发嵌入式操作系统内存管理模块的实际经验,研究了嵌入式操作系统的内存管理方法,分析了本领域当前的一些常用技术,指出了它们的特点及适用条件,总结了一些有效的设计实现原则,针对目前单... 嵌入式操作系统的内存管理有其独特之处。基于开发嵌入式操作系统内存管理模块的实际经验,研究了嵌入式操作系统的内存管理方法,分析了本领域当前的一些常用技术,指出了它们的特点及适用条件,总结了一些有效的设计实现原则,针对目前单一内存管理策略在移植性上的不足,探讨了一种实用的可配置的内存管理方案。 展开更多

关键词 嵌入式系统 操作系统 内存管理

下载PDF 职称材料

在操作系统中实现分布共享存储、存储管理和文件系统的集成 被引量：4

4

作者 刘福岩 尤晋元 耿彤 《计算机工程与应用》 CSCD 北大核心 2000年第5期36-39,共4页

开发分布共享存储系统的目的是为了在分布式存储器的基础上构造逻辑上的共享存储器模型，对于如何在共享存储器模型的基础上为用户进程构造虚拟空间，传统的分布共享系统并未给予足够的重视。只有在操作系统中把分布共享存储技术、存储... 开发分布共享存储系统的目的是为了在分布式存储器的基础上构造逻辑上的共享存储器模型，对于如何在共享存储器模型的基础上为用户进程构造虚拟空间，传统的分布共享系统并未给予足够的重视。只有在操作系统中把分布共享存储技术、存储器管理和文件系统结合起来，才能充分发挥分布共享存储技术具有的能力。基于以上思想，在文中提出了一个实现了分布共享存储的操作系统模型，并分析了该模型一个实现原型，讨论该原型具有的优缺点。通过在操作系统中取消进程的逻辑空间，使进程直接在文件上运行，该模型不仅能够实现分布共享存储，而且和许多传统操作系统以及传统分布共享存储系统相比，具有许多优点。该操作系统实现了分布共享存储技术和操作系统中的存储管理以及文件系统的完美结合。 展开更多

关键词 操作系统 存储管理 文件系统 分布共享存储 集成

下载PDF 职称材料

μC/OS-Ⅱ中内存管理方法的分析及改进 被引量：6

5

作者 俞勤丰 孙涌 《计算机工程》 CAS CSCD 北大核心 2009年第11期280-282,共3页

μC/OS-Ⅱ系统的内存管理采用分区管理的方法,效率较高,但由于其内存块固定,不适用于申请内存块大小变化很大的系统。针对此问题,提出一种简化的自适应动态分配μC/OS-Ⅱ内存的管理方法。实验结果表明,该方法能用于所申请内存块大小变... μC/OS-Ⅱ系统的内存管理采用分区管理的方法,效率较高,但由于其内存块固定,不适用于申请内存块大小变化很大的系统。针对此问题,提出一种简化的自适应动态分配μC/OS-Ⅱ内存的管理方法。实验结果表明,该方法能用于所申请内存块大小变化很大的系统,可满足嵌入式应用对内存快速、高效、可靠的需求。 展开更多

关键词 实时操作系统 内存管理 动态内存分配

下载PDF 职称材料

存储系统的层次性与进程数据存储模型 被引量：5

6

作者 刘福岩 尤晋元 《计算机研究与发展》 EI CSCD 北大核心 2000年第11期1367-1374,共8页

计算机系统的各种存储部件 ,包括寄存器、cache、内存、外存 ,被组织成一个层次性的存储结构 .传统操作系统分别在内存和外存这两个层次上为用户构造了两种数据存储模型 :进程逻辑空间和文件 .应该在存储层次的最外层——外存直接为用... 计算机系统的各种存储部件 ,包括寄存器、cache、内存、外存 ,被组织成一个层次性的存储结构 .传统操作系统分别在内存和外存这两个层次上为用户构造了两种数据存储模型 :进程逻辑空间和文件 .应该在存储层次的最外层——外存直接为用户构造进程数据存储模型——文件 ,把全部内存作为进程访问外存的缓冲 ,取消了进程逻辑空间的概念 ,实现指令对文件的直接寻址 ,使进程直接在文件上运行 .基于以上思想 ,提出了一个操作系统模型 ,介绍了该模型的结构及其一个实现原型 ,并对其性能进行了测试和评价 ,最后讨论了该操作系统具有的优点及其存在的问题 . 展开更多

关键词 存储系统 进程 数据存储模型 操作系统

下载PDF 职称材料

操作系统课程中的思政教育 被引量：6

7

作者 吴佳贞 祁超 《创新创业理论研究与实践》 2021年第1期18-20,共3页

高校是培养人才的重要园地,做好高校思政教育,落实立德树人的根本任务,将思政教育融入到专业课程教学中意义重大。依托计算机专业核心课程《操作系统》进行课程思政建设,通过从连续存储管理方式、离散存储管理方式、虚拟存储管理方式这... 高校是培养人才的重要园地,做好高校思政教育,落实立德树人的根本任务,将思政教育融入到专业课程教学中意义重大。依托计算机专业核心课程《操作系统》进行课程思政建设,通过从连续存储管理方式、离散存储管理方式、虚拟存储管理方式这三个方面对存储器管理进行讲授,充分挖掘课程教学中所蕴含的思政元素,并将思政教育融入到专业课程教学的每一个环节。践行思政进专业课堂的理念,探索思政教育新路,让学生在学习专业知识的同时领悟立身做人的道理,树立正确的三观,增强其爱国情怀与民族自豪感,培育能"挑大梁""担大任"的时代新人。 展开更多

关键词 课程思政 操作系统 存储器管理 教学实践

原文传递

操作系统课程启发式教学方法探索 被引量：6

8

作者 赵静文 刘翔 +1 位作者 石蕴玉 汤显 《教育教学论坛》 2020年第10期240-241,共2页

传统的以知识讲解为主的操作系统课程教学,无法激活学生学习兴趣,导致学生解决问题能力欠缺,创新能力不足,无法满足社会及企业的需求。实践表明,探索启发式和研究性教学,不仅能够提高操作系统课程的教学成效,而且能转换学生的学习方式,... 传统的以知识讲解为主的操作系统课程教学,无法激活学生学习兴趣,导致学生解决问题能力欠缺,创新能力不足,无法满足社会及企业的需求。实践表明,探索启发式和研究性教学,不仅能够提高操作系统课程的教学成效,而且能转换学生的学习方式,帮助学生从根源理解问题,加深学生的思考深度,提高学生独立思考、团队合作及创新能力,甚至可以将操作系统专业知识中的哲学道理应用到生活中,多方位提高学生的个人能力。 展开更多

关键词 操作系统 内存管理 启发式教学 独立思考

下载PDF 职称材料

一种嵌入式安全内存管理的设计与实现 被引量：3

9

作者 赵跃华 蔡贵贤 黄卫菊 《计算机工程与设计》 CSCD 北大核心 2006年第16期3092-3095,共4页

针对电力应用系统对嵌入式操作系统的实时性和安全性要求,以目前流行的嵌入式操作系统uC/OS-II内核为基础,巧妙地应用伙伴算法增强了内存管理模块的功能,并实现了存取控制和审计跟踪等安全功能,同时解决了内存空间的泄漏问题。经测试,... 针对电力应用系统对嵌入式操作系统的实时性和安全性要求,以目前流行的嵌入式操作系统uC/OS-II内核为基础,巧妙地应用伙伴算法增强了内存管理模块的功能,并实现了存取控制和审计跟踪等安全功能,同时解决了内存空间的泄漏问题。经测试,本设计能很好的满足电力应用的要求。 展开更多

关键词 嵌入式操作系统 内存管理 安全性设计 伙伴算法 uC/OS-Ⅱ

下载PDF 职称材料

嵌入式操作系统内存管理技术的分析与比较 被引量：2

10

作者 田林林 张权 唐朝京 《单片机与嵌入式系统应用》 2009年第11期5-7,11,共4页

介绍了两种主流的智能手机嵌入式操作系统——WinCE和Symbian,从整体架构、ROM与RAM、MMU以及其他技术方面对这两种嵌入式操作系统进行分析比较。在此基础上,提出了未来嵌入式操作系统的发展趋势,为嵌入式操作系统的选择提供了依据。

关键词 嵌入式操作系统 内存管理 WINCE SYMBIAN

下载PDF 职称材料

一个微内核操作系统中内存管理的实现 被引量：4

11

作者 陈少波 《价值工程》 2011年第33期141-143,共3页

微内核是一个最小化的软件程序,它可以提供完整的操作系统功能。微内核结构由一个非常简单的硬件抽象和一组比较关键的原语或系统调用组成;这些原语,仅仅包括了建立一个系统必需的几个部分,如进程管理、内存管理和进程间通信等。微内核... 微内核是一个最小化的软件程序,它可以提供完整的操作系统功能。微内核结构由一个非常简单的硬件抽象和一组比较关键的原语或系统调用组成;这些原语,仅仅包括了建立一个系统必需的几个部分,如进程管理、内存管理和进程间通信等。微内核的目标是将系统服务的实现和系统的基本操作规则分离开来,这样使内核中最核心部分的设计更简单。本文提出了一个微内核的体系结构,并详细论述了内存管理的实现。 展开更多

关键词 操作系统 微内核 内存管理 信息传递

下载PDF 职称材料

微内核架构内存管理的形式化设计和验证方法研究 被引量：4

12

作者 钱振江 刘永俊 +3 位作者 姚宇峰 汤力 黄皓 宋方敏 《电子学报》 EI CAS CSCD 北大核心 2017年第1期251-256,共6页

由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条... 由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条件,作为函数正确性的定义.以实现的VSOS(Verified Secure Operating System)内存管理模块为例,在Isabelle/HOL定理证明器环境中对建立的内存管理模型和系统行为的操作语义进行形式化描述,并对内存管理模块的设计和实现的正确性进行验证.结果表明,这一方法是可行的和高效的. 展开更多

关键词 操作系统 内存管理 形式化设计 形式化验证 定理证明

下载PDF 职称材料

一种基于VxWorks的内存管理封装层的设计与实现 被引量：3

13

作者 何先波 《西华师范大学学报（自然科学版）》 2005年第2期175-179,共5页

根据特定应用领域对商用嵌入式操作系统进行封装是很有必要的.通信类产品应用程序的内存管理往往对性能与安全有特殊的要求,本文在VxWorks提供的内存管理功能的基础上给出了一种封装方案:使用块内存与堆内存两种分配与释放方式提高内存... 根据特定应用领域对商用嵌入式操作系统进行封装是很有必要的.通信类产品应用程序的内存管理往往对性能与安全有特殊的要求,本文在VxWorks提供的内存管理功能的基础上给出了一种封装方案:使用块内存与堆内存两种分配与释放方式提高内存管理性能,增加调试信息;通过“加墙”或“加页”两种方式实现内存保护,使封装后的VxWorks更适合通信产品应用领域的软件开发. 展开更多

关键词 VXWORKS 内存管理 设计与实现 封装 嵌入式操作系统 应用领域 应用程序 管理性能 释放方式 管理功能 内存保护 软件开发 通信产品 通信类 堆内存

下载PDF 职称材料

VxWorks的内存配置和管理 被引量：3

14

作者 殷战宁 刘琳 《舰船电子对抗》 2012年第3期104-109,共6页

VxWorks操作系统环境下内存配置和管理决定了VxWorks的系统性能,重点从软硬件配置、接口函数、应用优化3个方面对内存配置和管理方法进行了阐述和研究。

关键词 VXWORKS操作系统 内存控制器 内存管理

下载PDF 职称材料

Cisco IOS内存管理及其脆弱性分析 被引量：3

15

作者 胡宗立 祝跃飞 +1 位作者 马亚南 韩玉祥 《计算机工程》 CAS CSCD 北大核心 2011年第20期24-26,共3页

通过研究Cisco路由器中嵌入式操作系统IOS的内存布局、管理策略、保护机制,并进行内存管理脆弱性测试,证明IOS在分配回收策略及内存块保护机制上存在脆弱性,针对其在内存管理策略与存储保护机制方面的安全风险,提出诸如增加校验及完整... 通过研究Cisco路由器中嵌入式操作系统IOS的内存布局、管理策略、保护机制,并进行内存管理脆弱性测试,证明IOS在分配回收策略及内存块保护机制上存在脆弱性,针对其在内存管理策略与存储保护机制方面的安全风险,提出诸如增加校验及完整性保护等防范措施,以确保路由器的安全。 展开更多

关键词 CISCO路由器 IOS系统 内存管理 双向链表 缓冲区溢出 磁盘碎片

下载PDF 职称材料

事件驱动的无线传感器网络嵌入式操作系统研究 被引量：2

16

作者 石文铎 陈俊英 +1 位作者 包天悦 万江文 《计算机测量与控制》 2015年第1期320-323,共4页

相比于一般的嵌入式系统,无线传感器网络节点对操作系统的能量利用率、实时性和多任务并发等方面提出了更高的要求,针对这些特点,提出了基于事件驱动的无线传感器网络嵌入式实时操作系统;采用分层结构的设计思想,构建内存管理、事件管... 相比于一般的嵌入式系统,无线传感器网络节点对操作系统的能量利用率、实时性和多任务并发等方面提出了更高的要求,针对这些特点,提出了基于事件驱动的无线传感器网络嵌入式实时操作系统;采用分层结构的设计思想,构建内存管理、事件管理和任务管理等模块化的操作系统组件,利用内存控制块动态链表,实现简易高效的内存管理;基于事件驱动和任务优先级,实现系统低功耗和抢占式的任务调度;实验结果表明,系统功耗低,响应速度快,实时性好。 展开更多

关键词 无线传感器网络 嵌入式操作系统 内存管理 任务调度

下载PDF 职称材料

分布式多计算机系统中的存储扩充问题及其解决办法 被引量：2

17

作者 刘福岩 尤晋元 《计算机工程》 CAS CSCD 北大核心 2000年第1期27-29,共3页

在大规模分布式多计算机系统中，内外存之间容量的差距正在减小，这极大地影响了操作系统中存储管理的设计和实现。操作系统设计者必须解决在外存容量不足的情况下如何实施存储扩充。提出了指令对文件直接寻址的概念及其实现方法，并分... 在大规模分布式多计算机系统中，内外存之间容量的差距正在减小，这极大地影响了操作系统中存储管理的设计和实现。操作系统设计者必须解决在外存容量不足的情况下如何实施存储扩充。提出了指令对文件直接寻址的概念及其实现方法，并分析了指今对文件直接寻址如何解决了这个问题。 展开更多

关键词 操作系统 存储管理 分布式计算机 存储扩充

下载PDF 职称材料

“操作系统”迭代递进式教学方案的探索 被引量：1

18

作者 左航 杨秋辉 +2 位作者 陈润 何丹 胡琼 《计算机时代》 2023年第1期123-126,共4页

针对操作系统这一专业核心课程,探讨了一种新的课程教学方案,按照知识引入、拓展和综合提升的顺序迭代递进,以学生中心,以产出为导向,紧密围绕理论基础、编程实践、理论习题、科研和产业训练有序推进。试行后的课堂调查显示,新方案取得... 针对操作系统这一专业核心课程,探讨了一种新的课程教学方案,按照知识引入、拓展和综合提升的顺序迭代递进,以学生中心,以产出为导向,紧密围绕理论基础、编程实践、理论习题、科研和产业训练有序推进。试行后的课堂调查显示,新方案取得了良好的教学效果。 展开更多

关键词 操作系统 迭代递进式教学 创新能力培养 内存管理

下载PDF 职称材料

嵌入式操作系统内存管理机制及内存保护分析 被引量：1

19

作者 哈渭涛 罗琪 《渭南师范学院学报》 2007年第2期63-65,共3页

文章介绍了嵌入式操作系统内存管理的基本原理及目前的管理方式存在的问题,并在此基础上介绍了一种嵌入式系统基于页机制的内存保护方法。

关键词 嵌入式操作系统 内存管理 内存保护

下载PDF 职称材料

基于Linux的软件DSM实现 被引量：1

20

作者 李鹏 王雷 《计算机工程》 EI CAS CSCD 北大核心 2006年第4期58-60,共3页

分布式共享存储系统在分布式存储器的基础上构造逻辑上的共享存储模型。提出了在操作系统层实现分布式共享存储的系统框架,并以Linux操作系统为平台介绍了其实现。该系统提供简单的调用接口,并与Linux内存管理框架紧密结合。通过采用合... 分布式共享存储系统在分布式存储器的基础上构造逻辑上的共享存储模型。提出了在操作系统层实现分布式共享存储的系统框架,并以Linux操作系统为平台介绍了其实现。该系统提供简单的调用接口,并与Linux内存管理框架紧密结合。通过采用合适的DSM一致性协议提高了整体性能。 展开更多

关键词 分布式共享存储系统 操作系统 内存管理 一致性协议

下载PDF 职称材料