王永会
- 作品数：6 被引量：8H指数：1
- 供职机构：北京航空航天大学计算机学院中德软件技术联合研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 实时数据库系统双机热备机制设计与实现被引量：8
- 2012年
- 双机热备计算机系统可实现高任务可靠性,广泛应用于电力系统。针对实时数据库系统提出了一种新颖的双机热备设计技术,基于系统及资源状态检测与监控、双机状态一致性同步、网络通信协议、主备切换机制、数据镜像服务等关键技术实现了模块设计。主控模块对主备服务器工作状态进行仲裁与检测,网络通信模块检测服务器故障,切换控制模块实时响应服务器故障进行切换,配置模块对双机信息进行设置,保证了系统高可靠性持续运行。
- 杨晓芬王永会刘轶
- 关键词：双机热备高可靠性电力系统数据镜像
- 一种基于众核处理器和分区结构的事务存储方法
- 本发明公开了一种基于众核处理器和分区结构的事务存储方法，该方法中众核处理器采用瓦片化结构，每个节点为瓦片Tile{TL<Sub>1</Sub>，TL<Sub>2</Sub>，TL<Sub>3</Sub>}中的一种，所有瓦...
- 刘轶王永会王琳钱德沛
- 一种硬件事务存储系统模拟环境的研究与实现
- 2012年
- 针对事务存储技术研究中的模拟实验问题,实现了一种专门用于硬件事务存储系统的模拟环境,该模拟环境采用执行驱动模拟方式,支持全系统模拟,利用系统结构模拟器Simics和多核扩展包GEMS实现多核处理器相关部件的功能和性能模拟,在此基础上扩展实现硬件事务存储系统各部件的建模和模拟,以模块化的方法支持多种事务存储系统的模拟实验和性能评价.论文在分析事务存储和系统结构模拟技术的基础上,讨论了事务存储系统模拟环境的设计思路和方案,给出了该模拟环境的组成结构,并通过一种目标事务存储系统结构和一组测试程序对模拟环境进行了实验测试.
- 刘轶吴名瑜张翠王永会
- 关键词：事务存储多核处理器模拟器可编程性
- 一种硬件事务存储系统中的事务嵌套处理方案
- 2014年
- 事务存储是一种旨在改善多核处理器可编程性的技术,高效的事务嵌套处理是硬件事务存储系统面临的挑战性问题之一.为了在不显著增加硬件复杂性的前提下实现高效的事务嵌套处理,提出了一种支持有条件部分回滚的事务嵌套处理方案CPR,该方案为各层嵌套事务维护统一的数据集合,通过增加少量硬件状态位以记录各层嵌套事务对数据的读/写状态,实现了满足特定条件时事务进行部分回滚,在不显著增加硬件复杂性的前提下,提高了闭合嵌套模型的处理效率.基于模拟器Simics与多核扩展包GEMS进行了模拟实验和性能评价,结果表明,CPR方案在复杂性显著低于nested LogTM的情况下,获得了与其基本一致的性能,同时性能相对于传统的扁平模型有显著提升.
- 刘轶吴名瑜王永会钱德沛
- 关键词：事务存储多核处理器可编程性
- 一种基于众核处理器和分区结构的事务存储方法
- 本发明公开了一种基于众核处理器和分区结构的事务存储方法，该方法中众核处理器采用瓦片化结构，每个节点为瓦片Tile{TL<Sub>1</Sub>，TL<Sub>2</Sub>，TL<Sub>3</Sub>}中的一种，所有瓦...
- 刘轶王永会王琳钱德沛
- 文献传递
- 硬件事务存储系统研究综述
- 2013年
- 随着多核处理器的发展,硬件平台已经提供了充裕的并行能力,这对软件并行编程提出了更高的要求.传统的基于锁机制的并行编程模型存在着诸多难题.借鉴数据库中事务的思想,人们提出事务存储,旨在提供一种可编程性良好的同步手段.硬件事务存储快速有效的优势使之成为研究的热点.阐述了事务存储的基本概念、执行模型和编程接口.介绍了硬件事务存储系统的三大核心内容,对比了两种典型的硬件事务存储系统.分析讨论了目前硬件事务存储系统研究的热点和难点问题.最后介绍了硬件事务存储研究的平台和测试程序.
- 王永会张鑫伟刘轶
- 关键词：事务存储并行编程多核处理器
