当算法达到终止配置时,分布式算法的计算终止,即配置中不存在进一步可应用的算法步,每个进程处于允许接收的状态,且所有信道为空,即消息终止,则这个配置是终止的。
1、分散式基本计算是指在一个初始配置中,有多个活动进程。
1、算法将Dijkstra-Scholten算法推广,动态地维持图F=(VF,EF)
1)或者T为空,或者F是若干个以初始进程为根的有向树组成的森林。
2)集合VT包括 所有活动进程,以及传输中的所有基本消息。
图变空时,终止检测。
2、算法
var statep:(active,passive) init if p=p0 then active else passive;
scp:integer init 0;
fatherp:P init if p=p0 then p else udef;
emptyp:boolean init if p is initiator then false else true;
Sp: {statep=active}
begin send <mes,p>;scp:=scp+1 end
Rp:{A message <mes,q> has arrived at p}
begin receive <mes,q>;statep:=active;
if fatherp=udef then fatherp:=q else send <sig,q> toq
end
Ip:{statep=active}
begin statep:=passive;
if scp=0 then
begin if fatherp=p
then emptyp:=true
else send <sig,fatherp> to fatherp;
fatherp=udef;
end
Ap:{<sig,p> arrivates at p}
begin receive <sig,p>;scp=scp-1;
if scp=0 and statep=passive then
begin if fatherp=p(*就是当前的树只有根节点P了*)
then emptyp:=true
else send <sig,fatherp> to fatherp;
fatherp:=udef
end
end
进程并发执行波动算法,其中,仅当emptyp为true时,p发送或判定,decide调用annouce
相关推荐
侵入性和非侵入性集合和映射:Michael hash-map,Ori Shalev 和 Nir Shavit 的拆分顺序列表, 跳过列表、费尔德曼的多级数组、布谷鸟哈希映射/集 用于标准容器的扁平组合包装机 同步基元 - 使用不同的回退技术进行...
Shavit - 大学教材,不好懂,但是教案,代码非常全面,进阶JUC的读物。 《Java并发编程从入门到精通》- 张振华 偏实战 《Java多线程编程核心技术》- 高洪岩 偏实战 《Java并发编程的艺术》- 方腾飞 偏原理 《Java多...
Nir Shavit is on the faculty of Tel-Aviv University and a member of the technical staff at Sun Microsystems Laboratories. In 2004 they shared the Gödel Prize, the highest award in theoretical ...
In this paper, we study quiescent consistency as proposed by Shavit and Herlihy, which is one such relaxed condition. More precisely, we give the first formal definition of quiescent consistency, ...
Nir Shavit is on the faculty of Tel-Aviv University and a member of the technical staff at Sun Microsystems Laboratories. In 2004 they shared the Gödel Prize, the highest award in theoretical ...
Tel-Aviv UniversityTel Aviv, Israel 69978hendlerd@post.tau.ac.ilNir Shavit Tel-Aviv University & Sun MicrosystemsLaboratoriesshanir@sun.comLena Yerushalmi School of Computer ScienceTel-Aviv University...
该存储库提供了本文中描述的方法的官方PyTorch实施: “使用变压器增强基于惯性的人类活动识别” (Shavit和Klein,2021年,IEEE开放访问)。 我们提出了一个基于Transformers的基于惯性的活动识别的通用框架。 ...
如果系统检测到冲突,则提交事务将回滚。 否则,它的更新对未来的交易可见。 Lock-Free Skiplist 由 Maurice Herlihy、Yossi Lev 和 Nir Shavit 创建的无锁跳过列表数据结构。 参见 Herlihy 和 Shavit 的书“多...
免锁 Go语言中无锁算法实现的研究。...[1]莫里斯·赫利希(Maurice Herlihy)和尼尔·沙维特(Nir Shavit)。 2008。 《多处理器编程的艺术》 。 美国加利福尼亚州旧金山的Morgan Kaufmann Publishers Inc.。
matlab求导代码来自PIV的压力 ...Shavit U., Computation of Pressure Distribution Using PIV Velocity Data, 3rd International Workshop on Particle Image Velocimetry, Santa Barbara, California, Septe