VMM

摘要： 使用VMM对Hyper-V主机进行管理时,不可避免会遇到这样那样的问题。本文将针对该场景下出现的一些问题进行解读。我们在使用VMM对Hyper-V主机进行管理时,可以通过打开Virtual Machine Manager管理员控制台并选择“VMs and Services”工作区进行,即在此右键单击要使用的主机组,然后从快捷菜单中选择“添加Hyper-V主机和群集”命令。此时,VMM将启动“添加资源向导”,我们可以假定Hyper-V服务器已加入域中。

摘要： 介绍了基于群晖NAS的虚拟化技术,通过不同的维度与VMware虚拟化技术进行了对比分析,针对公司信息化系统现存的系统兼容性问题,在现有硬件设施基础上,提出了基于此技术的新的解决方案并应用实施.该方案具有成本低、部署快捷、无需改变原有软硬件环境的多重优势,经过测试验证极具可行性和实用性.

摘要： FC(Fibre Channel,光纤通道)交换机为光通信网络提供数据包交换服务,FC交换芯片是FC交换机的核心器件.在芯片研制过程中,能否完备并高效灵活的对其验证,将决定着整个项目的质量与进度.文章基于VMM的验证方法学,采用SV(SystemVerilog)语言,开发了一个N端口FC交换机芯片虚拟验证平台.结果表明,相比用Verilog开发的验证平台提高了验证效率、降低了测试项开发难度、缩短了验证周期.

摘要： To improve security of process in virtual machine (VM) and avoid system service descriptor table (SSDT) and system call execution path being hooked, a agentless method based on shadow memory of protecting process security in VM is proposed. First, a block of shadow memory is constructed in nonpaged pool of VM by using of high privilege level of virtual machine manager (VMM), then new system service descriptor table (SSDT) and system call execution path are injected to shadow memory. The process sensitive behavior is detected by using of characteristic of hardware virtualization and hook technology, and the invalid operation to targeted process is filtered in VMM so as to implement protecting process security without agent in VM. Analysis and test results show that almost all the attacks from rootkits can be prevented, and the targeted process in VM can be protected well with almost no performance loss.%为了提高虚拟机中进程的安全性,避免系统调用表SSDT和系统调用执行流被恶意挂钩,提出一种基于影子内存的无代理虚拟机进程防护方案.首先利用VMM的高特权级在虚拟机的非换页内存区透明构建一块影子内存,通过向影子内存透明注入SSDT和跳转函数,构建全新SSDT和系统调用执行流,保证SSDT和系统调用执行流的完整性.通过主动挂钩影子内存中的SSDT,利用硬件虚拟化的自动陷入机制检测进程的敏感行为,在VMM中过滤针对受保护进程的非法操作,实现无代理的进程防护.实验结果表明,该方案可以有效地对虚拟机中指定进程进行防护并过滤大部分的rootkit攻击,对虚拟机性能的影响在3%以下.

摘要： 针对于一些传统的验证平台编写时非常复杂的弊端,文章利用VMM验证方法学,构建了可重用的验证平台.这种平台有着诸多的优点,如可维护性、随机约束等.该验证平台大大的提高了验证工作的效率,节省了不少的时间.并且在模块级验证中能重用.

摘要： VBA技术在EDA验证领域的应用,极大地提高了芯片前端逻辑开发的工作效率.本文通过VBA技术,对以VMM验证方法学为基础的数据结构、寄存器测试代码进行了可视化程序设计,实现了EDA验证中测试激励的自动化生成,并在项目中进行了实践.%VBA technology application Is used in EDA Verification that has widely improved the efficiency of IC logic design flow. For complicated data structures tests and register tests codes based VMMverification method, we designed the automatic tools for test case code in EDA verification by VBA and implemented in IC designation.

