论文部分内容阅读
快照算法是很多分布式应用的基础。本文提出了一个适用于非ＦＩＦＯ异步分布式系统的重复快照算法。算法给消息附上快照编号，使用了ｔｏｋｅｎ传递，控制消息复杂度为Ｏ（ｎ），各进程上使用较少的空间。使用该算法，任一进程任何时候都可得到一个一致的全局状态。文中证明了算法的正确性，并讨论了算法的适用性。
一个有效的重复快照算法
【摘 要】
：
快照算法是很多分布式应用的基础。本文提出了一个适用于非ＦＩＦＯ异步分布式系统的重复快照算法。算法给消息附上快照编号，使用了ｔｏｋｅｎ传递，控制消息复杂度为Ｏ（ｎ），各进程上使用较少的空间。使用
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1997年8期
其他文献
ＥＭ算法用于求解重建问题，具有一些非常好的特性，几十年来一直为人们所重视。ＥＭ算法也存在着缺点，例如收敛速度较慢，使它的应用受到一定的限制。为此，人们提出了很多加快收敛速度的方法
最近发现冒充本联盟之信件致各书店之杂志编辑部(如商务之小说月报东方杂志及开明之中学生杂志),其词如下:'编辑先生:我们以最和平的态度谨致忠告希望贵社能以三分之一的
日前，江苏省扬州市市长朱民阳专题调研农村河道疏浚整治工作时要求，力争用2年时间对全市农村河道进行全覆盖疏浚整治。
文中首先介绍了B2C电子商务市场经济背景以及绿色逆向物流的内涵,分析了目前化妆品行业逆向物流的现状以及存在的问题的基础上,进一步提出化妆品企业实施逆向物流绿色化的措
本文提出了多处理机系统故障诊断的一个算法。为了度量 该算法的运行时间，定义了算法的概率时间复杂度函数，进而通过仿真实验和理论分析证明了这个算法能够用 较小的开销获得
企业的商品包装和快递物流包装是包装污染的主要来源,包装减量化是治理包装污染的重要举措,企业责无旁贷。采用案例研究法,从生产性企业的商品包装减量化和快递企业的物流包
本文提出了一个对数字图像进行离散线性变换的基于边过程的方法，这个方法是先做基于边过程的围线追踪；再对由边过程组成的围线进行变换，这时变换能高效率地实现；最后对变换所得区
本文给出了基于内在变量插值的空间三角网格形状混合的内在解算法．不同手插值对应顶点位置的方法，我们首先给出描述三角网格各项点空间相对位置结构的内在集，然后插值相应的内在变量实现三角网格之间的形状混合．将曲面离散剖分成逼近三角网格后，我们的算法同样适用于曲面的形状混合．算法简单直观，计算速度快，能够实时地完成；内在变量单调变化，能避免中间形状的萎缩扭曲，且插值帧形状与关键帧的位置及朝向无关．文中的例子
本文提出了对配锁方式不加限制的广义半锁归结方法，并证明了它在一阶逻辑中的完备性．
确定平面点集的凸包问题在计算机图形学、图象处理、ＶＬＳＩ设计与ＣＡＤ／ＣＡＭ等众多领域中有广泛的应用，多年来人们一直在寻找此问题的决策算法。