parallel-processing - 'program order' 实际上是什么意思？

Question

AFAIK Leslie Lamport 声明如下:

... 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.

摘自:Leslie Lamport，“如何制作能够正确执行多进程程序的多处理器计算机”，IEEE Trans。电脑。 C-28,9(1979 年 9 月)，690-691。

所以，我想知道这是否意味着编译器优化后的高级语言程序(如 C)、汇编程序 文本或者更确切地说是指令跟踪在乱序调度后的处理器中？

Answer 1

通常这个短语的意思是，“程序中按顺序列出的(机器)指令序列，以明显的方式跟随分支”。特别是，它旨在描述程序的“简单”模型，作为引用；不打算讨论优化执行后的程序。

我还没有看到它应用于更高级别的程序，但这并不是我的技术领域。 C和其他衍生语言也有类似的概念，称为“序列点”。这些指示程序的哪些部分必须由序列点完成。这为您提供了相当于“程序顺序”的部分顺序。