Sequential Consistency

释义 Definition

顺序一致性（顺序一致模型）：并发/多处理器系统中的一种内存一致性保证。它要求：所有线程（或处理器）看到的内存读写结果，必须等价于把所有操作按某个全局顺序串行排列，并且每个线程自身的操作顺序仍保持为其程序中写下的顺序。
（注：实际硬件常比它更弱；顺序一致性通常是理想化/更强的模型。）

例句 Examples

This program assumes sequential consistency.
这个程序假设内存满足顺序一致性。

On modern CPUs, you may need memory fences to enforce sequential consistency across threads.
在现代 CPU 上，你可能需要使用内存屏障（memory fences）来在不同线程之间实现顺序一致性。

发音 Pronunciation (IPA)

/sɪˈkwɛnʃəl kənˈsɪstənsi/

词源 Etymology

sequential 来自拉丁语 sequī（“跟随”），引申为“按顺序的”；consistency 来自拉丁语 consistere（“站在一起、保持不变”），引申为“一致性”。作为计算机体系结构/并发语境中的术语，sequential consistency 由计算机科学家 Leslie Lamport 在 1979 年系统提出并推广，用于精确定义多处理器下“看起来像按某个顺序依次发生”的内存行为。

相关词 Related Words

• Atomicity
• Linearizability
• Memory-Consistency
• Memory-Model
• Happens-Before
• Synchronization
• Memory-Fence
• Data-Race

文学/著作中的用例 Literary Works

• Leslie Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs（提出并定义顺序一致性）
• Maurice Herlihy & Nir Shavit, The Art of Multiprocessor Programming（讨论顺序一致性及更强/更弱的一致性与并发对象）
• John L. Hennessy & David A. Patterson, Computer Architecture: A Quantitative Approach（体系结构中的内存一致性模型，含顺序一致性对比）
• Daniel J. Sorin, Mark D. Hill, David A. Wood, A Primer on Memory Consistency and Cache Coherence（内存一致性基础教材，涵盖顺序一致性）