摘要： In accordance with the function and structure of LDPC encoder / decoder, the verification scheme based on VMM is proposed, thus to fully verify the function of LDPC encoder / decoder, and then to effectively improve the chip performance. By simulating the actual workflow, the goal to realize optimal design and shorten the verification cycle is achieved. The verification results indicate that the LDPC codec verification platform based on VMM has more efficient verification components and more advanced verification technology. Compared with the traditional LDPC codec verification platform, the VMM-based verification platform could significantly improve the verification efficiency of LDPC encoder / decoder.%根据LDPC编译码器的功能和结构特点,提出一种基于VMM的验证方案以充分验证LDPC编译码器的功能,进而提升芯片性能.通过模拟实际的工作流程,达到了优化设计、缩短验证周期的目的.验证结果表明,基于VMM的LDPC编译码器验证平台具有更高效的验证组件、更先进的验证技术.相较传统的LDPC编译码器验证平台,基于VMM的验证平台显著提高了编译码器的验证效率.

摘要： 传统的验证平台编写复杂,且难以在不同设计之间重用.采用SystemVerilog支持的VMM验证方法学,并结合带约束的随机验证和覆盖率驱动的验证技术,构建可重用验证平台,完成被测FPGA软件的验证.与直接测试方法相比,该验证平台不仅能够有效提高验证效率,而且在模块级和系统级验证过程中,能够重用该验证平台或验证组件.

摘要： 文件系统监控是文件保护的基础.针对现有文件系统监控容易被恶意软件破坏的问题,提出一种基于VMM的Windows文件系统监控方法.该方法利用硬件虚拟化技术,通过监控系统调用监控文件系统操作,且监控手段对客户系统透明,保证实施的监控安全可信.最后设计并实现了相应的原型系统,同时对原型系统的监控效果和时间开销进行测试.实验结果表明,原型系统能够监控常见的Windows文件系统操作,并且时间开销在可接受的范围内.

摘要： 本文介绍了一种基于VMM验证方法学，搭建ESL验证平台的方法。本平台具有极大的可重用性，充分提高了验证效率和质量。依据本平台，成功地完成了对自主设计的10G以太网无源光网络芯片的验证。

摘要： 本文介绍了一种基于VMM验证方法学，搭建ESL验证平台的方法。本平台具有极大的可重用性，充分提高了验证效率和质量。依据本平台，成功地完成了对自主设计的10G以太网无源光网络芯片的验证。

摘要： 本文介绍了一种基于VMM验证方法学，搭建ESL验证平台的方法。本平台具有极大的可重用性，充分提高了验证效率和质量。依据本平台，成功地完成了对自主设计的10G以太网无源光网络芯片的验证。

摘要： 本文介绍了一种基于VMM验证方法学，搭建ESL验证平台的方法。本平台具有极大的可重用性，充分提高了验证效率和质量。依据本平台，成功地完成了对自主设计的10G以太网无源光网络芯片的验证。

摘要： 一种处理核包括指令执行逻辑电路和寄存器空间。与VM进入相称，从VMCS采用指示由处理核代表VMM提供的服务是否被启用的信息来加载寄存器空间。响应于宾客软件调用指令，指令执行逻辑查看寄存器空间以确认服务已经被启用，并且查看第二寄存器空间或存储器空间以获取由所述宾客软件编写的所述服务的输入参数。

摘要： 一种处理核包括指令执行逻辑电路和寄存器空间。与VM进入相称，从VMCS采用指示由处理核代表VMM提供的服务是否被启用的信息来加载寄存器空间。响应于宾客软件调用指令，指令执行逻辑查看寄存器空间以确认服务已经被启用，并且查看第二寄存器空间或存储器空间以获取由所述宾客软件编写的所述服务的输入参数。

摘要： 一种用于无源标签芯片的VMM验证系统及方法，包括VMM随机种子生成器、VMM直接用例配置约束模块、VMM全随机用例配置约束模块、VMM部分随机用例配置约束模块、VMM储存器配置约束模块、VMM直接用例生成器，VMM全随机用例生成器、VMM部分随机用例生成器、VMM储存器数据生成器、接口1、接口2、n个VMM阅读器激励生成器、n个阅读器SV模型、n个VMM标签激励生成器、n个标签RTL、n个标签SV参考模型、n个VMM对比器、VMM报告生成器1和VMM报告生成器2。本发明相比以往的技术大多数局限于使用阅读器实物进行FPGA对接测试，还有一对一的仿真验证，本方案对协议的一致性验证更加充分完备。

