基于寄存器引擎的64位虚拟机的实现

目前虚拟机技术广泛应用于代码移植、跨平台计算和模拟硬件机器等领域。该技术以软件的方式构建通用机器硬件的仿真环境,实现机器字节码在处理器中的运算过程。在介绍虚拟机原理的基础上,设计并实现了基于寄存器引擎的64位虚拟机,初步模拟了Intel x86的指令执行过程。     

虚拟机技术在网络实验中的应用

在网络实验过程中,需要用到大量硬件设备的网络环境,采用虚拟机技术可以实现在一台计算机上安装多台虚拟机,模拟网络实验环境以实现上述要求而不用过多的硬件设备,并且可以达到良好的效果,尤其是对Windows操作系统下的网络实验应用更多更广。该文简述了虚拟机技术概念、虚拟机的构建过程用其注意事项,较为详细地罗列了虚拟机技术在网络实验课程教学的应用,阐明了虚拟机技术在网络实验中的好处,以及从中得到的体会。同时虚拟机技术也非常切合我们技工学校的网络基础、网络专业课程的教学——侧重于培养学生解决实际问题的能力,但偏偏又缺乏网络实验设备的前提下来实现网络实验。     

seL4微内核架构的嵌入式虚拟化技术研究

随着嵌入式硬件技术水平的提升以及嵌入式应用的普及,用户对嵌入式系统可以提供的服务能力与质量水平提出了更高的要求.出于对成本和可靠性方面的考虑,开发者希望可以在同一硬件平台上同时运行多个互不影响的执行环境.本文提出了一种基于seL4微内核架构的嵌入式虚拟化技术,以Chcore微内核为基础,充分利用ARM硬件辅助虚拟化支持,设计并实现了基于能力调用机制的嵌入式虚拟机管理器.测试结果表明,该虚拟机管理器在处理器利用率、虚拟机调度、中断异常处理等方面性能良好,可以满足用户的常用应用需求.     

字节码虚拟机的构造和验证

提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系.利用辅助工具Coq给出证明,所有证明均可机器自动检查.CertVM确保在硬件环境满足其语义规范的情况下,已验证的字节码程序能够在给定虚拟机环境中正常运行.给出的方案不仅为虚拟机验证提供理论基础,而且为可信软件构造提供了一种有益的尝试.     

基于Java卡技术的移动平台数字签名方法研究

对基于Java卡(嵌入了Java卡虚拟机的智能卡)技术的移动平台的安全机制及其实现方法作了分析,给出了ARM9平台与智能卡硬件的互联方法和软件通信机制,重点阐述了利用Java技术在嵌入式平台上使用智能卡进行数字证书申请、签名及验证操作的逻辑和实现方法。     

一种基于虚拟机技术的并发程序实现方法

基于一种虚拟机设计思想,用C语言实现了一个虚拟机平台,通过在虚拟机中加入管理程序以实现对用户作业的并发控制。该方法提供了利用串行程序设计语言进行并发程序开发的一种实现方法。通过实验证明不通过机器低层及硬件的手段也能有效地在顺序执行的平台上实现并发程序。     

基于VT-x技术的xen虚拟机扩展设备模组

X86平台虚拟化技术在网络和嵌入式应用中具有广阔的发展空间,但是虚拟机对硬件设备的高效访问是一个有待研究的问题.目前流行的xen虚拟机环境中使用设备模组为虚拟机提供模拟的设备,随着硬件技术的发展,这种方法逐渐成为提高I/O性能的一个瓶颈.文章给出一种扩展设备模组,为虚拟机提供一个访问真实设备的接口.介绍了其透明访问和SmartMapping两大特性.     

757计算机操作系统内核的设计与实现

"757操作系统是为757机配置的大型批处理系统.操作系统的结构设计采用了第二代操作系统结构设计方法,引进了分层虚拟机和核扩充观点.按照这些观点,对硬件机器层层改造和扩充,最后得到了功能完善、使用方便的操作系统.在此改造过程中,从"裸机"出发改造得到的第一级虚拟机就是操作系统的内核.     

ORACLE数据库高可靠性探究

本文首先介绍了数据库高可靠性概念和数据库高可用性特性.之后论述了高可靠性所需要的体系结构,包括软件体系结构和硬件体系结构.最后描述了如何利用虚拟机软件模拟实际环境搭建了一个ORACLE集群系统,它通过共享存储等一系列技术实现数据库的高可用性,是数据库高可靠性的一种解决方案的模拟实现.     

用户级多任务的两种实现方法

在分析了系统级多任务需要哪些硬件支持的基础上。提出了进程扩展型虚拟机和指令解释器型虚拟机的概念，给出这两种虚拟机如何模拟支持多任务的硬件机制的方法，以及在虚拟机上建立和切换多个任务的方法，该技术可以用于在上述两类虚拟机上构建自己的支持多任务的操作系统内核．