论文部分内容阅读
快照计算是分布式系统和应用的一个基本问题.一般地,快照不仅要记录各进程的状态,还必须记录通道状态,形成全局状态,这样就需要大量的存储空间.本文基于一种无传递消息的快照,使得空间复杂性优于Chndy和Lai等的算法,而且使算法对终止性检测更为容易.
基于无in_transit消息快照的终止性检测
【摘 要】
：
快照计算是分布式系统和应用的一个基本问题.一般地,快照不仅要记录各进程的状态,还必须记录通道状态,形成全局状态,这样就需要大量的存储空间.本文基于一种无传递消息的快照
【机 构】
：
厦门大学计算机科学系,厦门,361005
【出 处】
：
2005年全国理论计算机科学学术年会
【发表日期】
：
2005年期
其他文献
本文在深人研究了前人的工作以后,提出了一种基于提取指纹方法的数宇文档拷口检测模型.同其他模型相比,这个模型能够检测出一篇文档剽窃多篇文档的情况,并且对于剽窃的内容能
本文利用有向图的理论研究了对应图为回路双三角这一特殊图形的部分逆M矩阵的完备问题,根据本文所提出的完备定理,可以很方便地判断出对应图形为回路双三角的部分矩阵是否存
为全面贯彻党的十八大,十八届三中、四中、五中、六中全会精神和中央经济工作会议精神,深入学习贯彻习近平总书记系列重要讲话精神,认真落实李克强总理关于审计工作的重要指
期刊
本文给出一个在由多计算机机群构成的数据网格环境下、面向数据并行型计算的m-动态冗余可靠性分配策略,并根据这个策略描述了一个数据并行型计算过程.动态冗余策略结束语在基
近期,广东、海南、辽宁和山东四地先后召开本省省委审计委员会第一次会议,深入学习贯彻习近平总书记在中央审计委员会第一次会议上的重要讲话精神,研究部署省委审计委员会工
期刊
本文引入了可以描述突发性和相依性的离散马尔可夫到达过程(D-MAP),对应ATM中交换虚通道的运行机制,建立了带有Setup-Closedelay-Closedown的DMAP/G/1排队模型,给出并证明了
在网络十分普及的今天,采用并行计算是提高系统性能的一个较为经济的解决方法,它通常结合目前成熟的技术和已经存在的设计,使系统获得更好的性能.对于一个并行计算系统来说,
早春的南国,湿润的空气中还透着丝丝沁人心脾的凉意,但中共审计署党校一派生机勃勃的景象令人心旷神怡.rn3月23日,春风化雨,粉樱吐蕊,全国审计机关深入学习贯彻党的十八届六