摘要： 本发明公开了一种基于VMM的二级缓存验证方法及装置，该方法包括：分别产生N个外设测试所需的N个第一事务；其中，第一事务包括测试数据包，N为自然数；分别产生与N个第一事务相对应的N组激励信号，并将激励信号传送至二级缓存中；针对任一第一事务：每隔预设时间，从二级缓存中存储第一事务的缓存区读出所存储的第二事务；将第一事务与第二事务的相似度进行对比，获得目标相似度；当目标相似度的值大于等于预设相似度的值时，验证通过；由上可见，采用本发明的方法及装置，可对芯片的二级缓存是否支持外设进行验证。

摘要： 云平台VMM层行为监控方法，本发明涉及云平台VMM层行为监控方法。本发明是要解决现有技术的问题主要在于：运行环境不安全，可能被攻破、算法安全监控程序占用的系统资源大、识别异常率不高的问题。云平台VMM层行为监控方法，它包括：用于VMM层劫持系统调用并获得系统调用序列的System Call Interpcepter步骤；用于分析系统调用序列并判断进程异常与否的System Call Analyze步骤；用于接收System Call Analyzer模块的分析结果并发出警报提醒操作系统的System Call Handler步骤。本发明应用于云平台领域。

摘要： 本发明适用视频验证领域，提供了一种AXI读写视频数据的验证方法，所述方法包括：VMM验证平台的数据生成层以transaction为基本单元，将transaction中的视频帧数据属性去掉，将视频帧格式属性和视频帧尺寸属性增加到该transaction中；VMM验证平台的数据生成层产生视频帧格式和视频帧尺寸；VMM验证平台的命令层产生与所述视频帧格式和所述视频帧尺寸对应的AXI读写数据；Driver逐次将所述AXI读写数据转换成具体信号驱动DUT，同时将所述AXI读写数据送到计分板scoreboard，同时DUT的输出数据通过monitor监控送到scoreboard，scoreboard实现输入和输出数据的自动比对，通过比对和功能覆盖率的情况来验证DUT功能的正确性。本发明提供的技术方案具有产生视频数据效率高和内存占用少的优点。

摘要： 本申请公开了在没有VMM介入的情况下对调用VMM配置的服务的指令集支持。一种处理核包括指令执行逻辑电路和寄存器空间。与VM进入相称，从VMCS采用指示由处理核代表VMM提供的服务是否被启用的信息来加载寄存器空间。响应于宾客软件调用指令，指令执行逻辑查看寄存器空间以确认服务已经被启用，并且查看第二寄存器空间或存储器空间以获取由所述宾客软件编写的所述服务的输入参数。

摘要： 一种处理核包括指令执行逻辑电路和寄存器空间。与VM进入相称，从VMCS采用指示由处理核代表VMM提供的服务是否被启用的信息来加载寄存器空间。响应于宾客软件调用指令，指令执行逻辑查看寄存器空间以确认服务已经被启用，并且查看第二寄存器空间或存储器空间以获取由所述宾客软件编写的所述服务的输入参数。

摘要： 一种处理核包括指令执行逻辑电路和寄存器空间。寄存器空间从VMCS加载，与VM条目相称，具有指示由处理核代表VMM提供的服务是否被启用。响应于宾客软件调用指令，指令执行逻辑引用寄存器空间以确认服务已经被启用，并且引用第二寄存器空间或存储器空间以获取由所述宾客软件编写的所述服务的输入参数。

摘要： 本发明提供一种虚拟机的部署方法、一种虚拟机的热迁移方法、一种VMM的升级方法、一种服务器和一种计算机可读存储介质。所述部署方法包括：根据升级前虚拟机的宿主机虚拟地址HVA空间与所述升级前虚拟机的宿主机物理地址HPA空间之间的映射关系，建立升级后虚拟机的HVA空间与所述升级前虚拟机的HPA空间之间的映射，所述升级后虚拟机部署在升级后的虚拟机监控器VMM上，且所述升级后虚拟机的内存配置与在升级前的VMM上运行的所述升级前虚拟机的内存配置相同。本发明能够在无需预留大量的计算资源的情况下实现从升级前虚拟机到升级后虚拟机的在线热迁移，进而完成VMM软件新旧版本的热替换。部署方法及热迁移方法还适用于虚拟机批量热迁移。