分布式系统设计.ppt

关系 一对以固定顺序排列着的客体叫有序对。常用a,b表示有序对。 如果一个有序对的第一元素是一个n-1重序元（n ? 3），则该有序对是n重序元。常将n重序元x1, x2, …, xn-1, xn简写成 x1, x2, …, xn-1, xn。 集合A和B的笛卡尔乘积定义为 A?B={a, b | a ? A ? b ? B} 集合A1, A2, …, An的笛卡尔乘积定义为 A1?A2?…?An={a1, a2, …, an | ?i(ai ? Ai )} 关系 笛卡尔乘积A?B的任意一个子集R确定了一个由集合A到集合B的二元关系。 如果a, b ??R，则可以写成aRb，否则写成aRb。 关系R的定义域定义为 D(R) = {a | ?(b)(a, b ?R)} 关系的值域定义为 R(R) = {b | ?(a)(a, b ?R)} 特别，称A到A的关系为A中的关系。 关系 从有限集合A={a1, a2, …, am}到有限集合B={b1, b2, …, bn}的二元关系R可以有三种表示方法： 集合方法 关系矩阵：对应于R有一个矩阵[rij]m?n 关系图:集合中的元素用结点表示，当且仅当ai, bj?R时，从ai到bj有一条有向边。 关系 例如，设A={1,2,3,4}，R={a, b|a?b}，则关系矩阵为左下图，关系图为右下图。 关系 在集合A中，有下列特殊的关系： 全域关系：EA=A ? A={ai, aj | ai, aj ?A} 恒等关系：IA = {a, a | a ? A} 空关系： ZA = ? 如果R和S都是A中的二元关系，则下列关系： R?S= {ai, aj | ai, aj ?R ? ai, aj ?S} R?S= {ai, aj | ai, aj ?R ? ai, aj ?S} R-S= {ai, aj | ai, aj ?R ? ai, aj ? S} 关系 A中的二元关系可能具有如下基本性质： R是自反的当且仅当(?a)(a?R?aRa) R是对称的?(?a)(?b)(a, b?A?aRb?bRa) R是传递的? (?a)(?b)(?c)(a, b, c?A ? aRb ? bRc?aRc) R是反自反的?(?a)(a?A?aRa) R是反对称的? (?a)(?b)(a, b?A ? aRb ? bRa?a = b) 关系 关系 存在既不是自反的，又不是反自反的的关系。例如A = {1, 2}中的二元关系 R = {1, 1, 1, 2} 存在既是对称的，又是反对称的的关系。例如A = {1, 2}中的二元关系 R = {1, 1, ２, 2} 关系 设R是A中的二元关系， 如果R是自反的、对称的和传递的，则称R是A中的等价关系。 如果R是自反的和对称的，则称R是A中的相容关系。 如果R是自反的、反对称的和传递的，则称R是A中的半（偏）序关系。 如果A中的任意两个元素a和b都是可比较的，即aRb或bRa至少有一个成立，则称R是A中的全（线性）序关系。 发生在先关系 Happened-Before Relation 发生在先关系（用符号?表示）的定义如下： 1）如果a和b是同一个进程中的事件并且a在b之前被执行，则a?b。 2）如果a是某个进程发送消息的事件，b是另外一个进程接收该消息的事件，则a?b。 3）如果a?b且b?c，则a?c。 一般，a?a对任何事件a都成立。这说明?是一个非自反的偏序。 发生在先关系 如果a?b或b?a，则事件a和b是因果关联的。 如果两个不同的事件a和b，a?b并且b?a，则称事件a和b是并发的（记为a||b）。 时空视图time-space view 发生在先关系的定义可以通过时空视图最好地说明。 在时空视图中，水平方向代表空间，垂直方向代表时间，带标志的垂直线代表进程，带标志的点代表事件，带箭头的线代表消息。 时空视图例子 规则1： a0 ? a1 ? a2 ? a3 b0 ? b1 ? b2 ? b3 c0 ? c1 ? c2 ? c3 规则2： a0 ? b3 b1 ? a3, b2 ? c1, b0 ? c2 还可以从b1?b2，b2?c1，c1?c2推出b1?c2。 事件a2和c0是并发的，即a2||c0。 全局状态 全局状态由局部状态集和通信通道的状态集组成。 注意，这是全局状态的细化定义，原来全局状态只是定义为局部状态集。仅仅定义为局部状态集可能产生不完全的系统视图。 全局状态 考虑一个银行系统，它有两个支行A和B。假设我们从账户A（原来有$500）转账$100到账户B（原来有$200）。如果两个账户都在它们的局部状态发生变化后才记录下它们的变化，那么当$10