PC—DOS操作系统内存管理功能探析

本文分析并评价了DOS操作系统的内存管理功能，研究了在应用程序中使用DOS提供的动态存储管理功能的方法。     

解析Symbian操作系统内存管理机制

Symbian操作系统中,使用TRAP机制捕获系统异常,控制内存分配过程。清除栈结构可以保证当发生异常产生的情况下,系统不会出现内存泄露。对自定义类型的两段构造方法,可以修改C＋＋默认的构造规则,保证内存安全。     

Windows内存管理及应用

本文从Ｗｉｎｄｏｗｓ操作模式及内存寻址出发，详细剖析了Ｗｉｎｄｏｗｓ的内存管理机制，即全局堆，局部堆和段内存管理机制，并简单介绍了Ｗｉｎｄｏｗｓ提供的全局堆?局部堆和段内管理与应用函数。     

家用电脑的内存管理

如果你有一个仓库和一间工作室，那末，为了充分发挥它们的作用，一般会将加工工序集中在工作室里，而把加工出来的产品和待加工的原料放在仓库里，专门安排一个人在仓库和工作室之间来回搬运。家用电脑中的内存管理正是用的这个原理。现在普遍使用的X86系列电脑其原型是80年代     

嵌入式操作系统内存管理研究

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

嵌入式操作系统内存管理研究

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

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

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

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

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

一种定位虚拟操作系统内存泄漏的方法

本文描述了一种定位虚拟操作系统内存泄漏的方法,通过详细记录实时系统发生内存泄漏时,内存申请相关的系统运行状态,并在系统崩溃前将信息保存到硬件存储介质中,可以有效定位内存泄漏的原因。     

智能卡操作系统中存储管理设计

介绍了智能卡操作系统中存储管理的设计方法,给出了存储管理所涉及的数据结构,分析了各种存储管理的特点及应用。     

智能卡操作系统中存储管理设计

介绍了智能卡操作系统中存储管理的设计方法,给出了存储管理所涉及的数据结构,分析了各种存储管理的特点及应用。     

一种虚拟共享存储器系统的实现

本文阐述了虚拟共享存储器的基本概念，并重点介绍了在多处理机系统中采用一种虚拟共享存储器的构成及其实现方法。