页迁移系统中反向页表技术的设计与实现

页迁移技术是实现CC-NUMA存储优化的一种重要策略，它动态开发了数据的局部性。页迁移策略的实现涉及到虚存系统中物理地址到虚拟地址的转换，传统做法需要遍历所有进程的虚拟地址空间,效率低、开销大。针对此问题，本文介绍了一种能够高效实现物理地址到虚拟地址转换的技术——反向页表技术，着重介绍了反向页表的设计、实现和维护方法。     

RTDOS实时多任务操作系统的设计与实现

ＲＴＤＯＳ实时多任务操作系统的设计与实现（接上期）·页目录表页目录表是用来指向页表的，其本身也为一个页面。页目录结构与页表一样，同样是一个３２位字长的页说明符。它的页面基址指向包含对应页表的页面起址。ＲＴＤＯＳ为每个任务也分配一个页目录表，用来指向任...     

64-bit地址映射及实例探析

阐述了64位体系结构下虚拟地址到物理地址转换的几种基本方法,例如哈希页表、倒排页表、分层页表等;并结合Solaris 10予以简析。     

CC-NUMA系统中面向页迁移的反向页表技术

页迁移技术是实现CC-NUMA访存局部性优化的一种重要策略,其实现涉及到虚存系统中物理地址到虚拟地址的转换,传统做法需要遍历所有进程的虚拟地址空间,效率低、开销大.针对此问题,介绍了一种在操作系统内核中高效实现物理地址到虚拟地址转换的技术-一反向页表技术,并着重阐述了反向页表在页迁移策略中的应用.     

基于Cluster的单系统映象分布式并行操作系统的研究与实现

本文针对Cluster这种计算机系统，主要分析讨论了单系统映象的分布式并行操作系统的设计内容和关键技术。系统地总结了单系统映象的技术内容；并提出了一种新的实现方法。     

基于EPT的内存虚拟化研究与实现

为降低虚拟机监控器在内存虚拟化方面的开销,提高内存虚拟化性能,分析了两种的内存虚拟化机制,着重对基于Intel扩展页表的内存虚拟化机制进行了研究,分析了基于展页表的两种内存虚拟化方案优劣,并进一步分析了影响内存虚拟化性能的因素.针对扩展页表页故障,提出了页池的动态内存分配方案.内存虚拟化实现表明,采用扩展页表实现内存虚拟化能简化了设计流程,有效地提高了内存虚拟化性能.     

基于IA64架构的虚拟哈希页表的研究与实现

虚拟哈希页表（VHPT）是高性能微处理器系统实现虚拟地址到物理地址的转换映像，是存储管理的关键技术之一。本文在讨论IA64微处理器地址空间的基础上分析了单地址空间（SAS）和多地址空间（脑）模型的应用需求，研究了长格式、短格式两种页表映射机制，实现了基于这两种格式的64位虚地址空间的哈希地址算法，增强了虚地址转换的
性能。模拟结果表明，该设计与IA64架构兼容。     

基于NOW的单映象操作系统EXUNIX的设计与实现

本文分析了基于 NOW的单映象操作系统的设计内容和主要技术 ,介绍了一个新的群机操作系统 EXUNIX对单系统映象的设计和实现方案。     

一种TLB结构优化方法

针对国产处理器地址代换旁路缓冲(TLB)性能不足的问题,通过对现有的虚实地址代换流程进行分析,提出设置独立第三级页表基址虚实映射缓存,对数据TLB结构进行优化的方法,减少低级页表虚实映射关系对高级页表虚实映射关系的挤占淘汰。SPEC CPU2000测试结果表明,近一半的课题能减少60％以上数据TLB的DM次数,少数课题甚至能减少90％以上,有效减少数据TLB缺失率。     

ARM对SDSM操作系统虚地址转换支持研究

单一数据存储模型操作系统(SDSM)是一个新型的操作系统,它只存在一种数据类型-文件,现使用ARM的内存管理单元MMU部件提供的地址映射功能和ARM MMU中所创建的页表的方法,结合单一数据存储模型操作系统中内存管理的特点建立段表,给出单一数据存储模型操作系统在使用ARM一级页表中虚地址地址转换方法,说明ARM可以使用页表对单一数据存储模型OS的虚地址转换提供支持。     

