Parallel processing 实际上';程序顺序';什么意思?

Parallel processing 实际上';程序顺序';什么意思?,parallel-processing,lock-free,Parallel Processing,Lock Free,AFAIK Leslie Lamport声明如下: 。。。任何执行的结果都与所有处理器的操作以某种顺序执行的结果相同,每个处理器的操作都以其程序指定的顺序出现 摘自:Leslie Lamport,“如何使多处理器计算机正确执行多进程程序”,IEEE Trans。计算机。C-28,9(1979年9月),690-691 所以,我想知道这是否意味着一种高级语言程序,比如C,编译器优化后的汇编文本,或者更确切地说是处理器无序调度后的指令跟踪程序中按顺序列出的指令,以明显的方式跟随分支”。特别是,它旨在描

AFAIK Leslie Lamport声明如下:

。。。任何执行的结果都与所有处理器的操作以某种顺序执行的结果相同,每个处理器的操作都以其程序指定的顺序出现

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


所以,我想知道这是否意味着一种高级语言程序,比如C,编译器优化后的汇编文本,或者更确切地说是处理器无序调度后的指令跟踪程序中按顺序列出的指令,以明显的方式跟随分支”。特别是,它旨在描述程序的“简单”模型,作为参考;它不打算谈论优化执行后的程序

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