分布式算法 1 同步网络的形式化描述
来源:互联网 发布:医疗教育软件开发 编辑:程序博客网 时间:2024/06/05 18:14
同步的含义:
在分布式系统中,同步指的就是每个进程都有一个统一的时钟,在每次时钟周期中,所有的进程一起同时做动作。
进程形式化描述:
同步网络用有向图G = (V,E)表示。每个V代表进程的集合。
V中的每个进程 i 由以下几个部分组成:
- states:进程所处状态集合。
- start:进程的开始状态集合。
- msg(states,out-nbrs):消息生成函数,输入参数是出向邻接进程节点 和 当前进程的状态。输出的是消息M或者null。(就是说输出的消息只和当前进程状态以及要发给哪个进程有关)
- trans(states,M):状态转移函数,输入参数是进程当前状态 和 从某个入向邻接节点in-nbrs输入的消息M。
进程的运行:
进程的运行描述了同步网络系统的行为。
- Cr 表示系统状态赋值,也就是系统中的每个进程修改自己的当前状态。
- Mr 表示系统消息赋值,也就是系统中每个进程向外界发送消息。
- Nr 也表示系统消息赋值,但是是指每个进程接收消息。
所以同步网络中,系统的行为可以描述为一个无穷的序列:C0,M0,N0,C1,M1,N1 ...
0 0
- 分布式算法 1 同步网络的形式化描述
- 章四 软件体系结构的形式化描述
- UML 的形式化描述语义【转】
- LLVM IR 语言的形式化描述
- Bourbaki集合论(5)第1章 形式化数学的描述
- 解读taocp中对算法的形式化定义[水上原创]
- 《实体解析与信息质量》 - 4.1.2 描述EBDI的形式化框架
- 形式化方法的问题
- 形式化方法的优点
- nature (自然数的形式化)
- 万恶的形式化
- Unity3d 网络同步算法
- 分布式一致性Paxos算法学习笔记(三):算法的工程化描述
- 形式化
- 线程同步的故事描述
- 数据结构与算法的Java描述--1
- 对算法的描述
- 算法的描述
- UTF8,Unicode 的区别(zt)
- android学习---- android窗口管理机制
- android二维码开发的实用案例
- Android中保存图片的两种方式
- 关于认知计算的一点浏览和摘录
- 分布式算法 1 同步网络的形式化描述
- html5学习历程
- JavaScript 语句标识符
- SQL Server 异常 COM 类公司中CLSID 为 {10021F00-E260-11CF-AE68-00AA004A34D5} 的组件时失败,原因是出现以下错误: 80040154
- (百度笔试题)给定任意一个正整数,求比这个数大且最小的“不重复数”。
- 多线程
- Spring注解
- radminpass.php
- 读写properties文件