期刊文献+
共找到107篇文章
< 1 2 6 >
每页显示 20 50 100
MS-DOS的虚存管理系统VMMS的设计
1
作者 钱培德 吕强 朱巧明 《计算机研究与发展》 EI CSCD 北大核心 1993年第6期37-43,F004,共8页
本文提出了一种MS-DOS的虚存管理系统VMMS,从而能大幅度地增加系统的存储空间和提高系统对多任务处理的支撑能力。文章介绍了VMMS 的设计目标和设计思想,还对数据结构的设计作了详尽的阐述。文章又讨论了VMMS 的实现方法,对分配算法、... 本文提出了一种MS-DOS的虚存管理系统VMMS,从而能大幅度地增加系统的存储空间和提高系统对多任务处理的支撑能力。文章介绍了VMMS 的设计目标和设计思想,还对数据结构的设计作了详尽的阐述。文章又讨论了VMMS 的实现方法,对分配算法、淘汰算法和对换算法进行了探索。 展开更多
关键词 操作系统 虚存管理系统 vmms 设计
下载PDF
SG VMMS虚拟化平台的技术架构与实现 被引量:1
2
作者 张磊 张旭 郭胜强 《自动化与仪器仪表》 2015年第12期80-82,85,共4页
随着计算机技术的快速发展,为切实提高信息系统软件及硬件资源利用效率,提高数据资源利用质量,强化物联网及云计算等先进技术应用,要求进行虚拟化平台构建,通过发挥虚拟化技术平台作用,解决企业在信息化发展过程中所面临的成本、管理及... 随着计算机技术的快速发展,为切实提高信息系统软件及硬件资源利用效率,提高数据资源利用质量,强化物联网及云计算等先进技术应用,要求进行虚拟化平台构建,通过发挥虚拟化技术平台作用,解决企业在信息化发展过程中所面临的成本、管理及运维等问题。提出SG VMMS虚拟化平台并对其实现原理进行认知,科学认识SG VMMS虚拟化平台应用优势,对其技术架构及实现进行探索。 展开更多
关键词 SG vmms 虚拟化平台 技术架构
原文传递
基于层次化验证平台的存储器控制器功能验证 被引量:14
3
作者 吴英攀 于立新 +1 位作者 薛可 庄伟 《微电子学与计算机》 CSCD 北大核心 2009年第2期25-28,共4页
文中描述了一种基于层次化的验证平台存储器控制器功能验证方法.根据VMM(Verification Methodology Manual)验证方法学构建的一个层次性的验证平台,它易于维护并且具有很好的灵活性和可重用性.文中中的覆盖率模型是采用分类树方法构建.... 文中描述了一种基于层次化的验证平台存储器控制器功能验证方法.根据VMM(Verification Methodology Manual)验证方法学构建的一个层次性的验证平台,它易于维护并且具有很好的灵活性和可重用性.文中中的覆盖率模型是采用分类树方法构建.采用分类树方法不仅易于提取完整的被测功能点,而且可以使从规范到Sys-temVerilog语言描述的转换变得更加容易,从而大大提高了验证的效率和缩短了验证时间.该方法也同样适合于片上系统(SoC)的验证. 展开更多
关键词 VMM 分类树 验证 存储器控制器
下载PDF
Virt-RSBAC:一种防御云计算内部威胁的框架 被引量:3
4
作者 张磊 陈兴蜀 +1 位作者 刘亮 任益 《四川大学学报(工程科学版)》 EI CSCD 北大核心 2014年第6期114-121,共8页
针对来自云计算平台的内部威胁,为了保护云用户的隐私,缓减平台提供者的安全监控需求与用户隐私之间的策略冲突,提出一种虚拟化环境下的特权控制框架Virt-RSBAC。通过在虚拟机监视器(VMM)中添加特权控制和基于角色的资源隔离规则,实现... 针对来自云计算平台的内部威胁,为了保护云用户的隐私,缓减平台提供者的安全监控需求与用户隐私之间的策略冲突,提出一种虚拟化环境下的特权控制框架Virt-RSBAC。通过在虚拟机监视器(VMM)中添加特权控制和基于角色的资源隔离规则,实现对特权域管理权限的分离,简化对云用户的管理,借助于创建相互信任的安全虚拟机(SVM)为云平台提供者和云用户提供安全服务。最后,在Xen上实现了该框架的原型。实验与分析表明,该框架能够防止恶意管理员获取用户隐私并提供检测功能,对原有系统的性能损耗在可接受范围内。 展开更多
关键词 云计算 隐私保护 特权控制 RSBAC VMM
下载PDF
一种基于VMM的内核级Rootkit检测技术 被引量:5
5
作者 张磊 陈兴蜀 +1 位作者 任益 李辉 《信息网络安全》 2015年第4期56-61,共6页
针对云平台中的虚拟机内核级Rootkit破坏租户虚拟机完整性的问题,文章提出一种基于VMM(虚拟机监视器,Virtual Machine Monitor)的内核级Rootkit检测技术。该技术以在关键路径设置陷入点的方式构建TML(True Module List),得到虚拟机中真... 针对云平台中的虚拟机内核级Rootkit破坏租户虚拟机完整性的问题,文章提出一种基于VMM(虚拟机监视器,Virtual Machine Monitor)的内核级Rootkit检测技术。该技术以在关键路径设置陷入点的方式构建TML(True Module List),得到虚拟机中真实的内核模块视图,在VMM层利用自下而上的调用方式获取虚拟机用户态视图,并在VMM层获取重构的虚拟机内核态视图,通过交叉对比这三个视图检测隐藏在虚拟机中的Rootkit。最后,利用该技术在KVM(基于内核的虚拟机,Kernel-based Virtual Machine)中实现了原型系统,实验结果表明系统能迅速准确地检测出虚拟机中的Rootkit,并依据TML报告内核级Rootkit的详细信息,系统的综合性能损耗在可接受范围内。 展开更多
关键词 VMM 内核级Rootkit检测 关键路径陷入点 KVM
下载PDF
一种机群上的处理器虚拟化方法 被引量:2
6
作者 刘忠麟 肖利民 +1 位作者 郝沁汾 祝明发 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第5期627-630,共4页
为了使操作系统能够透明地利用机群中多个服务器的处理器资源,提出了分布式虚拟机监控器中的处理器资源虚拟化方案:即在每个服务器内部提供一定量的虚拟处理器的基础上,通过在服务器之间协作情况下的指令模拟,保证各个虚拟处理器的正常... 为了使操作系统能够透明地利用机群中多个服务器的处理器资源,提出了分布式虚拟机监控器中的处理器资源虚拟化方案:即在每个服务器内部提供一定量的虚拟处理器的基础上,通过在服务器之间协作情况下的指令模拟,保证各个虚拟处理器的正常运转,并实现各个虚拟处理器对客户操作系统的位置透明性,从而使得客户操作系统和应用程序可以使用底层多个服务器的处理能力. 展开更多
关键词 虚拟化 分布式VMM 虚拟处理器 指令模拟
下载PDF
基于影子内存的无代理虚拟机进程防护 被引量:3
7
作者 陈兴蜀 陈蒙蒙 金鑫 《电子科技大学学报》 EI CAS CSCD 北大核心 2018年第1期80-87,共8页
为了提高虚拟机中进程的安全性,避免系统调用表SSDT和系统调用执行流被恶意挂钩,提出一种基于影子内存的无代理虚拟机进程防护方案。首先利用VMM的高特权级在虚拟机的非换页内存区透明构建一块影子内存,通过向影子内存透明注入SSDT和跳... 为了提高虚拟机中进程的安全性,避免系统调用表SSDT和系统调用执行流被恶意挂钩,提出一种基于影子内存的无代理虚拟机进程防护方案。首先利用VMM的高特权级在虚拟机的非换页内存区透明构建一块影子内存,通过向影子内存透明注入SSDT和跳转函数,构建全新SSDT和系统调用执行流,保证SSDT和系统调用执行流的完整性。通过主动挂钩影子内存中的SSDT,利用硬件虚拟化的自动陷入机制检测进程的敏感行为,在VMM中过滤针对受保护进程的非法操作,实现无代理的进程防护。实验结果表明,该方案可以有效地对虚拟机中指定进程进行防护并过滤大部分的rootkit攻击,对虚拟机性能的影响在3%以下。 展开更多
关键词 无代理 进程 系统调用 虚拟机 VMM
下载PDF
基于VMM的L2 Cache的验证平台的设计与实现 被引量:2
8
作者 翟江涛 潘明 苏雪 《现代电子技术》 北大核心 2015年第4期125-128,共4页
随着集成电路行业的不断发展,芯片设计规模空前增长,功能也越来越复杂,使得验证的难度和重要性日益增大。在此提出一种由System Verilog语言搭建的基于VMM的一种面向对象的验证平台。该验证平台主要使用覆盖率驱动的验证技术,并结合可... 随着集成电路行业的不断发展,芯片设计规模空前增长,功能也越来越复杂,使得验证的难度和重要性日益增大。在此提出一种由System Verilog语言搭建的基于VMM的一种面向对象的验证平台。该验证平台主要使用覆盖率驱动的验证技术,并结合可约束随机测试和记分板技术,对一款多核处理器芯片中的L2 Cache进行功能验证。最后对验证平台的可重用性进行研究。实验结果表明,验证平台具有良好的激励生成机制,能够对L2 Cache模块的功能进行全面的验证;同时,验证平台经过少量更改就可以在基于标准的AXI接口的So C验证平台之间重用,极大地提高了验证效率,缩短了验证时间。 展开更多
关键词 VMM L2 CACHE 功能验证 SYSTEM VERILOG 功能覆盖率 重用性
下载PDF
一种虚拟环境下的Rootkit检测与处理技术 被引量:2
9
作者 任益 陈兴蜀 +1 位作者 张磊 李辉 《四川大学学报(工程科学版)》 CSCD 北大核心 2014年第S2期109-115,共7页
当前虚拟化环境下对rootkit的检测存在漏检与误检的可能,并且缺少对检测到rootkit后的定位与处理。针对现有检测方法中的不足,提出了一种虚拟环境下基于虚拟机监控器(virtual machine monitor,VMM)的rootkit检测与处理技术,并在Xen上实... 当前虚拟化环境下对rootkit的检测存在漏检与误检的可能,并且缺少对检测到rootkit后的定位与处理。针对现有检测方法中的不足,提出了一种虚拟环境下基于虚拟机监控器(virtual machine monitor,VMM)的rootkit检测与处理技术,并在Xen上实现了原型系统r Detector。提出使用以安全链表为基础的多视图同步谎言检测机制检测rootkit的隐藏性,以内核敏感信息完整性检查检测rootkit对系统的攻击,并利用VMM提供了对rootkit的定位与处理。实验表明,r Detecor对rootkit的检测效果良好,能够迅速准确地检测出rootkit对系统的攻击,并能有效地对rootkit进行处理,对系统造成的性能损失在可接受的范围内。 展开更多
关键词 ROOTKIT VMM 虚拟化技术 多视图 隐藏性 恶意软件
下载PDF
基于虚拟化平台Xen的内核安全监控方案 被引量:2
10
作者 陈祝红 崔超远 +1 位作者 王儒敬 周继冬 《计算机系统应用》 2013年第7期68-71,共4页
虚拟化技术作为云计算的基础架构,其安全性随着云计算的发展越来越受到人们的关注.提出一种针对虚拟机系统内核攻击的入侵检测方案,借助Xen提供的虚拟化平台,来获取虚拟机系统内核运行情况,从而达到监视和防止内核被攻击的目的.该方案... 虚拟化技术作为云计算的基础架构,其安全性随着云计算的发展越来越受到人们的关注.提出一种针对虚拟机系统内核攻击的入侵检测方案,借助Xen提供的虚拟化平台,来获取虚拟机系统内核运行情况,从而达到监视和防止内核被攻击的目的.该方案可以有效地防御来自动态修改内核代码和内核不变数据结构一类的攻击. 展开更多
关键词 XEN VMM 内核攻击 Hypercall
下载PDF
基于SynoTPys VMM方法的FPGA验证技术 被引量:3
11
作者 吕欣欣 刘淑芬 《计算机应用》 CSCD 北大核心 2009年第9期2527-2529,2533,共4页
针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性。从验证方法和方法学角度阐述了验证平台的发展趋势,比较了... 针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性。从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于SynoTPysVMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同时提高了验证效率。 展开更多
关键词 现场可编程门阵列 硬件设计 VMM 验证平台 验证方法学
下载PDF
虚拟技术研究和实现 被引量:3
12
作者 李学杰 金志刚 戴居丰 《电子测量技术》 2007年第11期182-186,共5页
虚拟技术是一种抽象。对于计算机技术的研究和发展具有重要作用。本文首先给出了虚拟技术研究的历史发展给出和研究现状。从工程和研究的角度,分析了它在不同领域中应用与实现的重要意义。给出了虚拟技术的基本定义,针对不同的应用与研... 虚拟技术是一种抽象。对于计算机技术的研究和发展具有重要作用。本文首先给出了虚拟技术研究的历史发展给出和研究现状。从工程和研究的角度,分析了它在不同领域中应用与实现的重要意义。给出了虚拟技术的基本定义,针对不同的应用与研究需要,分析了研究和实现该技术中所涉及的主要问题,包括不同的体系结构、各自的难点实现问题。对应用此技术时主要的完全虚拟问题,内存管理问题和I/O资源管理问题,进行了具体研究与分析。在理论分析基础上,对当前主要的虚拟技术研究项目进行了深入分析和比较。最后,对虚拟技术研究实现的发展趋势做出了展望和论述。指出Linux平台、XML支持是未来的发展趋势。 展开更多
关键词 虚拟技术 虚拟机 虚拟机监视器(VMM)
下载PDF
基于协作型VMM的虚拟机执行环境动态配置模型 被引量:1
13
作者 卢建平 郭玉东 +1 位作者 王晓睿 赵玉春 《计算机应用》 CSCD 北大核心 2012年第3期831-834,共4页
针对当前各类虚拟机监控器(VMM)在定制虚拟机执行环境过程中灵活性不足、可用性不强方面的问题,提出并设计了一种用户动态配置虚拟机执行环境的模型,并在协作型VMM之上进行了实现。结合Intel VT-x技术的实现机制,充分利用虚拟机控制结构... 针对当前各类虚拟机监控器(VMM)在定制虚拟机执行环境过程中灵活性不足、可用性不强方面的问题,提出并设计了一种用户动态配置虚拟机执行环境的模型,并在协作型VMM之上进行了实现。结合Intel VT-x技术的实现机制,充分利用虚拟机控制结构(VMCS)中的执行控制域特性,通过为用户提供接口,对虚拟机配置文件进行操作,实现对虚拟机执行环境的实时动态配置。用户利用该模型能够快速构建具有不同运行时特性的虚拟机执行环境。测试结果表明,该模型能够提高VMM的可用性。 展开更多
关键词 虚拟机监控器(VMM) VT-x 虚拟机执行环境 动态配置模型 可用性
下载PDF
基于VMM方法的SOC集成验证 被引量:3
14
作者 李磊 罗胜钦 《电子测量技术》 2011年第1期128-131,共4页
随着集成电路规模和设计复杂度的快速增长,芯片验证的难度也不断加大,芯片验证的工作量达到了整个芯片研发的70%,已然成为缩短芯片上市时间的瓶颈。VMM是synopsys公司推出的基于syste mverilog的一套验证方法学,已经成为SOC验证的主流... 随着集成电路规模和设计复杂度的快速增长,芯片验证的难度也不断加大,芯片验证的工作量达到了整个芯片研发的70%,已然成为缩短芯片上市时间的瓶颈。VMM是synopsys公司推出的基于syste mverilog的一套验证方法学,已经成为SOC验证的主流方法学。SOC系统采用ARM9处理器和DSP处理器,基于AMBA总线架构。SOC验证包括集成验证和系统验证,相对于系统验证,集成验证具有运行速度快的特点,在芯片验证中及其重要。结合项目来介绍SOC集成验证,运用业界主流的VMM验证方法学并结合Design Ware VIP来搭建集成验证环境,通过VMM类的介绍来说明验证的过程,并提出验证环境归一化的思想。 展开更多
关键词 VMM验证 SYSTEMVERILOG Design WARE VIP 系统芯片
下载PDF
基于VMM方法的SOC集成验证 被引量:8
15
作者 李磊 罗胜钦 《电子与封装》 2011年第1期18-21,共4页
随着集成电路规模和设计复杂度的快速增长,芯片验证的难度也不断加大,芯片验证的工作量达到了整个芯片研发的70%,已然成为缩短芯片上市时间的瓶颈。VMM是synopsys公司推出的基于systemverilog的一套验证方法学,已经成为SOC验证的主流方... 随着集成电路规模和设计复杂度的快速增长,芯片验证的难度也不断加大,芯片验证的工作量达到了整个芯片研发的70%,已然成为缩短芯片上市时间的瓶颈。VMM是synopsys公司推出的基于systemverilog的一套验证方法学,已经成为SOC验证的主流方法学。SOC系统采用ARM9处理器和DSP处理器,基于AMBA总线架构。SOC验证包括集成验证和系统验证,相对于系统验证,集成验证具有运行速度快的特点,在芯片验证中极其重要。文中结合项目来介绍SOC集成验证,运用业界主流的VMM验证方法学并结合DesignWare VIP来搭建集成验证环境,通过VMM类的介绍来说明验证的过程,并提出验证环境归一化的思想。 展开更多
关键词 VMM验证 SYSTEMVERILOG DesignWare VIP 系统芯片
下载PDF
基于VMM的流量管理芯片验证 被引量:1
16
作者 刘燕 王京梅 +1 位作者 张帆 兰中文 《现代电子技术》 2009年第12期15-18,共4页
流量管理芯片的验证是目前业界的热点与难点,验证工程师们一直在努力寻找用于流量测量的较好方法。采用System Verilog语言,基于Synopsys公司最新推出的验证方法学VMM,提出一种用于流量管理芯片验证的分层次验证环境。该环境对流量测量... 流量管理芯片的验证是目前业界的热点与难点,验证工程师们一直在努力寻找用于流量测量的较好方法。采用System Verilog语言,基于Synopsys公司最新推出的验证方法学VMM,提出一种用于流量管理芯片验证的分层次验证环境。该环境对流量测量方法进行重点研究,放弃采用参考模型的传统验证思路,提供一种参考基准可变,时间窗位置可移,长度可调的,可在不同设计间高度重用的流量检测机制。该验证环境及验证方法在海思半导体某流量管理芯片开发过程中的成功应用,保证了芯片开发质量,缩短了项目开发周期,为其他同类芯片的开发提供了强有力的支持。 展开更多
关键词 VMM 流量管理 芯片 验证
下载PDF
虚拟化技术在通信基础设施中的应用 被引量:6
17
作者 李芳社 《现代电子技术》 2009年第8期149-151,共3页
随着硬件技术的不断发展,如何有效地利用硬件提供的新性能是通信基础实施所必须面对的。其难点在于如何将已有的、已经验证了的软件移植到新的硬件平台。介绍了利用虚拟化技术可以在同一硬件平台上同时运行通用操作系统及实时操作系统,... 随着硬件技术的不断发展,如何有效地利用硬件提供的新性能是通信基础实施所必须面对的。其难点在于如何将已有的、已经验证了的软件移植到新的硬件平台。介绍了利用虚拟化技术可以在同一硬件平台上同时运行通用操作系统及实时操作系统,从而实现把非实时软件功能和实时软件功能集成在同一硬件平台上。实验表明,使用虚拟化技术不会降低原有通信实施的性能。 展开更多
关键词 虚拟化 虚拟机监控器(VMM) 通信基础设施 代码重用
下载PDF
基于虚拟化技术的进程级监控 被引量:2
18
作者 刘钊远 《微电子学与计算机》 CSCD 北大核心 2009年第12期149-152,共4页
目前虚拟环境中,虚拟机管理程序VMM和客户操作系统之间相对独立,因此,VMM只能对客户操作系统的整体运行情况进行监控.但是,当客户操作系统中一个进程因某种原因导致整个客户操作系统崩溃时,VMM显得无能为力.文中将VMM对客户操作系统的... 目前虚拟环境中,虚拟机管理程序VMM和客户操作系统之间相对独立,因此,VMM只能对客户操作系统的整体运行情况进行监控.但是,当客户操作系统中一个进程因某种原因导致整个客户操作系统崩溃时,VMM显得无能为力.文中将VMM对客户操作系统的监控粒度从操作系统级提升到进程级,从而增强虚拟机的安全性和稳定性. 展开更多
关键词 虚拟机 VMM 客户操作系统 KVM
下载PDF
基于KVM的作战系统仿真研究 被引量:1
19
作者 刘佳铭 吴定刚 谢红胜 《舰船电子工程》 2013年第11期71-73,85,共4页
虚拟化技术的快速发展极大提高了资源的利用率,提高了资源的管理和控制能力。论文介绍了虚拟化技术的概念、分类等基础知识以及KVM虚拟化技术的发展过程和技术优势。结合一个简单的作战系统仿真实例,详细描述了利用KVM虚拟化技术进行虚... 虚拟化技术的快速发展极大提高了资源的利用率,提高了资源的管理和控制能力。论文介绍了虚拟化技术的概念、分类等基础知识以及KVM虚拟化技术的发展过程和技术优势。结合一个简单的作战系统仿真实例,详细描述了利用KVM虚拟化技术进行虚拟机构建的过程,描述了基于KVM虚拟机的作战系统仿真架构,为虚拟化在作战系统仿真和设计中的应用奠定基础。 展开更多
关键词 虚拟化 KVM VMM 仿真 作战系统
下载PDF
基于VMM方法学的系统级软硬件协同仿真验证 被引量:1
20
作者 章林柯 王力 王艳武 《微型机与应用》 2011年第12期81-84,共4页
针对一款高性能复杂SoC芯片的设计,提出了一种新的软硬件协同仿真验证方案。通过比较仿真环境中软硬件间通信的各种实现方式,构建了一种新的符合VMM标准的验证平台。同时为加快覆盖率的收敛速度,给出了随机激励约束的优化方法。实践表明... 针对一款高性能复杂SoC芯片的设计,提出了一种新的软硬件协同仿真验证方案。通过比较仿真环境中软硬件间通信的各种实现方式,构建了一种新的符合VMM标准的验证平台。同时为加快覆盖率的收敛速度,给出了随机激励约束的优化方法。实践表明,新的约束和仿真方式使覆盖率收敛速度提高数倍,验证效率显著提高。 展开更多
关键词 VMM方法学 软硬件协同验证 验证平台 覆盖率 SOC
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部