一种分布式DBMS故障恢复技术

本文设计并实现了一种新的分布式数据库管理系统故障恢复技术，即基于后映象文件，事务私有更新区的故障恢复技术；详细介绍了其基本数据结构及二段式提交算法，回滚处理及恢算法。     

单系统映象集群操作系统的研究与实现

本文针对ｃｌｕｓｔｅｒ这种计算机系统,主要分析了单系统映象的集群操作系统的设计内容和关键技术,系统地总结了单系统映象的技术内容,并提出了一种新的实现方法。     

利用C语言实现图形动画的三种途径

本文总结了利用ＢｏｒｌａｎｄＣ＋＋图形函数为基础实现动画的三种途径：内存映象方式、图形页面技术，异或（ＸＯＲ）方式。介绍了具体实现的技术原理，并加以实例说明。     

多用户数据库管理系统故障恢复技术

本文提出一种基于更新事务和有缓冲区后映象文件的故障恢复技术，详细介绍了ＤＢＭＳ运行过程中事务故障，介质故障等各种故障的处理策略。     

一种基于内存虚拟化技术的EPT机制优化方法

基于linux内核发展的KVM虚拟机解决方案的应用日益广泛,为减少虚拟客户机运行过程中的地址空间转换开销,本文提出了一种利用基于Intel-VT技术的EPT页表进行地址转换的优化方法,并经实验证实了该优化方法的有效性。     

一种时变耦合映象格子模型的初值估计方法

耦合映象格子（Coupled map lattice，CML）模型是非线性科学研究中的一个重要模型。从CML系统中恢复系统的初始条件对信号处理等问题的研究非常重要。本文在符号动力学方法的基础上，针对全局耦合映象模型，提出一种基于时变映象系数恢复信号初值的新方法。实验结果表明，本文方法能够有效地恢复初值的统计特性，使整个格点信号均值等于给定信号均值。此外，采用时变映象系数恢复的信号值与原信号之间偏差、均方误差（Mean square error，MSE）都较传统方法小，而且与原信号之间有较强的相关性，能够更好地刻画实际信号的物理过程，并对系统初始条件作出稳键估计。     

基于数组的数据库外模式/模式映像及应用

以工资管理系统为例，介绍利用数组技术构建数据的外模式/模式映象，它不仅为通用工资管理程序的设计提供了一个可行的方法，同时也为其它数据库应用程序的通用性设计提供了一种新的思路。     

一种高效的压缩Page Walk Cache结构

通用图形处理单元（GPGPU）已被广泛应用于现代高性能计算系统中。GPGPU的单指令多线程执行模型导致快表命中率较低,特别是对于那些不规则应用,需要借助PWC减少实际的页表访问次数。传统PWC中存在很多冗余信息,加之容量有限,实际效果并不理想。分析了传统PWC中的信息冗余情况,提出了一种新结构——压缩PWC。压缩PWC在保证查找开销不变的基础上,完全消除了冗余信息,压缩了空间,使PWC能够记录更多的页表访问历史,从而有效减少地址转换过程中访问页表的次数。测试结果表明,与相同容量的传统PWC相比,压缩PWC可以显著缩短虚实地址转换时间开销。     

一种操作系统的PowerPC440内存管理机制研究

以PowerPC440为平台,设计了完全基于Hash页表的段页式存储管理方法,实现了操作系统内核以及各应用进程之间的存储空间保护。针对Hash页表构筑方式和特点的研究证明,给嵌入式操作系统施加特定约束后,该方法能够显著减少空间开销和时间开销,增加空间确定性,满足无人机系统的应用要求。该研究为进一步提出更优化的内存管理设计方法奠定了基础。     

工程数据库模式设计的一种形式方法：尼杰森法

本文介绍一种新的建立数据模型的方法，叫做尼杰森信息分析法。ＮＩＡＭ是一种图形建模语言，所设计的概念模式能被映象成数据库模型。文中阐述了把ＮＩＡＭ概念模式映象成第五范式关系数据模型的步骤，叫做最优范式算法。