程欣
- 作品数：6 被引量：10H指数：2
- 供职机构：哈尔滨工业大学计算机科学与技术学院更多>>
- 发文基金：国家部委预研基金国家自然科学基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 移动代理的故障模型分析被引量：1
- 2003年
- 容错是移动代理系统实现的重要条件。该文提出移动代理的故障模型分类方法LAPSe。介绍了基于暂存复制和基于空间复制分类方法,据此分类方法比较了部分现有移动代理容错模型,结论是:其中基于空间复制类的代理系统容错性能最好。讨论了移动代理的容错研究需要解决的关键问题。
- 程欣杨孝宗
- 关键词：容错LAPSE
- 容错的移动代理框架及执行被引量：5
- 2005年
- 容错是移动代理系统实现的重要条件。介绍了基于暂存复制和基于空间复制分类方法。对移动代理的容错研究需要解决的关键问题:只一次原则,提出了基于事务处理领导者选举的容错方法。
- 赵靖程欣崔刚杨孝宗
- 关键词：移动代理容错事务处理选举协议
- 移动代理容错协议的应用比较及其SPN模型被引量：1
- 2005年
- 针对移动代理的容错协议没有统一评价标准的现状,比较了移动代理的容错协议在实际系统中的应用,并根据协议所采用的容错机制对各种现有容错协议进行了分类,提出暂时复制、空间复制、管道线、中心控制点分类方法,提出了使用随机Petri网(SPN)作为容错性能评价标准,描述了暂时复制容错协议。
- 程欣龚宇净杨孝宗
- 关键词：移动代理SPN
- 移动代理在可穿戴计算机数据处理中的应用被引量：2
- 2002年
- 计算能力的便携化已成为微小型计算机的发展趋势之一,人们期望能够随时随地对主动和被动数据进行处理。可穿戴计算机为满足这种无处不在的计算提供了硬件可能,对其软件的研究主要分为无线网络包括单跳和多跳网络的底层通信机制和基于其上的计算模式如移动代理和远程过程求值等。文章介绍了移动计算和移动代理的关系及其实现方式,移动代理在可穿戴计算机数据处理中的应用及在这方面进行的工作。
- 程欣韩建明马天义杨孝宗
- 关键词：移动代理可穿戴计算机数据处理移动计算
- 一种快速低开销的分布式死锁检测解决算法被引量：2
- 2006年
- 现有的分布式edge-chasing死锁检测算法具有消息开销大或不能并发执行的弱点,为此提出一个新的死锁检测算法,算法中检测消息由事务节点发起并在事务节点和资源节点之间传递,不保留死锁检测的中间状态,也不更新事务的资源访问请求。算法的正确性得到证明,仿真表明新算法的时间和消息开销低于同类算法。
- 程欣王鹤寿刘宏伟董剑
- 关键词：分布式系统
- 容错的分布式系统通用死锁模型检测解除算法
- 2007年
- 分布式系统技术为采用低成本购建高性能系统提供了有效的途径,但是由于资源的分配与需求可能产生冲突,造成系统中发生死锁,导致系统运行陷入停滞.在不可靠的分布式系统中,故障会干扰正常的死锁检测,但现有的死锁检测算法不具有容错功能.对失效形式进行了归类,提出一个容错的死锁检测解除算法.算法建立在通用的AND-OR模型基础上,采用扩散计算和集中规约方式,不仅能够检测到死锁,而且能给出死锁环的全部成员.若死锁拓扑处于静态且为环状,算法的消息复杂度的上限为e+n-1,时间复杂度为d,其中e为死锁等待图中边的个数,n和d为构成死锁环的节点的个数,分析表明算法性能等于或优于同类算法.
- 程欣刘宏伟董剑杨孝宗
- 关键词：死锁检测容错分布式系统
