distributed - 新手术语中的顺序一致性？

Question

顺序一致性

The result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program.

我是分布式系统的新手，在这种情况下执行是什么意思，请以简单的方式解释这个定义？

Answer 1

在顺序一致和分布式环境中运行的程序将表现得好像所有指令都在 中交错。连续 方式。这意味着多个执行路径是可能和允许的，前提是每个执行线程的指令顺序被保留。

示例:

假设我们有一个具有两个线程的程序，该程序在具有 2 个处理器的分布式系统中运行:

线程 1: 打印 "Hello\n";
打印“世界\n”

线程 2:打印“嗨!\n”

假设:在这种语言中，“打印”是线程安全的并且没有缓冲。

顺序一致性规则:“Hello”总是打印在“world”之前； .

可能的执行 1:

 Processor 1    | Processor 2
                |
 Hello          |
 World          |
                | Hi!
                |

可能的执行 2

 Processor 1    | Processor 2
                |
 Hello          |
                |Hi!
 world          |

可能的执行 3

 Processor 1    | Processor 2
                |
                |Hi!
 Hello          |
 world          |

无法执行(在“Hello”破坏顺序一致性之前打印“world”)

 Processor 1    | Processor 2
                |
                |Hi!
 world          |
 Hello          |

现在，重新审视你的定义:

The result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program.

并用上面的例子改写它:

在顺序一致的分布式环境中，任何执行的结果(参见上例中可能的 3 次执行)=以某种顺序执行处理器 1 和处理器 2 的指令，同时保留在program("Hello"应该打印在 "world"之前)。

即执行结果相同，就好像在不同处理器中执行的指令顺序交错并在单个 1 核处理器中执行一样。因此，顺序一致为分布式系统提供了可预测性，并在涉及内存访问时建立了某些重要的保证。

希望这可以帮助!