第六章 分布式共享存储器 (20141013).pptVIP

6.4 基于分页的分布式共享存储器 6.4.7 页面置换 两种方法 传统算法。首选是另一进程拥有拷贝的页。或者是置换进程拥有的那些复制页。 选择非复制页。调出该页：1.将它写回磁盘 2.将它传送给其他进程。 接收调出页：每一页指定一个必须接受它的属主机器。 6.4 基于分页的分布式共享存储器 6.4.6 同步 互斥 TSL指令：如果没有进程在临界区，将一变量设为0，如果有进程则设为1。 在DSM系统中，如果进程A在临界区中而进程B希望进入临界区， B始终循环，等待变量变为0。 如果包含变量的也在B机器上，当A试图推出临界区将变量写为0时，会出现缺页错误。 6.2 共享存储器 6.2.5 NUMA多处理机 例子（BBN碟形） 每个CPU和一块存储器直接相连。右边CPU和存储器对和左边的相同。 通过8个交换器相连。每个交换器4个入口，4个出口。 本地访问的请求直接完成 如果访问远程存储器，发送请求信包，通过交换网络将信包发送入相应存储器。 6.2 共享存储器 6.2.5 NUMA多处理机 NUMA机器的三个主要属性 可以访问远程存储器 访问远程存储器比访问本地存储器慢 没有缓冲机制隐藏访问远程存储器的时间 NUMA软件设计的一个重要问题是决定每页放在何处以寻求最好的性能 6.2 共享存储器 6.2.6 分布式共享系统的比较 6.3 一致性模型 6.3.1 严格一致性 严格一致性模型由下述条件定义： 从存储器地址X处读出的值为最近写入X的值 假定绝对全局时间存在 举例： 设X是存储在B机器上的变量，A机器上的进程在T1时刻读X，即发送信包到B以读取X。稍后，在T2时刻，B机器上的进程写X。 答：按照严格一致性模型，A应该读取原来的值。 如果T2-T1=1ns A机器与B机器距离3米 那么，信号传输的速度应为光速的十倍。 6.3 一致性模型 6.3.1 严格一致性 符号表示 P1，P2，….代表不同的进程，直线分割进程，时间轴向右增加 W(X)a: 在x处写a R(Y)b：在y处读出值赋给b P1: P2: W(x)1 R(x)1 P1: P2: W(x)1 R(x)0 R(x)1 严格一致性模型：读操作所返回的值必须总是反映最 近更新的结果。 √ 6.3 一致性模型 6.3.2 顺序一致性 顺序一致性模型由下述条件定义： 如果所有进程以一定的顺序执行操作，每一进程的操作都以程序规定的顺序出现，则任何操作的结果都是一样的。 要求分布式系统中的所有成员和它们的进程共享一个通用视图，此视图记录了对于共享内存访问操作的顺序。 运行同一个程序得到的两个可能的结果： P1: P2: W(x)1 R(x)0 R(x)1 P1: P2: W(x)1 R(x)1 R(x)1 6.3 一致性模型 6.3.2 顺序一致性 举例 三个并行运行的进程，共享相同的顺序一致分布式共享存储器，都访问变量a，b，c。 从存储器访问的角度看，赋值看作是写操作，打印被看作是读操作。 a=1；print(b,c); b=1；print(a,c); c=1；print(a,b); 6.3 一致性模型 6.3.2 顺序一致性 举例 4种有效执行的顺序（4/90种） a=1；print(b,c); b=1；print(a,c); c=1；print(a,b); a=1；b=1； print(a,c)；print(b,c); c=1；print(a,b); b=1；c=1; print(a,b)；print(a,c); a=1；print(b,c); b=1；a=1; c=1；print(a,c); print(b,c)；print(a,b); Prints:001011 Signature:001011 Prints:101011 Signature:101011 Prints:010111 Signature:110101 Prints:111111 Signature:111111 标记项：顺序输出P1，P2，P3的结果，得到6位字串。 64种 6.3 一致性模型 6.3.2 顺序一致性 Ahamad系统 进程i的读写操作顺序由Hi确定，下图显示两种次序H1和H2，分别对应于P1和P2；这种次序的集合称为H。 合并H中的操作串为一个单独串S，以得到操作执行的相对顺序。S的合法值须遵守两个限制：