AFAIK Leslie Lamport声明如下：
...任何执行的结果都与所有处理器的操作按某种顺序执行相同，并且每个处理器的操作按照其程序指定的顺序显示在此序列中
取自： Leslie Lamport，＆＃34;如何制作能够正确执行多处理程序的多处理器计算机＆＃34;，IEEE Trans。 COMPUT。 C-28，9（1979年9月），690-691 。
所以，我想知道在编译器优化之后是否暗示高级语言程序，如C，汇编程序文本，或者更确切地说是跟踪无序调度后处理器中的指令？
答案 0 :(得分：0)
一般来说，这个短语的意思是，＆＃34;在程序中按顺序列出的（机器）指令序列，以明显的方式跟随分支＆＃34;。特别是，它旨在描述＆＃34;简单＆＃34;该计划的模型，作为参考;它不是为了在优化执行后讨论该程序。
我没有看到它适用于更高级别的计划，但这不是我的技术领域。 C和其他衍生语言有类似的概念，称为＆＃34;序列点＆＃34;。这些表明程序的哪些部分必须由序列点完成。这为您提供了相当于＆＃34;程序顺序＆＃34;。
的部分顺序