贺乐天
- 作品数：8 被引量：4H指数：1
- 供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：博士科研启动基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 观察分布式计算──全局性质检测的方法学研究
- 1998年
- 程序观察研究程序一次执行的行为特性，由于缺乏全局信息，观察分布式程序是相当困难的．分布式程序观察的核心是全局性质检测问题．文中提出了分布式程序观察——全局性质检测的方法学分类．讨论了全局性质检测的通用方法：检测稳定性质的快照方法、检测不稳定性质的格方法、将动态性质检测转换为语言识别问题．同时讨论了检测特殊结构全局性质的方法：强稳定性质和局部稳定性质，合取不稳定性质及流／波模式的动态性质．
- 贺乐天孙永强
- 关键词：分布式计算语言识别
- 分布式计算中稳定性质的等价类划分
- 1998年
- 分布式计算中的稳定性质是那些在计算中一旦成立将保持成立的性质，如分布式死锁、分布式终止和分布式废码等．稳定性质检测是分布式计算中的重要问题，常通过构造一致全局系统状态来检测稳定性质．本文研究可以在任意系统状态上计算的稳定性质，基于相关事件的概念，定义了强稳定性质和局部稳定性质，证明了局部稳定性质是强稳定性质，存在不是局部稳定性质的强稳定性质和不是强稳定性质的稳定性质．证明了分布式废码是强稳定性质，修正了以前的结论．第一次给出了稳定性质的等价类分类，定义了在任意系统状态上稳定性质的语义．给出了检测强稳定性质的局部算法和控制算法，本文结论的理论意义在于揭示了稳定性质间的共性和异性，其实践意义在于可由一类稳定性质的检测算法得到另一类稳定性质的检测算法．
- 贺乐天孙永强
- 关键词：分布式计算等价类划分计算机
- 分布式计算的并发测量被引量：1
- 1998年
- 本文提出了一种分布式计算的并发测量方法，这些测量使用基于局部时钟的区域向量时钟，延迟向量和计算高度等概念量化了并发计算时间和同步延迟时间，不用定义原子事件和划分事件粒度；测量机制独立于被测量的程序，容易计算，管理简单。
- 贺乐天孙永强
- 关键词：分布式计算
- 分布式计算的快照算法被引量：1
- 1997年
- 快照算法是很多分布式应用的基础.在假设了全局时钟的情况下，本文说明了计算通道状态的多种方案.使用一致割作为虚拟的全局时刻，说明了这些方案适用于现有的快照算法.文中还提出了一个适合于各种通讯模型的快照算法.
- 贺乐天孙永强
- 关键词：分布式计算快照算法
- 分布式计算中的因果性研究:回顾与展望
- 1996年
- 分布式系统是一组在空间上分隔的顺序进程,进程间仅仅通过消息传递来交换信息,由于缺乏全局时钟,基于事件观察的事件交叉线性序列往往不适合于我们对分布式程序行为的理解,在实际应用中带来很多问题.现在已经认识到,将事件之间的关系理解成基于事件相互影响的偏序关系是比较合适的[1s,川,这种相互影响的关系也被称为因果关系。 本文较系统地综述了十多年来因果性间题研究的发展情况,并讨论了因果性在分布式计算中很多重要问题中的应用,阐述了对研究现状的认识,并指出了若干研究方向。
- 贺乐天孙永强
- 关键词：分布式计算因果性计算机计算方法
- 刻划分布式计算中的因果关系被引量：2
- 1996年
- 在分布式程序执行中，用事件间的因果关系来理解和分析程序行为是一条重要的途径。本文形式地描述了因果关系及其相关概念，讨论了因果关系和各种时间概念的关系，详细说明了刻划因果关系的向量时间方法，讨论并列举了因果关系在分布计算中很多重要问题中的应用。
- 贺乐天孙永强
- 关键词：分布式计算因果关系分布式程序
- 一个有效的重复快照算法
- 1997年
- 快照算法是很多分布式应用的基础．本文提出了一个适用于非ＦＩＦＯ异步分布式系统的重复快照算法．算法给消息附上快照编号，使用了ｔｏｋｅｎ传递，控制消息复杂度为Ｏ（ｎ），各进程上使用较少的空间，使用该算法，任一进程任何时候都可得到一个一致的全局状态．文中证明了算法的正确性，并讨论了算法的适用性．
- 贺乐天孙永强
- 关键词：分布式计算分布式系统
- 基于局部时钟的区域向量时钟
- 1997年
- 文中分析了传统向量时钟在应用中的局限性，提出了基于局部时钟的区域向量时钟，证明了这一时钟，刻画了计算的因果关系．区域向量时钟独立于程序实现，管理简单，降低了向量时钟方法在实际应用中的复杂度，适合于对分布式计算的性能分析和并发测量．
- 贺乐天孙永强
- 关键词：分布式计算因果关系
