项目名称: 多核环境下虚拟机在线确定性重演技术研究

项目编号: No.61170056

项目类型: 面上项目

立项/批准年度: 2012

项目学科: 自动化技术、计算机技术

项目作者: 肖臻

作者单位: 北京大学

项目金额: 55万元

中文摘要: 虚拟机在线确定性重演是指虚拟机管理器记录一台虚拟机发生的非确定性事件,在另一台虚拟机上并行地重演这些事件,使两台虚拟机执行相同的指令序列。虚拟机在线确定性重演可以使两台虚拟机的状态完全同步,是实现虚拟机容错系统的关键技术。然而,在多核环境下,由于多线程共享内存的访问属于非确定性事件,记录并重演内存访问之间的依赖关系具有较大的挑战;目前,多核虚拟机在线确定性重演仍然存在许多迫切需要解决的理论问题。在本课题的研究中,我们拟在虚拟机管理器中采用动态二进制扫描技术发现多线程的内存访问行为,以独立执行的二进制指令块为基本单位,使用Lamport 标量逻辑时钟记录动态二进制指令块的执行顺序,并在另一台虚拟机上确定性重演二进制指令块。最终,本课题将研究出一种高效的多核虚拟机在线确定性重演技术,为虚拟机容错系统的实现提供重要的理论基础和关键技术支持。

中文关键词: 虚拟化;对称多处理器;确定性重演;容错;

英文摘要:

英文关键词: Virtualization;SMP;Deterministic Replay;Fault Tolerance;

成为VIP会员查看完整内容
0

相关内容

【CVPR2022】基于样例查询机制的在线动作检测
专知会员服务
9+阅读 · 2022年3月23日
【杜克-Bhuwan Dhingra】语言模型即知识图谱,46页ppt
专知会员服务
65+阅读 · 2021年11月15日
专知会员服务
18+阅读 · 2021年7月28日
边缘机器学习,21页ppt
专知会员服务
82+阅读 · 2021年6月21日
少即是多?非参数语言模型,68页ppt
专知会员服务
23+阅读 · 2020年11月22日
如何建模动态图?看这份《时序图神经网络》26页ppt
专知会员服务
139+阅读 · 2020年7月25日
产品异常场景设计:5招搞定弱网和离线场景的产品设计
人人都是产品经理
0+阅读 · 2022年4月5日
Docker 足够安全吗?
InfoQ
0+阅读 · 2022年3月23日
容器会取代虚拟机吗?
InfoQ
0+阅读 · 2022年1月13日
实践教程|Docker使用记录
极市平台
0+阅读 · 2022年1月7日
开源 Java 微服务应用程序框架 KivaKit 简介
InfoQ
0+阅读 · 2021年12月28日
数据库事务的三个元问题
AI前线
0+阅读 · 2021年12月4日
浅谈 Kubernetes 在生产环境中的架构
DevOps时代
11+阅读 · 2019年5月8日
设计和实现一款轻量级的爬虫框架
架构文摘
13+阅读 · 2018年1月17日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
Arxiv
0+阅读 · 2022年5月6日
Arxiv
0+阅读 · 2022年5月4日
Neural Architecture Search without Training
Arxiv
10+阅读 · 2021年6月11日
Adaptive Synthetic Characters for Military Training
Arxiv
46+阅读 · 2021年1月6日
小贴士
相关资讯
产品异常场景设计:5招搞定弱网和离线场景的产品设计
人人都是产品经理
0+阅读 · 2022年4月5日
Docker 足够安全吗?
InfoQ
0+阅读 · 2022年3月23日
容器会取代虚拟机吗?
InfoQ
0+阅读 · 2022年1月13日
实践教程|Docker使用记录
极市平台
0+阅读 · 2022年1月7日
开源 Java 微服务应用程序框架 KivaKit 简介
InfoQ
0+阅读 · 2021年12月28日
数据库事务的三个元问题
AI前线
0+阅读 · 2021年12月4日
浅谈 Kubernetes 在生产环境中的架构
DevOps时代
11+阅读 · 2019年5月8日
设计和实现一款轻量级的爬虫框架
架构文摘
13+阅读 · 2018年1月17日
相关基金
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
微信扫码咨询专知VIP会员