zoukankan      html  css  js  c++  java
  • 推荐一篇文章<<Time, Clocks, and the Ordering of Events in a Distributed System>>

    简述: 分布式系统包含一堆进程(processes),进程间通过交换消息(message)彼此通讯。在分布式系统中,有时无法确定两个事件(event)的先后次序,所以先发生(happended before)关系在系统中只能是偏序(partial ordering)。分布式系统中的问题很多源于人们尚未意识到这点及其涵义。

    如前所述,假定系统由进程组成;而进程包含一个事件序列。即:若a先于b发生,则a在序列中比b靠前。因此在单一进程中的事件,其“先发生”是全序(total ordering)关系。假定进程收发消息也是事件,则可以用符号”->”指代”先发生”关系如下:

    定义:

    (1) 若a和b是同一进程中的事件,a比b先发生,则a->b;

    (2) 若进程一发送一消息为事件a,进程二接收此消息为事件b,则a->b;

    (3) 若a->b 和 b->c 则 a->c;

    两事件a与b, 若a->b 与 b->a皆不成立, 则说二者同时发生 (concurrent)。

    假定a->a不成立, 即”先发生”关系是非自反的(irreflexive).

    image

    上面图1表现时空关系, 横向是空间,纵向为事件, 先发生事件标记在下,波浪线为消息。例如如图我们有: p1->r4;而p3和q3则为同时关系。若您熟悉狭义相对论的时空表示,则看这幅图也不会觉得陌生。相对论中,事件的序(ordering)由能发送的消息定义(message that could be sent),而在此处,我们只考虑实际发送的消息(message that are sent)。

    逻辑时钟: 

    现在引入逻辑时钟:为进程Pi定义时钟Ci, 它为进程中的每个事件a都赋予一个数字Ci[a].

    对任意事件a和b: 若a->b 则C[a]  <  C[b]

    注意反向未必成立.

    易见:

    C1. 若a和b是同一进程Pi的两个事件,且a先于b发生,则Ci[a]  <  Ci[b].

    C2. 若Pi发送一消息为事件a, Pj接收同一消息为事件b, 则Ci[a]  <  Cj[b].

    (未完待续)

  • 相关阅读:
    SDN实验2:Mininet 实验——拓扑的命令脚本生成
    2020软工实践第一次作业
    POJ2942-Knights of the Round Table
    POJ1966 ZOJ2182<无向图点连通度 Isap版>
    POJ1523(求割点)
    POJ2391(最大流Isap+Floyd+二分)
    POJ1087 ZOJ1157(最大流Isap+map映射)
    POJ1459(最大流Isap)
    数字的字符串处理 (转)
    POJ2112 最大流(Isap+Floyd+二分)
  • 原文地址:https://www.cnblogs.com/foamliu/p/1976481.html
Copyright © 2011-2022 走看看